王健　趙國生　孫廣路　趙中楠

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

關(guān)鍵詞：認(rèn)知網(wǎng)絡(luò)；服務(wù)性能；理論模型；形式化建模；多元π演算

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

關(guān)鍵詞：認(rèn)知網(wǎng)絡(luò)；服務(wù)性能；理論模型；形式化建模；多元π演算

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

關(guān)鍵詞：認(rèn)知網(wǎng)絡(luò)；服務(wù)性能；理論模型；形式化建模；多元π演算