LTS 仿真模型组合验证方法

• 作者: 冯晓宁 王卓 王金娜
• 来源期刊: 哈尔滨工程大学学报
• 学科: 工学
• 关键词: 仿真模型组合 标签转移系统 语义相似度
• 年，卷（期）: 2014,（5）
• 页码范围: 589-593,618
• 页数: 6页
• 分类号: TP391
• 字数: 4632字
• 语种: 中文
• DOI: 10.3969/j.issn.1006-7043.201212084

摘要

为提高复杂仿真系统的开发效率和降低开发成本，提出了基于标签转移系统 LTS 的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素，并将执行序列表示为 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