《軟體密集型裝備軟硬體故障理論及分析》是2015年西安電子科技大學出版社出版的圖書，作者是慕曉冬、易昭湘、趙鵬、張力。
基本介紹
- 中文名：軟體密集型裝備軟硬體故障理論及分析
- 作者：慕曉冬 易昭湘 趙鵬 張力
- 出版社：西安電子科技大學出版社
- 出版時間：2015年07月
- 定價：15.3 元
- ISBN：978-7-5606-3746-4
內容簡介,編輯推薦,目錄,
內容簡介
本書系統地介紹了軟體密集型裝備故障診斷的基本概念和理論，全面闡述了軟體密集型裝備的故障分析、故障檢測技術。全書共分為三個部分，第一部分從軟體密集型裝備維修和保障技術、故障診斷技術現狀、軟硬體故障分析方法等方面介紹了軟體密集型裝備故障分析的基本概念；第二部分從故障機理分析、故障劃分等方面介紹了軟體密集型裝備的故障分析方法；第三部分從故障檢測、故障雙向分析等方面介紹了軟體密集型裝備軟硬體故障的檢測方法。本書可作為高等院校可靠性工程、故障診斷專業的研究生教材，也可作為從事故障可靠性、維修和保障等領域研究的專家、工程技術人員和管理人員的參考資料。
編輯推薦
新軍事變革與軍隊信息化建設步伐的加快，使得軟體密集型裝備不斷取代傳統武器裝備，成為現代戰爭中的決定性力量。軟體密集型裝備是軟體與硬體緊密結合而成的複雜系統，軟體和硬體相互作用引發的故障模式給分析和診斷帶來了巨大的挑戰，嚴重製約了軟體密集型裝備維修和保障能力的提升。
本書以軟體密集型裝備的故障診斷需求為牽引，以現有的故障診斷理論和方法為指導，在分析軟體密集型裝備故障特點的基礎上，系統而深入地闡述了軟體密集型裝備的故障分析理論和方法。全書按照“基本概念—故障分析技術—故障檢測技術”的總體思路劃分為三個部分。基本概念部分介紹了軟體密集型裝備的基本概念及發展概況、 故障分類及故障診斷技術發展現狀、 軟體密集型裝備的故障特點及分析框架；故障分析技術部分介紹了基於Petri網的故障機理分析技術、 基於形式化方法的軟體密集型裝備故障劃分技術；故障檢測技術部分介紹了基於BDA的軟體密集型裝備故障雙向分析技術和基於陰性選擇算法的軟體密集型裝備故障檢測技術。
本書基礎理論和專業技術並重，又兼顧理論方法和實際案例的融合，為軟體密集型裝備相關的研究提供了理論基礎，也為裝備可靠性分析和維修提供了詳實的參考，對軟體密集型裝備維修和保障實踐具有實用價值。本書介紹的軟體密集型裝備軟硬體故障診斷理論和方法內容均屬於該領域最新的研究方向，相關理論和技術完備，可為從事可靠性研究的專家學者提供借鑑。
目錄
c第1章 軟體密集型裝備 1
1.1 軟體密集型裝備的基本概念 1
1.1.1 定義及內涵 1
1.1.2 分類與特點 2
1.2 軟體密集型裝備的發展概況 2
1.3 軟體密集型裝備的維修和保障技術 4
1.3.1 軟體密集型裝備的保障系統 4
1.3.2 軟體密集型裝備的保障技術 6
第2章 故障診斷方法 12
2.1 故障基本概念 12
2.1.1 故障及分類 12
2.1.2 軟體故障 13
2.1.3 軟硬體故障 13
2.2 故障診斷技術及現狀 14
2.2.1 基於模型的故障診斷方法 15
2.2.2 基於監測的故障診斷方法 17
2.2.3 基於知識的故障診斷方法 18
第3章 軟體密集型裝備的故障分析 21
3.1 軟體密集型裝備的故障及其特點 21
3.2 軟體密集型裝備的故障分析現狀 22
3.2.1 國外研究現狀 22
3.2.2 國內研究現狀 23
3.3 軟體密集型裝備的故障分析框架 24
第4章 基於Petri網的軟體密集型裝備故障機理分析技術 26
4.1 故障建模問題分析 26
4.2 Petri網基本理論 27
4.2.1 Petri網基本概念 27
4.2.2 Petri網基本性質 28
4.3 基於Petri網的軟體故障模型 29
4.3.1 SHFPN形式化定義 29
4.3.2 SHFPN運行規則 30
4.3.3 SHFPN性質分析 31
4.4 軟硬體故障模式 31
4.4.1 軟硬體故障模式定義 32
4.4.2 軟硬體故障模式識別 33
4.5 軟硬體故障機理分析 36
4.5.1 軟硬體故障機理 36
4.5.2 故障機理分析算法 36
4.6 實例分析 38
4.6.1 實例介紹 38
4.6.2 結果與分析 40
第5章 基於形式化方法的軟體密集型裝備故障劃分技術 42
5.1 故障劃分問題 42
5.1.1 故障劃分意義 42
5.1.2 故障劃分方法 42
5.2 軟硬體故障形式化的劃分 44
5.2.1 典型設備軟硬體故障劃分準則 44
5.2.2 基於形式化方法的劃分方法 44
5.2.3 軟硬體故障劃分方法流程 45
5.3 OTS驗證 46
5.4 故障劃分實例 49
第6章 基於BDA的軟體密集型裝備故障雙向分析技術 52
6.1 故障分析問題 52
6.1.1 故障分析存在的問題 52
6.1.2 BDA技術及特點 53
6.2 BDA分析基本流程 53
6.2.1 前向分析 54
6.2.2 後向分析 55
6.2.3 雙向分析 55
6.3 軟硬體故障BDA分析方法 55
6.3.1 軟硬體故障前向分析 56
6.3.2 軟硬體故障後向分析 58
6.3.3 軟硬體故障雙向分析 61
6.4 故障分析實例 62
6.4.1 R1的前向分析 62
6.4.2 R1的後向分析 66
6.4.3 實例結果分析 70
第7章 基於陰性選擇算法的軟體密集型裝備故障檢測技術 72
7.1 軟體密集型裝備的故障檢測 72
7.1.1 故障檢測問題與分析 72
7.1.2 相關概念與定義 73
7.1.3 故障檢測框架 74
7.2 陰性選擇算法 74
7.2.1 基本原理 74
7.2.2 套用和改進 75
7.3 矩陣式陰性選擇算法 76
7.3.1 自我集和檢測集 77
7.3.2 距離和匹配規則 77
7.3.3 檢測器生成算法 79
7.3.4 矩陣式陰性選擇算法 80
7.4 故障檢測實例 81
7.4.1 算法分析實例 81
7.4.2 故障檢測實驗 86
7.4.3 故障檢測結論 87
參考文獻 88
