《故障树分析技术方法和理论》

目录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 具有统计相依事件的FTA230

第十二章 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