第1章  故障樹分析理論基礎    1．1  可靠性基本理論    1．1．1  基本概念    1．1．2  可靠性特征曲線    1．1．3  常用連續(xù)型統(tǒng)計分布  1．2  靜態(tài)故障樹分析 第1章 故障樹分析理論基礎 1．1 可靠性基本理論 1．1．1 基本概念 1．1．2 可靠性特征曲線 1．1．3 常用連續(xù)型統(tǒng)計分布 1．2 靜態(tài)故障樹分析方式 1．2．1 基本原理 1．2．2 定性分析 1．2．3 定量分析 1．3 BDD分析方法 1．3．1 BDD的概念 1．3．2 靜態(tài)故障樹的BDD轉化 1．3．3 基于BDD的定性分析 1．3．4 基于BDD的定量分析 1．3．5 BDD應用舉例 1．3．6 BDD法與最小割集法的比較 1．4 本章小結第2章 動態(tài)故障樹的基本概念及其應用 2．1 動態(tài)故障樹基本概念 2．1．1 FDEP門 2．1．2 SEQ門 2．1．3 PAND 門 2．1．4 CSP門 2. 1．5 WSP／HSP 門 2．2 動態(tài)故障樹構建流程 2. 2．1 了解背景 2．2. 2 確定頂事件 2．2．3 確定基本事件 2．2．4 建樹 2．2．5 規(guī)范和簡化 2．3 動態(tài)故障樹應用舉例 2．3．1 容錯并行處理系統(tǒng) 2．3．2 航空電子系統(tǒng) 2．4 本章小結第3章 基于馬爾可夫模型的動態(tài)故障樹分析 3．1 馬爾可夫模型的基本概念 3．1．1 離散時間馬爾可夫模型 3．1．2 連續(xù)時間馬爾可夫模型 3．2 幾種典型動態(tài)邏輯門的馬爾可夫轉化 3．2．1 馬爾可夫狀態(tài)轉移圖 3．2．2 優(yōu)先與門的轉化 3．2．3 順序相關門的轉化 3．2．4 無公用備件冷備件門的轉化 3．2．5 含公用備件冷備件門的轉化 3．2．6 溫備件門的轉化 3．2．7 無公用備件熱備件門的轉化 3．2．8 含公用備件熱備件門的轉化 3．2．9 功能相關門的轉化 3．3 動態(tài)故障樹馬爾可夫模型的理論求解方法 3．3．1 條件假設 3．3．2 馬爾可夫模型的定性分析 3．3．3 馬爾可夫模型的定量分析 3．3. 4 示例 3．4 本章小結第4章 動態(tài)故障樹的模塊化方法 4．1 靜態(tài)故障樹的模塊識別方法 4．1．1 基本概念 4．1．2 模塊識別算法 4．2 動態(tài)故障樹的模塊識別方法 4．2．1 基本概念 4．2．2 ⅡIMKDR方法 4．3 動態(tài)故障樹的模塊化分析方法 4．3．1 MIT方法及應用 4．3．2 DNA方法及應用 4．3．3 FTAIO方法及應用 4. 4 本章小結第5章 動態(tài)故障樹割序法的代數框架 5．1 假設條件 5．2 時間概念區(qū)分 5．2．1 絕對時間與相對時間 5．2．2 連續(xù)時間與離散時間 5．2．3 線性時間與分支時間 5．3 語法變元和常元定義 5．4 運算符號定義及性質 5．4. 1 合式公式形成規(guī)則 5．4．2 組合邏輯運算符號 5．4．3 時序邏輯運算符號 5. 4．4 時序邏輯運算符號的進一步分析 5．5 布爾規(guī)則的引入 5．6 時序規(guī)則的提出及其有效性證明 5．6．1 由布爾規(guī)則衍生的時序規(guī)則 5．6．2 由時序邏輯產生的時序規(guī)則 5．6．3 時序規(guī)則的進一步分析 5．7 布爾規(guī)則和時序規(guī)則的完備化驗證 5．7．1 不可約式一一析取優(yōu)先范式 5．7．2 公式的二叉樹結構通式表示 5．7．3 規(guī)則體系的完備化驗證 5．8 本章小結第6章 動態(tài)故障樹割序法的定性分析 6．1 理論基礎 6．2 動態(tài)故障樹的代數描述建模 6．2．1 靜態(tài)邏輯門 6．2. 2 功能相關門 6．2．3 優(yōu)先與門 6．2. 4 不含公用備件的備件門 6．2．5 含公用備件的備件門 6．3 從動態(tài)故障樹代數描述到割序集及最小割序集 6. 3．1 動態(tài)故障樹結構函數構建 6．3．2 最小割序集生成算法描述 6．4 示例分析 6．5 本章小結第7章 動態(tài)故障樹割序法的定量分析 7. 1 時序失效邏輯描述及其概率模型 7．1．1 優(yōu)先失效邏輯 7．1．2 備件失效邏輯 7. 1．3 備件失效邏輯的拓展分析 7．2 割序發(fā)生概率的通用量化模型 7．2．1 基于時序失效邏輯的基本事件動態(tài)行為分類 7．2．2 通用量化模型 7．2．3 模型求解方法 7．3 指數分布情形下通用量化模型的解析式推導 7．4 示例分析 7．5 本章小結第8章 基于擴展割序集的動態(tài)故障樹分析 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系統(tǒng) 8．5．2 OBC系統(tǒng) 8．6 本章小結第9章 基于貝葉斯網絡的動態(tài)故障樹分析 9．1 標準貝葉斯網絡 9．1. 1 貝葉斯網絡的結構 9．1．2 貝葉斯網絡的類型 9．1．3 貝葉斯網絡的推理 9．2 離散時間貝葉斯網絡 9．3 動態(tài)故障樹向離散時間貝葉斯網絡的轉換 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 本章小結第10章 動態(tài)故障樹分析方法的研究進展及發(fā)展趨勢 10. 1 動態(tài)故障樹分析方法的研究進展 10．2 動態(tài)故障樹分析方法的發(fā)展趨勢：割序研究參考文獻