Startseite Technik Method based on directed graph and binary decision diagram to break logic loops
Artikel
Lizenziert
Nicht lizenziert Erfordert eine Authentifizierung

Method based on directed graph and binary decision diagram to break logic loops

  • S. Yuan und M. Huifang
Veröffentlicht/Copyright: 23. Februar 2021
Veröffentlichen auch Sie bei De Gruyter Brill

Abstract

In the probabilistic safety analysis (PSA) of nuclear power plants (NPP), fault tree analysis is often taken as a useful way for reliability evaluation. Logic loops due to mutual dependencies among systems may emerge in fault trees. Logic loops or circular logics can make it complex to get the minimum cut sets. This paper presents a method based on directed graphs and Binary Decision Diagram (BDD) to break logic loops and get the minimum cut sets consistent to previous attempting methods. The paper illustrates this method by giving one linear actual case in nuclear field and non-linear case presented by Vaurio. Utilizing directed graphs and Binary Decision Diagram is effortless for reliability analysts and concerned people in a nuclear field to have an intuitive comprehension for correlations among systems without logic loops. What’s more, directed graphs and BDD can express the minimum cut sets of systems that can be understood intuitively. In addition, this present method is able to solve non-linear logic loops that is hard to operate in fault tree analysis. This proposed non-iterative method is also helpful to design good reliability engineering systems.

Online erschienen: 2021-02-23
Erschienen im Druck: 2019-12-06

© 2020 by Walter de Gruyter Berlin/Boston

Heruntergeladen am 15.12.2025 von https://www.degruyterbrill.com/document/doi/10.3139/124.110921/html
Button zum nach oben scrollen