二元決策圖的排序優(yōu)化及故障樹轉(zhuǎn)化方法的研究.pdf

1、隨著計(jì)算機(jī)軟硬件系統(tǒng)日益復(fù)雜，保證系統(tǒng)的正確性和可靠性日顯重要，為此提出的許多理論和方法中，模型檢測(cè)以其簡(jiǎn)潔明了和自動(dòng)化程度高而引人注目。 論文介紹了二元決策圖的基本原理與研究現(xiàn)狀，針對(duì)影響二元決策圖結(jié)構(gòu)的因素--變量排序進(jìn)行了深入分析；給出了節(jié)點(diǎn)規(guī)模優(yōu)化的排序算法的改進(jìn)思想；研究了利用動(dòng)態(tài)交換來完成路徑數(shù)量?jī)?yōu)化的方法，提出了OSMNP排序優(yōu)化算法。該算法通過對(duì)節(jié)點(diǎn)路徑的定義和記錄，實(shí)現(xiàn)了在變量交換中局部路徑改變量向全局改變量的

2、轉(zhuǎn)移，從而實(shí)現(xiàn)路徑數(shù)量的優(yōu)化。論文還研究了基于二元決策圖的故障樹分析的排序和轉(zhuǎn)化問題，提出一種快速有效的LNPC方法，該方法采用逐漸分解的策略直接完成子事件的排序與組合，一次性地實(shí)現(xiàn)故障樹到二元決策圖的轉(zhuǎn)化與優(yōu)化，并通過實(shí)例驗(yàn)證了其有效性。 OSMNP算法利用相鄰變量交換的有效性能獲取最少路徑的排序；LNPC算法通過按定義的規(guī)則遍歷故障樹不僅完成底事件的優(yōu)化排序，同時(shí)也有效地實(shí)現(xiàn)了故障樹向二元決策圖的轉(zhuǎn)化，這些研究成果對(duì)二元決策