• 한국소음진동공학회:학술대회논문집
• /
• 한국소음진동공학회 2014년도 추계학술대회 논문집
• /
• pp.256-261
• /
• 2014

Endurance test procedures of multipurpose tactical vehicle is constructed by comparing the Korea defence standard and TOP-2-2-506. The plan was to make the best reflect the operational environment and the actual production purposes. Endurance test of multipurpose tactical vehicle more stringent than the existing other military vehicles validation procedures. But the test plan, it is possible to reduce the cost and schedule of long verification that occurs because of the Endurance test. Through a comparison of the dynamic characteristic analysis, change of test center was to ensure the reliability and validity.

• 정보처리학회논문지C
• /
• 제11C권5호
• /
• pp.569-576
• /
• 2004

기존의 공개키 암호알고리즘의 표준적합성에 대한 검증도구는 유선환경에 치중되어 개발되어 왔으나, 무선환경에서 사용되는 타원곡선 알고리즘의 표준적합성 검증도구에 대한 개발은 미약한 실정이다. 유선 환경보다 무선 환경에서 정보보호 시스템간의 상호연동성 확보 및 사용자 편익을 증대시키기 위한 검증도구의 개발이 더욱 중요하다. 따라서 본 논문에서는 X9.62 기술표준을 정확하게 준용하여 구현되었는지를 테스트할 수 있는 타원 곡선 암호 알고리즘의 검증도구를 설계 및 구현하였다. 구현된 검증도구는 ECDSA, ECKCDSA, ECDH 등을 이용한 모든 정보보호 제품에 적용할 수 있다. 아울러 충분한 테스트 항목을 통해 검증의 정확성을 높였으며, 검증도구와 김증 대상이 온라인상에서 검증될 수 있도록 하였다.

• Journal of the Korean Data and Information Science Society
• /
• 제21권3호
• /
• pp.407-417
• /
• 2010

신BIS협약에서는 자본적정성 규제에 있어서 자율성 확대를 위해 내부등급시스템을 허용하였고, 이에 따라 시스템의 적합성 검증의 중요성을 더욱 강조하게 되었다. 적합성검증은 양적 질적 검증으로 나뉘며 이 때 양적 검증은 변별력, 안정성, 등급의 계량화로 구별된다. 본 논문에서는 양적 검증의 등급의 계량화 중 신용등급 변화 검정기법에 대하여 연구하려고 한다. 등급의 계량화 검정은 등급별로 추정된 부도율과 실제 부도율과의 차이를 검정하는 방법으로 한 시점에 대한 검정으로 이항검정과 카이제곱검정, Brier score, 신호등 검정이 있고, 여러 시점의 정확성을 검증하는 방법으로 정규성 검정, 확장된 신호등 검정이 있다. 신용평가시스템의 정확성을 높이고, 현실 상황에 반영이 가능하려면 상관관계를 고려하지 않을 수 없다. 본 논문에서는 부도상관관계를 고려한 확장된 신호등 검정을 제안하고자 한다.

• Nuclear Engineering and Technology
• /
• 제27권3호
• /
• pp.385-392
• /
• 1995

월성원자력 2, 3, 4호기 safety-critical 소프트웨어에 대한 규제 기관의 요구사항을 만족시키기 위하여 소프트웨어 엔지니어링 절차가 개발되었다. 본 논문에서는 그 중에서 검증시험절차에 대하여 기술하였는데, 검증시험이란 설계그룹에서 개발된 소프트웨어가 독립된 기능그룹에서 부여한 요구사항을 모두 만족하는지를 확인하는 것이다. 이 검증시험을 수행하기 위하여 시험설비와 시험용 소프트웨어가 개발되었으며, 검증시험은 기능시험, 성능시험 및 자기점검시험 등으로 구성되었다. 시험결과를 분석하여, 불만족한 경우는 설계그룹에 통보되어 소프트웨어가 수정되었고, 최종결과는 보고서로 작성되어 규제기관에 제출될 것이다. 개발된 검증시험 방법과 절차는 효율적이고 성공적이었으며, 시험결과는 소프트웨어가 기능사양서를 충분히 만족시킨다는 것을 성공적으로 검증함을 보여주었다. 본 시험방법은 다른 safety-critical 소프트웨어 검증에도 적용될 수 있을 것이다.

• 대한전기학회논문지:전력기술부문A
• /
• 제48권4호
• /
• pp.428-433
• /
• 1999

The errors of IMU(Inertial Measurement Unit) can be divided into deterministic and random errors. Since the required accuracy of the IMU is very high, the errors must be compensated by using an accurate error mode. In this paper, we present a method to get a more accurate error model in a laboratory test. This was done by considering the setting misalignment in the laboratory test in the IMU error model. We considered here the IMU which consits of DTG(dynamically tuned gyroscope) and pendulum type accelerometer. First, it was shown that the estimation result from the model which does not contain the setting misalignment gives considerable estimation error at the validation test. Second, a new model considering the setting misalignment was derived. Finally, by validation test using the estimation results from new model the validity of it was proved.

• 한국산업정보학회논문지
• /
• 제25권4호
• /
• pp.17-27
• /
• 2020

본 논문에서는 무기체계 양산에 활용되는 자동시험장비 (Automatic Test Equipment: ATE)의 유효성 입증을 위한 검증 방안을 제안하였다. 검증되지 않은 시험장비의 시험 데이터는 신뢰성이 미흡하여 객관적인 자료로써 활용이 제한되므로 ATE를 활용한 시험대상품의 품질 수준을 확보하기 위해서 시험장비의 검증이 필수적이다. 제시된 방법을 통해 전술정보통신체계 ATE에 적용하여 검증 결과를 확인하고 유효성 입증 결과를 기술한다.

• Nuclear Engineering and Technology
• /
• 제48권5호
• /
• pp.1083-1095
• /
• 2016

The design of Prototype Gen-IV Sodium-Cooled Fast Reactor (PGSFR) has been developed and the validation and verification (V&V) activities to demonstrate the system performance and safety are in progress. In this paper, the current status of test activities is described briefly and significant results are discussed. The large-scale sodium thermal-hydraulic test program, Sodium Test Loop for Safety Simulation and Assessment-1 (STELLA-1), produced satisfactory results, which were used for the computer codes V&V, and the performance test results of the model pump in sodiumshowed good agreement with those in water. The second phase of the STELLA program with the integral effect tests facility, STELLA-2, is in the detailed design stage of the design process. The sodium thermal-hydraulic experiment loop for finned-tube sodium-to-air heat exchanger performance test, the intermediate heat exchanger test facility, and the test facility for the reactor flow distribution are underway. Flow characteristics test in subchannels of a wire-wrapped rod bundle has been carried out for safety analysis in the core and the dynamic characteristic test of upper internal structure has been performed for the seismic analysis model for the PGSFR. The performance tests for control rod assemblies (CRAs) have been conducted for control rod drive mechanism driving parts and drop tests of the CRA under scram condition were performed. Finally, three types of inspection sensors under development for the safe operation of the PGSFR were explained with significant results.

• 대한산업공학회지
• /
• 제6권1호
• /
• pp.27-38
• /
• 1980

This paper presents the validation of a stochastic model of muscle fatigue during static muscle contractions. Forty four laboratory experiments, covering eleven test conditions for two trained subjects, were run in order to estimate fatigue and recovery rates, based on EMG observations. The validation of the model was made by comparing the model predictions to the experimental fatigue time. The validation study supports that the stochastic model of muscle fatigue accurately represents the underlying fatigue process. The study also provides support that the fatigue model can be used as a monitor of individual muscle capabilities.

• 대한약침학회지
• /
• 제12권4호
• /
• pp.33-50
• /
• 2009

Objectives : This study was conducted to confirm validation and stability of concentration analysis method of pure melittin (Sweet Bee Venom-Sweet BV) extracted from the bee venom by utilizing protein isolation method of gel filtration. Methods : All experiments were conducted at Biotoxtech, a non-clinical studies authorized institution, under the regulations of Good Laboratory Practice (GLP). Standard solutions of melittin (SIGMA, USA) and test substances were dispensed and were analyzed with HPLC for Sweet BV to secure the validation of analysis. Results : 1. Measurement of system suitability of Sweet BV satisfied criterion of below 3%. 2. Confirming Linearity of Sweet BV in 10-200${\mu}g/m\ell$ solution yielded correlation coefficient (r) of 0.995 and accuracy of 85-115% which satisfy criterion. 3. Measurement of Specificity of Sweet BV didn't yield any substance affecting the peak of test substances, but detected at 21.22min verified as the test substance. 4. Confirming Intra-day of Sweet BV, accuracy and precision of 0.1, 100${\mu}g/m\ell$ were 105.70, 95.81 and 0.66, 0.73, respectively, satisfying both criteria of accuracy (85-115%) and precision (within 10%). 5. To measure Stability in autosampler, all samples used in Intra-day reproducibility sat in the autosampler for five hours and were re-analyzed. Both variability and precision satisfied the criteria. 6. Homogeneity of Sweet BV (0.1, 100${\mu}g/m\ell$) at upper, middle, and lower layers all satisfied the accuracy and precision criteria. 7. Stability of Sweet BV (0.1, 100${\mu}g/m\ell$) at room temperature for four hours and refrigerated for 7 days all satisfied the criterion. 8. For the measurement of Quality control, QC samples measured on the first and eighth day all satisfied accuracy and precision criteria. Conclusion : Above experiment data satisfies validation and stability of concentration analysis method of Sweet BV.

• 정보보호학회논문지
• /
• 제13권1호
• /
• pp.69-85
• /
• 2003

본 논문에서는 정보보호 제품의 주요한 역할을 담당하는 암호 알고리즘의 구현 적합성에 대해 논의한다. 암호 알고리즘 구현 적합성 평가는 지정된 표준에 맞게 정확하게 구현했는가에 대한 평가이다. 따라서 해당 암호 알고리즘 기능별 또는 절차에 따라 알고리즘 평가가 수행된다. 본 논문에서 제시한 암호 알고리즘 평가 검증은 국내 표준인SEED 알고리즘을 그 대상으로 하며, 알고리즘의 기능에 따라 평가를 수행한다. 제안한 검증 시스템은 SEED 알고리즘 구현물에 대해 충분히 테스트하기 위해 필요한 테스트 벡터를 생성하여 이용하는 테스트와 검증의 정확성을 높이기 위해 임의 데이터를 이용한 테스트를 제공한다. 제안한 검증 시스템은 SEED를 이용한 정보보호 제품에 모두 적용 가능하므로 각종 암호제품 평가 및 인증에 활용될 수 있다.