性能评价过程代数相关论文
指挥控制是军事作战行动的核心，是指挥自动化系统研究领域中的重要内容。针对防空指控系统分布、并发、层级等特点，将性能评价过程代......
信息化战争对防空指控系统设计提出了更高的要求。针对防空指控系统复杂性,结合自身内部效能和外部作战环境影响,将定性定量分析相......
针对作战行动中的目标选择问题基于反映系统动态特性和消减主观因素的考虑,将过程代数的思想引入到指控系统破击目标选择领域中来.......
防空作战是大型水面舰艇编队的主要作战样式之一。运用PEPA(性能评价过程代数)方法对舰艇编队防空作战全过程进行有效建模,形式化......
