复杂系统的可执行模型仿真方法研究

作     者：何红悦 王智学 朱卫星 董庆超 王庆龙 HE Hong-yue;WANG Zhi-xue;ZHU Wei-xing;DONG Qing-chao;WANG Qing-long

作者机构：解放军理工大学指挥信息系统学院江苏南京210007 解放军理工大学信息管理中心江苏南京210007 海军航空工程学院山东烟台264001 

基　　金：国家自然科学基金(61273210) 国防重点预研项目(51306010202)资助课题 

出 版 物：《系统工程与电子技术》 (Systems Engineering and Electronics)

年 卷 期：2014年第36卷第10期

页      码：1966-1972页

摘      要：针对复杂系统早期验证评估过程中,由于模型不可执行造成的问题,提出了一种复杂系统可执行模型仿真方法。从复杂系统的精确模型定义入手,将复杂系统模型分为结构模型和行为模型,扩展fUML元模型得到复杂系统的可执行元模型,使用这些元模型来构建复杂系统的可执行模型,并为可执行模型定义了行为语义。为了支持可执行模型的仿真,设计了相应的仿真执行系统,定义模型仿真所需要的仿真语言和执行规约,将行为模型转换为可执行的进程项,依据执行规约对进程项进行仿真执行来实现复杂系统的可执行模型仿真。最后以区域防空系统为例说明了方法的可行性。

主 题 词：复杂系统 可执行模型 可执行模型代数 模型验证 

学科分类：11[军事学] 1106[1106] 0808[工学-自动化类] 0809[工学-计算机类] 08[工学] 080203[080203] 0802[工学-机械学] 0811[工学-水利类] 110602[110602] 

核心收录：

D　O　I：10.3969/j.issn.1001-506X.2014.10.13

馆 藏 号：203227918...