動(dòng)態(tài)故障樹(shù)及其在民機(jī)復(fù)雜系統(tǒng)安全性評(píng)估中的應(yīng)用研究.pdf

1、隨著我國(guó)民用飛機(jī)事業(yè)的發(fā)展，適航驗(yàn)證是保證民用飛機(jī)技術(shù)成功和市場(chǎng)成功的重要工作。針對(duì)民用飛機(jī)復(fù)雜系統(tǒng)的適航驗(yàn)證，安全性評(píng)估是適航驗(yàn)證的主要方法之一，其中故障樹(shù)分析方法（FTA）是安全性評(píng)估的常用工具。在工程實(shí)踐中，利用故障樹(shù)分析方法進(jìn)行適航安全性評(píng)估遇到難以描述復(fù)雜系統(tǒng)故障動(dòng)態(tài)邏輯的問(wèn)題，本文對(duì)這些問(wèn)題進(jìn)行了相關(guān)的研究。
　　針對(duì)復(fù)雜系統(tǒng)的動(dòng)態(tài)特性，提出引入動(dòng)態(tài)邏輯門，建立動(dòng)態(tài)故障樹(shù)的分析方法。動(dòng)態(tài)故障樹(shù)分析（DFTA）綜合了故障

2、樹(shù)分析和馬爾可夫鏈法兩者的優(yōu)點(diǎn)，通過(guò)引入表征動(dòng)態(tài)特性的新的邏輯門類型，是解決具有動(dòng)態(tài)特性的系統(tǒng)的安全性評(píng)估的有效途徑。
　　為了便于飛機(jī)的適航取證，本文提出結(jié)合飛機(jī)/系統(tǒng)結(jié)構(gòu)模塊化，建立動(dòng)態(tài)故障樹(shù)。再對(duì)動(dòng)態(tài)故障樹(shù)本身進(jìn)行模塊化，將動(dòng)態(tài)故障樹(shù)分為獨(dú)立的靜態(tài)子樹(shù)和動(dòng)態(tài)子樹(shù)，再分別用二元決策圖法(BDD)和馬爾可夫鏈進(jìn)行求解。
　　文中研究了故障樹(shù)的模塊化，利用二元決策圖分析動(dòng)態(tài)故障樹(shù)的靜態(tài)子樹(shù)，利用馬爾科夫模型分析動(dòng)態(tài)子樹(shù)。