軟件密集型裝備軟硬件故障理論及分析

第1章 軟件密集型裝備
1.1 軟件密集型裝備的基本概念
1.1.1 定義及內(nèi)涵
1.1.2 分類與特點
1.2 軟件密集型裝備的發(fā)展概況
1.3 軟件密集型裝備的維修和保障技術(shù)
1.3.1 軟件密集型裝備的保障系統(tǒng)
1.3.2 軟件密集型裝備的保障技術(shù)
第2章 故障診斷方法
2.1 故障基本概念
2.1.1 故障及分類
2.1.2 軟件故障
2.1.3 軟硬件故障
2.2 故障診斷技術(shù)及現(xiàn)狀
2.2.1 基于模型的故障診斷方法
2.2.2 基于監(jiān)測的故障診斷方法
2.2.3 基于知識的故障診斷方法
第3章 軟件密集型裝備的故障分析
3.1 軟件密集型裝備的故障及其特點
3.2 軟件密集型裝備的故障分析現(xiàn)狀
3.2.1 國外研究現(xiàn)狀
3.2.2 國內(nèi)研究現(xiàn)狀
3.3 軟件密集型裝備的故障分析框架
第4章 基于Petri網(wǎng)的軟件密集型裝備故障機理分析技術(shù)
4.1 故障建模問題分析
4.2 Petri網(wǎng)基本理論
4.2.1 Petri網(wǎng)基本概念
4.2.2 Petri網(wǎng)基本性質(zhì)
4.3 基于Petri網(wǎng)的軟件故障模型
4.3.1 SHFPN形式化定義
4.3.2 SHFPN運行規(guī)則
4.3.3 SHFPN性質(zhì)分析
4.4 軟硬件故障模式
4.4.1 軟硬件故障模式定義
4.4.2 軟硬件故障模式識別
4.5 軟硬件故障機理分析
4.5.1 軟硬件故障機理
4.5.2 故障機理分析算法
4.6 實例分析
4.6.1 實例介紹
4.6.2 結(jié)果與分析
第5章 基于形式化方法的軟件密集型裝備故障劃分技術(shù)
5.1 故障劃分問題
5.1.1 故障劃分意義
5.1.2 故障劃分方法
5.2 軟硬件故障形式化的劃分
5.2.1 典型設(shè)備軟硬件故障劃分準(zhǔn)則
5.2.2 基于形式化方法的劃分方法
5.2.3 軟硬件故障劃分方法流程
5.3 0TS驗證
5.4 故障劃分實例
第6章 基于BDA的軟件密集型裝備故障雙向分析技術(shù)
6.1 故障分析問題
6.1.1 故障分析存在的問題
6.1.2 BDA技術(shù)及特點
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 實例結(jié)果分析
第7章 基于陰性選擇算法的軟件密集型裝備故障檢測技術(shù)
7.1 軟件密集型裝備的故障檢測
7.1.1 故障檢測問題與分析
7.1.2 相關(guān)概念與定義
7.1.3 故障檢測框架
7.2 陰性選擇算法
7.2.1 基本原理
7.2.2 應(yīng)用和改進(jìn)
7.3 矩陣式陰性選擇算法
7.3.1 自我集和檢測集
7.3.2 距離和匹配規(guī)則
7.3.3 檢測器生成算法
7.3.4 矩陣式陰性選擇算法
7.4 故障檢測實例
7.4.1 算法分析實例
7.4.2 故障檢測實驗
7.4.3 故障檢測結(jié)論
參考文獻(xiàn)