目录 1
第一部分 方法篇 1
第一章 绪论 1
§1 发展过程 1
§2 技术特点 4
第二章 名词术语和符号 8
§1 基本名词和符号体系 8
§2 故障树有关术语 13
§3 故障树名词术语和符号的释例 14
第三章 故障树建造 19
§1 故障的类型和展开 19
§2 人工建树的注意事项 23
§3 计算机建树的研究现状 27
§4 建树的主要方法和步骤 30
第四章 建树实例 32
§1 动力割草机的发动机 32
§2 自动充灌气体的人机系统 34
§3 增压自动控制系统 35
§4 硝酸热交换器装置 45
§1 故障树规范化的基本规则 53
第五章 故障树的规范化 53
§2 几个实例的规范化故障树 57
§3 计算机绘树 62
第六章 故障树的逻辑简化 67
§1 直观检查法 67
§2 布尔代数简化法 70
§3 模块分解法 81
§4 几个实例故障树的定性分析 90
§1 计算顶事件发生概率和发生频度 97
第七章 故障树的评定方法 97
§2 计算最小割集和底事件重要度-改进系统设计 103
§3 评价顶事件的严重性与危害度 108
§4 计算经济效益-进行方案比较与决策 116
第二部分 理论篇 123
第八章 故障树的数学描述 123
§1 故障树的定义和识别 123
§2 故障树的模块概念 125
§3 故障树的布尔表示 128
§4 故障树的子集族 132
第九章 故障树的定性分析算法 137
§1 子集族的运算 137
§2 寻找模块子树的算法 141
§3 寻找蕴涵族的下行法 146
§4 寻找蕴涵族的上行法 152
§5 寻找质蕴涵族的算法 157
§6 关于定性分析算法选择的讨论 164
第十章 故障树的定量分析算法 166
§1 化质蕴涵族为不交蕴涵族 166
§2 cube子集及其运算 172
§3 化质蕴涵族为不交蕴涵族的sharp算法 179
§4 直接求不交蕴涵族的算法 182
§5 求临界故障模式的算法 190
第十一章 定量计算公式 195
§1 RMAF概念 195
§2 故障概率的计算 204
§3 重要度的计算 211
§4 故障频度的计算 222
§1 具有统计相依事件的FTA 230
第十二章 FTA的进一步研究课题 230
§2 多状态FTA简介 237
§3 另种有研究前景的FTA课题 245
附录A 数学预备知识 250
§1 集合概念 250
§2 布尔代数 252
§3 图论术语 254
§4 事件概率 255
§5 随机变量 258
§6 Markov过程 264
附录B 国内外现有FTA程序介绍 266
§1 有关程序的分类 266
§2 故障树定性分析程序 267
§3 故障树定量分析程序 269
§4 故障树直接评估程序 270
§5 故障树定性定量分析程序 271
§6 故障树共因失效分析程序 272
参考文献 273
名词索引 280