基于PEPA的防空指控系统优化设计研究

信息化战争对防空指控系统设计提出了更高的要求。针对防空指控系统复杂性,结合自身内部效能和外部作战环境影响,将定性定量分析相结合,使用过程代数方法定量评价防空指控系统的设计效果,进而指引防空指控系统的优化设计方向,提出了规范的防空指控系统设计方法。案例分析表明,该方法能够从定性定量相结合的角度对防空指控系统进行设计和说明,过程明确简洁、结论真实可信。