模型驱动的危机事件快速建模与分析方法

摘要：

以2015年底俄土战机冲突事件为例，建立了基于模型驱动方法的快速建模与仿真分析框架，为类似军事冲突及争端事件应急判断提供快速建模与决策分析支持。通过场景建模、可执行逻辑分析和可视化仿真技术分别对危机事件进行静态结构建模、动态行为分析以及场景仿真验证。同时，利用具有自主知识产权的支持快速元模型定制的多视图建模工具 ModelLink，与第三方分析与仿真工具集成，形成了以 ModelLink 为输入的跨平台模型自动生成、分析与互操作的分析链路，支持快速参数变更、直观可视化行为调整的敏捷响应。面向俄土战机事件，利用俄土双方及第三方关于事件细节的开源信息，构建了两种基本场景模型，通过对比不同方案的可执行逻辑分析以及仿真过程参数分析结果，校验了双方在事件声明中细节的合理性与真实性，同时支持后续不断补充开源信息后的模型调整与快速结论生成，具有很好的实用性。

关键词：危机事件、模型驱动、元模型、快速建模与分析、可执行模型、STK仿真

所属期刊栏目：38

分类号：N945.12(系统科学)

资助基金：国家自然科学基金71501182，71571185资助课题

在线出版日期：2016-09-27（万方平台首次上网日期，不代表论文的发表时间）

页数：共10页

页码：2055-2064