系統(tǒng)級(jí)診斷是多處理器系統(tǒng)設(shè)計(jì)和維護(hù)中的重要方面,通過(guò)診斷參數(shù)來(lái)衡量系統(tǒng)的容錯(cuò)性能。傳統(tǒng)的診斷參數(shù)都是在假設(shè)系統(tǒng)中僅有處理器發(fā)生故障的情形下得到的,但是在實(shí)際情形中,系統(tǒng)中的處理器和鏈接都可能發(fā)生故障。該文研究了新的系統(tǒng)級(jí)診斷參數(shù)—h-邊容錯(cuò)診斷數(shù)。當(dāng)系統(tǒng)G中的故障邊數(shù)不超過(guò)h時(shí),G中包含的可以被全部識(shí)別的最大故障點(diǎn)數(shù)稱(chēng)為系統(tǒng)G的h-邊容錯(cuò)診斷數(shù)。通過(guò)對(duì)一般圖中公共鄰點(diǎn)數(shù)的限制,證明了PMC模型下一般圖的h邊容錯(cuò)診斷數(shù)。文中確定了k-元n-方體、平衡立方體、交換立方體和交換折疊立方體4類(lèi)網(wǎng)絡(luò)在PMC模型下的h-邊容錯(cuò)診斷數(shù),為衡量系統(tǒng)在點(diǎn)邊混合故障情形下的容錯(cuò)性能提供了有效參數(shù)。 

【文章來(lái)源】：西北大學(xué)學(xué)報(bào)(自然科學(xué)版). 2020,50(05)北大核心CSCD

【文章頁(yè)數(shù)】：6 頁(yè)

【部分圖文】：

F1,F2可區(qū)分的兩種情形

假設(shè)u∈V滿足d(u)=δ(G),u的鄰點(diǎn)集合為NG(u)={u1,u2,…,uδ(G)}。令F1={uh+1,uh+2,…,uδ(G)},F2={u,uh+1,…,uδ(G)},Fe={uu1,uu2,…,uuh}(見(jiàn)圖2)。顯然,|F1|=δ(G)-h,|F2|=δ(G)-h+1,|Fe|=h且F1ΔF2={u}。因?yàn)镚-Fe中不存在V-(F1∪F2)和F1ΔF2之間的邊,由引理1得,F1和F2在G-Fe中是不可區(qū)分的。因此,在PMC模型中,t h e (G)≤max{|F1|,|F2|}-1=δ(G)-h。引理3 在PMC模型中,若圖G=(V,E)滿足nc(G)≤δ(G)-h-2,則t h e (G)≥δ(G)-h,其中, 1 2 δ(G)≤h≤δ(G)-1 。

不失一般性,令|F1-F2|=1,|F2-F1|=0。假設(shè)F1-F2={u}。對(duì)任意一點(diǎn)v∈Nv-F1∪F2(u),因?yàn)镕1和F2在G-Fe中是不可區(qū)分的,由引理2可得,uv∈Fe(見(jiàn)圖3)。因?yàn)閨Fe|≤h,所以u(píng)至少有δ(u)-h個(gè)鄰點(diǎn)在F2中,即|F2|≥δ(G)-h。因此,|F1|=|F2∪{u}|=δ(G)-h+1與|F1|≤δ(G)-h是矛盾的。情況2 |F1-F2|=1且|F2-F1|=1。

【參考文獻(xiàn)】：
期刊論文
[1]交換折疊超立方體的連通度[J]. 蔡學(xué)鵬,楊偉,任佰通,馮苗苗.  井岡山大學(xué)學(xué)報(bào)(自然科學(xué)版). 2019(04)
[2]k元n立方體的條件容錯(cuò)強(qiáng)Menger邊連通性[J]. 翟登鑫.  沈陽(yáng)大學(xué)學(xué)報(bào)(自然科學(xué)版). 2019(02)
[3]平衡立方體的h-額外連通度及h-額外條件診斷數(shù)[J]. 張興,李莉莉,陳敬,李巧萍.  高校應(yīng)用數(shù)學(xué)學(xué)報(bào)A輯. 2019(01)
[4]交錯(cuò)群圖AGn的5類(lèi)子圖可靠性研究[J]. 譚秋月.  西南師范大學(xué)學(xué)報(bào)(自然科學(xué)版). 2017(11)



本文編號(hào)：3535075