최소 단어 이상 선택하여야 합니다.
최대 10 단어까지만 선택 가능합니다.
다음과 같은 기능을 한번의 로그인으로 사용 할 수 있습니다.
NTIS 바로가기Journal of the Korean Nuclear Society = 원자력학회지, v.36 no.5, 2004년, pp.430 - 449
Kim, Man-Cheol (Korea Atomic Energy Research Institute) , Seong, Poong-Hyun (Korea Atomic Energy Research Institute)
A quantitative model for a control system that integrates human operators, systems, and their interactions is developed based on discrete functions. After identifying the major entities and the key factors that are important to each entity in the control system, a quantitative analysis to estimate ...
S. R. Welke, B. W. Johnson and J. H. Aylor, 'Reliability Model of Hardware/Software Systems', IEEE Trans. Reliability, vol. 44, pp. 413-418, Sep. (1995)
K. Vemuri, J. B. Dugan, and K. Sullivan, 'Automatic Synthesis of Fault Trees for Computer-Based Systems,' IEEE Trans. Reliability, vol. 48, pp. 394-402, Dec.(1999)
H. S. Son and P. H. Seong, 'Development of a Safety Critical Software Requirements Verification Method with Combined CPN and PVS: A Nuclear Power Plant Protection System Application', Reliab. Eng, Syst. Saf., vol.80, pp.19-32, (2003)
H. G. Kang and P. H. Seong, 'Information Theoretic Approach to Man-Machine Interface Complexity Evaluation', IEEE Trans. Syst., Man, and Cybern. A, vol. 31, pp. 163-171, May (2001)
Y. Jung, Y. Shin and I. Park, 'An incremental objective achievement model in computerized procedure execution', Reliab. Eng, Syst. Saf., vol.70, pp. 185-195, Nov. (2000)
A. D. Swain and H. E. Guttmann, Handbook of Human Reliability Analysis With Emphasis on Nuclear Power Plant Applications Final Report, NUREG-CR-1278, S.N.L, (1983)
U. S. NRC, Technical Basis andImplementation Guidelines for ATHEANA, NUREG-1624, (1998)
E. Hollnagel, CREAM : Cognitive Reliability and Error Analysis Method, New York:Elsevier, (1998)
M. C. Kim and P. H. Seong, 'Incorporating Second Generation Human Reliability Analysis Methods into Current Probabilistic Safety Assessment' Transactions on American Nuclear Society, vol.90, pp.430-431, (2004)
M. C. Kim and P. H. Seong, 'An Integrated Model For Reliability Estimation of Digital Nuclear Protection System Based on Fault Tree and Software Control Flow Methodologies' Proc. 4th Japan-Korea Seminar on Advanced Reactors, Japan, Oct. (2000)
J. B. Dugan, S. J. Bavuso, and M. A. Boyd, 'Dynamic fault-tree models for fault tolerant computer systems', IEEE Trans. Reliability, vol. 41, pp. 363-377, Sep. (1992)
J. G. Choi and P. H. Seong, 'Dependability Assessment of Nuclear Digital Systems using Discrete Function Theory and Fault Injection Experiment', Reliab. Eng, Syst. Saf., submitted for publication, (2004)
M. Davio, J. -P. Deschamps and A. Thayse, Discrete and Switching Functions, London: Georgi Publishing Company and McGraw-Hill International Book Company, (1978)
N. G. Leveson, Safeware, New York: Addison-Wesley Publishing Company, (1995)
*원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다.
※ AI-Helper는 부적절한 답변을 할 수 있습니다.