面向服務性能的認知網絡理論及形式化建模方法

王健　趙國生　孫廣路　趙中楠

摘要：認知網絡是解決復雜異構網絡系統自我管理的一個新途徑，其模型與分析方法研究是亟待解決的關鍵問題，提出一種基于多元π演算的認知網絡形式化建模方法，首先分析認知網絡的基本特征，然后結合認知問題本質，構建認知網絡理論參考模型，并將多元π演算為描述語言建立認知網絡系統形式化模型，把自感知、上下文感知和動作調用的過程抽象成一系列進程，利用進程動作及其運算分別嚴格地刻畫認知單元和系統全局認知過程，最后以自配置為例說明了模型應用，該方法以邏輯精確性為特色，能夠應用于系統實現的任何階段，為認知網絡的設計提供理論指導。

關鍵詞：認知網絡；服務性能；理論模型；形式化建模；多元π演算

摘要：認知網絡是解決復雜異構網絡系統自我管理的一個新途徑，其模型與分析方法研究是亟待解決的關鍵問題，提出一種基于多元π演算的認知網絡形式化建模方法，首先分析認知網絡的基本特征，然后結合認知問題本質，構建認知網絡理論參考模型，并將多元π演算為描述語言建立認知網絡系統形式化模型，把自感知、上下文感知和動作調用的過程抽象成一系列進程，利用進程動作及其運算分別嚴格地刻畫認知單元和系統全局認知過程，最后以自配置為例說明了模型應用，該方法以邏輯精確性為特色，能夠應用于系統實現的任何階段，為認知網絡的設計提供理論指導。

關鍵詞：認知網絡；服務性能；理論模型；形式化建模；多元π演算

摘要：認知網絡是解決復雜異構網絡系統自我管理的一個新途徑，其模型與分析方法研究是亟待解決的關鍵問題，提出一種基于多元π演算的認知網絡形式化建模方法，首先分析認知網絡的基本特征，然后結合認知問題本質，構建認知網絡理論參考模型，并將多元π演算為描述語言建立認知網絡系統形式化模型，把自感知、上下文感知和動作調用的過程抽象成一系列進程，利用進程動作及其運算分別嚴格地刻畫認知單元和系統全局認知過程，最后以自配置為例說明了模型應用，該方法以邏輯精確性為特色，能夠應用于系統實現的任何階段，為認知網絡的設計提供理論指導。

關鍵詞：認知網絡；服務性能；理論模型；形式化建模；多元π演算