摘要
针对提高复杂仿真系统的开发效率和降低开发成本的问题,提出了基于模型组合验证的仿真模型开发框架,将系统开发过程分解为模型的发现、组合和组合后的验证等阶段,通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System,LTS)的模型行为验证方法,将模型的行为序列表示为LTS,通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明,该方法能够半自动地完成仿真模型的组合验证,对模型有效性的验证能够满足实际应用的要求。
A simulation model development framework is proposed based on validation of model combination to improve the development efficiency of complex simulation systems and to reduce development costs. The development process is divided into model discovering, model combination, and validation of combination. The reuse of simulation modes is realized through data type validation and dynamic behavior validation. A Labelled Transition System (LTS)-based behavior verification method for combinations is given and the behavior sequences of models are represented as LTS. The consistency between the dynamic behaviors of the combined model and the request is judged through strong bisimulation and semantic similarities. Experiments on missile combat simulation models show that the proposed method can semi-automatically complete the validation to the combination of simulation models, and the validation meets the need of practical applications.
出处
《西安交通大学学报》
EI
CAS
CSCD
北大核心
2013年第12期7-12,122,共7页
Journal of Xi'an Jiaotong University
基金
国家自然科学基金资助项目(61100006
61272184)
黑龙江省自然科学基金资助项目(F201129)
中央高校基本科研业务费专项资金资助项目(HEUCF100605)
关键词
仿真模型组合
数据类型验证
行为验证
标签转移系统
combination of simulation model~ data type validation~ behavior verification~ labelledtransition system