论文部分内容阅读
本文介绍了一种层次式有穷状态机（HFSM）的代数表示，并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。
一种检查层次式有穷状态机一致性的方法
【摘 要】
：
本文介绍了一种层次式有穷状态机（HFSM）的代数表示，并在此基础之上提出了HFSM的一致性检查方法。这种检查方法主要用于检测HFSM中的不确定性状态转换和不可达状态。
【机 构】
：
武汉大学软件工程国家重点实验室,430072
【出 处】
：
小型微型计算机系统
【发表日期】
：
2000年12期
【基金项目】
：
国家自然科学基金!(6 98730 35 ),,教育部重点项目基金资助
其他文献
资产评估准则的执行力度对于资产评估行业以及整个社会经济的发展发挥着至关重要的作用,在资产评估的实践过程中存在很多因素在不同程度上影响着资产评估准则的执行力度。本
回 回 产卜爹仇贱回——回 日E回。”。回祖 一回“。回干 肉果幻中 N_。NH lP7-ewwe--一”＄ MN。W;- __._——————》 砧叫]们羽 制作:陈恬’＃陈川个美食
Back to yield
本文提出了用神经网络有效地解决排序问题的途径和方法。建立了一个自反馈神经网络排序模型，对于ｎ个元素的排序问题，利用该模型可在两个迭代步内完成，排序时间与排序问题的规模无
在采油过程中，由于油井较深的缘故，抽油杆在油管中是处于偏心位置的，聚驱井产出液在抽油杆做轴向运动的井筒中的流动问题就是非Newton流体在内管做轴向运动的偏心环空中的流动问
连年下滑的客流、急剧上升的成本、趋严的政策监管等让药店经营者压力倍增,生存更加艰难,关店潮或多或少也波及到了药品零售行业。2020年已经过去大半,受疫情等因素影响,各行
第一部分 同时性多灶性喉鳞癌的临床研究 目的 报道我院12例同时性多灶性喉癌并通过分析其临床病理学特点探讨多灶性喉癌的发生学来源。 方法 回顾性分析1991—1999年
吉登嘎查是以鄂温克族为主体的北方古老的狩猎民族,文化底蕴深厚、狩猎经验丰富。其狩猎文化作为中国传统文化的一部分,有着其独特的魅力。通过对吉登嘎查的调研,了解狩猎文
生活在城市中的人们与生机盎然的大自然已渐行渐远,这在很大程度上激发了人们对绿色植物的渴求,绿色生态意识获得了空前的提高,成为空间陈设的关注焦点。该文利用传感器技术,