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

作者：何红悦; 蒋猛; 李瑞阳指挥信息系统涌现行为本体进程代数

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

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社