• Proceedings of the Korea Information Processing Society Conference
• /
• 2017.11a
• /
• pp.753-756
• /
• 2017

의료기기는 사람의 생명과 직접적으로 연관되어 있기 때문에 다른 분야의 기기보다 안전성에 대한 검증이 필수적이다. 의료 분야에서는 안전성 검증을 위해 기기의 허가 심사 조건으로서 소수의 피험자를 대상으로 수행되는 임상 시험이 존재한다. 그러나 임상 시험의 경우 의료기기를 직접 사람에게 적용하여 검증을 진행하기 때문에, 인체에 미칠 위해성을 고려하여 전임상 시험을 수행하고 있다. 하지만 전임상 시험은 동물이나 가상의 물체를 대상으로 수행하여 실제 사람에 대한 적용이 아니기 때문에, 임상 시험에 비해 검증에 대한 효력을 갖지 못한다. 따라서 본 연구에서는 피험자의 안전을 보장할 수 있고, 임상 빅데이터에 축적된 실제 환자의 사례를 활용한 신뢰성 있는 검증 방안을 제안하고자 한다. 그러나 현재 식품의약품안전처에서 제공되고 있는 의료기기 품목군은 개발하고자 하는 의료기기의 임상 빅데이터 기반 검증 가능성을 식별하기 어렵다. 그러므로 본 논문에서는 의료기기에 대한 다양한 특성 분석을 통해 임상 빅데이터 기반 검증 가능성을 식별하기 위한 프로세스를 제안한다. 제안하는 프로세스에서는 의료기기의 검증에 요구되는 데이터의 식별을 통해 임상 빅데이터를 이용한 테스트 데이터 수집 및 이를 활용한 신뢰성 높은 검증을 가능케 한다.

• Bulletin of the Korean Space Science Society
• /
• 2003.10a
• /
• pp.96-96
• /
• 2003

우주발사체라 함은 지구상의 물체를 우주, 즉 지구의 중력이 영향을 미치지 못하는 대기권 밖으로 운반하는 수단을 말한다. 이를 위해 다양한 추진방식이 제안되었고 연구되고 있으나 현재까지 실용화 된 것은 화학연료를 연소시킴으로 인해 발생하는 추진력으로 지구 중력을 이겨내는 방식이다. 또한 발사체 구성에서 추진기관분야는 전체 성능을 좌우할 정도로 큰 비중을 차지하고 있다. 따라서 이에 대한 최적화 및 성능 검증은 필수적이다. 추진기관에 대한 성능 검증기법은 우주발사체 기술이 발달해 옴에 따라 해석적 방법, 비 연소 모사시험 등 다양하게 제시되고 있으나, 우주발사체용 추진기관의 연소현상을 예측 및 모사하는 것이 쉽지 않고 구축된 데이터가 적기 때문에 발사체 개발 단계의 최종 검증 차원에서 연소시험을 실시하는 것이 일반적이다. 한국 최초의 우주발사체라 평가되고 있는 KSR-III 로켓의 경우에도 다양한 해석기법과 모사시험을 통해서 성능 예측을 하였으나, 역시 최종 성능 검증을 위해 10여회의 연소시험을 실시하였다. 본 논문을 통해 저자는 KSR-III 개발과정에서 수행된 10회의 연소시험의 수행 과정과 결과를 기술, 정리 및 평가하여 향후 진행될 우주발사체 개발 사업의 기초로 삼고자 한다.

• Annual Conference on Human and Language Technology
• /
• 2015.10a
• /
• pp.190-193
• /
• 2015

이 논문에서는 한국의 수능 시험에 대응하는 일본 센터 시험의 세계사B 문제를 해결하는 시스템을 만들고 그 성능을 평가했다. 이 시스템은 문제의 각 보기의 신뢰도를 검증하여 어떤 보기가 참인지를 결정한다. 보기 검증을 위해 지식 베이스 기반, 정보 검색 기반, 시간적 제약 기반 검증을 사용하였다. 성능 평과 결과 6개년도 시험 중 5개 시험에서 통계적으로 의미 있는 결과를 얻었다. 이 시스템은 영어를 대상으로 하나, 한국어에도 존재하는 리소스를 사용했기 때문에 한국어에서도 같은 방법론을 적용할 수 있을 것으로 본다. 후속 연구로는 보기의 의미적 분석과 개체명 이외의 정보에 대한 검색이 필요하다.

• Journal of Korea Society of Industrial Information Systems
• /
• v.25 no.4
• /
• pp.17-27
• /
• 2020

In this paper, we proposed verification methods to prove the effectiveness of automatic test equipment (ATE) for weapon systems. Since the test results from the unproven ATE is not reliable and its use is limited as objective data, it is essential to verify the test equipment in order to guarantee the quality level of the unit under test (UUT). Through the suggested methods, it is applied to the ATE of the tactical information communications network (TICN) system to confirm the verification results and to describe the validation results.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1996.05a
• /
• pp.499-504
• /
• 1996

본 논문은 저온정지에서 2%까지 원전 자동기동시스템에 필요한 발전소 데이터를 시험검증설비로부터 얻기 위해 공유메모리와 TCP/IP를 사용하여 통신프로그램을 개발하였다. 자동기동시스템은 foxboro에서 제공하는 API(Application Program Interface)를 이용하여 데이터베이스에서 제어기에 필요한 데이터를 공유메모리에 올려놓고, 통신프로그램이 읽고 쓸 수 있도록 했으며, 시험검증설비에서는 HP Workstation에서 사용되는 내부 프로세스 통신방법을 이용하여 시험검증설비에서 나온 데이터를 공유메모리에 넣을 수 있도록 설계하였다.

• Journal of the Korea Society of Computer and Information
• /
• v.17 no.3
• /
• pp.135-141
• /
• 2012

Development of the Internet has brought many changes in methods of education and assesment. When enforcing the on-line distance education, the tests to check the outcomes of the learning are taken on the Internet. The current trends of education evaluation are focused on the types of questions and the detachments of exam proctor but verifying the authentication of answer sheet. There are several forms to make answers; selection type, short-answer type, write-out answer type, practical exercise type, etc. All the forms can be done on the Internet except the practical exercise type because the source of the examinee's answer sheet is unreliable. In this paper, we made the verification system to solve the doubt by setting the proved information on the answer sheet. Putting the information down to confirm the authenticity during the exam on the server is distinct character of this system. After the test finished, the system will operate when examinee turn in the answer sheet.

• Journal of the Korea Institute of Information Security & Cryptology
• /
• v.29 no.5
• /
• pp.985-996
• /
• 2019

This paper analyzes the source code of FIPS-OpenSSL cryptographic module approved as FIPS cryptographic module in USA and shows how the selftest requirements are implemented as software cryptographic library with respect to pre-operational test and conditional tests. Even though FIPS-OpenSSL follows FIPS 140-2 standard, lots of security requirements are similar between FIPS 140-2 and Korean cryptographic module validation standards. Therefore, analysis from this paper contributes to help Korean cryptographic module vendors develop correct and secure selftest functions on their own cryptographic modules, which results in reducing the test period.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 1999.06b
• /
• pp.23-31
• /
• 1999

HDTV(High Definition Television) 수신기의 성능을 검증하기 위한 시험은 개별적인 성능을 검증하는 Lab. 시험과 시스템을 Integration하여 성능을 검증하는 통합시험(필드시험 포함)으로 이루어진다 본 논문에서는 HDTV 수신시스템의 통합시험 및 방법에 대하여 KETI에서 지난 3월에 미국의 ATTC (Advanced Television Technology Center)에서 실시한 Lab. 테스트와 미국의 Washington D.C. 지역에서 실시하고 있는 Live 방송을 수신하는 통합시험(필드시험)으로 나누어서 실시한 내용을 중심으로 기술하였다. Lab. Tests의 경우에는 HDTV 수신기의 채널부에 대해서 Lab. 시험의 개념 및 테스트 항목에 대한 정의와 방법에 관하여 언급하고 있으며 통합시험(필드시험)에 대해서는 필드시험의 목적, 시험방법, 테스트차량의 구성 및 테스트결과를 중심으로 내용을 기술하였다.

• KIPS Transactions on Software and Data Engineering
• /
• v.8 no.7
• /
• pp.265-274
• /
• 2019

The reliability test performed when developing the weapon system software is classified into static test and dynamic test. In static test, checking the coding rules, vulnerabilities and source code metric are performed without executing the software. In dynamic test, its functions are verified by executing the actual software based on requirements and the code coverage is measured. The purpose of this static/dynamic test is to find out defects that exist in the software. However, there still exist defects that can't be detected only by the current reliability test on the weapon system software. In this paper, whether defects that may occur in the software can be detected by static test and dynamic test of the current reliability test on the weapon system is analyzed through experiments. As a result, we provide guidance on improving the reliability test of weapon system software, especially the dynamic test.

• Proceedings of the KIEE Conference
• /
• 2006.07c
• /
• pp.1482-1483
• /
• 2006

고전압 방전시험 장치는 국제전기기술위원회 규격(IEC 61000-4-2)에서 규정하고 있는 콘덴서 방식을 사용하며, 매우 짧은 시간에 방전함으로서 펄스 형태의 방전전류가 통전된다. 이러한 정전기적인 방전에 의해 전자기기에 고장을 발생시키며 이를 검증하는 방법으로 정전기 내성시험법이 있다. 본 논문에서는 첫째로 방전장치가 발생하는 잡음 전계량을 측정하였고, 둘째로 방전장치를 시험시료에 근접하는 방법에 따른 시험시료에 미치는 영향을 실험을 통해 검증하였고, 셋째로 근접방법에 따른 정전유도 현상이 시험시료에 미치는 영향을 실험적으로 검증하였다. 이러한 세 가지 현상을 바탕으로 시험시료가 고전압 방전장치를 근접 방전하여 방전을 유발시켰을 때의 전자파의 영향에 내성을 갖고 있는지를 검증하는 새로운 시험방법을 제안하였다.