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

• 作者: 杜鹏飞 王力宝 胡磊 闫世强
• 来源期刊: 系统工程
• 学科: 工学
• 关键词: 预警卫星系统 DoDAF 作战体系结构 作战状态转换描述 Petri网 可达图 模型验证
• 年，卷（期）: 2015,（5）
• 所属期刊栏目: 方法与应用
• 页码范围: 128-134
• 页数: 7页
• 分类号: TP391
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	杜鹏飞		11	22	3.0	4.0
2	王力宝		21	45	4.0	5.0
3	胡磊		15	33	4.0	5.0
4	闫世强		19	71	5.0	8.0