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

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

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