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

摘要：

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

关键词：指挥信息系统、涌现行为、本体、进程代数

所属期刊栏目：44

分类号：TJ01;E917;TP391.9(一般性问题)

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

页数：共4页

页码：95-98