李明浩, 杨克巍, 徐建国, 谭跃进

(国防科学技术大学信息系统与管理学院, 湖南 长沙 410073)



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

李明浩, 杨克巍, 徐建国, 谭跃进

(国防科学技术大学信息系统与管理学院, 湖南 长沙 410073)

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

危机事件; 模型驱动; 元模型; 快速建模与分析; 可执行模型;STK仿真

0　引　言

2015年11月24日,俄罗斯一架SU24战机在叙利亚和土耳其边境附近完成对叙利亚恐怖分子的轰炸任务后被土耳其两架F16击落。双方对事件的过程各执己……