• Proceedings of the Korean Institute of Information and Commucation Sciences Conference
• /
• 2001.05a
• /
• pp.345-348
• /
• 2001

The paper describes the physical design flow & verification of Digital Video Broadcasting(DVB) compliant satellite receiver chip. It includes problems and issues of earth design flow, verification process for physical layout.

• 유체기계공업학회:학술대회논문집
• /
• 2002.12a
• /
• pp.419-424
• /
• 2002

The HANARO, a multi-purpose research reactor of 30 MWth open-tank-in-pool type, has been under normal operation since its initial criticality In February, 1995. Many experiments should be safely performed to activate the utilization of the HANARO. A flow simulation facility is being developed for the endurance test of reactivity control units for extended life times and the verification of structural integrity of those experimental facilities prior to loading in the HANARO. This test facility is composed of three major parts; a half-core structure assembly, flow circulation system and support system. The flow circulation system is composed of a circulation pump, a core flow pipe, a core bypass flow pipe and instruments. The system is to be filled with de-mineralized water and the flow should be met the design flow to simulate similar flow characteristics in the core channel of the half-core test facility to the HANARO. This paper, therefore, describes an analytical analysis to study the flow behavior of the system. The computational flow analysis has been performed for the verification of system pressure variation through the three-dimensional analysis program with standard k-$\epsilon$ turbulence model and for the verification of the structural piping integrity through the finite element method. The results of the analysis are satisfied the design requirements and structural piping integrity of flow circulation system.

• The KSFM Journal of Fluid Machinery
• /
• v.7 no.1 s.22
• /
• pp.30-35
• /
• 2004

The HANARO, a multi-purpose research reactor of 30 MWth open-tank-in-pool type, has been under normal operation since its initial criticality in February, 1995. Many experiments should be safely performed to activate the utilization of the HANARO. HANARO flow simulation facility is being developed for the endurance test of reactivity control units for extended life time and the verification of structural integrity of those experimental equipments prior to loading in the HANARO. This facility is composed of three major parts; a half-core structure assembly, a flow circulation system and a support system. The flow circulation system is composed of a circulation pump, a core flow piping, a core bypass flow piping and instruments. The system is to be filled with de-mineralized water and the flow should be met the design requirements to simulate a similar flow characteristics in the core channel of the half-core structure assembly to the HANARO. This paper, therefore, presents an analytical analysis to study the flow behavior of the system. Computational flow analysis has been performed for the verification of system pressure variation through the three-dimensional analysis program with the standard $k-{\epsilon}$ turbulence model and for the verification of the structural piping integrity through the finite element method. According to the analysis results, it could be said that the design requirements and the structural piping integrity of the flow circulation system are satisfied.

• Nuclear Engineering and Technology
• /
• v.44 no.8
• /
• pp.929-938
• /
• 2012

The Computerized Procedure System (CPS) is one of the primary operating support systems in the digital Main Control Room. The CPS displays procedure on the computer screen in the form of a flow chart, and displays plant operating information along with procedure instructions. It also supports operator decision making by providing a system decision. A procedure flow should be correct and reliable, as an error would lead to operator misjudgment and inadequate control. In this paper we present a modeling for the CPS that enables formal verification based on Petri nets. The proposed State Token Petri Nets (STPN) also support modeling of a procedure flow that has various interruptions by the operator, according to the plant condition. STPN modeling is compared with Coloured Petri net when they are applied to Emergency Operating Computerized Procedure. A converting program for Computerized Procedure (CP) to STPN has been also developed. The formal verification and validation methods of CP with STPN increase the safety of a nuclear power plant and provide digital quality assurance means that are needed when the role and function of the CPS is increasing.

• IEMEK Journal of Embedded Systems and Applications
• /
• v.13 no.5
• /
• pp.225-234
• /
• 2018

Control flow errors are caused by the vulnerability of memory and result in system failure. Signature-based control flow monitoring is a representative method for alleviating the problem. The method commonly consists of two routines; one routine is signature update and the other is signature verification. However, in the existing signature-based control flow monitoring, monitoring target application is tightly combined with the monitoring code, and the operation of monitoring in a single thread is the basic model. This makes the signature-based monitoring method difficult to expect performance improvement that can be taken in multi-thread and multi-core environments. In this paper, we propose a new signature-based control flow monitoring model that separates signature update and signature verification in thread level. The signature update is combined with application thread and signature verification runs on a separate monitor thread. In the proposed model, the application thread and the monitor thread are separated from each other, so that we can expect a performance improvement that can be taken in a multi-core and multi-thread environment.

• Proceedings of the Korean Society of Agricultural Engineers Conference
• /
• 2005.10a
• /
• pp.272-277
• /
• 2005

Initial mixing characteristics in near field regions were analyzed by FLOW-3D, for analyzing mixing behavior of submerged discharge from freshwater lake in sea water. FLOW-3D model was applied to the region near Geum-ho dike for its verification. Simulation results from FLOW-3D were compared to the observed data for the verification periods. FLOW-3D showed resonable prediction results compared to the observed data, except underestimation in area near outfall. Particularly, FLOW-3D showed a good prediction for movement of buoyancy jets. In addition, FLOW-3D model was applied to the region near Saemangeum dike, which is to be constructed in near future. It was expected that the results of model application to Saemangeum area could provide substantial information in planning submerged discharge facilities. Based on the model applications to Saemangeum area, it was recommended that outfall should be located to the distance which gave an enough depth of outfall from water surface.

• Proceedings of the Korean Society of Propulsion Engineers Conference
• /
• 2017.05a
• /
• pp.374-377
• /
• 2017

A cold-flow test equipment was designed to carry out the performance verification of TDACS. For that purpose, the pressure dynamics in the solid rocket motor combustor and the cold-flow test was modeled, and the response time showing the dynamic characteristics of each model was obtained. In this paper, the system response time of the cold-flow test was designed to be equal to that of the motor, making the dynamic response in cold-flow and hot gas condition to be similar.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.8
• /
• pp.61-69
• /
• 2012

BIRS is an intermediate representation for verifying Java program. Java program in the form of bytecode could be translated into BIRS code. Verification conditions are generated from the BIRS code to verify the program. We propose a method generating verification conditions for BIRS code. Generating verification conditions is composed of constructing control flow graph for BIRS code, depth first searching for the control flow graph to generate basic paths, and calculating weakest preconditions of the basic paths.

• The KSFM Journal of Fluid Machinery
• /
• v.2 no.2 s.3
• /
• pp.19-26
• /
• 1999

Thermal output in a nuclear power plant is verified with calorimetric heat balance on the secondary plant. The calorimetry involves the precise measurement of the feedwater flow rate. However, the correct indication of feedwater flow rate obtained by a pressure-difference measurement across a venturi can be affected by instrument errors, fouling or a poorly developed velocity profile. This can result in an inaccurate mass flow rate and consequently an inaccurate estimate of power. The purpose of this study is to develop verification methods with accuracy better than $0.5\%$ for high precision flow measurement to be used for measuring feedwater flow rate. This chemical tracer method is a testing process that uses tracers which can be applied to quantify losses in electrical output due to the incorrect measurements of feedwater flow rate. And this system has good response to the variation of the flow rate. Accuracy of better than 0.5 percent can be expected for feedwater flow measurement, providing that the system can be stabilized during the test. This methodology is applicable to other flow systems well.

• The Transactions of The Korean Institute of Electrical Engineers
• /
• v.64 no.2
• /
• pp.331-337
• /
• 2015

The power flow analysis of electrified railway is required complicated calculation, because of variable load. Train runs trough rail supplied by electric power therefore, the load value in electrified railway system fluctuates along time. The power flow algorithm in electrified railway system is different from general power system, and the power flow simulation is peformed by the particular simulation software. Powerail is simulation software for analysis of traction power supply system developed by KRRI, in 2008. This consists of load forecasting module, including TPS and time scheduling, and power flow module. This software was verified by measured current under normal feeding condition, however, has not been verified by voltage on the condition of extended feeding. This paper presents the verification of PowerRail based on voltage drop under extended feeding condition. This is performed by comparing simulation result with field test. Field test and simulation is done in commercial railway line.