• 검색어에 아래의 연산자를 사용하시면 더 정확한 검색결과를 얻을 수 있습니다.
  • 검색연산자
검색연산자 기능 검색시 예
() 우선순위가 가장 높은 연산자 예1) (나노 (기계 | machine))
공백 두 개의 검색어(식)을 모두 포함하고 있는 문서 검색 예1) (나노 기계)
예2) 나노 장영실
| 두 개의 검색어(식) 중 하나 이상 포함하고 있는 문서 검색 예1) (줄기세포 | 면역)
예2) 줄기세포 | 장영실
! NOT 이후에 있는 검색어가 포함된 문서는 제외 예1) (황금 !백금)
예2) !image
* 검색어의 *란에 0개 이상의 임의의 문자가 포함된 문서 검색 예) semi*
"" 따옴표 내의 구문과 완전히 일치하는 문서만 검색 예) "Transform and Quantization"
쳇봇 이모티콘
ScienceON 챗봇입니다.
궁금한 것은 저에게 물어봐주세요.

논문 상세정보

A Quantitative Model of System-Man Interaction Based on Discrete Function Theory


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 the recovery failure probability from an abnormal state is performed. A numerical analysis based on assumed values of related variables shows that this model produces reasonable results. The concept of 'relative sensitivity' is introduced to identify the major factors affecting the reliability of the control system. The analysis shows that the hardware factor and the design factor of the instrumentation system have the highest relative sensitivities in this model. T도 probability of human operators performing incorrect actions, along with factors related to human operators, are also found to have high relative sensitivities. This model is applied to an analysis of the TMI-2 nuclear power plant accident and systematically explains how the accident took place.

저자의 다른 논문

참고문헌 (16)

  1. 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) 
  2. 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) 
  3. M. R. Lyu, 'An Integrated Approach to Achieving High Software Reliability', Proc. 1998 IEEE Aerospace Conf., vol. 4, pp. 123-136,(1998) 
  4. 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) 
  5. 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) 
  6. 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) 
  7. 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) 
  8. U. S. NRC, Technical Basis andImplementation Guidelines for ATHEANA, NUREG-1624, (1998) 
  9. E. Hollnagel, CREAM : Cognitive Reliability and Error Analysis Method, New York:Elsevier, (1998) 
  10. C. M. Thomson et al., 'The Application of ATHEANA: A Technique for Slip error Analysis', Proc. IEEE Sixth Annual Human Factors Meeting, Orlando, Florida, (1997) 
  11. 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) 
  12. 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) 
  13. 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) 
  14. 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) 
  15. M. Davio, J. -P. Deschamps and A. Thayse, Discrete and Switching Functions, London: Georgi Publishing Company and McGraw-Hill International Book Company, (1978) 
  16. N. G. Leveson, Safeware, New York: Addison-Wesley Publishing Company, (1995) 

이 논문을 인용한 문헌 (1)

  1. 2013. "" Journal of the Ergonomics Society of Korea = 大韓人間工學會誌, 32(1): 87~96 


원문 PDF 다운로드

  • ScienceON :

원문 URL 링크

원문 PDF 파일 및 링크정보가 존재하지 않을 경우 KISTI DDS 시스템에서 제공하는 원문복사서비스를 사용할 수 있습니다. (원문복사서비스 안내 바로 가기)

상세조회 0건 원문조회 0건

DOI 인용 스타일