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

摘要：

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

关键词： 认知网络 性能评估 进程代数 形式化建模 量化分析

作者: 王健 赵国生 刘海龙

作者单位: 哈尔滨理工大学 计算机科学与技术学院,黑龙江 哈尔滨,150001 哈尔滨师范大学 网络中心,黑龙江 哈尔滨,150080

会议类型: 国内会议

会议名称: 中国教育和科研计算机网CERNET第十七届学术年会

会议地点: 长沙

会议语种:中文

页码: 103-107

在线出版日期: 2010-10-27（万方平台首次上网日期，不代表论文的发表时间）