基于模塊化思想的動(dòng)態(tài)故障樹分析方法研究.pdf

1、隨著科技的迅猛發(fā)展，系統(tǒng)結(jié)構(gòu)日趨復(fù)雜。傳統(tǒng)的故障樹分析方法不適用于具有動(dòng)態(tài)隨機(jī)性故障和相關(guān)性的系統(tǒng)可靠性分析，馬爾可夫模型對(duì)動(dòng)態(tài)系統(tǒng)可靠性分析又常常會(huì)出現(xiàn)NP問題?；谀K化思想的動(dòng)態(tài)故障樹分析方法首先將動(dòng)態(tài)故障樹模塊化，得到獨(dú)立的靜態(tài)子樹和動(dòng)態(tài)子樹，再分別用二元決策圖法和馬爾可夫鏈方法求解，可以大大提高分析的效率。但是，目前尚無一種簡(jiǎn)便通用的獨(dú)立模塊搜索方法以及基于BDD的靜態(tài)子樹分析方法和動(dòng)態(tài)子樹向馬爾可夫鏈的自動(dòng)轉(zhuǎn)化方法等。本文就

2、這些問題展開了分析研究工作。 本文對(duì)于模塊化的問題，介紹了一種獨(dú)立模塊的線性搜索方法，大大縮短了模塊搜索時(shí)間。對(duì)于靜態(tài)子樹的分析，首先介紹了一種基于結(jié)構(gòu)重要度求解故障樹底事件最優(yōu)指標(biāo)順序的方法，然后采用遞歸算法實(shí)現(xiàn)靜態(tài)子樹向BDD的轉(zhuǎn)化，在此基礎(chǔ)上介紹了基于BDD的故障樹定性分析和定量分析方法，提出一種基于BDD的早期不交化求解非單調(diào)關(guān)聯(lián)故障樹質(zhì)蘊(yùn)含的方法。針對(duì)動(dòng)態(tài)子樹直接轉(zhuǎn)化成馬爾可夫鏈比較困難的問題，采用一種基于時(shí)序規(guī)則約束