故障树向二元决策图的转换算法

Strategy for Fault Tree Conversion to Binary Decision Diagram

  • 摘要: Living PSA(Living probability safety analysis)技术已引起核电业主和核安全当局的广泛重视,该技术要求能快速准确地反映核电厂实际运行状态。因此,基于对新型的可靠性分析算法——二元决策图(BDD)的研究和概率安全分析程序NFRisk的编写经验,介绍了二元决策图的基本概念,故障树向二元决策图转换时的基本事件的排序算法,以及将故障树转换成顶事件的二元决策图的算法。这些算法均已应用在NFRisk程序中,并被证明具有良好的计算性能。

     

    Abstract: Living probability safety analysis (Living PSA) technology, which is used to get accurate state of nuclear power plant, is attractive for the nuclear power owner and nuclear safety authority. On the basis of the binary decision diagram (BDD) study and the experience in the development of NFRisk code, the basic concept of BDD, the sorting strategy of basic event and the strategy in fault tree conversion to BDD were introduced. These strategies have already used in the platform NFRisk, and the performance is excellent.

     

/

返回文章
返回