• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 2002년도 춘계공동학술발표회요약집
• /
• pp.104-104
• /
• 2002

• 한국응용약물학회:학술대회논문집
• /
• 한국응용약물학회 2002년도 창립10주년기념 및 국립독성연구원 의약품동등성평가부서 신설기념 국재학술대회:생물학적 동등성과 의약품 개발 전략을 위한 국제심포지움
• /
• pp.158-169
• /
• 2002

본 발표에서는 약물 분석 중 특히 생체 매질을 이용하여 임상약리학적 연구나 생체 내 이용률(bioavailability) 연구, 생물학적 동등성(bioequivalence) 연구를 하는 경우의 분석법 검증(bioanalytical method validation)에 대하여 상세히 설명하고자 한다.

• Nuclear Engineering and Technology
• /
• 제55권1호
• /
• pp.25-36
• /
• 2023

Nuclear power plants have recognized the importance of nuclear cybersecurity. Based on regulatory guidelines and security-related standards issued by regulatory agencies around the world including IAEA, NRC, and KINAC, nuclear operating organizations and related systems manufacturing organizations, design companies, and regulatory agencies are considering methods to prepare for nuclear cybersecurity. Cryptographic algorithms have to be developed and applied in order to meet nuclear cybersecurity requirements. This paper presents methodologies for validating cryptographic algorithms that should be continuously applied at the critical control system of I&C in NPPs. Through the proposed schemes, validation programs are developed in the PLC, which is a critical system of a NPP's I&C, and the validation program is verified through simulation results. Since the development of a cryptographic algorithm validation program for critical digital systems of NPPs has not been carried out, the methodologies proposed in this paper could provide guidelines for Cryptographic Module Validation Modeling for Control Systems in NPPs. In particular, among several CMVP, specific testing techniques for ECB mode-based block ciphers are introduced with program codes and validation models.

• 한국항해항만학회지
• /
• 제39권1호
• /
• pp.15-21
• /
• 2015

GNSS를 이용한 정밀측위에서 미지정수 결정은 가장 중요한 과정이다. 정확한 미지정수를 추정하는 경우에는 수 mm에서 수 cm의 정밀한 측위결과를 가져오지만 부정확한 미지정수를 사용하는 경우에는 측위결과의 정확도와 정밀도를 보장할 수가 없다. 미지정수 결정은 IR(Integer Rounding), IB(Integer Bootstrapping), ILS(Integer Least Squares) 등의 기법을 기반으로 수행할 수 있다. 이중에서 ILS는 이론적, 실험적으로 가장 좋은 성능을 보여준다. 하지만 다른 기법들과 달리 ILS는 미지정수에 대한 후보를 검색하기 때문에 올바른 미지정수를 판단하기 위한 타당성 검정이 필요하다. 본 논문에서는 타당성 검정 기법간의 실험적인 비교 분석을 수행한다. 실험에는 타당성 검정 기법으로 자주 쓰이는 R-ratio, F-ratio, W-ratio가 사용되었다. 각 타당성 검정 기법의 성능을 정상동작, 검출, 미검출, 오검출로 나누어 평가하였다. 실험결과로 각 타당성 검정 기법의 장단점이 분명하게 나타났으며, 이를 통해 적용환경에 따라 기법이 선택되어야 함을 확인하였다.

• 제어로봇시스템학회논문지
• /
• 제13권10호
• /
• pp.927-932
• /
• 2007

The sophisticated mathematical model is required for the design and the database construction of the advanced flight control system of UAV. In this paper, flight test of KARI's research UAV, often called DURUMI-II, is implemented for the data acquisition from the maneuver flight. The flight path reconstruction is implemented to ensure that the measured data is consistent and error free. The nonlinear system identification for the refined mathematical modeling is implemented with the verified measurements from the flight path reconstruction. The simulation with the identified results have a good validation when the simulated responses were compared to the flight tested data.

• 대한기계학회논문집B
• /
• 제31권4호
• /
• pp.341-348
• /
• 2007

One of the controversial research issues on nanofluids is the temperature dependence of the thermal conductivity of nanofluids, that is, whether it will increase or decrease according to the temperature rise. To evaluate precisely the thermal conductivity behavior of nanofluids, a systematic way of validation experiments for the measuring instrument has been highly recommended. In this paper, procedure of the validation test for transient hot-wire method using the temperature dependence of the base fluids was explained comprehensively and the comparison of the temperature dependence of water-$Al_2O_3$ nanofluids is made between the present work and that of Das et al.

• Journal of electromagnetic engineering and science
• /
• 제8권1호
• /
• pp.1-5
• /
• 2008

In this paper, a biconical type antenna is proposed for EMI test site validation above 1 GHz. To achieve broadband and omni-directional radiation patterns required by international standard(CISPR), the proposed antenna consists of general bicones with cylindrical loads and adopts side feeding method to minimize the influence on H-plane pattern due to feeding cable, balun, and connector. The radiation patterns of the fabricated antenna are measured and the results are compared with CISPR criteria and commercial antenna in our interest frequencies. Although the proposed antenna has a few problems in frequency range of 1 GHz to 2 GHz, it has relatively better performance than commercial antenna.

• 한국철도학회:학술대회논문집
• /
• 한국철도학회 2011년도 춘계학술대회 논문집
• /
• pp.317-325
• /
• 2011

Vehicle model validation for the static vehicle testing has been done by comparison of the simulation results and test results and the parameters of the vehicle model to be used in the simulation have been adjusted to reflect the measured behaviour. The vehicle model fort the simulation should be validated by suitable tests and/or practical experience. The static vehicle test used to validate the vehicle model are the weight measurement, the wheel offloading test, the bogie rotational resistance test and the sway test. Finally, the computer simulation model has been validated and using the validated vehicle model the acceptance of the vehicle safety of the resistance to flange climbing derailment at low speed can be examined.

• 아동학회지
• /
• 제28권1호
• /
• pp.37-54
• /
• 2007

The purpose of this study was the development and validation of a test of young children's understanding and their ability to represent the elements of traditional Korean music. The test was reviewed by professional groups and modified by preliminary testing. In its final form, the Korean Traditional Music Ability Test(KTMAT) for 4- to 6-year-old children consists of 43 items covering understanding and ability to represent Changdan(Changdanhyung, Bak, Bbareugi and Semyeorim) and Garak(Eumjeong and Sikimshae). Item analysis, reliability and validity tests were statistically significant. The KTMAT is an evaluation tool that can be used as basic material for developing children's musical ability, and it can provide valuable information showing direction for children's Korean traditional music education.

• ETRI Journal
• /
• 제27권2호
• /
• pp.140-152
• /
• 2005

In this paper, we present design features, implementation, and validation of a satellite simulator subsystem for the Korea Multi-Purpose Satellite-2 (KOMPSAT-2). The satellite simulator subsystem is implemented on a personal computer to minimize costs and trouble on embedding onboard flight software into the simulator. An object-oriented design methodology is employed to maximize software reusability. Also, instead of a high-cost commercial database, XML is used for the manipulation of spacecraft characteristics data, telecommand, telemetry, and simulation data. The KOMPSAT-2 satellite simulator subsystem is validated by various simulations for autonomous onboard launch and early orbit phase operations, anomaly operation, and science fine mode operation. It is also officially verified by successfully passing various tests such as the satellite simulator subsystem test, mission control element system integration test, interface test, site installation test, and acceptance test.