基于可靠性圖的可靠性評估算法的研究.pdf

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

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

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