-
题名交互状态机模型模拟矢量自动生成方法
被引量：1
- 1
-
-
作者
李暾
郭阳
李思昆
-
机构
国防科学技术大学计算机学院
-
出处
《软件学报》
EI
CSCD
北大核心
2003年第3期628-634,共7页
-
基金
Supported by the National Natural Science Foundation of China under Grant No.69933030 (国家自然科学基金)
-
文摘
模拟矢量自动生成方法是加速数字系统设计验证进程的有效手段.提出了一种针对数字系统交互状态机的状态组合、自动生成状态组合覆盖测度和状态组合覆盖模拟矢量的算法.与将交互状态机作为整体处理或构建状态机乘积的方法相比,该算法生成的模拟覆盖率测度精确,覆盖路径无回路,有效地提高了模拟验证的精度和速度.实验结果表明,该算法能高效地节省内存空间,较好地解决了状态空间爆炸问题.
-
关键词
交互状态机模型
模拟矢量自动生成方法
数字系统
覆盖率测度
-
Keywords
Algorithms
Finite automata
Mathematical models
Vectors
-
分类号
TP271.82
[自动化与计算机技术—检测技术与自动化装置]
-
-
题名飞机协同维修仿真的交互状态机模型
被引量：1
- 2
-
-
作者
董健康
姜乃心
耿宏
-
机构
中国民航大学电子信息与自动化学院
-
出处
《计算机工程与设计》
北大核心
2020年第1期297-300,F0003,共5页
-
基金
中美绿色航线合作基金项目(GH21661279)
-
文摘
针对目前飞机维修场景众多的特点,提出一种适用于飞机协同维修的交互状态机模型。运用UML状态机建立维修人员、操作对象的状态转移模型,基于操作对象间的约束关系、操作对象-维修场景-维修人员的关系建立行为交互模型,将行为交互模型与状态转移模型融合,得到交互状态机模型,实现不同维修场景间的交互及状态变迁,给出模型的数学表达和图形化描述,使场景中实体对象的表达更加规范、统一,提高建模效率。以ADIRU排故为例,在分布式虚拟维修仿真平台上进行验证。
-
关键词
协同维修
UML状态机
状态转移模型
行为交互模型
交互状态机模型
-
Keywords
collaborative maintenance
UML state machine
state transition model
behavioral interaction model
interactive state machine model
-
分类号
TP319.9
[自动化与计算机技术—计算机软件与理论]
-
