通知公告
交大新闻
12 现在的位置：首页 > 期刊导读 > 2013 > 12 >
仿真模型组合的验证方法研究
【作者】 冯晓宁 [1] ; 王卓 [2] ; 王金娜 [1]
【关键词】 仿真模型组合 数据类型验证 行为验证 标签转移系统
【摘要】针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用.给出了基于标签转移系统（Labelled Transition System,LTS）的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度.导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求.
© 2015 《西安交通大学学报》编辑部 地址：西安市咸宁西路28号 邮编：710049
互联网备案号：陕ICP备07500839号