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

doi:10.3778/j.issn.1002-8331.1901-0377

计算机工程与应用 ›› 2020, Vol. 56 ›› Issue (5): 49-56.DOI: 10.3778/j.issn.1002-8331.1901-0377

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

柴磊，王智学，何明

陆军工程大学指挥控制工程学院，南京 210007

出版日期:2020-03-01 发布日期:2020-03-06

Formal Framework of Command Control Cooperative Capability Requirements System-of-Systems

CHAI Lei, WANG Zhixue, HE Ming

College of Command and Control Engineering, Army Engineering University of PLA, Nanjing 210007, China

Online:2020-03-01 Published:2020-03-06

摘要/Abstract

摘要：

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

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

Abstract:

Command and control cooperation is the key to lead joint operations under the information-intensive operation condition. To fill the lack of formal description and analysis of the requirements of command control cooperation capabilities at present, this paper proposes a formal description framework for command control capability requirements by providing a set of definitions for the concepts of C2 capabilities and the capability operations based on process algebra. It may help to eliminate the semantic ambiguity that may arise when describing C2 capability requirements using a natural language. A case study is led to illustrate the feasibility and effectiveness of the method.

Key words: command control cooperation, capability requirement, formalization, process algebra

柴磊，王智学，何明. 指挥控制协同能力需求体系形式化框架[J]. 计算机工程与应用, 2020, 56(5): 49-56.

CHAI Lei, WANG Zhixue, HE Ming. Formal Framework of Command Control Cooperative Capability Requirements System-of-Systems[J]. Computer Engineering and Applications, 2020, 56(5): 49-56.

[1]	刘友林，郑巍，谭莉娟，樊鑫，杨丰玉. 面向适航标准的机载软件测试验证工具综述[J]. 计算机工程与应用, 2021, 57(11): 1-10.
[2]	何利文，侯小宇，唐澄澄，周睿，张幸宁. 面向异构BIOS环境的Rootkit通用性检测方法[J]. 计算机工程与应用, 2019, 55(23): 105-112.
[3]	蒋溢1，2，罗宇豪1，朱恒伟1. Storm集群下一种基于Topology的任务调度策略[J]. 计算机工程与应用, 2018, 54(7): 84-88.
[4]	李茜1，王峥1，马建芬1，李娜2. 轻量级移动支付协议公平性分析[J]. 计算机工程与应用, 2018, 54(19): 82-87.
[5]	孙浩然1，2，施智平1，2，3，关永1，3，王瑞2，3. 穿刺机器人运动安全性的形式化分析与建模[J]. 计算机工程与应用, 2018, 54(18): 263-270.
[6]	马远佳1，刘道微2. 一种改进的满足后向安全的RFID双向认证协议[J]. 计算机工程与应用, 2017, 53(9): 136-140.
[7]	严亚伟，周雁舟，惠文涛. 模型检测在完整性形式化验证中的应用研究[J]. 计算机工程与应用, 2017, 53(4): 59-63.
[8]	秦嫚蔓，王峥，王莉. 基于SPIN的远程证明协议的形式化分析及改进[J]. 计算机工程与应用, 2017, 53(1): 34-38.
[9]	邓志丹，杨海燕，吴际. 一种约束求解的Web应用测试数据生成与筛选方法[J]. 计算机工程与应用, 2016, 52(18): 214-221.
[10]	李群，陈清亮. 基于ATL的公平交换协议的形式化验证[J]. 计算机工程与应用, 2015, 51(19): 32-36.
[11]	唐伟. 一种有效的模糊关联规则挖掘的形式化方法[J]. 计算机工程与应用, 2015, 51(18): 114-119.
[12]	张锦1，2，刘曼霞2，赵二群2，柳军飞3. 基于XYZ/SE的软件部分正确性验证[J]. 计算机工程与应用, 2015, 51(14): 46-50.
[13]	余磊1，魏仕民1，卓泽朋2. 认证测试中协议主体串参数一致性研究[J]. 计算机工程与应用, 2015, 51(13): 86-91.
[14]	马艳芳1，2，陈亮3. 基于部分交互的软件近似度量模型[J]. 计算机工程与应用, 2014, 50(24): 32-37.
[15]	佟超，王建新，齐建东. 基于形式化规约的缺陷规则库构建与检测方法[J]. 计算机工程与应用, 2014, 50(13): 66-72.

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

Formal Framework of Command Control Cooperative Capability Requirements System-of-Systems

PDF

可视化

摘要/Abstract

引用本文

使用本文

参考文献

相关文章 15

编辑推荐

Metrics