[發(fā)明專利]一種基于元胞自動(dòng)機(jī)的軟件故障傳播規(guī)律發(fā)現(xiàn)方法有效
| 申請(qǐng)?zhí)枺?/td> | 201310706727.7 | 申請(qǐng)日: | 2013-12-19 |
| 公開(公告)號(hào): | CN104734870B | 公開(公告)日: | 2019-03-29 |
| 發(fā)明(設(shè)計(jì))人: | 張琨;王琦;陳旋;卞雪雯;劉藝 | 申請(qǐng)(專利權(quán))人: | 南京理工大學(xué) |
| 主分類號(hào): | H04L12/24 | 分類號(hào): | H04L12/24 |
| 代理公司: | 南京理工大學(xué)專利中心 32203 | 代理人: | 朱顯國(guó) |
| 地址: | 210094 *** | 國(guó)省代碼: | 江蘇;32 |
| 權(quán)利要求書: | 查看更多 | 說(shuō)明書: | 查看更多 |
| 摘要: | |||
| 搜索關(guān)鍵詞: | 一種 基于 自動(dòng)機(jī) 軟件 故障 傳播 方法 | ||
1.一種基于元胞自動(dòng)機(jī)的軟件故障傳播規(guī)律發(fā)現(xiàn)方法,其特征在于步驟如下:
(一)建立元胞自動(dòng)機(jī)CA,定義軟件網(wǎng)絡(luò)化得到的拓?fù)鋱D中的節(jié)點(diǎn)即為元胞,節(jié)點(diǎn)數(shù)目記為M,則CA模型通過(guò)一個(gè)四元組定義為CA=(C,Q,V,f),其中C表示元胞空間,此時(shí)擴(kuò)展為平面空間,元胞不再局限于空間的某一特定位置,而是散布在平面空間上;Q表示元胞狀態(tài),一個(gè)離散的有限集合 ;V表示中心元胞的鄰居集合,此時(shí)不再局限為空間上相鄰的元胞,而是擴(kuò)展為有邊相連即為鄰居;f為狀態(tài)轉(zhuǎn)換規(guī)則;
(二)根據(jù)上述元胞自動(dòng)機(jī)建立軟件故障傳播模型;該模型將節(jié)點(diǎn)狀態(tài)劃分為兩種狀態(tài),N表示節(jié)點(diǎn)正常狀態(tài),F(xiàn)表示節(jié)點(diǎn)故障狀態(tài),軟件網(wǎng)絡(luò)化得到的拓?fù)鋱D中一個(gè)節(jié)點(diǎn)對(duì)應(yīng)元胞自動(dòng)機(jī)的一個(gè)元胞,正常狀態(tài)用0表示,故障狀態(tài)用1表示,令狀態(tài)集Q={0,1},節(jié)點(diǎn)i在t時(shí)刻的狀態(tài)變量用Si(t)(Si(t)∈Q)表示,則有
狀態(tài)轉(zhuǎn)換規(guī)則f可以定義為:在t時(shí)刻狀態(tài)為N的節(jié)點(diǎn)i,在t+1時(shí)刻以概率Pi轉(zhuǎn)換狀態(tài)為F;一旦節(jié)點(diǎn)狀態(tài)為F,則不再影響其鄰居元胞,其中:
α為故障傳播概率;β為節(jié)點(diǎn)自身的容錯(cuò)率,故障傳播概率α和節(jié)點(diǎn)的容錯(cuò)率β都為系統(tǒng)預(yù)設(shè)值;α(1-β)為中心元胞受到一個(gè)故障元胞影響時(shí),自身狀態(tài)轉(zhuǎn)變的概率;sumi(t) 為在t時(shí)刻,中心元胞i的鄰居中故障元胞的個(gè)數(shù);
(三)對(duì)建立好的軟件故障傳播模型進(jìn)行仿真,每個(gè)時(shí)刻對(duì)模型中所有元胞進(jìn)行遍歷,直到模型中故障元胞個(gè)數(shù)不再增加,則跳出循環(huán);
所述步驟三中,對(duì)建立好的軟件故障傳播模型進(jìn)行仿真的具體過(guò)程如下:利用元胞自動(dòng)機(jī)模擬軟件網(wǎng)絡(luò)中故障傳播過(guò)程,根據(jù)元胞自動(dòng)機(jī)建立的軟件故障傳播模型轉(zhuǎn)換規(guī)則f,在每個(gè)時(shí)刻中對(duì)所有元胞進(jìn)行狀態(tài)更新,具體過(guò)程如下:
1)初始化時(shí)刻t=0和t時(shí)刻的故障節(jié)點(diǎn)個(gè)數(shù)I(t)=0,給故障傳播概率α∈(0,1)和節(jié)點(diǎn)的容錯(cuò)率β∈(0,1)賦值,計(jì)算各元胞的鄰居矩陣;
2)在t=k(k≥0)時(shí)刻時(shí),選擇軟件網(wǎng)絡(luò)中n(n<M)個(gè)節(jié)點(diǎn)為初始故障節(jié)點(diǎn),并把節(jié)點(diǎn)對(duì)應(yīng)的元胞狀態(tài)置為F,即元胞此時(shí)刻發(fā)生故障,則I(t)=n;
3)在t=k+1時(shí)刻,遍歷所有元胞,每個(gè)元胞根據(jù)周圍鄰居元胞的狀態(tài)和自身狀態(tài),計(jì)算狀態(tài)轉(zhuǎn)化概率Pi,更新其元胞狀態(tài),元胞狀態(tài)從N轉(zhuǎn)變?yōu)镕,則I(t)=I(t)+1,并把上一時(shí)刻故障的元胞鄰居矩陣置為0;
4)t=t+1,判斷I(t+1)是否等于I(t),如果相等就說(shuō)明故障元胞不再增加,則退出循環(huán),否則執(zhí)行步驟3)。
該專利技術(shù)資料僅供研究查看技術(shù)是否侵權(quán)等信息,商用須獲得專利權(quán)人授權(quán)。該專利全部權(quán)利屬于南京理工大學(xué),未經(jīng)南京理工大學(xué)許可,擅自商用是侵權(quán)行為。如果您想購(gòu)買此專利、獲得商業(yè)授權(quán)和技術(shù)合作,請(qǐng)聯(lián)系【客服】
本文鏈接:http://www.szxzyx.cn/pat/books/201310706727.7/1.html,轉(zhuǎn)載請(qǐng)聲明來(lái)源鉆瓜專利網(wǎng)。
- 嵌入式自動(dòng)機(jī)械控制系統(tǒng)
- 一種帶并發(fā)的狀態(tài)機(jī)圖轉(zhuǎn)換到自動(dòng)機(jī)的方法
- 用于運(yùn)行通信裝置的至少一個(gè)用戶的方法
- 一種雙機(jī)頭全自動(dòng)膠囊生產(chǎn)線
- 一種高炮自動(dòng)機(jī)故障診斷實(shí)驗(yàn)平臺(tái)及模擬射擊的方法
- 一種增量式的自動(dòng)機(jī)更新方法與系統(tǒng)
- 一種基于Büchi自動(dòng)機(jī)化簡(jiǎn)運(yùn)行時(shí)驗(yàn)證監(jiān)控器的方法
- 自動(dòng)機(jī)械表上條效率的檢測(cè)方法
- 一種芯片安全自動(dòng)糾錯(cuò)的方法
- 一種有限狀態(tài)自動(dòng)機(jī)器的精簡(jiǎn)方法及系統(tǒng)
- 一種基于應(yīng)用軟件散布的軟件授權(quán)與保護(hù)方法及系統(tǒng)
- 一種用于航空機(jī)載設(shè)備的軟件在線加載系統(tǒng)及方法
- 軟件構(gòu)建方法、軟件構(gòu)建裝置和軟件構(gòu)建系統(tǒng)
- 惡意軟件檢測(cè)方法及裝置
- 一種基于軟件基因的軟件同源性分析方法和裝置
- 軟件引入系統(tǒng)、軟件引入方法及存儲(chǔ)介質(zhì)
- 軟件驗(yàn)證裝置、軟件驗(yàn)證方法以及軟件驗(yàn)證程序
- 使用靜態(tài)和動(dòng)態(tài)惡意軟件分析來(lái)擴(kuò)展惡意軟件的動(dòng)態(tài)檢測(cè)
- 一種工業(yè)控制軟件構(gòu)建方法和軟件構(gòu)建系統(tǒng)
- 可替換游戲軟件與測(cè)驗(yàn)軟件的裝置與方法
- 故障檢測(cè)裝置、故障檢測(cè)方法以及故障檢測(cè)程序
- 故障預(yù)測(cè)裝置、故障預(yù)測(cè)方法及故障預(yù)測(cè)程序
- 故障分析裝置、故障分析系統(tǒng)及故障分析方法
- 故障檢測(cè)方法、故障檢測(cè)裝置和故障檢測(cè)系統(tǒng)
- 故障檢測(cè)裝置、故障檢測(cè)方法及計(jì)算機(jī)可讀取存儲(chǔ)介質(zhì)
- 故障檢測(cè)裝置、故障檢測(cè)方法和計(jì)算機(jī)能讀取的存儲(chǔ)介質(zhì)
- 故障檢測(cè)裝置、故障檢測(cè)系統(tǒng)、故障檢測(cè)方法
- 故障處理方法、裝置、電子設(shè)備及計(jì)算機(jī)可讀存儲(chǔ)介質(zhì)
- 故障排除方法、故障排除裝置及故障排除系統(tǒng)
- 故障檢測(cè)電路、故障檢測(cè)系統(tǒng)及故障檢測(cè)方法





