王金娜
- 作品数：2 被引量：6H指数：1
- 供职机构：哈尔滨工程大学计算机科学与技术学院更多>>
- 发文基金：国家自然科学基金黑龙江省自然科学基金中央高校基本科研业务费专项资金更多>>
- 相关领域：自动化与计算机技术更多>>
- LTS仿真模型组合验证方法被引量：1
- 2014年
- 为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。
- 冯晓宁王卓王金娜
- 关键词：语义相似度
- 仿真模型组合的验证方法研究被引量：5
- 2013年
- 针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。
- 冯晓宁王卓王金娜
