哈尔滨理工大学学报
哈爾濱理工大學學報
합이빈리공대학학보
JOURNAL OF HARBIN UNIVERSITY OF SCIENCE AND TECHNOLOGY
2014年
1期
25-30,35
,共7页
王健%赵国生%孙广路%赵中楠
王健%趙國生%孫廣路%趙中楠
왕건%조국생%손엄로%조중남
认知网络%服务性能%理论模型%形式化建模%多元π演算
認知網絡%服務性能%理論模型%形式化建模%多元π縯算
인지망락%복무성능%이론모형%형식화건모%다원π연산
cognitive networks%service performance%theoretical model%formal modeling%multivariate π-calculus
认知网络是解决复杂异构网络系统自我管理的一个新途径,其模型与分析方法研究是亟待解决的关键问题.提出一种基于多元π演算的认知网络形式化建模方法,首先分析认知网络的基本特征,然后结合认知问题本质,构建认知网络理论参考模型,并将多元π演算为描述语言建立认知网络系统形式化模型,把自感知、上下文感知和动作调用的过程抽象成一系列进程,利用进程动作及其运算分别严格地刻画认知单元和系统全局认知过程,最后以自配置为例说明了模型应用.该方法以逻辑精确性为特色,能够应用于系统实现的任何阶段,为认知网络的设计提供理论指导.
認知網絡是解決複雜異構網絡繫統自我管理的一箇新途徑,其模型與分析方法研究是亟待解決的關鍵問題.提齣一種基于多元π縯算的認知網絡形式化建模方法,首先分析認知網絡的基本特徵,然後結閤認知問題本質,構建認知網絡理論參攷模型,併將多元π縯算為描述語言建立認知網絡繫統形式化模型,把自感知、上下文感知和動作調用的過程抽象成一繫列進程,利用進程動作及其運算分彆嚴格地刻畫認知單元和繫統全跼認知過程,最後以自配置為例說明瞭模型應用.該方法以邏輯精確性為特色,能夠應用于繫統實現的任何階段,為認知網絡的設計提供理論指導.
인지망락시해결복잡이구망락계통자아관리적일개신도경,기모형여분석방법연구시극대해결적관건문제.제출일충기우다원π연산적인지망락형식화건모방법,수선분석인지망락적기본특정,연후결합인지문제본질,구건인지망락이론삼고모형,병장다원π연산위묘술어언건립인지망락계통형식화모형,파자감지、상하문감지화동작조용적과정추상성일계렬진정,이용진정동작급기운산분별엄격지각화인지단원화계통전국인지과정,최후이자배치위례설명료모형응용.해방법이라집정학성위특색,능구응용우계통실현적임하계단,위인지망락적설계제공이론지도.