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