劉東、張紅林、王波、邢維艷編著的《動態故障樹分析方法(精)》共分為10章。第1章介紹故障樹分析理論基礎。第2章介紹動態故障樹基本概念及其應用，包括動態故障樹基本概念、建樹流程及應用舉例。第3章是基於馬爾可夫模型的動態故障樹分析。第4章講解了動態故障樹的模塊化方法，主要包含靜態、動態故障樹的模塊識別方法，動態故障樹的模塊化分析方法等。第5章是動態故障樹割序法的代數框架。第6章介紹了動態故障樹割序法的定性分析。第7章是動態故障樹割序法的定量分析，以時序失效邏輯描述為基礎，介紹了割序發生概率的通用量化模型及指數分布情形下模型的解析表達式，*後還給出了定量分析實例。第8章是割序法的補充與延伸，闡釋了基於擴展割序集的動態故障樹分析，從擴展割序集的基本概念出發，依次介紹了*新擴展割序集生成方法、不交化方法和量化方法。第9章是基於貝葉斯網絡的動態故障樹分析，涵蓋了貝葉斯網絡基本概念、動態邏輯門的離散和連續貝葉斯網絡轉換等。**0章講解動態故障樹分析方法的研究進展及發展趨勢，全面回顧了動態故障樹分析方法的研究現狀、進展，展望了其發展趨勢。

動態故障樹是在傳統故障樹基礎上，添加反映部 件故障時序關繫的邏輯門而形成的可靠性分析方法。 劉東、張紅林、王波、邢維艷編著的《動態故障樹分 析方法(精)》以動態故障樹的基本理論、典型方法及 其應用為主要內容，重點突出方法描述及方法應用， 並融進了作者最新的理論研究成果和工程實踐經驗。 《動態故障樹分析方法(精)》可作為一般讀者學 習動態故障樹的工具書，也可作為可靠性工程人員的 參考資料。

第1章 故障樹分析理論基礎
1．1 可靠性基本理論
1．1．1 基本概念
1．1．2 可靠性特征曲線
1．1．3 常用連續型統計分布
1．2 靜態故障樹分析方式
1．2．1 基本原理
1．2．2 定性分析
1．2．3 定量分析
1．3 BDD分析方法
1．3．1 BDD的概念
1．3．2 靜態故障樹的BDD轉化
1．3．3 基於BDD的定性分析
1．3．4 基於BDD的定量分析
1．3．5 BDD應用舉例
1．3．6 BDD法與*小割集法的比較
1．4 本章小結
第2章 動態故障樹的基本概念及其應用
2．1 動態故障樹基本概念
2．1．1 FDEP門
2．1．2 SEQ門
2．1．3 PAND 門
2．1．4 CSP門
2. 1．5 WSP／HSP 門
2．2 動態故障樹構建流程
2. 2．1 了解背景
2．2. 2 確定頂事件
2．2．3 確定基本事件
2．2．4 建樹
2．2．5 規範和簡化
2．3 動態故障樹應用舉例
2．3．1 容錯並行處理繫統
2．3．2 航空電子繫統
2．4 本章小結
第3章 基於馬爾可夫模型的動態故障樹分析
3．1 馬爾可夫模型的基本概念
3．1．1 離散時間馬爾可夫模型
3．1．2 連續時間馬爾可夫模型
3．2 幾種典型動態邏輯門的馬爾可夫轉化
3．2．1 馬爾可夫狀態轉移圖
3．2．2 優先與門的轉化
3．2．3 順序相關門的轉化
3．2．4 無公用備件冷備件門的轉化
3．2．5 含公用備件冷備件門的轉化
3．2．6 溫備件門的轉化
3．2．7 無公用備件熱備件門的轉化
3．2．8 含公用備件熱備件門的轉化
3．2．9 功能相關門的轉化
3．3 動態故障樹馬爾可夫模型的理論求解方法
3．3．1 條件假設
3．3．2 馬爾可夫模型的定性分析
3．3．3 馬爾可夫模型的定量分析
3．3. 4 示例
3．4 本章小結
第4章 動態故障樹的模塊化方法
4．1 靜態故障樹的模塊識別方法
4．1．1 基本概念
4．1．2 模塊識別算法
4．2 動態故障樹的模塊識別方法
4．2．1 基本概念
4．2．2 ⅡIMKDR方法
4．3 動態故障樹的模塊化分析方法
4．3．1 MIT方法及應用
4．3．2 DNA方法及應用
4．3．3 FTAIO方法及應用
4. 4 本章小結
第5章 動態故障樹割序法的代數框架
5．1 假設條件
5．2 時間概念區分
5．2．1 **時間與相對時間
5．2．2 連續時間與離散時間
5．2．3 線性時間與分支時間
5．3 語法變元和常元定義
5．4 運算符號定義及性質
5．4. 1 合式公式形成規則
5．4．2 組合邏輯運算符號
5．4．3 時序邏輯運算符號
5. 4．4 時序邏輯運算符號的進一步分析
5．5 布爾規則的引入
5．6 時序規則的提出及其有效性證明
5．6．1 由布爾規則衍生的時序規則
5．6．2 由時序邏輯產生的時序規則
5．6．3 時序規則的進一步分析
5．7 布爾規則和時序規則的完備化驗證
5．7．1 不可約式一一析取優先範式
5．7．2 公式的二叉樹結構通式表示
5．7．3 規則體繫的完備化驗證
5．8 本章小結
第6章 動態故障樹割序法的定性分析
6．1 理論基礎
6．2 動態故障樹的代數描述建模
6．2．1 靜態邏輯門
6．2. 2 功能相關門
6．2．3 優先與門
6．2. 4 不含公用備件的備件門
6．2．5 含公用備件的備件門
6．3 從動態故障樹代數描述到割序集及*小割序集
6. 3．1 動態故障樹結構函數構建
6．3．2 *小割序集生成算法描述
6．4 示例分析
6．5 本章小結
第7章 動態故障樹割序法的定量分析
7. 1 時序失效邏輯描述及其概率模型
7．1．1 優先失效邏輯
7．1．2 備件失效邏輯
7. 1．3 備件失效邏輯的拓展分析
7．2 割序發生概率的通用量化模型
7．2．1 基於時序失效邏輯的基本事件動態行為分類
7．2．2 通用量化模型
7．2．3 模型求解方法
7．3 指數分布情形下通用量化模型的解析式推導
7．4 示例分析
7．5 本章小結
第8章 基於擴展割序集的動態故障樹分析
8．1 基本概念
8．1．1 相關概念
8．1．2 基本命題
8．2 *小擴展割序集生成方法
8. 2．1 基本事件運算
8．2．2 AND門運算
8．2．3 OR門運算
8．2．4 PAND門運算
8．2．5 WSP門運算
8．2．6 FDEP門的討論
8．2．7 SEQ門的討論
8．3 *小擴展割序集不交化方法
8．4 擴展割序的量化方法
8．4．1 標準擴展割序
8．4．2 CIDRS算法的一般過程．
8．4．3 割項衝空檢測
8．4．4 割項時限集精簡
8．4．5 割項基本事件集排序
8．4．6 割項量化計算
8．5 示例分析
8．5. 1 HDS繫統
8．5．2 OBC繫統
8．6 本章小結
第9章 基於貝葉斯網絡的動態故障樹分析
9．1 標準貝葉斯網絡
9．1. 1 貝葉斯網絡的結構
9．1．2 貝葉斯網絡的類型
9．1．3 貝葉斯網絡的推理
9．2 離散時間貝葉斯網絡
9．3 動態故障樹向離散時間貝葉斯網絡的轉換
9．3．1 AND門和OR門向DTBN的轉換
9．3. 2 k／n門向DTBN的轉換
9．3．3 FDEP門向DTBN的轉換
9．3．4 WSP門向DTBN的轉換
9．3．5 CSP門向DTBN的轉換
9．3. 6 PAND門向DTBN的轉換
9．3. 7 SEQ門向DTBN的轉換
9．4 示例分析
9. 4. 1 示例1
9．4．2 示例2
9．5 本章小結
**0章 動態故障樹分析方法的研究進展及發展趨勢
10. 1 動態故障樹分析方法的研究進展
10．2 動態故障樹分析方法的發展趨勢：割序研究
參考文獻