仿真模型组合的验证方法研究

• 作者: 冯晓宁 王卓 王金娜
• 来源期刊: 西安交通大学学报
• 关键词: 仿真模型组合 数据类型验证 行为验证 标签转移系统
• 年，卷（期）: 2013,（12）
• 页码范围: 7-12,122
• 页数: 7页
• 分类号: TP391
• 语种: 中文
• DOI: 10.7652/xjtuxb201312002

摘要

针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用.给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度.导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王卓	哈尔滨工程大学水下机器人技术国防科技重点实验室	36	325	10.0	16.0
2	冯晓宁	哈尔滨工程大学计算机科学与技术学院	19	112	5.0	9.0
3	王金娜	哈尔滨工程大学计算机科学与技术学院	4	13	3.0	3.0