• 한국정보통신학회:학술대회논문집
• /
• 한국해양정보통신학회 2001년도 춘계종합학술대회
• /
• pp.345-348
• /
• 2001

본 논문은 디지털 비디오 방송 컴플라이언트 위성 수신칩에 대한 physical 설계 순서 및 검증에 대한 설계 기술에 관한 것으로서 각각의 설계 순서에 대한 고찰 및 문제점 그리고 물리적 레이아웃에 대한 검증 과정과 그 결과에 대하여 기술하였다.

• 유체기계공업학회:학술대회논문집
• /
• 유체기계공업학회 2002년도 유체기계 연구개발 발표회 논문집
• /
• 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.

• 한국유체기계학회 논문집
• /
• 제7권1호
• /
• 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
• /
• 제44권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.

• 대한임베디드공학회논문지
• /
• 제13권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.

• 한국농공학회:학술대회논문집
• /
• 한국농공학회 2005년도 학술발표논문집
• /
• 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.

• 한국추진공학회:학술대회논문집
• /
• 한국추진공학회 2017년도 제48회 춘계학술대회논문집
• /
• pp.374-377
• /
• 2017

TDACS의 작동 성능 검증 시험을 수행하기 위해서 유동시험 장치를 설계하였다. 이를 위해서 고체 추진기관 연소관 및 유동시험에서의 압력 거동을 모델링하였고 각 모델의 동적 특성을 나타내는 응답 시간을 구하였다. 본 논문에서는 유동시험 장치의 시스템 응답 시간을 고체추진기관 연소관의 특성과 같아지는 조건을 구하고 이를 설계에 반영함으로써 연소 환경에서 동적 응답특성을 검증하는 것과 유사한 결과를 갖도록 하였다.

• 한국컴퓨터정보학회논문지
• /
• 제17권8호
• /
• pp.61-69
• /
• 2012

BIRS는 자바 프로그램의 검증을 위해 사용되는 중간표현 언어이다. 바이트코드 형태의 자바 프로그램은 검증을 위해 BIRS 코드로 변환된다. 변환된 BIRS 형태의 프로그램을 검증하기 위해서는 BIRS 형태의 프로그램에 대한 검증조건을 생성해야 한다. 본 논문에서는 BIRS 코드에 대한 검증조건을 생성하는 방법을 제시한다. 검증조건 생성은 BIRS 코드에 대한 제어흐름그래프 구성, 제어흐름그래프에 대한 깊이우선 탐색을 통한 기본경로 추출, 기본경로에 대한 최약 전조건(weakest precondition) 계산법의 과정을 통해 이루어진다.

• 한국유체기계학회 논문집
• /
• 제2권2호
• /
• 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.

• 전기학회논문지
• /
• 제64권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.