第1章 绪论 1
1.1 发展历史 1
1.2 可靠性和安全性应用 2
第2章 基本可靠性理论和模型 4
2.1 基本概率理论 4
2.1.1 概率公理 5
2.1.2 全概率法 5
2.1.3 随机变量 5
2.1.4 随机变量的参数 7
2.1.5 寿命分布 8
2.2 可靠性度量 9
2.2.1 失效时间和失效函数 9
2.2.2 可靠性函数 9
2.2.3 失效率函数 10
2.2.4 平均失效时间 11
2.2.5 平均剩余寿命 11
2.3 故障树分析 11
2.3.1 概述 11
2.3.2 故障树结构 12
2.3.3 故障树类型 14
2.3.4 故障树分析的类型 16
2.3.5 故障树分析技术 18
第3章 二元决策图原理 22
3.1 香农分解原理和ITE格式 22
3.2 基本概念 22
3.3 ROBDD构造 23
3.3.1 变量排序 23
3.3.2 OBDD构造 24
3.3.3 ROBDD的构造 26
3.3.4 示例分析 26
3.4 ROBDD评估 30
3.5 基于ROBDD的软件包 31
第4章 BDD在二态系统中的应用 32
4.1 网络可靠性分析 32
4.2 事件树分析 33
4.3 失效频率分析 35
4.3.1 稳态系统失效频率 36
4.3.2 时间相关系统失效和成功频率 37
4.4 重要度分析 38
4.4.1 确定性重要度 38
4.4.2 概率性重要度 40
4.5 模块化分析方法 43
4.6 非单调关联系统 44
4.6.1 基于质蕴含的方法 44
4.6.2 基于BDD的方法 46
4.7 不相交失效 47
4.8 相关失效 49
4.8.1 共因失效（CCF） 49
4.8.2 功能相关失效 51
第5章 多阶段任务系统 53
5.1 系统描述 53
5.2 阶段代数规则 54
5.3 基于BDD的多阶段任务系统分析方法 54
5.3.1 输入变量排序 55
5.3.2 单阶段BDD构造 56
5.3.3 PMS BDD构造 56
5.3.4 PMS BDD评估 57
5.4 任务性能分析 59
第6章 多状态系统 61
6.1 系统模型假设 61
6.2 示例系统 61
6.3 MSS表征模型 62
6.3.1 多态故障树（MFT） 62
6.3.2 多状态可靠性框图（MRBD） 64
6.3.3 MRBD和MFT表征的等效性 64
6.4 多状态BDD（MBDD） 65
6.4.1 步骤1——状态变量编码 65
6.4.2 步骤2——从MFT生成MBDD 65
6.4.3 步骤3——MBDD评估 66
6.4.4 示例分析 66
6.5 对数编码BDD（LBDD） 67
6.5.1 步骤1——变量编码 68
6.5.2 步骤2——从MFT生成LBDD 68
6.5.3 步骤3——LBDD评估 68
6.5.4 示例分析 69
6.6 多状态多值决策图（MMDD） 70
6.6.1 步骤1——变量编码 71
6.6.2 步骤2——从MFT生成MMDD 71
6.6.3 步骤3——MMDD评估 72
6.6.4 示例分析 73
6.7 性能评估和基准分析 74
6.7.1 示例分析 74
6.7.2 基准分析 77
6.7.3 性能比较和讨论 84
6.8 小结 86
第7章 容错系统和覆盖模型 87
7.1 基本类型 87
7.2 不完全覆盖模型 88
7.3 二态系统中的应用 90
7.3.1 BDD扩展方法 90
7.3.2 简单有效的算法 92
7.4 多态系统中的应用 94
7.5 多阶段任务系统中的应用 98
7.5.1 小元件概念 98
7.5.2 用于PMS的SEA扩展算法 99
7.5.3 示例分析 101
7.6 小结 103
第8章 共享决策图 106
8.1 多根决策图 106
8.2 多终端决策图 109
8.3 多状态系统的性能研究 111
8.3.1 示例分析 112
8.3.2 基准研究 114
8.4 多阶段任务系统中的应用 122
8.4.1 采用MDD的PMS分析 123
8.4.2 示例分析 124
8.5 多态n中取κ系统中的应用 127
8.5.1 基于MDD的多态n中取κ系统分析 127
8.5.2 示例分析 130
8.6 重要度分析 133
8.6.1 容量网络和可靠性模型 133
8.6.2 复合重要度（第1类） 134
8.6.3 采用MDD计算CIM 135
8.6.4 示例分析 135
8.7 基于失效频率的度量 137
8.8 小结 138
结论 140
术语表 141
参考文献 144