1 |
C.E. Shannon, "The Synthesis of Two-terminal Switching Ccircuits", Bell System Technical Journal, Vol. 28, pp. 59-98, 1948.
DOI
|
2 |
C.H. Roth Jr. and L. L. Kinney, Fundamentals of Logic Design, Seventh Edition, 2014.
|
3 |
EPRI, Direct Probability Calculator (DPC) Version 4.0, Product ID # 1019191, 2009.
|
4 |
S. Epstein and A. Rauzy, "Can We Trust PRA?", Reliability Engineering & System Safety, Vol. 88, pp. 195-205, 2005.
DOI
|
5 |
A. Rauzy, "New Algorithms for Fault Tree Analysis", Reliability Engineering and System Safety, Vol. 40, pp. 203-211, 1993.
DOI
|
6 |
W. S. Jung, "A Fast BDD Algorithm for Large Coherent Fault Trees Analysis", Reliability Engineering and System Safety, Vol. 83, pp. 369-374, 2004.
DOI
|
7 |
W. S. Jung, S. H. Han and J. E. Yang, "Fast BDD Truncation Method for Efficient Top Event Probability Calculation", Nuclear Engineering and Technology, Vol. 40, pp. 571-580, 2008.
DOI
|
8 |
EPRI, FTREX 1.9 Software Manual, Product ID # 3002012968, 2018.
|
9 |
W.S. Jung, BeEAST 1.1 User Manual, 2015.
|
10 |
W. S. Jung, "A Method to Improve Cutset Probability Calculation in Probabilistic Safety Assessment of Nuclear Power Plants", Reliability Engineering and System Safety, Vol. 134, pp. 134-142, 2015.
DOI
|
11 |
EPRI, Advanced Cutset Upper Bound Estimator(TM) (ACUBE), Version 1.0, Test Report, Product ID #1024896, 2012.
|