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

王健　趙國生　孫廣路　趙中楠

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

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

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

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

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

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