• 한국산학기술학회논문지
• /
• 제20권9호
• /
• pp.397-404
• /
• 2019

무기체계 연구개발 시, 실제 환경에서의 기간, 안전, 비용 등의 사유로 시험평가가 제한되는 항목에 대해 M&S(Modeling and Simulation)를 활용하여 시험평가를 실시할 수 있다. 이때 시험평가용 M&S의 신뢰성(credibility) 확보를 위해 VV&A(Verification, Validation and Accreditation) 활동이 요구된다. 최근 무기체계의 연구개발 경향이 첨단화됨에 따라 M&S 활용과 이에 따른 VV&A 활동도 증가되고 있다. VV&A 활동이란 시험평가용 M&S가 실체계의 모습대로 구현되고, 사용 목적과 의도에 대한 신뢰성이 보장되었는지 검증(verification), 확인(validation)하여, 인정(accreditation)하는 것이다. VV&A 활동은 V&V(Verification & Validation)와 인정 활동으로 나뉜다. 국방과학연구소(이하, 국과연)에서 시험평가용 M&S의 VV&A를 수행할 시, V&V 활동을 수행하는 V&V에이전트는 국과연의 별도부서가 수행하고 인정 활동을 수행하는 인정(A)에이전트는 기품원이 수행한다. 본 논문은 현재까지 국과연에서 V&V에이전트로 수행한 시험평가용 M&S VV&A에 적용된 V&V 활동 프로세스 적립 결과를 소개한다. 이는 시험평가용 M&S의 개발과정에서 산출되는 각종 문서 및 개발 자료 등을 인정평가 항목의 관점에 따라 검증 및 확인을 하여, 인정판정 및 수락기준 충족여부를 판단할 수 있는 객관적인 근거 자료를 만들기 위해 수행한 프로세스이다.

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

The Electrical Test Bed(ETB) integrates the test environment, required for acceptance tests of system level, prior to FM testing. The ETB will be used for the validation of system-level functions and interface between each subsystem. The FTB supports early functional and limited performance checkout of electrical subsystems. Therefore, it provides the environment for the verification of the Flight Software including AOCS, EPS, and TC&R simulators. These ETB will be composed of engineering version of spacecraft BUS, which are laid on the laboratory table.

• Nuclear Engineering and Technology
• /
• 제26권3호
• /
• pp.367-373
• /
• 1994

원전 계측제어계통의 설계구현에서는 알고리즘및 독립적 검토의 복잡성을 피하기 위해 되도록 간단한 신호검증방법이 일차적으로 요청된다. 본 논문은 다중채널측정 시스템의 채널간의 일치성검사를 기본으로 하여 개발된 신호검증 알고리즘을 제안한다. 이 방법은 간략화한 고정편차 추정법을 포함하며, 추정된 고정편차의 크기를 고려한 가중인자를 사용하여 가중평균을 구한다. 제시된 방법의 성능을 확인하기 위하여 가상의 다중입력 조건으로 실험하였다.

• 정보처리학회논문지:컴퓨터 및 통신 시스템
• /
• 제12권3호
• /
• pp.119-126
• /
• 2023

근감소증은 국내는 2021년 질병으로 분류되었을 만큼 잘 알려져 있지 않지만 고령화사회에 진입한 선진국에서는 사회적 문제로 인식하고 있다. 근감소증 진단은 유럽노인근감소증 진단그룹(EWGSOP)과 아시아근감소증진단그룹(AWGS)에서 제시하는 국제표준지침을 따른다. 최근 진단방법으로 절대적 근육량 이외에 신체수행평가로 보행속도 측정과 일어서기 검사 등을 통하여 근육 기능을 함께 측정할 것을 권고하고 있다. 근육량을 측정하기 위한 대표적인 방법으로 DEXA를 이용한 체성분 분석 방법이 임상에서 정식으로 실시하고 있다. 또한 MRI 또는 CT의 복부 영상을 이용하여 근육량을 측정하는 다양한 연구가 활발하게 진행되고 있다. 따라서 본 논문에서는 근감소증 진단을 위해서 비교적 짧은 촬영시간을 갖는 CT의 복부영상기반으로 AI 영상 분할 모델을 개발하고 다기관 검증한 내용을 기술한다. 우리는 CT 영상 중에 요추의 L3 영역을 분류하여 피하지방, 내장지방, 근육을 자동으로 분할할 수 있는 인공지능 모델을 U-Net 모델을 사용하여 개발하였다. 또한 모델의 성능평가를 위해서 분할영역의 IOU(Intersection over Union)를 계산하여 내부검증을 진행했으며, 타 병원의 데이터를 활용하여 동일한 IOU 방법으로 외부검증을 진행한 결과를 보인다. 검증 결과를 토대로 문제점과 해결방안에 대해서 검증하고 보완하고자 했다.

• 한국정보처리학회논문지
• /
• 제2권1호
• /
• pp.12-22
• /
• 1995

분산된 지역 데이타베이스의 스키마 통합시 중심 개념은 엔티티 통합을 의미하며 이때 엔티티의 시멘틱은 여러 요소에 영향을 받는다. 따라서 분산된 데이타베이스 환경에서의 스키마 통합은 통합되어야 하는 각 지역의 스키마의 엔티티 타입간의 도메 인 관계의 정의로부터 시작된다할 수 있다. 이렇게 설계자에 의해 정의되는 각 엔티티 간의 도메인 관계는 스키마 통합 시스템의 신뢰도의 확보와 검증을 위한 작업이 반드 시 수행되어야 한다. 그러나 이러한 작업이 기존의 통합 시스템에서는 제시되지 못하였다. 본 논문은 분산 시스템 환경에서 지역 데이타베이스의 스키마 통합을 위한 객체 중심의 통합을 정의하고, 통합의 타당성 검증을 위한 모델을 제안하고 검증 시 스템을 구현한다.

• 정보처리학회논문지D
• /
• 제14D권5호
• /
• pp.531-544
• /
• 2007

과거에 비해 최근에는 비즈니스 프로세스가 복잡해짐에 따라 비즈니스 프로세스를 디자인할 때 발생할 수 있는 문제점이 점차 증가하고 있다. 그러나 비즈니스 프로세스 검증의 중요성이 높아지고 있지만 많은 검증 방법이 제안되고 있지 않은 실정이다. 한편, 최근 BPMI에서 주도하는 BPMN은 비즈니스 프로세스를 위한 표준화된 그래픽 표기법으로써 BPMN을 지원하는 디자인 툴을 이용하면 다양하고 복잡한 프로세스 환경을 쉽게 디자인하고 분석할 수 있다. 본 논문에서는 이러한 BPMN으로 디자인할 때 발생한 수 있는 문제점들을 효율적으로 검증할 수 있는 몇 가지 검증기법을 제시한다. 이로 인해 비즈니스 프로세스 실행 시 발생할 수 있는 에러들을 사전에 검증하여 예기치 못한 큰 비용을 줄일 수 있다.

• Nuclear Engineering and Technology
• /
• 제41권5호
• /
• pp.603-616
• /
• 2009

The past two decades were mainly devoted to model validation and computer code verification against global corium experiments, code application to reactor situations, and investigation of the role of melt properties in steam explosion energetics. Corium data were essentially provided by JRC-Ispra in the FARO and KROTOS facilities and by KAERI in the TROI facility. Verification of code applicability to reactor situations was performed essentially in the frame of the international OECD/SERENA programme. The paper makes a synthesis of the findings made during the above-mentioned period and expresses a personal view of the author with respect to the progress made and expected for the resolution of the steam explosion issue for light water reactors.

• 한국IT서비스학회지
• /
• 제11권1호
• /
• pp.239-246
• /
• 2012

The user increases around the WiBro and in which the mobile broad band service is the wireless internet base technology HSDPA, that is the cellular phone foundation technique, and moreover the issue about the user effective quality guarantee emerges but the quality control of the wireless network is the incomplete actual condition. Therefore, the reliability verification according to the development of the system for the performance measure for the continued wireless data service and it and evaluation are needed for the quality control. In this paper, the wireless data service quality measurement system was implemented with the design. The same test environment as the existing network performance measurement program was built for the reliability verification of the embodied device for measuring quality and evaluation and the cost performance was performed. It could confirm that design and embodied wireless data service quality measurement system operated accurately in this paper through the quality measure result value analysis.

• KEPCO Journal on Electric Power and Energy
• /
• 제5권3호
• /
• pp.165-171
• /
• 2019

The steam turbine used in nuclear power plant is modeled for the purpose of verification of control system rather than the operator education. The valves, reheater and generator are modeled also and integrated into the simulator. After that, the operation data and the designed data such as heat balance diagram are utilized to identify the model parameters. It was evident that model outputs of developed simulator are very close to the measured operating ones. The simulator within dynamic model was used to verify and validate the whole control system together with field instruments. And the target plant has been operating long time.

• Nuclear Engineering and Technology
• /
• 제33권1호
• /
• pp.34-45
• /
• 2001

We have needs to develop a performance analysis system that can be used in domestic nuclear power plants to determine performance status of turbine cycle. We developed new NOPAS system to aid performance analysis of turbine cycle . Procedures of performance calculation are improved using several adaptations from standard calculation algorithms based on ASME (American Society of Mechanical Engineers) PTC (Performance Test Code). Robustness in the performance analysis is increased by verification & validation scheme for measured input data. The system also provides useful aids for performance analysis such as graphic heat balance of turbine cycle and components, turbine expansion lines, automatic generation of analysis reports.