预警卫星系统作战体系结构建模与验证

摘要：

依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战事件跟踪(OV-6c)模型和作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系.基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的.

关键词：预警卫星系统、DoDAF、作战体系结构、作战状态转换描述、Petri网、可达图、模型验证

所属期刊栏目：33

分类号：TP391(计算技术、计算机技术)

资助基金：军内科研重点项目KJ2012228

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

页码：128-134