SZodixStudyAcademic Library

Shelves Open access

Study · an open academic library·Metadata from OpenAlex (CC0)·Shelves·OpenAlex metadata, de-duplicated

FAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION · Study

ArticleShelves

ArticleFAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION

Woo-Sik Jung2008

OA

Articlebronze2008

FAST BDD TRUNCATION METHOD FOR EFFICIENT TOP EVENT PROBABILITY CALCULATION

Woo-Sik Jung · Sang-Hoon Han · Joon-Eon Yang

24 citations·0/0 files stored·Nuclear Engineering and Technology

No readable copy stored yet — this record is metadata only.

No open-access location is known for this record yet.

Literature note Cite in a project Citation map

Risk and Safety Analysis Reliability and Maintenance Optimization Formal Methods in Verification

Abstract

No abstract was published for this record.

Paper brief

Loading…

Cite this work

Citation unavailable for this work.

BibTeX RIS CSL-JSON

No public copy is stored for this record, so only the metadata is cited.

Citations in this library

Citation map →

Stored only when both papers are in the corpus — 24 citations exist upstream.

References

1993New algorithms for fault trees analysis 1997Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia 2003A fast BDD algorithm for large coherent fault trees analysis 2001Efficient algorithms to assess component and gate importance in fault tree analysis 2004Can we trust PRA?1993Fault Tree Analysis: 1020 Prime Implicants and Beyond 2003A new method to evaluate alternate AC power source effects in multi-unit nuclear power plants

Cited by

2010A reduction approach to improve the quantification of linked fault trees through binary decision diagrams 2014A method to improve cutset probability calculation in probabilistic safety assessment of nuclear power plants 2009ZBDD algorithm features for an efficient Probabilistic Safety Assessment 2012Solving dynamic flowgraph methodology models using binary decision diagrams 2015Dynamic labelling of BDD and ZBDD for efficient non-coherent fault tree analysis 2018Advanced combinatorial method for solving complex fault trees

Related works

Explore the map →

Papers that cite the same references — the relational fallback while embeddings are still backfilling.

2009ZBDD algorithm features for an efficient Probabilistic Safety Assessmentarticle · 6 shared references 2008Binary Decision Diagrams for Reliability Studieschapter · 5 shared references 2014A method to improve cutset probability calculation in probabilistic safety assessment of nuclear power plantsarticle · 4 shared references 2004Can we trust PRA?article · 3 shared references 2010Analysis of large fault trees based on functional decompositionarticle · 3 shared references 2005QRAS—the quantitative risk assessment systemarticle · 3 shared references

Details

Year2008

Typearticle

Published2008-12-31

VenueNuclear Engineering and Technology

ISSN-L1738-5733

Languageen

Citations24

Files0 public / 0

ShelfRisk and Safety Analysis

Identifiers

doi10.5516/net.2008.40.7.571

openalex_workW2097869978

Links

Imported from OpenAlex (CC0) — nothing here is generated.