慕曉鼕、易昭湘、趙鵬、張力所著的《軟件密集
型裝備軟硬件故障理論及分析》繫統地介紹了軟件密
集型裝備故障診斷的基本概念和理論，全面闡述了軟
件密集型裝備的故障分析、故障檢測技術。全書共分
為三個部分，第一部分從軟件密集型裝備維修和保障
技術、故障診斷技術現狀、軟硬件故障分析方法等方
面介紹了軟件密集型裝備故障分析的基本概念；第二
部分從故障機理分析、故障劃分等方面介紹了軟件密
集型裝備的故障分析方法；第三部分從故障檢測、故
障雙向分析等方面介紹了軟件密集型裝備軟硬件故障
的檢測方法。
本書可作為高等院校可靠性工程、故障診斷專業
的研究生教材，也可作為從事故障可靠性、維修和保
障等領域研究的專家、工程技術人員和管理人員的參
考資料。

第1章 軟件密集型裝備
1.1 軟件密集型裝備的基本概念
1.1.1 定義及內涵
1.1.2 分類與特點
1.2 軟件密集型裝備的發展概況
1.3 軟件密集型裝備的維修和保障技術
1.3.1 軟件密集型裝備的保障繫統
1.3.2 軟件密集型裝備的保障技術
第2章 故障診斷方法
2.1 故障基本概念
2.1.1 故障及分類
2.1.2 軟件故障
2.1.3 軟硬件故障
2.2 故障診斷技術及現狀
2.2.1 基於模型的故障診斷方法
2.2.2 基於監測的故障診斷方法
2.2.3 基於知識的故障診斷方法
第3章 軟件密集型裝備的故障分析
3.1 軟件密集型裝備的故障及其特點
3.2 軟件密集型裝備的故障分析現狀
3.2.1 國外研究現狀
3.2.2 **研究現狀
3.3 軟件密集型裝備的故障分析框架
第4章 基於Petri網的軟件密集型裝備故障機理分析技術
4.1 故障建模問題分析
4.2 Petri網基本理論
4.2.1 Petri網基本概念
4.2.2 Petri網基本性質
4.3 基於Petri網的軟件故障模型
4.3.1 SHFPN形式化定義
4.3.2 SHFPN運行規則
4.3.3 SHFPN性質分析
4.4 軟硬件故障模式
4.4.1 軟硬件故障模式定義
4.4.2 軟硬件故障模式識別
4.5 軟硬件故障機理分析
4.5.1 軟硬件故障機理
4.5.2 故障機理分析算法
4.6 實例分析
4.6.1 實例介紹
4.6.2 結果與分析
第5章 基於形式化方法的軟件密集型裝備故障劃分技術
5.1 故障劃分問題
5.1.1 故障劃分意義
5.1.2 故障劃分方法
5.2 軟硬件故障形式化的劃分
5.2.1 典型設備軟硬件故障劃分準則
5.2.2 基於形式化方法的劃分方法
5.2.3 軟硬件故障劃分方法流程
5.3 OTS驗證
5.4 故障劃分實例
第6章 基於BDA的軟件密集型裝備故障雙向分析技術
6.1 故障分析問題
6.1.1 故障分析存在的問題
6.1.2 BDA技術及特點
6.2 BDA分析基本流程
6.2.1 前向分析
6.2.2 後向分析
6.2.3 雙向分析
6.3 軟硬件故障BDA分析方法
6.3.1 軟硬件故障前向分析
6.3.2 軟硬件故障後向分析
6.3.3 軟硬件故障雙向分析
6.4 故障分析實例
6.4.1 R1的前向分析
6.4.2 R1的後向分析
6.4.3 實例結果分析
第7章 基於陰性選擇算法的軟件密集型裝備故障檢測技術
7.1 軟件密集型裝備的故障檢測
7.1.1 故障檢測問題與分析
7.1.2 相關概念與定義
7.1.3 故障檢測框架
7.2 陰性選擇算法
7.2.1 基本原理
7.2.2 應用和改進
7.3 矩陣式陰性選擇算法
7.3.1 自我集和檢測集
7.3.2 距離和匹配規則
7.3.3 檢測器生成算法
7.3.4 矩陣式陰性選擇算法
7.4 故障檢測實例
7.4.1 算法分析實例
7.4.2 故障檢測實驗
7.4.3 故障檢測結論
參考文獻