二元决策图及其扩展形式在系统可靠性分析中的应用

第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 0BDD构造
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表征模型
……
第7章 容错系统和覆盖模型
第8章 共享决策图
结论
术语表
参考文献