動態(tài)故障樹及其在民機復雜系統(tǒng)安全性評估中的應用研究.pdf

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

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