基于PEPA的防空指挥控制系统建模方法

摘要：

指挥控制是军事作战行动的核心,是指挥自动化系统研究领域中的重要内容.针对防空指控系统分布、并发、层级等特点,将性能评价过程代数方法引入防空指控系统建模领域,提出了基于PEPA的防空指挥控制系统建模过程,并结合具体案例进行分析建模,验证了PEPA方法在防空指挥控制系统建模领域中的有效性.

关键词：防空指挥控制系统、建模方法、性能评价过程代数

所属期刊栏目：38

分类号：E919(军事技术基础科学)

资助基金：国家自然科学基金71031007,71071157;教育部博士点基金资助项目20114307120021

在线出版日期：2014-01-03（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：20-23