|
|||||
|
|
| LTS仿真模型组合验证方法 | |
| 作者姓名： | 冯晓宁 王卓 王金娜 |
| 作者单位： | 哈尔滨工程大学计算机科学与技术学院;哈尔滨工程大学船舶工程学院 |
| 基金项目： | 国家自然科学基金资助项目(61100006,61272184);黑龙江省自然科学基金资助项目(F201129) |
| 摘 要： | 为提高复杂仿真系统的开发效率和降低开发成本,提出了基于标签转移系统LTS的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素,并将执行序列表示为LTS,通过将表示组合仿真模型行为的LTS进行比较,得出组合仿真模型的有效性。最后给出了作战坦克修理所实例,结果表明,该方法能够有效验证仿真模型可组合问题。 |
| 关 键 词： | 仿真模型组合 标签转移系统 语义相似度 |
| 本文献已被 CNKI 等数据库收录！ | |