1、隨著工程網(wǎng)絡(luò)建設(shè)規(guī)模的不斷增大，各行各業(yè)對(duì)其網(wǎng)絡(luò)可靠性的要求也在不斷的提高。網(wǎng)絡(luò)可靠性作為工程網(wǎng)絡(luò)建設(shè)的一項(xiàng)重要指標(biāo)，時(shí)刻影響著其布局與規(guī)劃。如何快速、精確地計(jì)算工程網(wǎng)絡(luò)可靠性，始終是可信計(jì)算領(lǐng)域里的一個(gè)核心問(wèn)題。
　　本論文根據(jù)工程網(wǎng)絡(luò)的特點(diǎn)，分別針對(duì)邊失效型工程網(wǎng)絡(luò)模型和節(jié)點(diǎn)失效型這兩類工程網(wǎng)絡(luò)模型，進(jìn)行可靠性分析研究。針對(duì)邊失效型的工程網(wǎng)絡(luò)模型，提出了一個(gè)冗余子網(wǎng)刪除定理，然后，基于這個(gè)定理，提出了一種網(wǎng)絡(luò)簡(jiǎn)化技術(shù)。這種簡(jiǎn)化

2、技術(shù)首先利用Tarjan算法找到網(wǎng)絡(luò)的關(guān)節(jié)點(diǎn)，然后根據(jù)K點(diǎn)的分布情況，按照一定規(guī)則逐個(gè)在關(guān)節(jié)點(diǎn)上進(jìn)行邊刪除和K點(diǎn)連通邊添回操作。這種網(wǎng)絡(luò)簡(jiǎn)化技術(shù)以非常小的時(shí)間代價(jià)，事先對(duì)工程網(wǎng)絡(luò)進(jìn)行冗余子網(wǎng)識(shí)別與刪除，從而有效緩解了直接利用網(wǎng)絡(luò)可靠性分析方法在規(guī)模龐大、結(jié)構(gòu)復(fù)雜的工程網(wǎng)絡(luò)上直接進(jìn)行計(jì)算，容易引發(fā)的內(nèi)存溢出和組合爆炸等問(wèn)題。本文選取了多個(gè)工程網(wǎng)絡(luò)進(jìn)行實(shí)驗(yàn)，實(shí)驗(yàn)結(jié)果表明，這種預(yù)處理技術(shù)，可以明顯提高可靠性分析算法在工程網(wǎng)絡(luò)上的工作效率。

3、r>　　針對(duì)節(jié)點(diǎn)失效型的工程網(wǎng)絡(luò)模型，本文注意到一個(gè)節(jié)點(diǎn)失效則對(duì)應(yīng)多條邊失效這一網(wǎng)絡(luò)特性。同時(shí)，我們還參考Kuo和Hardy的邊失效型網(wǎng)絡(luò)模型的網(wǎng)絡(luò)可靠性BDD(Binary Decision Diagram)構(gòu)建算法，提出了一個(gè)節(jié)點(diǎn)塊的概念，并分別制定了節(jié)點(diǎn)塊選擇規(guī)則以及節(jié)點(diǎn)塊中節(jié)點(diǎn)的選擇規(guī)則，為節(jié)點(diǎn)失效型二端工程網(wǎng)絡(luò)的網(wǎng)絡(luò)可靠性等價(jià)BDD構(gòu)建，提供了一種動(dòng)態(tài)節(jié)點(diǎn)排序方法;此外，在節(jié)點(diǎn)失效型網(wǎng)絡(luò)等價(jià)BDD的生成過(guò)程中，又利用BDD節(jié)點(diǎn)