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

KAERI has recently developed the nuclear design code MASTER for the application to reactor physics analyses for pressurized water reactors. Its neutronics model solves the space-time dependent neutron diffusion equations with the advanced nodal methods. The major calculation categories of MASTER consist of microscopic depletion, steady-state and transient solution, xenon dynamics, adjoint solution and pin power and burnup reconstruction. The MASTER validation analyses, which are in progress aiming to submit the Uncertainty Topical Report to KINS in the first half of 1996, include global reactivity calculations and detailed pin-by-pin power distributions as well as in-core detector reaction rate calculations. The objective of this paper is to give an overall description of the CASMO/MASTER code system whose verification results are in details presented in the separate papers.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2013년도 춘계학술발표대회
• /
• pp.932-933
• /
• 2013

단순 부품부터 계통까지 기존의 아날로그 제품들이 최근 들어 펌 웨어(Firmware)와 고수준의 컴퓨터 언어로 구현된 응용 소프트웨어를 포함하는 디지털 설비로 바뀌고 있다. 따라서 어느 때 보다 소프트웨어의 확인 및 검증의 중요성이 대두되고 있으며, 이를 위해 학계뿐만 아니라 국제표준 기관에서 확인 및 검증을 위한 지침을 제시하고 있는 실정이다. 본 논문은 원자력발전소 출력을 제어하는 제어봉제어계통의 업그레이드와 관련하여 IEEE 1012 에 따라 수행된 독립 확인 및 검증 업무를 요약하고, 이를 통해 얻은 교훈을 기술한다.

• 한국자동차공학회논문집
• /
• 제20권3호
• /
• pp.37-44
• /
• 2012

In this paper, the application of robust fuel gauge algorithm in the external environment to general fuel gauge system is proposed. The proposed fuel gauge system is composed of two modules which are Moving Average Filter (MAF) and Inclination Filter (IF). They are used to show correctly the amount of fuel in the external environment which are curve road, slope or acceleration/deceleration driving. In parallel, verification and validation processes using Software In the Loop Simulation (SILS) in personal computer and Hardware In the Loop Simulation (HILS) similar to actual vehicle environments are established. Through this research, it turned out to be possible to operation of gauge become correct of external environment.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2007년도 심포지엄 논문집 정보 및 제어부문
• /
• pp.143-145
• /
• 2007

The development of excitation control system (ECS) for emergency diesel generator in nuclear power plant is the replacement project of existing control system to resolve the maintenance problems caused by aging and obsolescence, The excitation control system is classified as a safety-related system. To guarantee the performance of developing excitation control system is equal to or higher than that of other systems, establishing the quality assurance scheme, doing software verification and validation activities, and planning equipment qualification. In this paper, we'd like to introduce the equipment qualification of excitation control system.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 1997년도 하계학술대회 논문집 D
• /
• pp.948-950
• /
• 1997

This paper presents a basic interposing logic program to control nuclear power plant. In this paper we select a target control loop among the whole interposing modules, develop logic algorithm and functional software to compose target control loop. After that we carry out V&V(Verification and Validation) into the developed logic program to improve quality and reliability.

• 설비공학논문집
• /
• 제24권6호
• /
• pp.538-544
• /
• 2012

Analysis of thermal performance is required for the economic operation of turbine cycle of power plant. We developed corrective model of main feed water flow which is the most important parameter for the precise analysis of turbine cycle performance. Classification model for the identification of feed water flow measurement status was applied to increase the suitability of the corrective model. We used neural network and support vector machine to develop estimation model of main feed water flow with more generalization capability. The estimation model can be used practically to evaluate corrective performance of turbine cycle plant.

• 한국안전학회지
• /
• 제11권2호
• /
• pp.143-149
• /
• 1996

본 논문에서는 BPEJTC에 근거한 광-디지탈 지문인식 시스템을 구성하여 안전검증에 응용 가능함을 보였다. BPEJTC 시스템은 기존의 JTC에 비해 높은 상관 값을 가지므로 유사 지문 간의 상관이 발생하지 않으며, 입력에 여러개의 지문이 존재하는 경우에도 잘 적응할 수 있는 장점을 지닌다. 컴퓨터 시뮬레이션 및 실험을 통해 본 시스템이 변형된 동일인의 지문 혹은 여러종류의 다른지문으로부터 동일 지문을 인식할 수 있음을 보였다.

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

A three-dimensional reactor core simulation code, MASTER has been developed as a part of ADONIS which is the Korean core design package in KAERI. CASMO-3 is used as a precedent lattice code for two-group microscopic cross section and heterogeneous formfunctions. The pin power reconstruction capability of CASMO-3/MASTER was evaluated for a validation and verification Five B&W critical experiments were selected as benchmark problems. These problems included two experiments for CE-type and three for WH-type fuel assemblies. Two of them contained gadolinia rods as burnable absorber. Comparison of the calculated pin power distributions with the measured ones demonstrate that CASMO-3/MASTER can predict the pin power distribution as well as CASMO-3/SIMULATE-3.

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1997년도 춘계학술발표회논문집(1)
• /
• pp.233-238
• /
• 1997

본 논문에서는 Safety-critical 소프트웨어를 위한 V'||'&'||'V 지침서(guideline) 개발 방법론을 제시한다. 즉, 기존의 산업계 표준인 IEEE Std-1012, IEEE Std-1059에서 논의되고 있는 개념을 근간으로 "독립성(independence)", "소프트웨어 안전성 분석(software safety analysis)", "COTS 평가(evaluation) 기준", "다른 보증(assurance) 조직들간의 관련성(relationship)" 등의 필수 안전 항목들을 추가하여 원전 안전성 시스템(NPP safety system)을 위한 V'||'&'||'V 지침서 개발 방법론을 제시하였다 제시된 방법론에는 V'||'&'||'V 지침서의 범위(scope), 승인기준(acceptance criteria) 부분인 지침서 프레임(guideline framework), V'||'&'||'V activities 및 methods 부분인 타스크(task) entrance 및 exit 기준(criteria), 리뷰 및 감사(review and audit), 테스팅 그리고 V'||'&'||'V material의 QA 레코드(records) 및 형상관리, 소프트웨어 검증 및 확인 계획서(Software Verification and Validation Plan : SVVP) 생성 등의 내용을 기술하고, Safety-critical 소프트웨어 V'||'&'||'V 방법론도 함께 제시하였다.

• KEPCO Journal on Electric Power and Energy
• /
• 제2권4호
• /
• pp.557-562
• /
• 2016

계량데이터 관리 시스템은 수용가에서 검침된 계량데이터를 수집하고 관리하는 시스템이다. 이 시스템에는 검침된 데이터의 오검침과 유효성을 판단하는 검증과 누락된 검침값이나 오검침으로 판단된 구간값을 추정하는 VEE 알고리즘이 있다. 그러나 기존의 VEE 알고리즘은 현장 데이터의 특성을 반영하지 않고 검증하고 추정하기 때문에 그만큼 신뢰성과 정확도가 낮아지는 단점이 있다. 본 논문에서는 검증 신뢰성과 추정 정확도를 향상시킬 수 있는 차세대 VEE 알고리즘을 제안한다.