非单调关联系统可靠性技术PDF电子书下载

第1章 非单调关联系统基本理论 3

1.1非单调关联系统的工程背景 3

1.2非单调关联系统的基本概念 8

1.3结构函数表达式与质蕴含 10

1.4单调与非单调系统结构特性 14

1.5质蕴含集算法 21

第2章 基于BDD的非单调故障树分析 34

2.1非单调关联故障树的基本概念 34

2.2非单调关联故障树算法其及问题 37

2.3BDD的概念与性质 40

2.4非单调关联故障树到BDD的转化 51

2.5非单调关联故障树顶事件失效概率的计算 64

2.6非单调关联故障树质蕴含集的算法 68

第3章 非单调关联系统的重要度 77

3.1重要度概念和工程应用 77

3.2非单调关联系统中的各种重要度 81

3.3基于BDD的重要度计算方法 97

第4章 非单调关联系统矩阵分析法 104

4.1NC-FTA的早期不交化 104

4.2矩阵法FTA定性分析 106

4.3矩阵法NC-FTA的定性分析 111

4.4矩阵法NC-FTA的定量分析 122

第5章 非单调关联故障树的模块化分析 129

5.1故障树预处理 129

5.2故障树的模块化 133

5.3非单调关联故障树定性分析的模块合成算法 142

5.4非单调关联故障树定量计算的模块合成算法 146

第6章 非单调关联系统可靠性分析实例 151

6.1硝酸冷却系统 151

6.2液位调节系统 160

6.3卫星转速控制系统 164

6.4可修n中取连续k系统 188

6.5一类不同可靠度部件非单调关联系统的最优设计 195

第7章 非单调关联系统的最小覆盖集 204

7.1最简逻辑式的存在性 204

7.2求逻辑函数的最简表达式 212

7.3故障树的最小无冗余基 216

第8章 非单调关联系统的故障安全性 220

8.1故障安全的概念 220

8.2单调系统的故障安全特性 221

8.3非单调的故障安全逻辑系统构造方法 223

第9章 混合单调系统的测试性 229

9.1故障检测的基本概念 229

9.2单调结构系统的最小测试 232

9.3混合单调结构系统的最小测试 236

第10章 非单调关联系统建模的两种新方法 240

10.1单调分解方法 240

10.2Petri网方法 247

参考文献 258