作者：胡磊; 闫世强; 刘辉; 魏文斌; 黄晓斌预警卫星系统dodaf作战体系结构petri网模型验证
摘要：预警卫星系统在弹道导弹防御系统中处在最前沿,在战争中起着其他装备无法替代的作用。首先分析了Do DAF作战体系结构产品的内容和相互关系,提出了作战体系结构具体的设计步骤。依据预警卫星系统的作战流程,建立了部分作战体系结构模型,从不同侧面描述了预警卫星系统节点及节点间的信息关系。最后,对模型进行了语法和语义一致性验证,结果表明,建立的模型是正确的。
注：因版权方要求，不能公开全文，如需全文，请咨询杂志社
