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

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

Incorporation of Henry-Fauske Critical Flow Model into TRAC-PF1

  • Hwang, Tae-Suk;Lee, Jae-Hoon;Yoo, Byung-Tae;Cho, Chang-Sok
    • 한국원자력학회:학술대회논문집
    • /
    • 한국원자력학회 1998년도 춘계학술발표회논문집(1)
    • /
    • pp.713-718
    • /
    • 1998
  • Henry-Fauske critical flow model was incorporated into TRAC-PF1 to correct some errors in the original TRAC-PFI critical flow model. Henry-Fouske mode1 was numerically implemented and tested against steady-state steam-water experimental data. The model was incorporated into TRAC-PFI and code assessment against Marviken Critical Flow Tests 15 and 24 was carried out. Calculations using RELAP5/MOD3 were also made for comparison. Ten cases were calculated each test and sensitivity study on nodalization as well as critical flow or model was performed Stand-alone numerical model test and code assessment were done for verification and validation of code modification. Calculation results show that the modified version of TRAC-PF1 has a capability to model critical flow correctly in various conditions.

  • PDF

아동용 휴대전화 중독 도구 개발 및 타당화 연구 (Development and Validation Study of a Cell Phone Addiction Scale for Korean Children)

  • 구현영;유명숙
    • Child Health Nursing Research
    • /
    • 제18권2호
    • /
    • pp.76-84
    • /
    • 2012
  • Purpose: This study was done to develop a cell phone addiction scale for Korean children. Methods: The process included construction of a conceptual framework, generation of initial items, verification of content validity, selection of secondary items, preliminary study, and extraction of final items. The participants were 268 children from grades 4 to 6 in two urban elementary schools. Construct validity, internal consistence reliability, and split-half reliability were used to analyze the data. Results: Nine items were categorized into 2 factors explaining 61.29% of total variance. The factors were labeled as obsessive compulsion (6 items) and dependency (3 items). Cronbach's alpha coefficient for the 9 items was .87, and Spearman-Brown coefficient was .83. Scale scores identified children as high risk users, at risk users, or average users by standard scores. Conclusion: The above findings indicate that the cell phone addiction scale for children has good validity and reliability when used with Korean children.

An Incremental, Iterative and Interative Ontology Matching Approach

  • Wagner, Fernando;Macedo, Jose A.F.;Loscio, Bernadette
    • 정보화연구
    • /
    • 제9권4호
    • /
    • pp.357-363
    • /
    • 2012
  • Ontologies are being used in order to define common vocabularies to describe the elements of schemas involved in a particular application. The problem of finding correspondences between ontologies concepts, called ontology matching, consists in the discovery of correspondences between terms of vocabularies (represented by ontologies) used by various applications. The majority of solutions proposed in the literature, despite being fully automatic, has heuristic nature and may produce nonsatisfactory results. The problem intensifies when dealing with large data sources. The goal of this paper is to propose a method for generation and incremental refinement of correspondences between ontologies. The proposed approach uses filtering techniques, as well as user feedback to support the generation and refinement of such matches. For validation purposes, a tool was developed and some experiments were conducted.

철도산업의 안전업무 종사자 인적요인 관리를 위한 검토모델 연구 (A Study on Program Review Model for Human Factors in Railway Industry)

  • 곽상록;왕종배;박찬우;최돈범
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2008년도 추계학술대회 논문집
    • /
    • pp.2040-2044
    • /
    • 2008
  • Recently, many safety measures are developing for the prevention of human error, which is main factors of railway accident. For the efficient management of human factors, many expertise on design, conditions, safety culture and staffing are required. But current safety management activities on safety critical works are focused on training, due to the limited resource and information. In order to establish railway human factors management, a systematic review model is required. Based on system engineering and nuclear industry model, a program review model is proposed in this study. The model includes operating experience review, task analysis, staffing and qualification, human reliability analysis, huma-system interface design, procedure development, training program, verification and validation, implementation and monitoring. Results can be applied for the review of safety measures relating to human factors.

  • PDF

SUPPLY CHAIN MANAGEMENT SYSTEM FOR CURTAIN WALLS USING RFID TECHNOLOGY

  • Sangyoon Chin;Suwon Yoon;Yea-Sang Kim;Cheolho Choi;Do-Bum Lee
    • 국제학술발표논문집
    • /
    • The 1th International Conference on Construction Engineering and Project Management
    • /
    • pp.1022-1027
    • /
    • 2005
  • This research presents a collaborative supply chain management system for curtain walls using Radio Frequency IDentification (RFID) to track the product and information flow among participants in high-rise building construction projects. This resarch developed a process model and a strategy for effective utilization of RFID technology through the curtain wall life-cycle. Then an information management system was developed to support the supply chain management of curtain walls with incorporating RFID into curtain wall products flow throughout the life-cycle. The system has been tested for validation and verification in a real world project.

  • PDF

원전용 디지털 인디케이터의 검증 규정 EPRI TR-106439에 관한 고찰 (A Study on EPRI TR-106439 for Digital Indicator of Nuclear Power Plant)

  • 배창호;이동희;김규로;장중순
    • 한국신뢰성학회지:신뢰성응용연구
    • /
    • 제14권4호
    • /
    • pp.248-255
    • /
    • 2014
  • Nuclear power plants may use commercial grade items if they can pass special tests or inspections, which is called Commercial Grade Item Dedication (CGID). Digital items, however, should follow EPRI TR-106439 to be applied to nuclear power plants. This paper explains the scheme and requirements of the EPRI TR-106439 and introduces some guidelines. Firstly, in order to clarify requirements of the EPRI TR-106439, code interpretation is performed. And through case study of digital indicator, limitations of EPRI TR-106439 are mentioned, and improvement direction is proposed.

철도신호시스템 소프트웨어 검증을 위한 경계값 분석도구의 구현 (Implementation of Boundary Value Analysis Tool for Software Verification in Railway Signaling Systems)

  • 조현정;황종규;백종현;이재호
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2011년도 제42회 하계학술대회
    • /
    • pp.1252-1253
    • /
    • 2011
  • The railway signaling system is being converted to the computer system from the existing mechanical device, and the dependency on software is being increased rapidly. Though the size and degree of complexity of software for railway signaling system are slower than the development speed of hardware, it is expected that the size will be grown bigger gradually and the degree of complexity will be increased also. Accordingly, the validation of reliability and safety of embedded software for train control system was started to become influential as the important issue. In this paper, we presented boundary value analysis tool for railway signaling system software, and presented its result of implementation.

  • PDF

기능 안전 관점에서의 의료기기 소프트웨어 신뢰성 평가 방법에 관한 연구 (Study on Reliability Assessment for the Medical Device Software from the Viewpoint of Functional Safety)

  • 김성민;고병각;도경훈;김혜진;함중걸
    • 한국신뢰성학회지:신뢰성응용연구
    • /
    • 제16권3호
    • /
    • pp.216-223
    • /
    • 2016
  • Purpose: This paper suggests the procedure to enhance the reliability of the software of the medical device that is to cure, treat, diagnose, and prevent a disease or an abnormal health conditions. Methods: After test requirements are classified by the software requirements specification for safety and backgrounds, reliability assessment methods are suggested. Results: Verification and validation for function and safety can be performed whether the medical device software are implemented as intended. Conclusion: Procedure on the static analysis, unit test, integration test, and system test are provided for the medical device software.

다양한 크기를 갖는 입자들의 유체 용기 내부에서의 침전에 대한 수치적 접근방법의 검증 (VALIDATION OF NUMERICAL APPROACH FOR THE SEDIMENT OF MULTI-SIZE PARTICLES IN A FLUID CONTAINER)

  • 지영무;최상민
    • 한국전산유체공학회지
    • /
    • 제18권2호
    • /
    • pp.93-98
    • /
    • 2013
  • In this paper, we reported the verification of numerical simulation approach for sedimentation of the multi-size particles in a container. The comparison between experimentally measured values and numerically evaluated values on settle down process of fully mixed mixture is carried out. In an attempt to represent the natural particle size distribution, various diameters of single particles are simulated and the results are compared with the outcome of the multi-size computation. When the empirical formula for mean particle size estimation is adopted to define the sediment diameter, computation and comparison are conducted.

DC 비접지 급전계통 선택차단형 통합보호계전기 시뮬레이터 개발 및 알고리즘 테스트 (Development of a Simulator and Algorithm Test for Selective-breaking Integrated Protective Relay for Ungrounded DC Traction Power Supply System)

  • 안태풍;윤준석;정태영;김인웅;정호성
    • 전기학회논문지
    • /
    • 제61권6호
    • /
    • pp.899-904
    • /
    • 2012
  • In recent years, a lot of research was done for earth fault protection in ungrounded dc power supply system. As a result, selective-breaking integrated protective relaying system is developed in progress and is currently field-testing are planned. Algorithm on a PC using PSCAD done a lot of testing before performing field tests, but in this study developed algorithms and functions needed to determine whether they were operating normally. Therefore, simulated system is similar to the actual situation was required and made. selective-breaking algorithm verification and validation was performed with simulator.