第1章 故障树分析理论基础 1
1.1可靠性基本理论 1
1.1.1基本概念 1
1.1.2可靠性特征曲线 4
1.1.3常用连续型统计分布 4
1.2静态故障树分析方法 7
1.2.1基本原理 7
1.2.2定性分析 10
1.2.3定量分析 12
1.3 BDD分析方法 14
1.3.1 BDD的概念 14
1.3.2静态故障树的BDD转化 15
1.3.3基于BDD的定性分析 20
1.3.4基于BDD的定量分析 22
1.3.5 BDD应用举例 22
1.3.6 BDD法与最小割集法的比较 23
1.4本章小结 24
第2章 动态故障树的基本概念及其应用 25
2.1动态故障树基本概念 25
2.1.1 FDEP门 25
2.1.2 SEQ门 26
2.1.3 PAND门 26
2.1.4 CSP门 28
2.1.5 WSP/HSP门 29
2.2动态故障树构建流程 30
2.2.1了解背景 30
2.2.2确定顶事件 30
2.2.3确定基本事件 31
2.2.4建树 31
2.2.5规范和简化 31
2.3动态故障树应用举例 31
2.3.1容错并行处理系统 31
2.3.2航空电子系统 37
2.4本章小结 43
第3章 基于马尔可夫模型的动态故障树分析 44
3.1马尔可夫模型的基本概念 44
3.1.1离散时间马尔可夫模型 44
3.1.2连续时间马尔可夫模型 46
3.2几种典型动态逻辑门的马尔可夫转化 48
3.2.1马尔可夫状态转移图 48
3.2.2优先与门的转化 49
3.2.3顺序相关门的转化 49
3.2.4无公用备件冷备件门的转化 49
3.2.5含公用备件冷备件门的转化 49
3.2.6温备件门的转化 52
3.2.7无公用备件热备件门的转化 52
3.2.8含公用备件热备件门的转化 52
3.2.9功能相关门的转化 53
3.3动态故障树马尔可夫模型的理论求解方法 54
3.3.1条件假设 54
3.3.2马尔可夫模型的定性分析 54
3.3.3马尔可夫模型的定量分析 55
3.3.4示例 56
3.4本章小结 57
第4章 动态故障树的模块化方法 59
4.1静态故障树的模块识别方法 59
4.1.1基本概念 59
4.1.2模块识别算法 61
4.2动态故障树的模块识别方法 63
4.2.1基本概念 64
4.2.2 IIMKDR方法 66
4.3动态故障树的模块化分析方法 80
4.3.1 MFT方法及应用 80
4.3.2 DNA方法及应用 83
4.3.3 FTAIO方法及应用 86
4.4本章小结 91
第5章 动态故障树割序法的代数框架 92
5.1假设条件 92
5.2时间概念区分 93
5.2.1绝对时间与相对时间 93
5.2.2连续时间与离散时间 93
5.2.3线性时间与分支时间 93
5.3语法变元和常元定义 94
5.4运算符号定义及性质 95
5.4.1合式公式形成规则 95
5.4.2组合逻辑运算符号 95
5.4.3时序逻辑运算符号 97
5.4.4时序逻辑运算符号的进一步分析 98
5.5布尔规则的引入 99
5.6时序规则的提出及其有效性证明 100
5.6.1由布尔规则衍生的时序规则 100
5.6.2由时序逻辑产生的时序规则 103
5.6.3时序规则的进一步分析 105
5.7布尔规则和时序规则的完备化验证 106
5.7.1不可约式——析取优先范式 106
5.7.2公式的二叉树结构通式表示 106
5.7.3规则体系的完备化验证 108
5.8本章小结 111
第6章 动态故障树割序法的定性分析 112
6.1理论基础 113
6.2动态故障树的代数描述建模 115
6.2.1静态逻辑门 115
6.2.2功能相关门 115
6.2.3优先与门 117
6.2.4不含公用备件的备件门 118
6.2.5含公用备件的备件门 120
6.3从动态故障树代数描述到割序集及最小割序集 122
6.3.1动态故障树结构函数构建 122
6.3.2最小割序集生成算法描述 123
6.4示例分析 125
6.5本章小结 130
第7章 动态故障树割序法的定量分析 131
7.1时序失效逻辑描述及其概率模型 132
7.1.1优先失效逻辑 132
7.1.2备件失效逻辑 133
7.1.3备件失效逻辑的拓展分析 134
7.2割序发生概率的通用量化模型 135
7.2.1基于时序失效逻辑的基本事件动态行为分类 136
7.2.2通用量化模型 136
7.2.3模型求解方法 137
7.3指数分布情形下通用量化模型的解析式推导 137
7.4示例分析 141
7.5本章小结 148
第8章 基于扩展割序集的动态故障树分析 149
8.1基本概念 149
8.1.1相关概念 149
8.1.2基本命题 151
8.2最小扩展割序集生成方法 152
8.2.1基本事件运算 152
8.2.2 AND门运算 152
8.2.3 OR门运算 153
8.2.4 PAND门运算 154
8.2.5 WSP门运算 156
8.2.6 FDEP门的讨论 156
8.2.7 SEQ门的讨论 156
8.3最小扩展割序集不交化方法 157
8.4扩展割序的量化方法 159
8.4.1标准扩展割序 159
8.4.2 CIDRS算法的一般过程 161
8.4.3割项冲突检测 163
8.4.4割项时限集精简 163
8.4.5割项基本事件集排序 164
8.4.6割项量化计算 165
8.5示例分析 166
8.5.1 HDS系统 166
8.5.2 OBC系统 168
8.6本章小结 174
第9章 基于贝叶斯网络的动态故障树分析 175
9.1标准贝叶斯网络 175
9.1.1贝叶斯网络的结构 176
9.1.2贝叶斯网络的类型 177
9.1.3贝叶斯网络的推理 177
9.2离散时间贝叶斯网络 178
9.3动态故障树向离散时间贝叶斯网络的转换 180
9.3.1 AND门和OR门向DTBN的转换 180
9.3.2 k/n门向DTBN的转换 181
9.3.3 FDEP门向DTBN的转换 181
9.3.4 WSP门向DTBN的转换 182
9.3.5 CSP门向DTBN的转换 183
9.3.6 PAND门向DTBN的转换 183
9.3.7 SEQ门向DTBN的转换 183
9.4示例分析 184
9.4.1示例1 184
9.4.2示例2 186
9.5本章小结 187
第10章 动态故障树分析方法的研究进展及发展趋势 188
10.1动态故障树分析方法的研究进展 188
10.2动态故障树分析方法的发展趋势：割序研究 191
参考文献 194