状态图到扩展有限状态机转换技术研究与实现

来源 :现代电子技术 | 被引量 : 0次 | 上传用户：shanlin_shanlin

【摘要】

：

使用状态图(State Chart)进行系统建模,使用扩展有限状态机(Extended Finite State Machine,EFSM)进行推理和计算,这种模式被广泛应用.在这种模式中,State Chart到EFSM转换技

【作者】

：

申小军金益民

【机构】

：

西安电子科技大学软件工程研究所

【出处】

：

现代电子技术

【发表日期】

：

2004年12期

【关键词】

：

状态图扩展有限状态机状态变量迁移事件 State Chart EFSM state variable transition event

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

使用状态图(State Chart)进行系统建模,使用扩展有限状态机(Extended Finite State Machine,EFSM)进行推理和计算,这种模式被广泛应用.在这种模式中,State Chart到EFSM转换技术有着十分重要的地位.应用要求这种转换容易使用,不损失State Chart的信息,运行效率高.本文介绍了在SBOSUT系统中State Chart到EFSM转换算法的原理和实现,给出了一个应用该算法的实例.

其他文献

基于修正IPA分析的乡村旅游产品游客满意度提升策略——以福建省长泰县为例

以福建省长泰县为例,通过问卷调查获得7个维度26个指标的乡村旅游产品游客满意度结果,采用修正IPA模型,求得引申重要性,并绘制IPA四象限图。根据四象限图的分析,提出建设智慧

期刊

修正IPA分析游客满意度乡村旅游产品modified IPA methodTourist satisfactionrural tourism prod

架设和谐管理的“桥梁”

作为学校教育中的最基本单元，每一个班集体都是由许多个性鲜明的学生个体组成的。“上面千条线，下面一根针。”要让这一成员众多的“大家庭”逐步走向和谐发展之路，这对“兵头将尾”的班主任来说，确实是一个不容忽视的考验和挑战。　　那么，如何有效架设班级管理这一“桥梁”呢？笔者结合自身班主任工作实际，主要就制度建设、情感教育和言传身教三个方面谈谈自己的一些做法。　　一、制度建设，人人参与　　在现实生活中我们不

期刊

和谐管理

医务工作者对处方点评工作认知的调查分析

目的：提高医务工作者对处方点评工作的认知。方法：依据《药品管理法》等相关规定设计调查问卷,对北京地区9家医院的医务工作者进行调查分析。结果与结论：共发放问卷450份,回收有

期刊

医务人员处方点评调查分析Medical staff Prescription comment Investigation and analysis

μC／OS-Ⅱ在LPC2106上的移植

分析μC／OS-Ⅱ实时操作系统与LPC2106芯片的结构和特点，并提出将μC／OS-Ⅱ移植到LPC2106上的方案。

期刊

实时操作系统μC/OS-Ⅱ移植LPC2106the real time operation systemμC/OS-IIportableLPC21

热工过程模糊决策预测控制的应用研究

预测控制是一种适于大滞后热工对象的控制方法,但传统的受限预测控制由于控制目标单一、优化过程复杂等原因未能很好应用.该文在模糊集合理论的基础上,提出了一类新型的基于

期刊

热工过程模糊决策预测控制模糊集合理论热工对象Thermal process Constrained predictive control Cons

建筑节能与太阳能热水应用

2004年5月26～27日中国太阳能学会太阳能建筑专业委员会和国家住宅与居住环境工程技术研究中心在杭州联合召开了“全国住宅工程太阳能热水应用研讨会”。本次会议是太阳能建筑

期刊

建筑节能太阳能热水居住环境建筑设计建筑造型

点阵LCD控制器MSM6262-xx及其应用

MSM6262-xx是OKI半导体公司采用CMOS工艺制作的低功耗点阵LCD控制器.与8位微处理器结合可控制点阵字符型LCD上的字符显示,他具有序列数据移动输出功能.芯片内含48点COMMON驱

期刊

MSM6262-xx点阵LCD控制器显示单片机MSM6262xxdot matrix LCD controllerdisplaymicrocomp

过山枫多糖的体外抗补体活性研究

目的：研究过山枫多糖的体外抗补体活性。方法：采用水提醇沉法提取、分离过山枫多糖;通过苯酚-硫酸法测定其多糖含量;红外光谱确定其多糖结构;将过山枫多糖分别与补体溶血试验中

期刊

过山枫多糖抗补体活性提取分离Celastrus aculeatus polysaccharides Anti-complementary activit

地下生活贮水池的设置探讨

《建筑给水排水设计规范》(GBJl5-88，1997年版)第2．2．10条规定：生活或生活用水与其他用水合用的水池、水箱的池(箱)体应采用独立结构形式，不得利用建筑物的本体结构作为水池池壁和

期刊

生活用水贮水池水箱生活饮用水双壁结构

在数学教学中培养创新精神

小学数学教学应该给学生以创新精神的熏陶和培养，让学生以主人翁的姿态参与到学习和探索过程中，成为具有科学精神的人。因此，在数学课堂上，教师要善于围绕培养学生创新精神这一目标来组织教学活动。　　一、激发学生的创新意识　　好奇心强是小学生的特点，在课堂教学中，教师要用学生感兴趣的教学形式吸引他们的注意力，将难点知识用游戏互动或实物等表现出来。如教学“三角形面积的计算”时，教师先出示一个三角形，请学生观察

期刊

小组讨论

状态图到扩展有限状态机转换技术研究与实现

与本文相关的学术论文