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

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