| 基于二叉决策图的故障树求解法 |
| |
| 引用本文： | 高巍,张琴芳.基于二叉决策图的故障树求解法[J].核技术,2011(10):791-795. |
| |
| 作者姓名： | 高巍 张琴芳 |
| |
| 作者单位： | 上海核工程研究设计院; |
| |
| 摘 要： | 探讨了二叉决策图(BDD)求解故障树失效概率和最小割集(MCS)的方法,包括如何将故障树转化为BDD、用BDD求解最小割集、利用零压缩二叉决策图(ZBDD)表示最小割集以减少存储空间、基于BDD求解故障树顶事件失效概率.用程序实现了BDD算法,以某电厂PSA模型部分分枝为对象,通过手工计算和RiskSpectrum P...
|
| 关 键 词： | 故障树分析 二叉决策图(BDD) 程序实现 |
A binary decision diagram for fault tree analysis |
| |
| GAO Wei ZHANG Qinfang.A binary decision diagram for fault tree analysis[J].Nuclear Techniques,2011(10):791-795. |
| |
| Authors: | GAO Wei ZHANG Qinfang |
| |
| Affiliation: | GAO Wei ZHANG Qinfang(Shanghai Nuclear Engineering Research and Design Institute,Shanghai 200233,China) |
| |
| Abstract: | In this paper,binary decision diagram(BDD) algorithm is used for fault tree analysis.The ways of calculating failure probability and minimal cut-set(MCS) for certain fault trees are presented,including conversion from fault tree to BDD structure,obtaining MCS from BDD,MCS storage in terms of zero-suppressed BDD(ZBDD) for space-saving,and calculation of top event unavailability.A program was compiled and validated by calculating a PSA model of certain nuclear power plant both by hand and RiskSpectrum PSA.The... |
| |
| Keywords: | Fault tree analysis Binary decision diagram(BDD) Program compiling |
| 本文献已被 CNKI 等数据库收录！ |
|
