| 基于BDD的关联故障树定量分析法研究 |
| |
| 引用本文： | 张超,马存宝,胡云兰,许家栋.基于BDD的关联故障树定量分析法研究[J].计算机工程与应用,2005,41(10):62-63,158. |
| |
| 作者姓名： | 张超 马存宝 胡云兰 许家栋 |
| |
| 作者单位： | 西北工业大学航空学院,西安,710072;西北工业大学电子信息学院,西安,710072;西北工业大学航空学院,西安,710072;中船重工集团第705研究所,西安,710075;西北工业大学电子信息学院,西安,710072 |
| |
| 基金项目： | 西北工业大学研究生创业种子基金资助(编号:Z20040002) |
| |
| 摘 要： | 利用二元决策图(BDD)中的B—割集和节点概率,提出了基于BDD的关联故障树定量分析新算法。推导了故障树顶事件发生概率和绝对失效强度算法公式,将故障树顶事件发生概率和绝对失效强度计算结合起来,避免了复杂的最小割集和不交化求解过程,显著地减少了布尔代数运算量,给出了算法递归步骤。大量的实例分析验证了此算法的工程实用性。
|
| 关 键 词： | 二元决策图 关联故障树 顶事件发生概率 绝对失效强度 最小割集 |
| 文章编号： | 1002-8331-(2005)10-0062-02 |
On Quantitative Analysis of Coherent Fault Tree Based on BDD |
| |
| Zhang Chao,Ma Cunbao,Hu Yunlan,Xu Jiadong.On Quantitative Analysis of Coherent Fault Tree Based on BDD[J].Computer Engineering and Applications,2005,41(10):62-63,158. |
| |
| Authors: | Zhang Chao Ma Cunbao Hu Yunlan Xu Jiadong |
| |
| Affiliation: | Zhang Chao1,2 Ma Cunbao1 Hu Yunlan3 Xu Jiadong21 |
| |
| Abstract: | By the B-cut sets and the probabilities of the nodes of Binary Decision Diagrams(BDD),a new quantitative analysis algorithm of coherent fault tree based on BDD is presented in this paper.The formula of the top event probability and unconditional failure intensity of coherent fault tree is derived.The complicated minimal cut sets and the disjoint process solving are avoided by the combination of top event probability and unconditional failure intensity calculations of the fault tree,and the Boolean algebra computation is reduced obviously.The recursion process of the algorithm is given.The engineering practicability of the new algorithm is proven by many examples. |
| |
| Keywords: | Binary Decision Diagrams(BDD) coherent Fault tree top event probability unconditional failure intensity minimal cut sets |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
