面向服务性能的认知网络理论及形式化建模方法

王健　赵国生　孙广路　赵中楠

摘要：认知网络是解决复杂异构网络系统自我管理的一个新途径，其模型与分析方法研究是亟待解决的关键问题，提出一种基于多元π演算的认知网络形式化建模方法，首先分析认知网络的基本特征，然后结合认知问题本质，构建认知网络理论参考模型，并将多元π演算为描述语言建立认知网络系统形式化模型，把自感知、上下文感知和动作调用的过程抽象成一系列进程，利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程，最后以自配置为例说明了模型应用，该方法以逻辑精确性为特色，能够应用于系统实现的任何阶段，为认知网络的设计提供理论指导。

关键词：认知网络；服务性能；理论模型；形式化建模；多元π演算

摘要：认知网络是解决复杂异构网络系统自我管理的一个新途径，其模型与分析方法研究是亟待解决的关键问题，提出一种基于多元π演算的认知网络形式化建模方法，首先分析认知网络的基本特征，然后结合认知问题本质，构建认知网络理论参考模型，并将多元π演算为描述语言建立认知网络系统形式化模型，把自感知、上下文感知和动作调用的过程抽象成一系列进程，利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程，最后以自配置为例说明了模型应用，该方法以逻辑精确性为特色，能够应用于系统实现的任何阶段，为认知网络的设计提供理论指导。

关键词：认知网络；服务性能；理论模型；形式化建模；多元π演算

摘要：认知网络是解决复杂异构网络系统自我管理的一个新途径，其模型与分析方法研究是亟待解决的关键问题，提出一种基于多元π演算的认知网络形式化建模方法，首先分析认知网络的基本特征，然后结合认知问题本质，构建认知网络理论参考模型，并将多元π演算为描述语言建立认知网络系统形式化模型，把自感知、上下文感知和动作调用的过程抽象成一系列进程，利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程，最后以自配置为例说明了模型应用，该方法以逻辑精确性为特色，能够应用于系统实现的任何阶段，为认知网络的设计提供理论指导。

关键词：认知网络；服务性能；理论模型；形式化建模；多元π演算