• Title/Summary/Keyword: Verification & Validation

Search Result 573, Processing Time 0.02 seconds

STATUS AND PROSPECTS OF RESOLUTION OF THE VAPOUR EXPLOSION ISSUE IN LIGHT WATER REACTORS

  • Magallon, Daniel
    • Nuclear Engineering and Technology
    • /
    • v.41 no.5
    • /
    • pp.603-616
    • /
    • 2009
  • The past two decades were mainly devoted to model validation and computer code verification against global corium experiments, code application to reactor situations, and investigation of the role of melt properties in steam explosion energetics. Corium data were essentially provided by JRC-Ispra in the FARO and KROTOS facilities and by KAERI in the TROI facility. Verification of code applicability to reactor situations was performed essentially in the frame of the international OECD/SERENA programme. The paper makes a synthesis of the findings made during the above-mentioned period and expresses a personal view of the author with respect to the progress made and expected for the resolution of the steam explosion issue for light water reactors.

Ramdomg Hash for Integrity Verification Method of Multimedia Data in Surveillance System (비디오 감시 장치 무결성 검증을 위한 랜덤 해시 방법)

  • Ghimire, Sarala;Lee, Bumshik
    • Proceedings of the Korean Society of Broadcast Engineers Conference
    • /
    • 2019.11a
    • /
    • pp.165-168
    • /
    • 2019
  • The advancement in technology has led to the enormous use of multimedia applications. The video/image recorded by such applications provides critical information that can be used as a visual evidence. However, owing to the adequacy in using different editing tools, it is susceptible to malicious alterations. Thus, the reliability or the integrity of the visual information should be verified before using it as an evidence. In this paper, we propose an integrity verification method for the surveillance system using randomized hashing. The integrity value of the surveillance data is generated using the randomized hashing and elliptic curve cryptography (ECC), which is used later for the validation. The experimental results obtained from the embedded accident data recorder (ADR) system shows that the proposed method is very efficient and provides a high level of security.

  • PDF

Verification and Validation of Dynamic Clearance in Digital Mockup Using Engine Movement Roll Data (엔진 거동을 고려한 DMU(Digital Mockup)에서의 다이나믹 간격 검증)

  • Kim, Yong-Suk;Jang, Dong-Young
    • Transactions of the Korean Society of Automotive Engineers
    • /
    • v.18 no.5
    • /
    • pp.56-61
    • /
    • 2010
  • This paper presents dynamic clearance verification considering engine movement for vehicle engine room package and validates through physical vehicle test. Traditionally, static clearance guide has been used for engine room package, but it's only 2-dimension criteria that results in requiring unnecessary space and it's not possible to conduct engine movement with real driving conditions. Thus, the dynamic DMU considers engine movement based on 28 load cases that are Roll Data analyzed by CAE for maximum engine movement and visualizes part-to-part dynamic clearance into virtual space. The dynamic DMU enables to develop compact engine room package without unnecessary space. The result of comparison between simulation and physical test has 0.892 correlation coefficient.

Assessment and Validation of the Reliability of Quality Measurement System for Wireless Data Services (무선데이터 서비스 품질 측정 시스템의 신뢰성 검증 및 평가)

  • Choi, Dong-Hwan;Park, Seok-Cheon
    • Journal of Information Technology Services
    • /
    • v.11 no.1
    • /
    • pp.239-246
    • /
    • 2012
  • The user increases around the WiBro and in which the mobile broad band service is the wireless internet base technology HSDPA, that is the cellular phone foundation technique, and moreover the issue about the user effective quality guarantee emerges but the quality control of the wireless network is the incomplete actual condition. Therefore, the reliability verification according to the development of the system for the performance measure for the continued wireless data service and it and evaluation are needed for the quality control. In this paper, the wireless data service quality measurement system was implemented with the design. The same test environment as the existing network performance measurement program was built for the reliability verification of the embodied device for measuring quality and evaluation and the cost performance was performed. It could confirm that design and embodied wireless data service quality measurement system operated accurately in this paper through the quality measure result value analysis.

Study of Design and Verification for Control Rod Control System (제어봉 구동장치 제어기기 설계 및 검증에 관한 연구)

  • Yook, Sim-Kyun;Lee, Sang-Yong
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.28 no.5
    • /
    • pp.593-602
    • /
    • 2004
  • We have developed a digital control rod control system not only to improve its performance but also to improve its reliability and speed of response so that it can replace the old fashioned analog system. However, a new developed digital control system should be tested to prove the validity by using any prototype or mock-up before application. The reliability prediction and the reliability block diagram analysis methods were adopted to verify the reliability of the developed hardware. For the case of software, especially fur a new developed control algorithm it has been tested to prove performances and validation by using a dynamic simulator and mock-up of control rod drive mechanism altogether. Here we want to present some key factors regarding to the new developed digital system with some verification procedures.

Development of Dynamic Model of 680 MW Rated Steam Turbine and Verification and Validation of its Speed Controller (680 MW 증기터빈 동적모델 개발 및 속도제어기 검증)

  • Choi, Inkyu;Woo, Joohee;Son, Gihun
    • KEPCO Journal on Electric Power and Energy
    • /
    • v.5 no.3
    • /
    • pp.165-171
    • /
    • 2019
  • The steam turbine used in nuclear power plant is modeled for the purpose of verification of control system rather than the operator education. The valves, reheater and generator are modeled also and integrated into the simulator. After that, the operation data and the designed data such as heat balance diagram are utilized to identify the model parameters. It was evident that model outputs of developed simulator are very close to the measured operating ones. The simulator within dynamic model was used to verify and validate the whole control system together with field instruments. And the target plant has been operating long time.

Rotation-Invariant Fingerprint Identification System for Security Verification (안전 검증을 위한 회전 불변 지문인식 시스템)

  • Lee, S.H.;Ryu, D.H.;Park, M.S.;Ryu, C.S.
    • Journal of the Korean Society of Safety
    • /
    • v.14 no.2
    • /
    • pp.192-199
    • /
    • 1999
  • We propose a rotation invariant fingerprint identification system based on the circular harmonic filter(CHF) and binary phase extraction joint transform correlator(BPEJTC) for validation and security verification. It is shown that this system has the shift and rotation robust properties and can recognize the fingerprint in real-time. The complex circular harmonic filter, which is used to obtain the rotation invariance, is converted into the real-valued filter for real-time implementation. Experimental results show that this system has a good performance in the rotated fingerprints.

  • PDF

Insights into fuel behaviour during relatively fast thermal transients based on calculations for two tests of the Halden IFA-507 experiment

  • Grigori Khvostov
    • Nuclear Engineering and Technology
    • /
    • v.55 no.10
    • /
    • pp.3801-3807
    • /
    • 2023
  • Outcomes of the project "Comprehensive Verification of the FALCON Code for Calculation of Nuclear Fuel Temperature" relating to calculation of fuel temperature during relatively fast thermal transients are presented. Good prediction capabilities of the FALCON MOD01 code coupled with the GRSW-A code are shown as applied to the data of the TF3 and TF5 tests from the Transient Temperature Experiment IFA-507. The IFA-507 related dataset of the OECD/NEA International Fuel Performance Experiments (IFPE) Database is extended by the reconstructed dynamics of the axial power distribution in the rods during the transient phase of the experiment. Based on the code calculation, the time constant of the thermal fuel response to a power transient is estimated.

Development of the Tool for Measuring the Care Satisfaction of Home Health Nursing based on Watson's Theory of Human Caring (가정간호에 대한 돌봄만족도 측정도구 개발 - Watson의 돌봄개념을 중심으로 -)

  • Jun, Yeon-Sook;Kang, Kyung-Ah
    • Journal of Korean Public Health Nursing
    • /
    • v.28 no.1
    • /
    • pp.57-70
    • /
    • 2014
  • Purpose: This study is a methodological research study for development of a tool for measurement of care satisfaction of home health nursing in patients who have received care through home health nursing and to test the validity and reliability of the tool. Method: Based on Watson's theory of caring and its constituent factors, the literature related to home health nursing was reviewed, and the standard of home health nursing was compared and analyzed. For verification of the validation and reliability of the final tool which has been developed, data were collected from 166 people who were receiving home health nursing care. Result: According to results of analysis of the factors based on Kaiser and scree test, 10 factors with an eigenvalue greater than 1.0 were extracted, and they explained 72.26% of the total variance. In addition, the factor loadings of 56 questions were greater than .30. For verification of reliability, Cronbach's alpha for all 56 items was .98 and Guttman split half reliability coefficient was .90. Conclusion: This tool based on Watson's theory of caring contributed to development and application of the nursing theory through verification of the theory.

Verification of “dual-master” Duplication Flight Control System using Simulink Virtual Module (Simulink 가상모듈을 이용한 “dual-master” 이중구조 비행제어시스템 검증)

  • Kim, Sung-Su;Kim, Sung-Hwan;Jang, Se-Ah;Choi, Kee-Young;Park, Choon-Bae;Rhee, Ihn-Seok;Ha, Cheol-Keun
    • Journal of the Korean Society for Aeronautical & Space Sciences
    • /
    • v.36 no.9
    • /
    • pp.867-873
    • /
    • 2008
  • Model based virtual Flight Control System construction is essential for Fly-by-Wire Flight Control System verification & validation(V&V) of concurrent engineering base. We researched the concept of dual-architecture system for virtual system construction, and analyzed Flight Control System that is applied to high altitude long endurance(HAE) UAS. Finally, we constructed the model based virtual Flight Control System with system analysis and achieved system verification about flight critical failure modes. Analysis target is RQ-4A.