【摘 要】
：
提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架.由于SDL的复杂性,重点介绍了用ASM模拟SDL状态机交替工作
论文部分内容阅读
提出了用基本ASM(Abstract State Machine)定义SDL(Specisification and Descripiton Language)动态语义的方法框架.由于SDL的复杂性,重点介绍了用ASM模拟SDL状态机交替工作方式,创建agent和procedure实例以及复合状态应用.该方法简化了当前用分布式ASM定义的SDL动态语义方法.
其他文献
利用其他三维建模软件来构造复杂三维模型,使得3DGIS(ThreeDimensionalGeographicalSystem)的数据源更加丰富,其中采用AutoDesk公司定义的3DS(3DStudio)数据模型尤为广泛,但如何通过程序实现3DS数据模型的操作是开发人员需要解决的问题。通过分析3DS的数据模型结构,利用面向对象的方法成功地创建了3DS的结构类,并借助于OpenGL实现了3DS数据模
目的 了解绍兴市老年患者住院期间意外伤害的发生现状及相关因素,为开展住院老年患者意外伤害的预防和控制提供科学依据。方法 采用便利取样方法 ,对绍兴市5家市级直属三级医
研究表明急性脑梗死患者血浆内皮素(ET)水平增高[1].我们用昆明制药集团股份有限公司生产的络泰粉针(注射用血塞通)治疗64例急性脑梗死患者,观察其治疗前后血浆ET含量变化,报
在互功率谱和高阶统计量理论基础上,提出了基于互四阶累积量的ESPRIT(estim ation of signal parameters via rotational invariance techneques)SVD(singular val ue discom
牡丹皮为毛茛科植物牡丹Paeonia suffruticosaAndr.的干燥根皮,具有清热凉血、活血化瘀之功效,鲜根皮含芍药苷(paeoniflorin)、羟基芍药苷、苯甲酰芍药苷、丹皮酚苷、丹皮酚
为配合数字国土和新一论国土资源大调查工作及充分开发利用图书馆的地图资源,设计开发了基于万维网地理信息系统WebGIS(WebGeographicalInformationSystem)的网上地图发布系统。该系统以Autodesk公司的万维网地理信息系统解决方案(MapGuide)为基础平台,充分利用其快速强大的图形发布处理能力,采用扩展标示语言XML(ExtensibleMarkupLanguag
基于飞机的对称性特点 ,提出了一种航空图片中智能判别飞机类型的方法。该方法通过检测飞机的位置 ,以飞机的重心为矩心 ,根据矩不变原理 ,将飞机的中轴线旋转和坐标轴 Y轴重合 ,由飞机的轴对称特点求出 3个基本特征量 :飞机的长宽比 ;X轴方向投影值 ;Y轴方向投影值。利用匹配和投影相结合的方法可在航空图片中正确地识别型号不同、大小各异、位置任意的各种地面飞机。该方法识别特征少、计算量小 ,识别速度
本文针对中小断面长水电隧洞特点，从开挖方法及设备选择、有轨运输及无轨运输、支护方法、砼施工方案等各工序施工方案运用比较等方面进行论述，从而做到灵活地选择选择最优的方
目的 了解脑梗死和脑出血患者的血脂情况,为临床治疗及膳食营养提供参考。方法 将120例脑血管疾病患者分为脑梗死组（60例）和脑出血组（60例）,并选择50例非脑血管疾病患者作为对照
针对块匹配算法及块匹配算法中所采用的MAD (Mean of the absolute frame difference)和MSE (Mean of the square error)匹配准则的不足进行了详细的分析,提出了运动图像矢量