• Title/Summary/Keyword: Verification and validation

Search Result 563, Processing Time 0.03 seconds

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

  • Hwang, Tae-Suk;Lee, Jae-Hoon;Yoo, Byung-Tae;Cho, Chang-Sok
    • Proceedings of the Korean Nuclear Society Conference
    • /
    • 1998.05a
    • /
    • 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 (아동용 휴대전화 중독 도구 개발 및 타당화 연구)

  • Koo, Hyun-Young;Yoo, Myung-Sook
    • Child Health Nursing Research
    • /
    • v.18 no.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
    • Journal of Information Technology and Architecture
    • /
    • v.9 no.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 (철도산업의 안전업무 종사자 인적요인 관리를 위한 검토모델 연구)

  • Kwak, Sang-Log;Wang, Jong-Bae;Park, Chan-Woo;Choi, Don-Bum
    • Proceedings of the KSR Conference
    • /
    • 2008.11b
    • /
    • 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
    • International conference on construction engineering and project management
    • /
    • 2005.10a
    • /
    • 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

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

  • Bae, Chang-Ho;Lee, Dong-Hee;Kim, Kyu Ro;Jang, Joong Soon
    • Journal of Applied Reliability
    • /
    • v.14 no.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 (철도신호시스템 소프트웨어 검증을 위한 경계값 분석도구의 구현)

  • Jo, Hyun-Jeong;Hwang, Jong-Gyu;Baek, Jong-Hyen;Lee, Jae-Ho
    • Proceedings of the KIEE Conference
    • /
    • 2011.07a
    • /
    • 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 (기능 안전 관점에서의 의료기기 소프트웨어 신뢰성 평가 방법에 관한 연구)

  • Kim, Sung Min;Ko, Byeonggak;Do, Gyeong-Hun;Kim, Hye Jin;Ham, Jung-Keol
    • Journal of Applied Reliability
    • /
    • v.16 no.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 (다양한 크기를 갖는 입자들의 유체 용기 내부에서의 침전에 대한 수치적 접근방법의 검증)

  • Ji, Youngmoo;Choi, Sangmin
    • Journal of computational fluids engineering
    • /
    • v.18 no.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.

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

  • An, Tae-Pung;Yun, Jun-Seok;Jung, Tae-Young;Kim, In-Woong;Jung, Ho-Sung
    • The Transactions of The Korean Institute of Electrical Engineers
    • /
    • v.61 no.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.