指挥信息系统涌现行为分析方法

• 作者: 何红悦 李瑞阳 蒋猛
• 来源期刊: 火力与指挥控制
• 学科: 军事
• 关键词: 指挥信息系统 涌现行为 本体 进程代数
• 年，卷（期）: 2019,（12）
• 所属期刊栏目: 理论研究
• 页码范围: 95-98
• 页数: 4页
• 分类号: TJ01|E917|TP391.9
• 字数: 3909字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-0640.2019.12.019

摘要

针对指挥信息系统需求分析中,缺乏涌现行为有效分析方法的问题,提出了一种静态和动态相结合的涌现行为分析方法.该方法基于涌现行为的分层描述思想,在系统交互层,对涌现行为进行静态分析,采用本体推理和查询技术分析涌现行为的概念一致性;在体系展现层,对涌现行为进行动态分析,利用进程代数进程项的迹的仿真实现涌现行为的可执行仿真分析.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	蒋猛	陆军工程大学指挥控制工程学院	3	0	0.0	0.0
2	何红悦	陆军工程大学指挥控制工程学院	3	1	1.0	1.0
3	李瑞阳	陆军工程大学指挥控制工程学院	3	1	1.0	1.0