动态故障树分析方法

1.1 可靠性基本理论
1.1.1 基本概念
1.1.2 可靠性特征曲线
1.1.3 常用连续型统计分布
1.2 静态故障树分析方法
1.2.1 基本原理
1.2.2 定性分析
1.2.3 定量分析
1.3 BDD分析方法
1.3.1 BDD的概念
1.3.2 静态故障树的BDD转化
1.3.3 基于BDD的定性分析
1.3.4 基于BDD的定量分析
1.3.5 BDD应用举例
1.3.6 BDD法与最小割集法的比较
1.4 本章小结
第2章 动态故障树的基本概念及其应用
2.1 动态故障树基本概念
2.1.1 FDEP门
2.1.2 SEQ门
2.1.3 PAND门
2.1.4 CSP门
2.1.5 WSP/HSP门
2.2 动态故障树构建流程
2.2.1 了解背景
2.2.2 确定顶事件
2.2.3 确定基本事件
2.2.4 建树
2.2.5 规范和简化
2.3 动态故障树应用举例
2.3.1 容错并行处理系统
2.3.2 航空电子系统
2.4 本章小结
第3章 基于马尔可夫模型的动态故障树分析
3.1 马尔可夫模型的基本概念
3.1.1 离散时间马尔可夫模型
3.1.2 连续时间马尔可夫模型
3.2 几种典型动态逻辑门的马尔可夫转化
3.2.1 马尔可夫状态转移图
3.2.2 优先与门的转化
3.2.3 顺序相关门的转化
3.2.4 无公用备件冷备件门的转化
3.2.5 含公用备件冷备件门的转化
3.2.6 温备件门的转化
3.2.7 无公用备件热备件门的转化
3.2.8 含公用备件热备件门的转化
3.2.9 功能相关门的转化
3.3 动态故障树马尔可夫模型的理论求解方法
3.3.1 条件假设
3.3.2 马尔可夫模型的定性分析
3.3.3 马尔可夫模型的定量分析
3.3.4 示例
3.4 本章小结
第4章 动态故障树的模块化方法
4.1 静态故障树的模块识别方法
4.1.1 基本概念
4.1.2 模块识别算法
4.2 动态故障树的模块识别方法
4.2.1 基本概念
4.2.2 IIMKDR方法
4.3 动态故障树的模块化分析方法
……
第5章 动态故障树割序法的代数框架
第6章 动态故障树割序法的定性分析
第7章 动态故障树割序法的定量分析
第8章 基于扩展割序集的动态故障树分析
第9章 基于贝叶斯网络的动态故障树分析
第10章 动态故障树分析方法的研究进展及发展趋势
参考文献