邢留冬、萨伯拉赛德·V.阿玛里著的《二元决策图及其扩展形式在系统可靠性分析中的应用（精）》是首部关于采用二元决策图及其扩展方法进行可靠性分析的专著，介绍了利用二元决策图及其扩展形式进行不同类型系统可靠性分析的基本概念和算法，提供了多阶段任务系统、多状态系统和不完全故障覆盖系统的分析方法，涵盖了二元决策图及其扩展形式用于系统可靠性分析的最新进展，为研究者进行新的和深入的探索奠定了坚实的理论基础。
本书可作为系统可靠性分析的教科书，也适合为从事复杂系统可靠性和安全性的工程师或研究人员提供参考。
第1章 绪论
1.1 发展历史
1.2 可靠性和安全性应用
第2章 基本可靠性理论和模型
2.1 基本概率理论
2.1.1 概率公理
2.1.2 全概率法
2.1.3 随机变量
2.1.4 随机变量的参数
2.1.5 寿命分布
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.3.3 故障树类型
2.3.4 故障树分析的类型
2.3.5 故障树分析技术
第3章 二元决策图原理
3.1 香农分解原理和ITE格式
3.2 基本概念
3.3 ROBDD构造
3.3.1 变量排序
3.3.2 OBDD构造
3.3.3 ROBDD的构造
3.3.4 示例分析
3.4 ROBDD评估
3.5 基于ROBDD的软件包
第4章 BDD在二态系统中的应用
4.1 网络可靠性分析
4.2 事件树分析
4.3 失效频率分析
4.3.1 稳态系统失效频率
4.3.2 时间相关系统失效和成功频率
4.4 重要度分析
4.4.1 确定性重要度
4.4.2 概率性重要度
4.5 模块化分析方法
4.6 非单调关联系统
4.6.1 基于质蕴含的方法
4.6.2 基于BDD的方法
4.7 不相交失效
4.8 相关失效
4.8.1 共因失效（CCF）
4.8.2 功能相关失效
第5章 多阶段任务系统
5.1 系统描述
5.2 阶段代数规则
5.3 基于BDD的多阶段任务系统分析方法
5.3.1 输入变量排序
5.3.2 单阶段BDD构造
5.3.3 PMS BDD构造
5.3.4 PMS BDD评估
5.4 任务性能分析
第6章 多状态系统
6.1 系统模型假设
6.2 示例系统
6.3 MSS表征模型
6.3.1 多态故障树（MFT）
6.3.2 多状态可靠性框图（MRBD）
6.3.3 MRBD和MFT表征的等效性
6.4 多状态BDD（MBDD）
6.4.1 步骤1——状态变量编码
6.4.2 步骤2——从MFT生成MBDD
6.4.3 步骤3——MBDD评估
6.4.4 示例分析
6.5 对数编码BDD（LBDD）
6.5.1 步骤1——变量编码
6.5.2 步骤2——从MFT生成LBDD
6.5.3 步骤3——LBDD评估
6.5.4 示例分析
6.6 多状态多值决策图（MMDD）
6.6.1 步骤1——变量编码
6.6.2 步骤2——从MFT生成MMDD
6.6.3 步骤3——MMDD评估
6.6.4 示例分析
6.7 性能评估和基准分析
6.7.1 示例分析
6.7.2 基准分析
6.7.3 性能比较和讨论
6.8 小结
第7章 容错系统和覆盖模型
7.1 基本类型
7.2 不完全覆盖模型
7.3 二态系统中的应用
7.3.1 BDD扩展方法
7.3.2 简单有效的算法
7.4 多态系统中的应用
7.5 多阶段任务系统中的应用
7.5.1 小元件概念
7.5.2 用于PMS的SEA扩展算法
7.5.3 示例分析
7.6 小结
第8章 共享决策图
8.1 多根决策图
8.2 多终端决策图
8.3 多状态系统的性能研究
8.3.1 示例分析
8.3.2 基准研究
8.4 多阶段任务系统中的应用
8.4.1 采用MDD的PMS分析
8.4.2 例分析
8.5 多态n中取k系统中的应用
8.5.1 基于MDD的多态n中取k系统分析
8.5.2 示例分析
8.6 重要度分析
8.6.1 容量网络和可靠性模型
8.6.2 复合重要度（第1类）
8.6.3 采用MDD计算CIM
8.6.4 示例分析
8.7 基于失效频率的度量
8.8 小结
结论
术语表
参考文献
[
我的消息
购物车
