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

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

• 한국군사과학기술학회지
• /
• 제17권3호
• /
• pp.318-326
• /
• 2014

The Shipyard Test of Naval Combat System depends on external factors, such as weather conditions and availability of its sensor-weapon, due to the need of on-board sensor-weapon during the test. This paper suggests the Supportive Equipment using virtual simulator for Shipward Test, in case of the unavailability of the on-board sensor-weapon or the test support force(aircraft, surface ship etc.), to pre-check the functions of the combat system as well as to prepare the Shipyard Test. To mock the real sensor-weapon functions as similar as possible, the Supportive Equipment for Shipyard Test was verified by the Verification and Validation process, which is usually performed while developing models in the Modeling & Simulation field.

• Nuclear Engineering and Technology
• /
• 제41권1호
• /
• pp.91-98
• /
• 2009

The "3+3 Process" for safety critical software for nuclear power plants' I&C (Instrumentation and Control system) has been developed in this work. The main idea of the "3+3 Process" is both to simplify the software development and safety analysis in three steps to fulfill the requirements of a software safety plan [1]. The "3-Step" software development process consists of formal modeling and simulation, automated code generation and coverage analysis between the model and the generated source codes. The "3-Step" safety analysis consists of HAZOP (hazard and operability analysis), FTA (fault tree analysis), and DV (design validation). Put together, these steps are called the "3+3 Process". This scheme of development and safety analysis minimizes the V&V work while increasing the safety and reliability of the software product. For assessment of this process, validation has been done through prototyping of the SDS (safety shut-down system) #1 for PHWR (Pressurized Heavy Water Reactor).

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (3)
• /
• pp.208-210
• /
• 2002

웹의 이용이 보편화되면서 웹 상의 자원(Resource) 또한 급격히 증가하고 있다. 이러한 상황에서 웹 자원을 효율적으로 기술할 수 있는 RDF(Resource Description Framework)는 웹 자원을 체계적으로 관리할 수 있는 지평을 열어주었다. 그러나 현재 RDF문서의 저작환경은 저차원적인 텍스트 편집 수준으로 파싱(parsing)과 유효성 검사(validation checking)를 지원하지 못하고 있는 실정이다. 따라서 본 논문에서는 저작환경을 개선함과 동시에 RDF 및 XML 문서에 대한 파싱 및 유효성 검사를 효율적으로 수행하고, RDF로 기술된 웹 자원을 n-triple 형식으로 생성할 수 있는 RDF 저작 툴을 설계 및 구현하여 유효성이 보장된 웹 자원을 효율적으로 생성 및 처리할 수 있도록 하였다.

• 한국정보과학회논문지:컴퓨팅의 실제 및 레터
• /
• 제8권4호
• /
• pp.468-478
• /
• 2002

본 논문에서는 가입자망의 고속화를 실현하는 방안으로 개발되고 있는 B-WLL 시스템의 MAC 프로토콜을 설계하고 검증하였다. MAC 프로토콜의 설계는 DAVIC에서 제시하는 MAC 메시지를 사용하여 SDL로 설계했으며, 동적인 경쟁/예약 타임 슬롯할당 알고리즘을 적용했다. 또한 설계한 MAC 프로토콜의 유효성을 검증하기 위하여 ObjectGeode의 Simulation Builder를 이용하여 문법적인 오류를 검사하고, MSC(Message Sequence Chart)를 생성하여 프로토콜의 동작절차에 대해 검증하였다. 검증의 결과, 설계한 MAC 프로토콜이 절차에 따라 정확하게 동작했으며, B-WLL 시스템이 지원하는 모든 서비스에 대해 유효함을 확인했다.

• Nuclear Engineering and Technology
• /
• 제53권12호
• /
• pp.3966-3978
• /
• 2021

ISFRA (Integrated SFR Analysis Program for PSA) computer program has been developed for simulating the response of the PGSFR pool design with metal fuel during a severe accident. This paper describes validation of the ISFRA aerosol model against the Aerosol Behavior Code Validation and Evaluation (ABCOVE) experiments undertaken in 1980s for radionuclide transport within a SFR containment. ABCOVE AB5, AB6, and AB7 tests are simulated using the ISFRA aerosol model and the results are compared against the measured data as well as with the simulation results of the MELCOR severe accident code. It is revealed that the ISFRA prediction of single-component aerosols inside a vessel (AB5) is in good agreement with the experimental data as well as with the results of the aerosol model in MELCOR. Moreover, the ISFRA aerosol model can predict the "washout" phenomenon due to the interaction between two aerosol species (AB6) and two-component aerosols without strong mutual interference (AB7). Based on the theory review of the aerosol correlation technique, it is concluded that the ISFRA aerosol model can provide fast, stable calculations with reasonable accuracy for most of the cases unless the aerosol size distribution is strongly deformed from log-normal distribution.

• 정보보호학회논문지
• /
• 제13권6호
• /
• pp.45-54
• /
• 2003

공개키 인증서는 유효기간 이전에도 소유자의 신원정보 변경이나 개인키의 훼손과 같은 이유로 폐지가 가능하다. 인증서는 상대적으로 긴 시간의 유효기간을 가지기 때문에 폐지될 수 있는 가능성이 높다. 공개키 기반구조에서 기술적인 중요한 문제는 인증서 상태에 대한 처리에 있다. 본 논문은 금융 네트워크의 환경에서 적합한 실시간 인증서 상태 확인 메커니즘을 제안한다. 제안 방식의 특징은 검증자목록을 이용하여 실시간으로 인증서 폐지 정보를 전송하는데 있다. 이 방식은 성능에 대한 실험에서 대표적인 상태확인 메커니즘인 실시간 인증서 상태 프로토콜(OCSP：On-line Certificate Status Protocol)과 동일한 현재성을 제공한다. 이와 동시에 감내하기 어려운 집중된 네트워크 전송에서 상태 확인의 부담을 줄인다.

• 시스템엔지니어링학술지
• /
• 제19권1호
• /
• pp.44-55
• /
• 2023

The defense M&S system, which has been classified as a weapon system between requirements determination and project implementation, is being developed by applying the weapon system development procedure of the Defense Acquisition Program Administration. The M&S system abstracts and models the real world to suit the intended use and proceeds with the process of developing it as a software-oriented system. Overseas, the conceptual model development stage is staged before entering the design stage after the requirements analysis. In addition, each step includes verification and validation processes. In Korea, while establishing and applying the weapon system development procedure based on the SE process, the M&S system is also applied in the same way as the general weapon system, limiting appropriate development outputs and verification and validation. In this study, the system development procedure of the M&S system is established and presented based on the relevant standards and SE process of developed countries.

• International Journal of Fluid Machinery and Systems
• /
• 제4권1호
• /
• pp.172-178
• /
• 2011

This paper presents an optimization procedure for high-efficiency design of a mixed-flow pump. Optimization techniques based on a weighted-average surrogate model are used to optimize a vane diffuser of a mixed-flow pump. Validation of the numerical results is performed through experimental data for head, power and efficiency. Three-level full factorial design is used to generate nine design points within the design space. Three-dimensional Reynoldsaveraged Navier-Stokes equations with the shear stress transport turbulence model are discretized by using finite volume approximation and solved on hexahedral grids to evaluate the efficiency as the objective function. In order to reduce pressure loss in the vane diffuser, two variables defining the straight vane length ratio and the diffusion area ratio are selected as design variables in the present optimization. As the results of the design optimization, the efficiency at the design flow coefficient is improved by 7.05% and the off-design efficiencies are also improved in comparison with the reference design.

• 한국항공우주학회지
• /
• 제41권8호
• /
• pp.605-612
• /
• 2013

중형 또는 대형 인공위성은 발사를 앞두고 발사체 회사와 함께 연성하중해석을 실시하여 위성설계를 최종 검증한다. 연성하중해석을 통해 얻어진 최대가속도, 최소간극, 최대하중은 인공위성의 설계하중과 비교하여 인공위성의 설계를 최종적으로 검증하게 된다. 이러한 연성하중해석의 신뢰도를 높이기 위해서는 인공위성 유한요소모델은 충분히 검증되어야 하는데, 발사 직전에 수행하는 정현파 진동시험결과에 맞춰 보정한다. 본 논문에서는 연성하중해석을 위한 유한요소모델의 보정 및 검증결과에 대해 기술한다.