• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 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 알고리즘을 제안한다.

• 한국경영과학회:학술대회논문집
• /
• 대한산업공학회/한국경영과학회 1995년도 춘계공동학술대회논문집; 전남대학교; 28-29 Apr. 1995
• /
• pp.710-718
• /
• 1995

본 논문에서는 자동화 제조시스템(Automated Manufacturing System, AMS)의 시뮬레이션 분석을 위한 그래픽 애니메이션 S/W(or 애니메이터)의 개발 방법을 제시하고 있다. AMS의 설계 및 분석을 위한 많은 방법들 중에서 컴퓨터 시뮬레이션이 가장 적합한 방법으로 여겨지고 있으며, 그래픽 애니메이션은 시뮬레이션 모델의 검증(verification)과 타당성 평가(validation), FA 기술자와의 의사전달, 시뮬레이션 결과의 발표자료 등으로 시뮬레이션 수행과정에서 필수적인 도구로 사용되고 있다. 본 연구에서 제시된 애니메이터는 대상 AMS의 3차원 layout을 생성하는 기능과 시뮬레이션 프로그램에 의해 생성된 "trace file"을 입력으로 하여 시뮬레이션 진행 과정을 "playback type"으로 애니메이션 하는 기능을 가지고 있다. 본 논문의 주요 연구결과는 다음과 같다. 1) 애니메이션 특성에 따라 AMS 구성 설비들과 작업물을 분류하였고, 2) 애니메이터 시스템의 구조(architecture)를 제시하였고, 3) C++과 GL을 이용하여 애니메이터를 구현하였고, 4) 자동창고 시뮬레이션에 개발된 애니메이터를 적용하여 보았다.개발된 애니메이터를 적용하여 보았다.

• 소성∙가공
• /
• 제16권6호
• /
• pp.438-442
• /
• 2007

Sidewall curl is the curvature that results from non-uniform through-thickness strain present in the sheet stamping process which involves material flow over a die radius. In order to understand and control curl for tight fit-up tolerances, an analytical model that can provide a reliable measure for the amount of curl would be very helpful. In this study, a model is developed based on the moment-curvature relationship during bending-under-tension operations. For the verification of analytical model, sidewall curl is experimentally measured after deformation of a strip using a bending-under-tension test system. The results show a consistent relationship between the theoretically predicted value and the experimentally obtained one, especially in regions of high curl.

• Steel and Composite Structures
• /
• 제28권3호
• /
• pp.279-288
• /
• 2018

In this paper, a new method has been proposed to detect crack in beam structures under moving mass using regularized extreme learning machine. For this purpose, frequencies of beam under moving mass used as input to train machine. This data is acquired by the analysis of cracked structure applying the finite element method (FEM). Also, a validation study used for verification of the FEM. To evaluate performance of the presented method, a fixed simply supported beam and two span continuous beam are considered containing single or multi cracks. The obtained results indicated that this method can provide a reliable tool to accurately identify cracks in beam structures under moving mass.

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

운전원 훈련용 시뮬레이터의 국산화 개발계획에 따라 영광 원자력 3,4호기 발전소 운전원 훈련용 시뮬레이터가 국내 최초로 개발되었다. STK(space and time kinetics)와 RETACT (Real Time Advanced Core and Thermohydraulics)코드를 이용하여 영광 3,4호기 시뮬레이터의 실시간 NSSS 모델을 생성하였다. 생성된 모델의 검증(Verification Validation)을 위해 정상상태(Steady State)에서의 주요인자들이 ANS3.5의 오차범위이내임을 확인하였다. 과도상태(Transient)의 검증을 위해 터빈정지 과도상태와 주증기 관파열(Main Steam Line Rupture)사고를 실제 발전소 시험 데이터 및 성능해석 코드(NPA)를 이용하여 분석한 결과와 비교하였다. 비교 결과 기준발전소의 반응과 큰 차이 없이 운전원 훈련용 시뮬레이터의 규격인 ANS 3.5를 잘 만족함을 확인 할 수 있었다.

• 대한원격탐사학회지
• /
• 제36권2_1호
• /
• pp.167-178
• /
• 2020

2015년 발사된 이후 KOMPSAT-3A 영상정보가 여러 분야에서 활용되고 있다. 그러나 실제 육상 환경의 분석에 필요한 지표 반사도를 얻을 수 있는 도구 개발이 이루어지지 않아서 식생 지수 산정 등과 같이 이러한 자료를 적용하는 과학적 분석과 응용 분야의 확산에는 한계가 있었다. 지표 반사도는 절대 대기 보정 처리 과정을 수행하여 얻어지는 성과물이다. 이 연구에서는 OTB 오픈 소스 확장 프로그램으로부터 KOMPSAT-3A 영상정보의 대기 반사도와 지표 반사도를 구하고, 국제 검보정 포털 RadCalNet에서 제공하는 대기 반사도와 지표 반사도 현장 측정 자료를 이용하여 정확도를 비교 검증하고자 한다. 또한 같은 지역의 Landsat-8 OLI 영상으로부터 지표 반사도를 구하고 비교 검증 실험에 같이 적용하였다. 검증 실험 결과로 KOMPSAT-3A 영상의 대기 반사도는 같은 분광대역에 해당하는 RadCalNet 자료의 평균값과 비교했을 때 0.00에서 1.00까지의 범위에서 최대 ± 0.02 차이가 보이는 것을 확인할 수 있었다. KOMPSAT-3A 영상의 지표 반사도 산출 결과는 RadCalNet 자료와 0.02에서 0.04까지의 차이 값을 갖는 높은 일치도를 보이는 것으로 나타났다. 이 결과들은 KOMPSAT-3A 영상의 분석대기자료(Analysis Ready Data)로서의 활용 가능성을 증가시키는 기본 자료로 사용할 수 있다. 또한 이 연구에서 개발된 도구와 연구 방법은 향후 국토, 농업, 산림 활용을 위한 차세대 중형 위성 영상자료의 각 센서 모델에 맞는 확장 프로그램 개발과 검증에도 적용이 가능할 것으로 생각한다.

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

가상현실 기반 훈련시스템은 3D 모델링 기법으로 개발되어 실시간 렌더링(Realtime Rendering)되는 훈련용 콘텐츠와 운동감 제공을 위한 모션플랫폼, 촉감 제공을 위한 햅틱장치 등 다양한 하드웨어를 이용하여 인간 감각에 대한 모의 체험환경을 제공함으로써 높은 훈련 몰입감을 제공한다. 훈련시스템의 구성요소 중 하드웨어들은 설계 성능을 바탕으로 정량적 시험평가로서 검증(Verification)과 확인(Validation)이 가능하나, 훈련환경에 대한 사실적 가시화가 요구되는 훈련용 콘텐츠는 시현을 위한 실시간 렌더링 성능 등의 정량적 시험평가 만으로 검증과 확인에 어려움이 많다. 본 연구에서는 일반 소프트웨어와 콘텐츠 소프트웨어 테스팅 요소 차이와 상용게임 콘텐츠와 훈련용 콘텐츠의 차이점을 분석하고, 훈련용 콘텐츠의 정량적 시험평가를 위한 명세서의 작성과 활용을 제안한다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.88-90
• /
• 2001

원자력 발전소 내장형 시스템은 안정성과 신뢰성이 절대적으로 요구되는 Safety-critical 시스템이다. 이러한 시스템의 설계는 모호성이 없는 정형명세 언어로 설계함으로 설계자와 구현자 사이의 모호성 없는 의사전달을 달성할 수 있다. 이러한 특히 원자력 발전소 내장형 시스템의 설계에 있어서 설계자는 그가 설계한 설계를 시험(Validation)하고 검증(Verification)하는 기법을 필요로 하게 된다. 특히 시스템이 복잡해질수록 설계도 내의 오류를 발견하지 못할 가능성이 커진다. 본 논문에서는 시스템이 가질 수 있는 모든 상태를 만들어내어 검사하는 형태의 검증 기법인 정형기법을 통하여 Safety-critical 한 내장형 시스템의 설계를 검증함으로 보다 완벽한 시스템을 설계하는 기법을 제안한다.

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

원자력발전소 MMIS(Man-Machine Interface System)는 발전소 공정과 관련 장비들을 감시 및 제어하고, 필요시에 보호기능을 수행함으로써 발전소를 안전하고 신뢰성 있게 운전할 수 있도록 지원하고 있다. 그러한 MMIS의 설계에 소프트웨어기반의 컴퓨터 기술이 사용된 경우, 그 설계를 구현하기 위해 사용된 소프트웨어가 설계 및 프로그래밍 오류에 취약하여, 공통유형의 소프트웨어 오류로 인해 하드웨어로써 구축된 다중성 설계를 파기시킬 수 있기 때문에 원자력 발전소의 안전 및 안정 운전과 직결되게 된다. 또한 소프트웨어는 설계공정 결함이 일반적으로 최종 결과물에서 확인될 수 있다는 점 때문에 확인 및 검증기술을 정립하고 체계적인 적용이 필수적이다. 이에 따라 본 논문에서는 현재 설계를 진행중인 SMART(System-integrated Modular Advanced ReacTor) MMIS 소프트웨어를 개발하기 위해 적용되는 확인 및 검증 규제요건을 분석하고, 소프트웨어 개발생명주기에 따른 확인 및 검증을 체계적으로 수행하기 위한 프레임웍을 제시한다.