• 한국전산유체공학회지
• /
• 제21권3호
• /
• pp.89-97
• /
• 2016

In this study, direct code coupling, in which two codes share a single flow field, was conducted using 3-dimensional high resolution thermal hydraulics code, CUPID and 1-dimensional system analysis code, MARS. This approach provide the merit to use versatile capability of MARS for nuclear power plants and 3-dimensional T/H analysis capability of CUPID. Numerical Method to directly couple CUPID and MARS was described in this paper. The straight flow and manometer flow oscillation were calculated to verify conservation of coupled CUPID/MARS code in mass, momentum, and energy. This verification calculations indicates that the CUPID/MARS is coupled appropriately in numerical aspect and the coupled code can be applied to nuclear reactor thermal hydraulics after validation against integral transient experiments.

• Nuclear Engineering and Technology
• /
• 제55권1호
• /
• pp.25-36
• /
• 2023

Nuclear power plants have recognized the importance of nuclear cybersecurity. Based on regulatory guidelines and security-related standards issued by regulatory agencies around the world including IAEA, NRC, and KINAC, nuclear operating organizations and related systems manufacturing organizations, design companies, and regulatory agencies are considering methods to prepare for nuclear cybersecurity. Cryptographic algorithms have to be developed and applied in order to meet nuclear cybersecurity requirements. This paper presents methodologies for validating cryptographic algorithms that should be continuously applied at the critical control system of I&C in NPPs. Through the proposed schemes, validation programs are developed in the PLC, which is a critical system of a NPP's I&C, and the validation program is verified through simulation results. Since the development of a cryptographic algorithm validation program for critical digital systems of NPPs has not been carried out, the methodologies proposed in this paper could provide guidelines for Cryptographic Module Validation Modeling for Control Systems in NPPs. In particular, among several CMVP, specific testing techniques for ECB mode-based block ciphers are introduced with program codes and validation models.

• Nuclear Engineering and Technology
• /
• 제45권6호
• /
• pp.745-752
• /
• 2013

For thermo-fluid and safety analyses of a High Temperature Gas-cooled Reactor (HTGR), intensive efforts are in progress in the developments of the GAMMA+ code of Korea Atomic Energy Research Institute (KAERI) and the AGREE code of the University of Michigan (U of M). One of the important requirements for GAMMA+ and AGREE is an accurate modeling capability of a bypass flow in a prismatic core. Recently, a series of air experiments were performed at Seoul National University (SNU) in order to understand bypass flow behavior and generate an experimental database for the validation of computer codes. The main objective of the present work is to validate the GAMMA+ and AGREE codes using the experimental data published by SNU. The numerical results of the two codes were compared with the measured data. A good agreement was found between the calculations and the measurement. It was concluded that GAMMA+ and AGREE can reliably simulate the bypass flow behavior in a prismatic core.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.985-996
• /
• 2019

본 논문에서는 미국에서 암호모듈검증을 획득한 대표적인 소프트웨어 형태의 암호모듈인 FIPS-OpenSSL의 소스 코드를 분석하여 암호모듈 검증 및 시험기준에서 요구하는 보안요구사항이 소프트웨어적으로 어떻게 구현되어있는지 분석한다. 특히, 암호모듈이 반드시 탑재하고 있어야 하는 자가시험기능 (동작 전 자가시험, 조건부 자가시험) 관점으로 소스코드를 분석한다. 비록 미국 암호모듈 검증제도에서는 FIPS 140-2를 검증기준으로 삼고 있지만, FIPS 140-2는 국내 암호모듈 검증제도에서 암호모듈 검증 및 시험기준으로 삼고 있는 암호모듈 국제표준인 ISO/IEC 19790과 24759의 근간이 되었기 때문에 많은 유사함이 존재한다. 본 논문의 분석을 통하여 향후 암호모듈 개발업체에서 자가시험기능을 정확하고 안전하게 구현할 수 있을 것으로 기대한다.

• Nuclear Engineering and Technology
• /
• 제44권8호
• /
• pp.831-846
• /
• 2012

KAERI has developed a two-phase CFD code, CUPID, for a refined calculation of transient two-phase flows related to nuclear reactor thermal hydraulics, and its numerical models have been verified in previous studies. In this paper, the CUPID code is validated against experiments on the downcomer boiling and moderator flow in a Calandria vessel. Physical models relevant to the validation are discussed. Thereafter, multi-scale thermal hydraulic analyses using the CUPID code are introduced. At first, a component-scale calculation for the passive condensate cooling tank (PCCT) of the PASCAL experiment is linked to the CFD-scale calculation for local boiling heat transfer outside the heat exchanger tube. Next, the Rossendorf coolant mixing (ROCOM) test is analyzed by using the CUPID code, which is implicitly coupled with a system-scale code, MARS.

• 한국전산유체공학회:학술대회논문집
• /
• 한국전산유체공학회 2009년 추계학술대회논문집
• /
• pp.177-184
• /
• 2009

Cavitating flow simulation is of practical importance for many engineering systems, such as marine propellers, pump impellers, nozzles, injectors, torpedoes, etc. The present work has focused on the simulation of cavitating flow past cylinders with strong side flows. The governing equation is the Navier-Stokes equation based on the homogeneous mixture model. The momentum and energy equation is in the mixture phase while the continuity equation is solved liquid and vapor phase, separately. An implicit dual time and preconditioning method are employed for computational analysis. For the code validation, the results from the present solver have been compared with experiments and other numerical results. A fairly good agreement with the experimental data and other numerical results have been obtained. After the code validation, the strong side flow was applied to include the wake flow effects of the submarine or ocean tide.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 추계학술발표회논문집(1)
• /
• pp.263-269
• /
• 1996

A comprehensive scaling method is proposed for a scaled-down facility simulating SBLOCA in the CARR passive reactor (CP-1300). The present method consists of two stages: scaling methodology, and validation of scaling methodology and code. The present scaling methodology is based on the integral response scaling method. Through sensitivity study, the condensation of the top of the CMT is identified as one of the little-known phenomenon with high importance which should be addressed for the applicability of the code. Using the similarity of the derived scaling parameters, the major component geometries of the scaled-down facility are determined. In the case of 1/4 height and 1/100 area ratio scaling, it is found out that the power ratio is the same as the area ratio, and the present scaling methodology generates the design parameters of the scaled-down facility without any distortion.

• 한국전산유체공학회지
• /
• 제14권4호
• /
• pp.78-85
• /
• 2009

Cavitating flow simulation is of practical importance for many engineering systems, such as marine propellers, pump impellers, nozzles, injectors, torpedoes, etc. The present work has focused on the simulation of cavitating flow past cylinders with strong side flows. The governing equation is the Navier-Stokes equation based on the homogeneous mixture model. The momentum and energy equation is in the mixture phase while the continuity equation is solved liquid and vapor phase, separately. An implicit dual time and preconditioning method are employed for computational analysis. For the code validation, the results from the present solver have been compared with experiments and other numerical results. A fairly good agreement with the experimental data and other numerical results have been obtained. After the code validation, the strong side flow was applied to include the wake flow effects of the submarine or ocean tide.

• Asia pacific journal of information systems
• /
• 제30권3호
• /
• pp.457-496
• /
• 2020

This study aims to extensively analyze the performance of various Machine Learning (ML) techniques for predicting version to version change-proneness of source code Java files. 17 object-oriented metrics have been utilized in this work for predicting change-prone files using 31 ML techniques and the framework proposed has been implemented on various consecutive releases of two Java-based software projects available as plug-ins. 10-fold and inter-release validation methods have been employed to validate the models and statistical tests provide supplementary information regarding the reliability and significance of the results. The results of experiments conducted in this article indicate that the ML techniques perform differently under the different validation settings. The results also confirm the proficiency of the selected ML techniques in lieu of developing change-proneness prediction models which could aid the software engineers in the initial stages of software development for classifying change-prone Java files of a software, in turn aiding in the trend estimation of change-proneness over future versions.

• International Journal of Aeronautical and Space Sciences
• /
• 제18권3호
• /
• pp.498-511
• /
• 2017

This work conducts a validation study for loads analysis of the UH-60A slowed rotor at high advance ratios. The nonlinear flexible multibody dynamics analysis code, DYMORE II, is used with a freewake model for the rotorcraft comprehensive analysis. Wind tunnel test data of airloads and structural loads of a full-scale UH-60A slowed rotor are used for this validation study. This analysis predicts well the thrust reversal phenomenon at the advance ratio of 1.0. The section airloads such as normal forces and pitching moments and the oscillatory blade structural moments in this analysis are compared well or moderately with the measured data, although the higher harmonics components of blade torsion moments are not captured well. This validation study assesses the prediction accuracy and investigates the unique aeromechanics characteristics of a slowed rotor at high advance ratio.