指挥信息系统涌现行为分析方法 |
| |
引用本文: | 何红悦,蒋猛,李瑞阳.指挥信息系统涌现行为分析方法[J].火力与指挥控制,2019,44(12). |
| |
作者姓名: | 何红悦 蒋猛 李瑞阳 |
| |
作者单位: | 陆军工程大学指挥控制工程学院,南京210007;陆军工程大学指挥控制工程学院,南京210007;陆军工程大学指挥控制工程学院,南京210007 |
| |
摘 要: | 针对指挥信息系统需求分析中,缺乏涌现行为有效分析方法的问题,提出了一种静态和动态相结合的涌现行为分析方法。该方法基于涌现行为的分层描述思想,在系统交互层,对涌现行为进行静态分析,采用本体推理和查询技术分析涌现行为的概念一致性;在体系展现层,对涌现行为进行动态分析,利用进程代数进程项的迹的仿真实现涌现行为的可执行仿真分析。
|
关 键 词: | 指挥信息系统 涌现行为 本体 进程代数 |
本文献已被 CNKI 万方数据 等数据库收录! |
|