摘要
预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。依据DoDAF和预警卫星系统的作战流程,构建了预警卫星系统作战状态转换(OV-6b)模型,以描述预警卫星系统作战过程的时序关系、各作战节点的状态转换以及信息流关系。基于Petri网将各节点OV-6b模型转换成可执行模型进行驱动,并构建和分析了各Petri网模型的可达图,结果表明,建立的OV-6b模型和Petri网模型是合理的、正确的。
Early warning satellite system is on the front edge of ballistic missile defense system, and played an indispensable role in wars. Operational state transition description view(OV-6b)models are established to describe the operational sequence in time of early warning satellite system,state transition and information relation of the operational points based on DoDAF and operational process. Petri net is used to change the OV-6b models to executable models,and the reachability graphs of the petri-net models are established and analyzed,the correctness of the OV-6b models and the Petri net models is showed by the result.
出处
《火力与指挥控制》
CSCD
北大核心
2014年第9期51-55,59,共6页
Fire Control & Command Control
基金
军内科研重点基金资助项目(KJ2012228)
关键词
预警卫星系统
作战体系结构
作战状态转换描述
PETRI网
可达图
DoDAF
early warning satellite system
DoDAF
operational architecture
operational state transition description
Petri net
reachability graph