面向认知网络的形式化建模与分析方法初探

摘要

提出一种基于随机进程代数的认知网络形式化建模与分析方法，首先介绍PEPA的基本概念，然后结合认知问题本质，对网络系统行为进行精简和抽象处理，用PEPA语言从系统宏观运行状态和系统业务及内部结构2个角度分别讨论构建认知网络的形式化模型，并探索模型的量化分析方法。该方法以逻辑精确性为特色，能够应用于系统实现的任何阶段，为认知网络的设计提供理论指导。