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