메뉴 건너뛰기




Volumn , Issue 486, 2002, Pages 101-107

Quantitative risk assessment system (QRAS) for space mission PRA

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER SOFTWARE; GRAPHICAL USER INTERFACES; MATHEMATICAL MODELS; PROBABILITY; RISK ASSESSMENT;

EID: 0036917380     PISSN: 03796566     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (2)

References (11)
  • 2
    • 0012194766 scopus 로고
    • NUREG/CR 2300; US NRC, Washington D.C.
    • PRA Prodedures Guide, NUREG/CR 2300, 1983, US NRC, Washington D.C.
    • (1983) PRA Prodedures Guide
  • 3
    • 0032710909 scopus 로고    scopus 로고
    • The event sequence diagram framework for dynamic probabilistic risk assessment
    • S. Swaminathan, C. Smidts, 'The Event Sequence Diagram framework for dynamic Probabilistic Risk Assessment', Reliability Engineering and Systems Safety vol 63, 1999, p73 - 90.
    • (1999) Reliability Engineering and Systems Safety , vol.63 , pp. 73-90
    • Swaminathan, S.1    Smidts, C.2
  • 4
    • 0033715322 scopus 로고    scopus 로고
    • Dynamic reliability: Towards an integrated platform for probabilistic risk assessment
    • P.E. Labeau, C. Smidts and S. Swaminathan, 'Dynamic Reliability: Towards an Integrated Platform for Probabilistic Risk Assessment', Reliability Engineering and Systems Safety, vol 68, 2000, p219-254.
    • (2000) Reliability Engineering and Systems Safety , vol.68 , pp. 219-254
    • Labeau, P.E.1    Smidts, C.2    Swaminathan, S.3
  • 7
    • 0026913667 scopus 로고
    • Symbolic boolean manipulation with ordered binary-decision diagrams
    • Bryant, R., 'Symbolic Boolean Manipulation with Ordered Binary-Decision Diagrams', ACM Computing Surveys, vol 24, 1992, p293-318.
    • (1992) ACM Computing Surveys , vol.24 , pp. 293-318
    • Bryant, R.1
  • 8
    • 0034197755 scopus 로고    scopus 로고
    • Event-tree analysis using binary decision diagrams
    • John Andrews and Sarah J. Dunnett, 'Event-Tree Analysis Using Binary Decision Diagrams', IEEE Transactions on Reliability vol 49, 2000, p230-238.
    • (2000) IEEE Transactions on Reliability , vol.49 , pp. 230-238
    • Andrews, J.1    Dunnett, S.J.2
  • 9
    • 0031276402 scopus 로고    scopus 로고
    • Exact and truncated computations of prime implicants of coherent and non-coherent fault trees within aralia
    • Rauzy, A. and Dutuit, Y., 'Exact and Truncated Computations of Prime Implicants of Coherent and Non-Coherent Fault Trees within Aralia', Reliability Engineering and Systems Safety, vol 58, 1997, p127-144.
    • (1997) Reliability Engineering and Systems Safety , vol.58 , pp. 127-144
    • Rauzy, A.1    Dutuit, Y.2
  • 10
    • 0018468345 scopus 로고
    • A comparison of three methods for selecting values of input variables in the analysis of output from a computer code
    • McKay, M.D., Conover, W.J., Beckman, R.J., 'A comparison of three methods for selecting values of input variables in the analysis of output from a computer code', Technometrics, vol 21, 1979, p239-245.
    • (1979) Technometrics , vol.21 , pp. 239-245
    • McKay, M.D.1    Conover, W.J.2    Beckman, R.J.3


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