發(fā)布時(shí)間：2018-05-21 12:47

  本文選題：認(rèn)知模型 + 隨機(jī)進(jìn)程代數(shù)　； 參考：《華中科技大學(xué)學(xué)報(bào)(自然科學(xué)版)》2015年05期

【摘要】：為解決可生存系統(tǒng)的自主管理和維護(hù)問(wèn)題以保持關(guān)鍵服務(wù)的持續(xù)提供,提出一種基于SM-PEPA的系統(tǒng)認(rèn)知形式化模型及量化分析方法.首先建立了具有分層認(rèn)知能力的可生存系統(tǒng)認(rèn)知模型,即服務(wù)認(rèn)知子層、網(wǎng)絡(luò)認(rèn)知子層和接入認(rèn)知子層,然后提出了一種由策略庫(kù)發(fā)起驅(qū)動(dòng)基于認(rèn)知環(huán)MDE的認(rèn)知單元自管理模型,并通過(guò)可生存系統(tǒng)的生存狀態(tài)轉(zhuǎn)換圖,構(gòu)建了可生存系統(tǒng)認(rèn)知性能分析框架.在此基礎(chǔ)上,結(jié)合對(duì)可生存系統(tǒng)認(rèn)知能力的形式化描述,將其轉(zhuǎn)化為一個(gè)半馬爾可夫過(guò)程,對(duì)模型進(jìn)行了量化分析.仿真試驗(yàn)分析了不同參數(shù)變化對(duì)系統(tǒng)可生存性的影響,試驗(yàn)結(jié)果驗(yàn)證了所提方法的有效性和合理性.
[Abstract]:In order to solve the problem of autonomous management and maintenance of survivable systems and to maintain the continuous provision of critical services, a formal model of system cognition based on SM-PEPA and a quantitative analysis method are proposed. Firstly, a hierarchical cognitive model of survivable system is established, that is, service cognitive sub-layer, network cognitive sub-layer and access cognitive sub-layer. Then, a cognitive unit self-management model based on cognitive loop MDE is proposed, which is initiated by strategy library, and a framework for cognitive performance analysis of survivable systems is constructed by means of the survival state transition diagram of survivable systems. On this basis, combining with the formal description of the cognitive ability of survivable systems, the model is transformed into a semi-Markov process, and the model is analyzed quantitatively. The effects of different parameters on the survivability of the system are analyzed by simulation experiments. The experimental results verify the validity and rationality of the proposed method.
【作者單位】： 哈爾濱理工大學(xué)計(jì)算機(jī)科學(xué)與技術(shù)學(xué)院;哈爾濱師范大學(xué)計(jì)算機(jī)科學(xué)與信息工程學(xué)院;
【基金】：國(guó)家自然科學(xué)基金資助項(xiàng)目(61403109,61202458) 高等學(xué)校博士學(xué)科點(diǎn)專項(xiàng)科研基金資助項(xiàng)目(20112303120007)
【分類號(hào)】：TP393.08

【參考文獻(xiàn)】

相關(guān)期刊論文 前3條

1 王慧強(qiáng);呂宏武;趙倩;董璽坤;馮光升;;一種關(guān)鍵任務(wù)系統(tǒng)自律可信性模型與量化分析[J];軟件學(xué)報(bào);2010年02期

2 劉密霞;張玉清;洪毅;;基于模糊推理的網(wǎng)絡(luò)可生存性的建模與分析[J];通信學(xué)報(bào);2009年01期

3 王健;郭黎利;李揚(yáng);;任務(wù)關(guān)鍵系統(tǒng)可生存性的形式化建模方法[J];山東大學(xué)學(xué)報(bào)(理學(xué)版);2011年09期

【共引文獻(xiàn)】

相關(guān)期刊論文 前10條

1 尹繼元;羅揚(yáng);胡智;;一種基于JMX的動(dòng)態(tài)自適應(yīng)軟件模型[J];電腦知識(shí)與技術(shù);2011年13期

2 肖曉飛;賈穎;;認(rèn)知計(jì)算在網(wǎng)絡(luò)安全態(tài)勢(shì)感知中的應(yīng)用研究[J];大眾科技;2014年02期

3 張楠;趙國(guó)生;盛琳陽(yáng);;一種可生存系統(tǒng)的自主認(rèn)知模型研究[J];智能計(jì)算機(jī)與應(yīng)用;2014年06期

4 鄭瑞娟;吳慶濤;張明川;李冠峰;普杰信;王慧強(qiáng);;一個(gè)基于自律計(jì)算的系統(tǒng)服務(wù)性能自優(yōu)化機(jī)制[J];計(jì)算機(jī)研究與發(fā)展;2011年09期

5 伍文;孟相如;劉蕓江;火興林;;基于連續(xù)時(shí)間Markov的網(wǎng)絡(luò)可生存性建模與量化[J];吉林大學(xué)學(xué)報(bào)(工學(xué)版);2013年05期

6 齊耀龍;劉慧君;鄧娜;;自律式容侵安全數(shù)據(jù)庫(kù)模型[J];河北大學(xué)學(xué)報(bào)(自然科學(xué)版);2014年03期

7 劉揚(yáng);涂春龍;鄭逢斌;;面向視聽(tīng)跨媒體檢索的神經(jīng)認(rèn)知計(jì)算模型研究[J];計(jì)算機(jī)科學(xué);2015年03期

8 李曉鴻;張大方;林惠敏;李發(fā);;無(wú)線自組網(wǎng)可生存性保證的拓?fù)淇刂芠J];清華大學(xué)學(xué)報(bào)(自然科學(xué)版);2011年S1期

9 李t，

本文編號(hào)：1919260