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