• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2017년도 추계학술발표대회
• /
• pp.753-756
• /
• 2017

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

• 한국우주과학회:학술대회논문집(한국우주과학회보)
• /
• 한국우주과학회 2003년도 한국우주과학회보 제12권2호
• /
• pp.96-96
• /
• 2003

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

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 2015년도 제27회 한글 및 한국어 정보처리 학술대회
• /
• pp.190-193
• /
• 2015

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

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

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

• 한국원자력학회:학술대회논문집
• /
• 한국원자력학회 1996년도 춘계학술발표회논문집(1)
• /
• pp.499-504
• /
• 1996

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

• 한국컴퓨터정보학회논문지
• /
• 제17권3호
• /
• pp.135-141
• /
• 2012

인터넷 발전은 교육과 평가 방법에서 많은 변화를 가져왔다. 인터넷을 이용한 원격교육은 학습 결과를 측정하기 위해 시험의 시행이 온라인으로 이루어지고 있다. 온라인 시험은 출제 및 시험 감독에 대한 연구가 많이 진행 되었지만 시험 답안의 진본성 검증에 대한 연구는 이루어지지 않고 있다. 시험 답안지 작성 형식에는 선택형, 단답형, 서술형, 실습형 등이 있는데 실습형을 제외한 답안 작성은 웹상에서 가능하다. 본 논문에서는 실습형 답안지 중 컴퓨터활용 답안의 진본 확인을 위해 답안지에 검증정보를 기록하여 진본임을 검증할 수 있는 시스템을 구현한다. 이 시스템의 특징은 인터넷에서 컴퓨터활용 시험 실시 중 답안지가 부정하게 작성되었는지를 검증하는 것이다. 이 시스템은 진본 검증을 위해 검증정보를 서버에서 응시자 답안지에 기록하도록 하였으며, 그 결과 제출된 답안지의 검증정보를 이용하여 진본여부를 검증하는 것이다.

• 정보보호학회논문지
• /
• 제29권5호
• /
• pp.985-996
• /
• 2019

본 논문에서는 미국에서 암호모듈검증을 획득한 대표적인 소프트웨어 형태의 암호모듈인 FIPS-OpenSSL의 소스 코드를 분석하여 암호모듈 검증 및 시험기준에서 요구하는 보안요구사항이 소프트웨어적으로 어떻게 구현되어있는지 분석한다. 특히, 암호모듈이 반드시 탑재하고 있어야 하는 자가시험기능 (동작 전 자가시험, 조건부 자가시험) 관점으로 소스코드를 분석한다. 비록 미국 암호모듈 검증제도에서는 FIPS 140-2를 검증기준으로 삼고 있지만, FIPS 140-2는 국내 암호모듈 검증제도에서 암호모듈 검증 및 시험기준으로 삼고 있는 암호모듈 국제표준인 ISO/IEC 19790과 24759의 근간이 되었기 때문에 많은 유사함이 존재한다. 본 논문의 분석을 통하여 향후 암호모듈 개발업체에서 자가시험기능을 정확하고 안전하게 구현할 수 있을 것으로 기대한다.

• 한국방송∙미디어공학회:학술대회논문집
• /
• 한국방송공학회 1999년도 KOBA 방송기술 워크샵
• /
• 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. 시험의 개념 및 테스트 항목에 대한 정의와 방법에 관하여 언급하고 있으며 통합시험(필드시험)에 대해서는 필드시험의 목적, 시험방법, 테스트차량의 구성 및 테스트결과를 중심으로 내용을 기술하였다.

• 정보처리학회논문지:소프트웨어 및 데이터공학
• /
• 제8권7호
• /
• pp.265-274
• /
• 2019

무기체계 소프트웨어 개발 시 수행하는 신뢰성 시험은 크게 정적 검증과 동적 검증으로 구분된다. 정적 검증에서는 소프트웨어 코드를 수행시키지 않고 코딩 규칙 점검, 취약점 점검, 소스 코드 메트릭 점검을 수행하고, 동적 검증에서는 요구 사항을 기반으로 실제 소프트웨어를 실행시켜 기능을 검증하고 코드 실행률을 측정한다. 이러한 정적/동적 검증의 목적은 소프트웨어에 존재하는 결함을 발견하기 위한 것이다. 그러나 현재의 무기체계 소프트웨어 신뢰성 시험만으로는 여전히 탐지할 수 없는 결함들이 존재한다. 본 논문에서는 소프트웨어에서 발생할 수 있는 결함에 대해 무기체계 신뢰성 시험의 정적 검증과 동적 검증으로 탐지를 할 수 있는지를 사례실험을 통하여 분석 한다. 그 결과로 현재의 정적 검증과 동적 코드 커버리지 측정에서 더 나아가 무기체계 신뢰성 시험, 특히 동적 시험의 개선방안으로 연결하고자 한다.

• 대한전기학회:학술대회논문집
• /
• 대한전기학회 2006년도 제37회 하계학술대회 논문집 C
• /
• pp.1482-1483
• /
• 2006

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