指挥控制协同能力需求体系形式化框架

摘要：

指挥控制协同性是实现信息化条件下联合作战指挥的关键.针对当前对指挥控制协同能力需求缺乏形式化描述和分析方法等问题,提出一种指挥控制协同能力需求形式化描述框架,运用进程代数方法对能力之间的关系以及操作进行形式化定义,消除了采用自然语言描述协同能力合成过程中可能产生的语义二义性.案例分析验证了该方法的可用性和有效性.

关键词：指挥控制协同、能力需求、形式化、进程代数

所属期刊栏目：56

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

资助基金：国家自然科学基金No.61273210

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

页数：共8页

页码：49-56