메뉴 건너뛰기




Volumn 91, Issue 3, 2006, Pages 292-304

QRAS - The quantitative risk assessment system

Author keywords

Binary decision diagram; Common cause failure; Event sequence diagram; PRA; Software tool

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER AIDED SOFTWARE ENGINEERING; ENGINEERS; MANAGERS; PROBABILITY; TREES (MATHEMATICS);

EID: 29144468286     PISSN: 09518320     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.ress.2005.01.008     Document Type: Article
Times cited : (32)

References (34)
  • 1
    • 29144457584 scopus 로고    scopus 로고
    • University of Maryland, College Park, Maryland, USA
    • QRAS 1.7 User's manual. University of Maryland, College Park, Maryland, USA; 2002.
    • (2002) QRAS 1.7 User's Manual
  • 2
    • 29144475919 scopus 로고    scopus 로고
    • Probabilistic risk assessment for the international space station PRA
    • Torino, Italy; September 16-20
    • Smith C, O'Connor B. Probabilistic risk assessment for the international space station PRA. In: Proceedings of the ESREL 2001, Torino, Italy; September 16-20, 2001.
    • (2001) Proceedings of the ESREL 2001
    • Smith, C.1    O'Connor, B.2
  • 4
    • 0003764410 scopus 로고
    • NUREG/CR 2300, US NRC, Washington DC
    • PRA procedures guide, NUREG/CR 2300, US NRC, Washington DC; 1983.
    • (1983) PRA Procedures Guide
  • 6
    • 0032710909 scopus 로고    scopus 로고
    • The event sequence diagram framework for dynamic probabilistic risk assessment
    • S. Swaminathan, and C. Smidts The event sequence diagram framework for dynamic probabilistic risk assessment Reliab Eng Syst Saf 63 1 1999 73 90
    • (1999) Reliab Eng Syst Saf , vol.63 , Issue.1 , pp. 73-90
    • Swaminathan, S.1    Smidts, C.2
  • 7
    • 0004149831 scopus 로고    scopus 로고
    • 4th ed Cambridge University Press Cambridge
    • S. Wolfram The mathematica book 4th ed 1999 Cambridge University Press Cambridge
    • (1999) The Mathematica Book
    • Wolfram, S.1
  • 10
    • 0022769976 scopus 로고
    • Graph based algorithms for Boolean function manipulation
    • R. Bryant Graph based algorithms for Boolean function manipulation IEEE Trans Comput 1986 677 691
    • (1986) IEEE Trans Comput , pp. 677-691
    • Bryant, R.1
  • 12
    • 0031276402 scopus 로고    scopus 로고
    • Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia
    • A. Rauzy, and Y. Dutuit Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within Aralia Reliab Eng Syst Saf 58 2 1997 127 144
    • (1997) Reliab Eng Syst Saf , vol.58 , Issue.2 , pp. 127-144
    • Rauzy, A.1    Dutuit, Y.2
  • 13
    • 0034197755 scopus 로고    scopus 로고
    • Event tree analysis using binary decision diagrams
    • J.D. Andrews, and S.J. Dunnett Event tree analysis using binary decision diagrams IEEE Trans Reliab 49 2 2000 230 238
    • (2000) IEEE Trans Reliab , vol.49 , Issue.2 , pp. 230-238
    • Andrews, J.D.1    Dunnett, S.J.2
  • 14
    • 0017983865 scopus 로고
    • Binary decision diagrams
    • B. Akers Binary decision diagrams IEEE Trans Comput 276 1978 509 516
    • (1978) IEEE Trans Comput , vol.276 , pp. 509-516
    • Akers, B.1
  • 15
    • 0026913667 scopus 로고
    • Symbolic manipulation with ordered binary decision diagrams
    • R. Bryant Symbolic manipulation with ordered binary decision diagrams ACM Comput Surveys 24 1992 293 318
    • (1992) ACM Comput Surveys , vol.24 , pp. 293-318
    • Bryant, R.1
  • 16
    • 0027289814 scopus 로고
    • New algorithms for fault tree analysis
    • A. Rauzy New algorithms for fault tree analysis Reliab Eng Syst Saf 40 3 1993 203 211
    • (1993) Reliab Eng Syst Saf , vol.40 , Issue.3 , pp. 203-211
    • Rauzy, A.1
  • 17
    • 0031222261 scopus 로고    scopus 로고
    • Improved efficiency in qualitative fault tree analysis
    • R.M. Sinnamon, and J.D. Andrews Improved efficiency in qualitative fault tree analysis Qual Reliab Eng Int 13 5 1997 293 298
    • (1997) Qual Reliab Eng Int , vol.13 , Issue.5 , pp. 293-298
    • Sinnamon, R.M.1    Andrews, J.D.2
  • 18
    • 0030781549 scopus 로고    scopus 로고
    • A modular approach for analyzing static and dynamic fault trees
    • Gulati R, Dugan J. A modular approach for analyzing static and dynamic fault trees. In: Proceedings of the RAMS 97; 1997.
    • (1997) Proceedings of the RAMS 97
    • Gulati, R.1    Dugan, J.2
  • 19
    • 0032657827 scopus 로고    scopus 로고
    • Efficient basic event ordering schemes for fault tree analysis
    • L.M. Bartlett, and J.D. Andrews Efficient basic event ordering schemes for fault tree analysis Qual Reliab Eng Int 15 2 1999 95 101
    • (1999) Qual Reliab Eng Int , vol.15 , Issue.2 , pp. 95-101
    • Bartlett, L.M.1    Andrews, J.D.2
  • 20
    • 0035341763 scopus 로고    scopus 로고
    • Efficient algorithms to assess component and gate importance in fault tree analysis
    • Y. Dutuit, and A. Rauzy Efficient algorithms to assess component and gate importance in fault tree analysis Reliab Eng Syst Saf 72 2 2001 213 222
    • (2001) Reliab Eng Syst Saf , vol.72 , Issue.2 , pp. 213-222
    • Dutuit, Y.1    Rauzy, A.2
  • 21
    • 0014926051 scopus 로고
    • A time-dependent methodology for fault tree evaluation
    • W. Vesely A time-dependent methodology for fault tree evaluation Nucl Eng Des 13 2 1970 337 360
    • (1970) Nucl Eng des , vol.13 , Issue.2 , pp. 337-360
    • Vesely, W.1
  • 25
    • 0012208099 scopus 로고    scopus 로고
    • BDD-based fault tree processing: A comparison of variable ordering heuristics
    • Bouissou M, Bruyere F, Rauzy A. BDD-based fault tree processing: a comparison of variable ordering heuristics. In: Proceedings of the ESREL97; 1997.
    • (1997) Proceedings of the ESREL97
    • Bouissou, M.1    Bruyere, F.2    Rauzy, A.3
  • 26
    • 0035329289 scopus 로고    scopus 로고
    • Comparison of two new approaches to variable ordering for binary decision diagrams
    • L. Bartlett, and J. Andrews Comparison of two new approaches to variable ordering for binary decision diagrams Qual Reliab Eng Int 17 3 2001 151 158
    • (2001) Qual Reliab Eng Int , vol.17 , Issue.3 , pp. 151-158
    • Bartlett, L.1    Andrews, J.2
  • 27
    • 0029755826 scopus 로고    scopus 로고
    • An ordering heuristic for building binary decision diagrams from fault trees
    • Las Vegas
    • Bouissou M. An ordering heuristic for building binary decision diagrams from fault trees. In: Proceedings of the RAMS. 96. Las Vegas; 1996. p. 208-14.
    • (1996) Proceedings of the RAMS. 96 , pp. 208-214
    • Bouissou, M.1
  • 28
    • 0034197755 scopus 로고    scopus 로고
    • Event tree analysis using binary decision diagrams
    • J.D. Andrews, and S.J. Dunnett Event tree analysis using binary decision diagrams IEEE Trans Reliab 49 2 2000 230 239
    • (2000) IEEE Trans Reliab , vol.49 , Issue.2 , pp. 230-239
    • Andrews, J.D.1    Dunnett, S.J.2
  • 30
    • 84949802600 scopus 로고    scopus 로고
    • The multiple variable order problem for binary decision diagrams: Theory and application
    • Asia and South Pacific design automation conference, Yokohama, Japan
    • Scholl C, Becker B, Brogle A. The multiple variable order problem for binary decision diagrams: theory and application. In: Proceedings of the ASP-DAC 2001. Asia and South Pacific design automation conference, Yokohama, Japan; 2001.
    • (2001) Proceedings of the ASP-DAC 2001
    • Scholl, C.1    Becker, B.2    Brogle, A.3
  • 31
    • 0017478292 scopus 로고
    • Phased mission analysis: A review of new developments and an application
    • G.R. Burdick, J.B. Fussell, D.M. Rasmussen, and R. Wilson Phased mission analysis: a review of new developments and an application IEEE Trans Reliab 26 1 1977 43 49
    • (1977) IEEE Trans Reliab , vol.26 , Issue.1 , pp. 43-49
    • Burdick, G.R.1    Fussell, J.B.2    Rasmussen, D.M.3    Wilson, R.4
  • 32
    • 0018468345 scopus 로고
    • A comparison of three methods for selecting values of input variables in the analysis of output from a computer code
    • M.D. McKay, W.J. Conover, and R. Beckman A comparison of three methods for selecting values of input variables in the analysis of output from a computer code Technometrics 21 1979 239 245
    • (1979) Technometrics , vol.21 , pp. 239-245
    • McKay, M.D.1    Conover, W.J.2    Beckman, R.3
  • 34
    • 29144453502 scopus 로고    scopus 로고
    • @RISK 4.5, Palisade Corporation
    • @RISK 4.5, Palisade Corporation, http://www.palisade.com/html/risk.asp.


* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.