LTS 仿真模型组合验证方法
第35卷第5期哈 尔 滨 工 程 大 学 学 报Vol.35?.52014年5月
Journal of Harbin Engineering University
May 2014
LTS 仿真模型组合验证方法
冯晓宁1，王卓2，王金娜1
（1.哈尔滨工程大学计算机科学与技术学院，黑龙江哈尔滨150001；2.哈尔滨工程大学船舶工程学院，黑龙江哈尔滨150001）摘 要：为提高复杂仿真系统的开发效率和降低开发成本，提出了基于标签转移系统LTS 的仿真模型组合验证方法。该方法在组合仿真模型的行为表示中引入时间因素，并将执行序列表示为LTS ，通过将表示组合仿真模型行为的LTS 进行比较，得出组合仿真模型的有效性。最后给出了作战坦克修理所实例，结果表明，该方法能够有效验证仿真模型可组合问题。
关键词：仿真模型组合；标签转移系统；语义相似度doi ：10.3969/j.issn.1006-7043.201212084
网络出版地址：http ：//https://www.360docs.net/doc/dd7779794.html, /kcms /doi /10.3969/j.issn.1006-7043.201212084.html 中图分类号：TP391 文献标志码：A 文章编号：1006-7043（2014）05-0589-06
LTS based validation method for the combination of the simulation model
FENG Xiaoning 1，WANG Zhuo 2，WANG Jinna 1
（1.College of Computer Science and Technology ，Harbin Engineering University ，Harbin 150001，China ；2.College of Shipbuilding Engineering ，Harbin Engineering University ，Harbin 150001，China ）
Abstract ：In order to increase the efficiency and reduce the cost of the development of a complex simulation system ，
a validation method for combining the simulation is proposed based on the labeled transition system （LTS ）.This method introduces the time factor to the behavior of the simulation model and represents the execution sequences as the LTS model.Through the comparison of the LTS of the combination model and request model ，the effectiveness of the combination model is derived.Finally ，the battle tank repair example shows that the method is effective.Keywords ：combination of simulation model ；labeled transition system （LTS ）；semantic similarity 收稿日期：2012-12-21.网络出版时间：2014-04-28.
基金项目：国家自然科学基金资助项目（61100006，61272184）；黑龙江省自
然科学基金资助项目（F201129）.
作者简介：冯晓宁（1976-），男，副教授，博士.通信作者：冯晓宁，E-mail ：fengxiaoning@https://www.360docs.net/doc/dd7779794.html,.
为提高复杂仿真系统的开发效率和降低开发成本，将仿真模型进行重用是当前最有效的解决方法之一。但如何重用已有的仿真模型从而实现仿真系统的快速构造，即仿真模型的可组合问题已经成为该领域所面临的重大挑战。而仿真模型组合需要解决的一个重要问题就是组合后的仿真模型是否满足用户需求，是否为有效仿真模型，即仿真模型组合的
验证问题。Petty 等提出了语义可组合理论（seman-
tic composability theory ，SCT ）［1-3］。SCT 中给出了完
美模型（或称请求模型）的定义。认为完美模型是一个概念模型，它的初始状态和输入与自然系统中的模型行为完全一致，并且一个反映真实系统的模
型应该具有与真实系统相似的行为。我国的王维平等在Petty 等的基础上，根据不同领域仿真模型的组合和重用需求，对仿真模型可组合问题进行了系统
的研究［4-7］
。基于此，本文提出一种基于LTS 的仿
真模型组合验证方法。该方法在仿真模型的行为表示中引入了时间因素，并将模型的执行序列表示为LTS 。通过比较二者的LTS 来验证组合仿真模型的
行为，从而得出组合仿真模型是否有效。
1 模型组合验证方法
对于一个给定的初始条件和一组输入值，一个
仿真模型表现出来的行为应该与请求模型的行为非常接近。依此想法，验证组合仿真模型的有效性则是基于判断行为匹配的相近程度。
该验证方法主要分为4个步骤：1）行为展开；
2）行为组合；3）模型行为表示为LTS ；4）仿真模型