基于可靠性圖的可靠性評(píng)估算法的研究.pdf

1、目前，很多復(fù)雜的計(jì)算機(jī)系統(tǒng)要求是高度可信的。針對(duì)這些系統(tǒng)，若存在系統(tǒng)故障將造成嚴(yán)重的后果。若想知道開發(fā)的系統(tǒng)是否達(dá)到用戶的滿意度，需對(duì)系統(tǒng)進(jìn)行評(píng)估。
　　 可信是一個(gè)集合名詞，包括可靠性，安全性等屬性。本文通過對(duì)系統(tǒng)進(jìn)行建模得到系統(tǒng)的可靠性。系統(tǒng)的可靠性是基于組件的。
　　 提出了改進(jìn)的模型:N-存在門邏輯的可靠性圖。由于可靠性圖的受限的表達(dá)能力，在存在門邏輯可靠性圖(RGGG)的基礎(chǔ)上，把RGGG擴(kuò)充為N-存在門邏輯的

2、可靠性圖(N-RGGG)。在N-RGGG中，保留了RGGG中節(jié)點(diǎn)的屬性，即節(jié)點(diǎn)具有邏輯關(guān)系。并允許節(jié)點(diǎn)間存在多條弧，即節(jié)點(diǎn)間可通過多個(gè)組件到達(dá)。其中，N-存在門邏圖的可靠性圖中節(jié)點(diǎn)表示系統(tǒng)所處狀態(tài)，連線表示組件。N-RGGG更能描述系統(tǒng)。
　　 提出了統(tǒng)一的求解節(jié)點(diǎn)可靠性的方法。對(duì)于N-RGGG中不同門邏輯類型的節(jié)點(diǎn)，用統(tǒng)一的方法求解節(jié)點(diǎn)的可靠性。首先根據(jù)N-RGGG中節(jié)點(diǎn)的門邏輯定義，給出該節(jié)點(diǎn)的函數(shù)定義，其函數(shù)定義是一個(gè)邏輯

3、表達(dá)式。其次，把邏輯表達(dá)式統(tǒng)一化簡(jiǎn)為對(duì)合取范式的加減運(yùn)算，在化簡(jiǎn)的過程中，運(yùn)用到概率論中的方法。然后，求解合取范式的值，先后通過獲取組件算法，組件集合分解算法，單個(gè)組件集合求值算法。最后，計(jì)算處于不同狀態(tài)下的節(jié)點(diǎn)可靠性，形成概率表。運(yùn)用全概率公式近似計(jì)算出系統(tǒng)可靠性。
　　 構(gòu)建N-RGGG模型時(shí)，考慮了門邏輯關(guān)系。評(píng)估N-RGGG時(shí)，考慮了組件的相互依賴。其中，相關(guān)性矩陣描述了組件之間的兩兩依賴，門邏輯關(guān)系反應(yīng)在N-存在門邏輯