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

• 作者: 何明 柴磊 王智学
• 来源期刊: 计算机工程与应用
• 学科: 军事
• 关键词: 指挥控制协同 能力需求 形式化 进程代数
• 年，卷（期）: 2020,（5）
• 所属期刊栏目: 理论与研发
• 页码范围: 49-56
• 页数: 8页
• 分类号: E917
• 字数: 8770字
• 语种: 中文
• DOI: 10.3778/j.issn.1002-8331.1901-0377

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	王智学	陆军工程大学指挥控制工程学院	7	6	2.0	2.0
2	何明	陆军工程大学指挥控制工程学院	6	13	2.0	3.0
3	柴磊	陆军工程大学指挥控制工程学院	1	0	0.0	0.0