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

Theoretical and Formal Modeling Method for Cognitive Network Oriented Service Performance

作　　者：王健[1] 赵国生[2] 孙广路[1] 赵中楠[1] 

机构地区：[1]哈尔滨理工大学计算机科学与技术学院,黑龙江哈尔滨150080 [2]哈尔滨师范大学网络信息中心,黑龙江哈尔滨150080

出　　处：《哈尔滨理工大学学报》2014年第1期25-30,35,共7页Journal of Harbin University of Science and Technology

基　　金：国家自然科学基金(60973027);高等学校博士学科点专项科研基金(20112303120007);黑龙江省教育厅科学技术研究项目(12511099);哈尔滨理工大学校青年基金(2011YF018)

摘　　要：认知网络是解决复杂异构网络系统自我管理的一个新途径,其模型与分析方法研究是亟待解决的关键问题.提出一种基于多元π演算的认知网络形式化建模方法,首先分析认知网络的基本特征,然后结合认知问题本质,构建认知网络理论参考模型,并将多元π演算为描述语言建立认知网络系统形式化模型,把自感知、上下文感知和动作调用的过程抽象成一系列进程,利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程,最后以自配置为例说明了模型应用.该方法以逻辑精确性为特色,能够应用于系统实现的任何阶段,为认知网络的设计提供理论指导.Abstract： Cognitive network is a new approach to solve self-management of complex heterogeneous network, and its model and analysis method are key problems to be solved. A formal modeling and analysis method for cogni- tive network is proposed based on multivariate ~r-caleulus. Firstly, basic characteristics of cognitive network are an- alyzed. Then the theoretical reference model for cognitive network is constructed combining with cognitive essence. On the basis, the formal model based multivariate ,rr-calculus is proposed, abstracting the scene of self-awareness into a series of processes as well as context-awareness and calling action, which rigorously describes the process of cognitive element and global cognition by these processes and their operations respectively. Finally, how the model can be used is illustrated through a self-configure case study. The proposed method has the features logical accura- cy, which can apply in any phases and direct the designation of cognitive network.

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

分 类 号：TP393[自动化与计算机技术—计算机应用技术]