• 제목/요약/키워드: Verification and validation

검색결과 563건 처리시간 0.023초

Development of Field Programmable Gate Array-based Reactor Trip Functions Using Systems Engineering Approach

  • Jung, Jaecheon;Ahmed, Ibrahim
    • Nuclear Engineering and Technology
    • /
    • 제48권4호
    • /
    • pp.1047-1057
    • /
    • 2016
  • Design engineering process for field programmable gate array (FPGA)-based reactor trip functions are developed in this work. The process discussed in this work is based on the systems engineering approach. The overall design process is effectively implemented by combining with design and implementation processes. It transforms its overall development process from traditional V-model to Y-model. This approach gives the benefit of concurrent engineering of design work with software implementation. As a result, it reduces development time and effort. The design engineering process consisted of five activities, which are performed and discussed: needs/systems analysis; requirement analysis; functional analysis; design synthesis; and design verification and validation. Those activities are used to develop FPGA-based reactor bistable trip functions that trigger reactor trip when the process input value exceeds the setpoint. To implement design synthesis effectively, a model-based design technique is implied. The finite-state machine with data path structural modeling technique together with very high speed integrated circuit hardware description language and the Aldec Active-HDL tool are used to design, model, and verify the reactor bistable trip functions for nuclear power plants.

한국어판 간호대학생의 그릿 측정도구 신뢰도 및 타당도 검증 (Validity and reliability of Korean version of the Grit Scale for Korean nursing students)

  • 송효숙;임소희
    • 한국간호교육학회지
    • /
    • 제26권3호
    • /
    • pp.322-331
    • /
    • 2020
  • Purpose: The purpose of this study was to investigate the validity and reliability of the Korean Version of the Grit (Grit-K) scale for nursing students in Korea. Methods: The participants in the study were 277 nursing students. Their grit was verified by using self-reports and the results of a questionnaire. Grit was translated into Korean and its content validity was verified by five experts. The validity of the instrument was verified through item analysis, exploratory factor analysis, and confirmatory factor analysis. Reliability verification was analyzed by using internal consistency reliability. Results: Two factors were identified through exploratory factor analysis and six items of the original instrument were found to be valid. In the confirmatory factor analysis, the validity of the instrument was verified as the model. The internal consistency reliability was also acceptable and Grit was found to be an applicable instrument. Conclusion: This study shows that the Korean Version of the Grit Questionnaire is a valid and reliable instrument to assess nursing students in Korea.

대화식 증강현실 저작 도구 (Interactive Augmented-Reality Authoring Tool)

  • 김일진;서진석
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2009년도 추계학술대회
    • /
    • pp.181-184
    • /
    • 2009
  • 증강현실 기반의 콘텐츠를 제작하는 데에는 많은 시간과 비용이 필요할 뿐만 아니라 컴퓨터공학, 가상현실, 증강현실, 3차원 그래픽스, 컴퓨터 시각과 같은 여러 분야에 숙련된 기술자의 도움이 필요하다. 이에 본 논문에서는 전문적인 엔지니어가 아닌 콘텐츠 작가나 일반인도 쉽고 빠르게 증강현실 콘텐츠를 저작할 수 있는 도구의 형태를 제안하고 있다. 목표로 하는 저작도구가 갖추어야 할 기술적인 요구사항인 "쉽고 빠른 저작", "풍부한 표현력", "검증 및 확인의 용이성", "대화식 저작 및 디버깅" 등을 만족시키기 위해, 정형적이고 시각적인 명세기법을 활용하고 스크립트 언어 인터프리터를 내장한 대화식 프레임워크 기반의 저작도구를 제안하고자 한다.

  • PDF

한국어판 자기주도 학습능력 측정도구의 신뢰도 및 타당도 검증 (A Study on the Reliability and Validity of the Korean Version of Self-directed Learning Instrument)

  • 곽은미;이주영;우진주
    • 기본간호학회지
    • /
    • 제26권1호
    • /
    • pp.12-22
    • /
    • 2019
  • Purpose: This study was done to verify the self-directed learning instrument (SDLI) developed to measure self-directed learning ability in nursing students. Methods: The participants for the study were 425 nursing college students. Their self-directed learning was verified using self-reports and results through questionnaires. SDLI was translated into Korean through translation/reverse translation process and its content validity verified by five experts. The validity of the instrument was verified through item analysis, exploratory factor analysis, and confirmatory factor analysis. Reliability verification was analyzed using internal consistency reliability. Results: Four factors were identified through exploratory factor analysis and 20 items of the original instrument were found to be valid. In the confirmatory factor analysis, the validity of the instrument was verified as the model was valid. The internal consistency reliability was also acceptable and SDLI was found to be an applicable instrument. Conclusion: SDLI has been developed and verified by selecting nursing students as participants for the study. Use if SDLI is expected to improve the quality of self-directed learning in nursing education and to be used in future nursing research.

3인 CPR 프로토콜 개발 및 타당도 검증 (Development and validation of a three-person cardiopulmonary resuscitation protocol)

  • 한승우;강민주;박주호
    • 한국응급구조학회지
    • /
    • 제26권1호
    • /
    • pp.139-150
    • /
    • 2022
  • Purpose: This protocol aims to improve the simplicity of the existing two-person cardiopulmonary resuscitation (CPR) by focusing on chest compressions and artificial respiration, and classifying the roles within the scope that can be observed. Methods: In this study, the protocol was developed by forming an expert group consisting of a professor from the emergency and rescue department, a professor from the nursing department, and a first aid officer from the fire department. In addition, if the number of panels is 15 and the derived content validity ratio (CVR) value exceeds 0.49, a reference point that satisfies content validity at 95% reliability is presented. Results: All 11 performance items exceeded the CVR value of 0.49 to meet the reference point, and the CVR range of this protocol is 0.625 to 1.000. Conclusion: In order to improve the quality of three-person CPR, verification of simulation models and continuous protocol revision should be conducted by individuals specializing in various fields.

코드 가시화 툴체인 기반 UML 설계 추출 및 검증 사례 (Best Practices on Validation and Extraction of Object oriented Designs with Code Visualization Tool-chain)

  • 이원영;김영철
    • 인터넷정보학회논문지
    • /
    • 제23권2호
    • /
    • pp.79-86
    • /
    • 2022
  • 본 논문은 역공학 기반 소프트웨어 가시화를 통해 설계 개선 실현과 고품질화에 초점을 두고 있다. 앞으로의 4차 산업의 다양한 영역에서 새로운 기술과 복잡한 소프트웨어가 대두됨에 따라 안정성과 신뢰성을 겸비한 소프트웨어 검증이 이슈화되고 있다. 간단한 연산 소프트웨어부터 기계 학습기반의 데이터 지향 소프트웨어까지 다양한 소프트웨어 고품질화를 위한 역공학 기반 UML 설계 추출 및 가시화 방법을 제안한다. 이를 기반으로 목표 설계에 대한 정확도를 확인하고 코드 내부 복잡도 식별을 이용하여 설계 개선을 통한 소프트웨어 품질 향상을 기대한다.

국방 M&S VV&A 적용 및 발전방안 연구(시험평가를 위한 M&S를 중심으로) (A Study on Application and Promotion of DM&S VV&A(Focused on M&S for Test and Evaluation))

  • 김형현;이창희;조내현
    • 한국시뮬레이션학회논문지
    • /
    • 제18권4호
    • /
    • pp.157-164
    • /
    • 2009
  • 1980년대 이후로 컴퓨터 산업의 급격한 발달과 함께 M&S 사용도 급속히 증가하고 있다. M&S를 사용하면 개발비용, 개발 기간 등을 단축시킬 수 있고, 현실적으로 시험이 불가능한 경우에도 M&S를 통하여 시험결과를 얻을 수 있다. 그러나 여기에는 중요한 전제조건이 있다. 그것은 개발 중에 있거나 사용 중에 있는 M&S를 믿을 수 있는냐? 하는 것이다. 본 논문은 VV&A 핵심개념과 국방분야 M&S 적용 및 VV&A 사례 등을 고찰하고, VV&A 적용 및 발전 방안을 제시하고자 한다.

Benchmarking of the CUPID code to the ASSERT code in a CANDU channel

  • Eun Hyun Ryu;Joo Hwan Park;Yun Je Cho;Dong Hun Lee;Jong Yeob Jung
    • Nuclear Engineering and Technology
    • /
    • 제54권11호
    • /
    • pp.4338-4347
    • /
    • 2022
  • The CUPID code was developed and is continuously updated in KAERI. Verification and validation (V&V) is mainly done for light water reactors (LWRs). This paper describes a benchmarking of the detailed mesh level compared with sub-channel level for application to pressurized heavy water reactors (PHWRs), even though component scale comparison for the PHWR moderator system was done once before. We completed a sub-channel level comparison between the CUPID code and the ASSERT code and a CUPID code analysis. Because the ASSERT code has already been validated with numerous experiments, benchmarking with the ASSERT code will offer us more trust on the CUPID code. The target channel has high power and thus high pressure deformation. The high power channel tends to have a high possibility of critical heat flux (CHF), because a high void fraction and quality in channel exit region appear. In this research, after determining the reference grid and T/H model, we compared the sub-channel level results of the CUPID code with those of the ASSERT code.

뉴로-퍼지 기법에 의한 자동차 진단 (Automobile diagnosis by euro-Fuzzy Technique)

  • 신준;오재응
    • 대한기계학회논문집
    • /
    • 제16권10호
    • /
    • pp.1833-1840
    • /
    • 1992
  • 본 연구에서는 자동차의 발달에 따른 정비 전문가의 상대적인 능력 감퇴를 보 완하고 진단의 정확성을 높일 수 있도록 소음계측에 의한 인공 지능적 뉴로-퍼지 진단 기법을 연구하였다. 이를 위하여 진단결과에 영향을 미치는 많은 작용변수와 다양한 차량상태 등을 고려함으로서 보다 신뢰성 있는 결과를 산출해내기 위한 퍼지(fuzzy) 추론 방식의 판단법을 도입하였으며, 진단이 실패했을 경우나 입력된 데이터가 충분하 지 못할 경우에 시스템 자체의 지식을 확장시켜 나갈 수 있도록 해밍네트(hamming net )에 의한 패턴인식 기법을 적용하였다. 그리고 컴퓨터 시뮬레이션과 자동차를 대상 으로 고장진단 실험을 실시하여 기존의 진단기법과의 비교를 통한 뉴로-퍼지 진단기법 의 효율성과 알고리즘의 타당성을 검증하였다.

NetSPIN M&S 모델 V&V를 위한 장비 모델 및 모델간 호환성 증진방안 분석 (The Analysis of Device Models and the Method of Increasing Compatibility Between Device Models for M&S V&V of NetSPIN)

  • 박인혜;강석중;이형근;심상흔
    • 한국IT서비스학회지
    • /
    • 제11권sup호
    • /
    • pp.51-60
    • /
    • 2012
  • In this paper, we provide the analysis of device model and method between device models for compatible M&S V&V of the NetSPIN. First of all, we analysis features, structure, and classification of the NetSPIN. The second, as a part of reliable V&V process, we analysis network system modeling process, correlation between device modeling process for M&S of the NetSPIN. The third, we suggest making a kind of pool of reference model and module of devices for the increase factor of reuse between device model. We also, at the point view of M&S V&V, conclude that there is the validity of the fidelity in device modeling process. Through the analysis of the NetSPIN device model and suggestion of the method for higher compatibility between device modes, the development process of device model be clearly understood. Also we present the effective method of the development for reliable device mode as the point of V&V.