动态故障树分析方法

1 (p1): 第1章 故障树分析理论基础
1 (p1-1): 1.1可靠性基本理论
1 (p1-1-1): 1.1.1基本概念
4 (p1-1-2): 1.1.2可靠性特征曲线
4 (p1-1-3): 1.1.3常用连续型统计分布
7 (p1-2): 1.2静态故障树分析方法
7 (p1-2-1): 1.2.1基本原理
10 (p1-2-2): 1.2.2定性分析
12 (p1-2-3): 1.2.3定量分析
14 (p1-3): 1.3 BDD分析方法
14 (p1-3-1): 1.3.1 BDD的概念
15 (p1-3-2): 1.3.2静态故障树的BDD转化
20 (p1-3-3): 1.3.3基于BDD的定性分析
22 (p1-3-4): 1.3.4基于BDD的定量分析
22 (p1-3-5): 1.3.5 BDD应用举例
23 (p1-3-6): 1.3.6 BDD法与最小割集法的比较
24 (p1-4): 1.4本章小结
25 (p2): 第2章 动态故障树的基本概念及其应用
25 (p2-1): 2.1动态故障树基本概念
25 (p2-1-1): 2.1.1 FDEP门
26 (p2-1-2): 2.1.2 SEQ门
26 (p2-1-3): 2.1.3 PAND门
28 (p2-1-4): 2.1.4 CSP门
29 (p2-1-5): 2.1.5 WSP/HSP门
30 (p2-2): 2.2动态故障树构建流程
30 (p2-2-1): 2.2.1了解背景
30 (p2-2-2): 2.2.2确定顶事件
31 (p2-2-3): 2.2.3确定基本事件
31 (p2-2-4): 2.2.4建树
31 (p2-2-5): 2.2.5规范和简化
31 (p2-3): 2.3动态故障树应用举例
31 (p2-3-1): 2.3.1容错并行处理系统
37 (p2-3-2): 2.3.2航空电子系统
43 (p2-4): 2.4本章小结
44 (p3): 第3章 基于马尔可夫模型的动态故障树分析
44 (p3-1): 3.1马尔可夫模型的基本概念
44 (p3-1-1): 3.1.1离散时间马尔可夫模型
46 (p3-1-2): 3.1.2连续时间马尔可夫模型
48 (p3-2): 3.2几种典型动态逻辑门的马尔可夫转化
48 (p3-2-1): 3.2.1马尔可夫状态转移图
49 (p3-2-2): 3.2.2优先与门的转化
49 (p3-2-3): 3.2.3顺序相关门的转化
49 (p3-2-4): 3.2.4无公用备件冷备件门的转化
49 (p3-2-5): 3.2.5含公用备件冷备件门的转化
52 (p3-2-6): 3.2.6温备件门的转化
52 (p3-2-7): 3.2.7无公用备件热备件门的转化
52 (p3-2-8): 3.2.8含公用备件热备件门的转化
53 (p3-2-9): 3.2.9功能相关门的转化
54 (p3-3): 3.3动态故障树马尔可夫模型的理论求解方法
54 (p3-3-1): 3.3.1条件假设
54 (p3-3-2): 3.3.2马尔可夫模型的定性分析
55 (p3-3-3): 3.3.3马尔可夫模型的定量分析
56 (p3-3-4): 3.3.4示例
57 (p3-4): 3.4本章小结
59 (p4): 第4章 动态故障树的模块化方法
59 (p4-1): 4.1静态故障树的模块识别方法
59 (p4-1-1): 4.1.1基本概念
61 (p4-1-2): 4.1.2模块识别算法
63 (p4-2): 4.2动态故障树的模块识别方法
64 (p4-2-1): 4.2.1基本概念
66 (p4-2-2): 4.2.2 IIMKDR方法
80 (p4-3): 4.3动态故障树的模块化分析方法
80 (p4-3-1): 4.3.1 MFT方法及应用
83 (p4-3-2): 4.3.2 DNA方法及应用
86 (p4-3-3): 4.3.3 FTAIO方法及应用
91 (p4-4): 4.4本章小结
92 (p5): 第5章 动态故障树割序法的代数框架
92 (p5-1): 5.1假设条件
93 (p5-2): 5.2时间概念区分
93 (p5-2-1): 5.2.1绝对时间与相对时间
93 (p5-2-2): 5.2.2连续时间与离散时间
93 (p5-2-3): 5.2.3线性时间与分支时间
94 (p5-3): 5.3语法变元和常元定义
95 (p5-4): 5.4运算符号定义及性质
95 (p5-4-1): 5.4.1合式公式形成规则
95 (p5-4-2): 5.4.2组合逻辑运算符号
97 (p5-4-3): 5.4.3时序逻辑运算符号
98…