• Journal of Korean Society for Atmospheric Environment
• /
• v.7 no.3
• /
• pp.150-155
• /
• 1991

The Gaussian models were selected as the reference models for the study. During the study of the model verification in the Ulsan Industrial Complex, the accuracy and limitation of models were assessed. The correlation coefficients of the observed and the predicted values for CDM 2.0 and TCM2B were ranged from 0.57 to 0.73 and from 0.72 to 0.86, respectively. And there were relatively large discrepancies between the predicted and predicted and the measured concentrations for several locations. Therefore, the Gaussian models should be used with careful discretion to apply the urban area in Korea.

• Proceedings of the Safety Management and Science Conference
• /
• 2001.05a
• /
• pp.77-81
• /
• 2001

Burn-in is a test procedure to find and eliminate the inherent initial failure of a product during or at the final stage of production process. Software testing is the validation and verification process which is used to cut off the faults from a software. The two have the common function and objective of "debugging". This article summarizes some significant models on the optimal hardware and software burn-in time, and provides the relevant paper lists. The need for the development of the unified burn-in policy of a hardware-software system is addressed.addressed.

• Proceedings of the Korea Society for Simulation Conference
• /
• 2001.10a
• /
• pp.391-395
• /
• 2001

Model verification, validation and accreditation (VV&A) of system simulation are detailedly discussed in this paper. The necessity of VV&A is explained by analyzing the factors on which the model and the reality are discrepant. The W&A technology is expounded in detail not only in the conceptual aspect but also in the methodological aspect. Some principles, difficulties and problems that should be paid attention to are discussed concretely and reasonedly. The paper is expected to be instructional and helpful to the VV&A study.

• Journal of Korean Society of Industrial and Systems Engineering
• /
• v.19 no.38
• /
• pp.61-68
• /
• 1996

Quality Assurance Principles must be effectively implemented in developments and in use of safety critical software in nuclear industry. Brief definitions related to computer software and quality assurance were defined and several methods for evaluating software quality were proposed herewith. Independent verification and validation was suggested to assure the quality of safety critical software.

• Journal of the Korean Operations Research and Management Science Society
• /
• v.23 no.1
• /
• pp.43-65
• /
• 1998

This paper develops a two-echelon inventory model with time-weighted partial backorders. The presented model assumed to follow continuous review (Q. r) policy for both the retailers and the central warehouse under stochastic demand. A heuristic method to find an optimum-tending solution for total variable system cost per year incurred at the central warehouse and retailers in a system is suggested. To show the usefulness of the above model, numericla examples are illustrated for verification and validation purpose.

• Nuclear Engineering and Technology
• /
• v.42 no.4
• /
• pp.377-381
• /
• 2010

In 2007 the Nuclear Energy Agency's Committee on the Safety of Nuclear Installations published Best Practice Guidelines for the use of CFD in Nuclear Reactor Safety. This paper provides an overview of the document' contents and highlights a few of its recommendations. The document covers the full extent of a CFD analysis from initial problem definition and selection of an appropriate tool for the analysis, through final documentation of results. It provides advice on selection of appropriate simulation software, mesh construction, and selection of physical models. In addition it contains extensive discussion of the verification and validation process that should accompany any high-quality CFD analysis.

• 시스템엔지니어링워크숍
• /
• s.4
• /
• pp.90-94
• /
• 2004

System engineering(SE) management techniques applied for space launch system development are introduced to assess the current status and address the effwctiveness of these techniques. Management plans and guides are prepared for the work breakdown structure , data, comfiguration, interface control, Quality assurance, procurement, reliability, risk and verification/validation . Further improvement is required for the system engineering management plan(SEMP) to merge the international cooperation into current engineering managment system.

• Journal of the Korean Society for Aeronautical & Space Sciences
• /
• v.36 no.9
• /
• pp.867-873
• /
• 2008

Model based virtual Flight Control System construction is essential for Fly-by-Wire Flight Control System verification & validation(V&V) of concurrent engineering base. We researched the concept of dual-architecture system for virtual system construction, and analyzed Flight Control System that is applied to high altitude long endurance(HAE) UAS. Finally, we constructed the model based virtual Flight Control System with system analysis and achieved system verification about flight critical failure modes. Analysis target is RQ-4A.

• Proceedings of the KIEE Conference
• /
• 2002.07d
• /
• pp.2219-2221
• /
• 2002

This paper describes QA methodologies for developed TBN control system that will be applied to nuclear power plants. The details are the development of QA Manual, QA Procedures, Equipment Qualification Procedure, Commercial Grade Items Dedication, and Software Verification & Validation Plan.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.329-334
• /
• 1998

원자력발전소와 같이 복잡하고 안전성이 강조되는 경보처리 및 표시계통은 개발개념의 적합성 (설계요건의 타당성), 적용된 알고리즘의 완결성(지식기반과 소프트웨어의 확인)과 인간공학적 유용성의 평가가 상당히 중요하다. 동적 경보계통(Alarm and Diagnosis-Integrated Operator Support System : ADIOS)은 다음과 같은 실험을 통해 경보처리 알고리즘의 완결성과 인간공학적 유용성을 확인하였다.·예비기능시험(Preliminary functional test)·Petri net 을 이용한 알고리즘의 완결성 확인(Verification)·전규모 시뮬레이션 환경에서의 인간공학적 성능평가(Validation and Evaluation)