仿真模型组合的验证方法研究

冯晓宁 1; 王卓 2; 王金娜 1

doi:10.7652/xjtuxb201312002

您当前的位置：

首页 >

文章列表页 >

仿真模型组合的验证方法研究

更新时间：2025-07-09

- 仿真模型组合的验证方法研究
- Validation Method for the Combination of Simulation Models
- 西安交通大学学报 2013年47卷第12期页码：7-12+122
- 作者机构：
  
  哈尔滨工程大学计算机科学与技术学院,哈尔滨,150001
- 作者简介：
- 基金信息：
  
  : 2013-01-04。作者简介: 冯晓宁(1976—), 男, 副教授。基金项目: 国家自然科学基金资助项目(61100006,61272184);黑龙江省自然科学基金资助项目(F201129);中央高校基本科研业务费专项资金资助项目(HEUCF100605)
- DOI：10.7652/xjtuxb201312002
  中图分类号： TP391
- 网络首发：2013-12-10，
  
  纸质出版：2013
- 稿件说明：
移动端阅览
冯晓宁 1, 王卓 2, 王金娜 1. 仿真模型组合的验证方法研究[J]. 西安交通大学学报, 2013,47(12):7-12+122.

Validation Method for the Combination of Simulation Models[J]. 2013, 47(12): 7-12+122.
冯晓宁 1, 王卓 2, 王金娜 1. 仿真模型组合的验证方法研究[J]. 西安交通大学学报, 2013,47(12):7-12+122. DOI： 10.7652/xjtuxb201312002.

Validation Method for the Combination of Simulation Models[J]. 2013, 47(12): 7-12+122. DOI： 10.7652/xjtuxb201312002.

摘要

针对提高复杂仿真系统的开发效率和降低开发成本的问题

提出了基于模型组合验证的仿真模型开发框架

将系统开发过程分解为模型的发现、组合和组合后的验证等阶段

通过数据类型验证和动态行为验证来实现仿真模型的重用。给出了基于标签转移系统(Labelled Transition System

LTS)的模型行为验证方法

将模型的行为序列表示为LTS

通过强模拟及语义相似度关系来判断组合后模型的动态行为与请求模型的符合程度。导弹对抗仿真模型组合实验结果表明

该方法能够半自动地完成仿真模型的组合验证

对模型有效性的验证能够满足实际应用的要求。

Abstract

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.

关键词

Keywords

references

PETTY M D, WEISEL E W, MIELKA R R. A formal approach to composability [C]∥Proceedings of the 2003 Interservice Industry Training, Simulation and Education Conference. Arlington, VA, USA: NTSA, 2003: 1763-1772.

WEISEL E W, PETTY M D, MIELKE R R. Validity of models and classes of models in semantic composability [C]∥Proceedings of the 2003 Simulation Interoperability Workshop. Orlando, FL, USA: SISO, 2003: 03F-SIW-073.

PETTY M D, WEISEL E W. A composability lexicon [C]∥Proceedings of the 2003 Simulation Interoperability Workshop. Orlando, FL, USA: SISO, 2003: 181-187.

王维平, 朱一凡. 仿真模型有效性确认与验证 [M]. 长沙: 国防科技大学出版社, 1998.

周东祥, 仲辉, 李群, 等. 复杂系统仿真的可组合问题研究综述 [J]. 系统仿真学报, 2007, 19(8), 1819-1823.

ZHOU Dongxiang, ZHONG Hui, LI Qun, et al. Survey of simulation composability of complex systems [J]. Journal of System Simulation, 2007, 19(8): 1819-1823.

周东祥. 多层次仿真模型组合理论与集成方法研究 [D]. 长沙: 国防科技大学出版社, 2007.

SZABO C, TEO Y M. An approach to semantic-based model discovery and selection [C]∥Proceedings of the 2011 Winter Simulation Conference. Piscataway, NJ, USA: IEEE, 2011: 3054-3066.

由延军, 康凤举, 张森. 基于组合的水下武器对抗仿真系统开发研究 [J]. 计算机测量与控制. 2011, 19(10): 2462-2471.

YOU Yanjun, KANG Fengju, ZHANG Sen. Development of underwater weapon confrontation simulation system based on composability [J]. Computer Measurement and Control, 2011, 19(10): 2462-2471.

PLEBANI P, PERNICI B. URBE: web service retrieval based on similarity evaluation [J]. IEEE Transactions on Knowledge and Data Engineering, 2009, 21(11): 1629-1642.

GARAVEL H. CADP 2006: a toolbox for the construction and analysis of distributed processes [C]∥Proceedings of the 19th International Conference on Computer Aided Verification. Berlin, Germany: Springer-Verlag, 2007: 158-163.

SZABO C, TEO Y M, SEE S. A time-based formalism for the validation of semantic composability [C]∥Proceedings of the Winter Simulation Conference. Piscataway, NJ, USA: IEEE, 2009: 1411-1422.

CLAUDIA S, TEO Y M. On validation of semantic composability in data-driven simulation [C]∥Proceedings of the 2010 IEEE Workshop on Principles of Advanced and Distributed Simulation. Piscataway, NJ, USA: IEEE, 2010: 1-8.

浏览量

下载量

CSCD

文章被引用时，请邮件提醒。

提交

工具集

关联资源

采用试验设计方法的第三代CO2气体箔轴承箔片几何参数敏感性分析

采用机器学习的大规模并行程序I/O性能建模与预测方法

隧道内燃料电池汽车氢气泄漏扩散特性及影响因素

结构-语义-残差协同的图像压缩框架：面向隐私保护与高保真重建

超临界水异常区域热力学特性研究