• Proceedings of the Korea Water Resources Association Conference
• /
• 2009.05a
• /
• pp.405-409
• /
• 2009

현재 하천의 유량측정을 위해 국내외에서 설치, 운영되고 있는 자동유량측정시설은 대부분 초음파유속계를 이용한 실시간 하천유량측정시스템이다. 이러한 초음파유속계는 도플러 방식 초음파유속계(ADVM)와 이동 시간차 방식 초음파유속계(UVM)로 구분되는데, 한강대교 등에 적용된 ADVM 방식에 비해 UVM 방식은 초음파 도달거리의 특성으로 인해 대부분 중소규모의 하천에 적용되어왔다. 이러한 UVM 방식을 하폭이 넓고 홍수시 수위변화가 심한 대규모하천에 적용하기 위해서는 여러 회선을 다층으로 구성하여 설치할 필요가 있는데, 한강의 여주지점은 16개의 회선을 5개의 층으로 구성하여 측정의 정확도를 높이고 홍수시 수위상승시에도 다양한 회선으로 유속을 측정할 수 있도록 하였다. 본 연구에서는 여주지점에 설치되어 운영 중에 있는 이동 시간차 방식 자동유량측정시설의 운영결과를 검토하고 측정치에 대한 검증을 위해 2008년 1월부터 12월까지의 유량측정결과를 검토하였다. 평 저수시는 유속계와 ADCP 이동보트를 이용한 연속측정결과와 비교하였으며 홍수시에는 봉부자 측정결과와 비교하였다. 기존 실측은 2008년 2월부터 12월까지 저수위 및 중 고수위에 걸쳐 실시하였으며, 프라이스유속계 22회, 이동식 ADCP 6회 그리고 부자를 이용한 방법 6회등, 총 34회가 이루어졌으며, 비교 결과 수위 1.5m 이하의 저 평수기에 평균 5.5%의 오차를 보였으며, 홍수시 검증측정유량과의 비교결과 7.6%의 오차를 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.880-882
• /
• 2003

본 논문에서는 소프트웨어 공학에서 널리 사용되고 있는 정형기법을 보안 운영체제의 검증에 활용하기 위해 각 검증기법의 특성과 도구에 대해서 설명한다. 정리증명의 대표적인 도구인 PVS와 모델체킹의 대표적 도구인 SMV, 특수한 목적을 위해 개발된 NPA등에 대해서 알아보고, 각 방법을 비교, 분석하여 보안운영체제의 검증에 적합한 도구를 찾아본다.

• Review of KIISC
• /
• v.17 no.6
• /
• pp.41-56
• /
• 2007

정보시스템의 보호를 위한 정보보호 제품의 경우, CC를 바탕으로 하는 '정보보호시스템 평가제도'를 통해 평가 및 인증하며, 정보보호제품을 구현한 암호모듈의 경우, '암호모듈검증제도'(CMVP)를 통해 시험 및 검증한다. 본 글에서는 사실상의 국제기준인 미국 및 카나다의 CMVP의 새로운 검증기준 후보인 FIPS PUB 140-3의 변화내용을 분석한다. 또한, FIPS 140-1, FIPS 140-2, ISO/IEC 19790(즉, FIPS 140-2의 국제표준)의 내용과도 비교한다.

• Proceedings of the Korean Society For Composite Materials Conference
• /
• 2002.05a
• /
• pp.114-117
• /
• 2002

현재 개발 중에 있는 비파괴 검사법인 Tapping Sound Analysis 의 실험적 검증을 위한 연구를 수행하였다. 손상이 없는 복합재료 구조물과 손상이 있는 복합재료 구조물에 대한 타격 실험을 통해 타격음과 타격력을 측정하여 비교하였다. Wavelet packet transform에 근거한 특성 추출법을 이용하여 타격음으로부터 손상 판단을 위한 특성을 추출하였다. 손상이 없는 구조물과 손상이 있는 구조물의 특성을 비교하기 위해, 특성 지수를 정의하였다. 정의된 특성 지수를 이용하여 손상이 없는 구조물과 손상이 있는 구조물의 타격음의 차이를 하나의 실수로 표현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.06a
• /
• pp.139-141
• /
• 2006

내장형 프로세서인 SE3208의 소프트웨어 모델을 개발하고 SimpleScalar 도구 모음에 추가하여 SE3208 프로세서를 위한 시뮬레이터를 개발하였다. 소프트웨어 모델은 Simplescalar 도구의 환경에 맞춰 함수를 재사용하는 방법으로 작성되었으며, 3단 단일 파이프라인을 갖는 SE3208을 cycle단위로 시뮬레이션 할 수 있도록 시뮬레이터를 변경하였다. 동일한 프로그램을 SE3208 소프트웨어 모델과 PC 상에서 각각 실행시켜 그 결과를 비교함으로써 개발된 시뮬레이터의 정확성을 검증하였으며. 다양한 방식과 모드의 시뮬레이션 기능을 검증하고 성능을 비교하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2003.05a
• /
• pp.169-172
• /
• 2003

본 논문에서는 기존의 분절 단위 비교방법에서 참조서명과 비교서명간에 분할점 개수와 위치에 대한 불일치 문제를 개선하기 위해 구간 분할 매칭 방법을 제안한다. 제안된 분할방법은 시간에 대한 x와 y좌표 상에서 서명마다 변하지 않는 특징점을 구간 분할점으로 선택하여 구간별로 매칭시킴으로서 분절의 안정적인 분할을 통해 인식률을 높이고자 한다. 실험 결과에서 진서명과 위조서명을 포함한 기타서명에 대해 FAR이 0.06%일 때 FRR 1.25%의 오류율을 확인하였으며 FAR이 0%일 때의 평균인식율이 98.7%를 보임으로써 제안한 서명 검증 기법이 우수함을 확인 할 수 있었다.

• Proceedings of the Korean Vacuum Society Conference
• /
• 2011.08a
• /
• pp.95-95
• /
• 2011

고진공영역에 사용되는 터보분자펌프, 이온펌프, 크라이오펌프 등의 특성평가 장치의 신뢰성을 확보하기 위해서는 신뢰성이 검증된 미세 유량발생 장치를 포함한 이온게이지를 이용한 고진공 측정기술이 확보되어야한다. 본 발표에서는 고진공펌프 특성평가를 위한 미세 기체유량계와 펌프 평가기술에 대한 국제적인 동등성을 확립하고 검증하기 위해 수행해오고 있는 진공 분야의 국제비교 및 ISO/TC 112 위원회 활동에 대해 소개한다.

• Proceedings of the Korean Nuclear Society Conference
• /
• 1998.05a
• /
• pp.303-308
• /
• 1998

SMART 계측제어계통 측정신호의 신뢰성을 높이기 위한 실시간 신호검증알고리듬을 개발하였다. 개발된 알고리듬은 선행고장검출행렬, 아날로그 신호용 다중성 기법, 접촉신호용 논리표 알고리듬, 주파수 신호용 다중성 기법 그리고 아날로그 센서 경증을 위한 통계적 모듈의 5개 모듈로 구성되어 있다. 선행고장검출행렬은 측정 신호 중에서 고장의 가능성이 있는 신호를 추출하여 선정된 신호만을 적절한 알고리듬으로 검증하도록 함으로써 전체적인 수행시간을 감소시킨다. 아날로그 신호검증 모듈은 아날로그 측정신호에 대한 물리적/해석적 다중성에 입각하여 고장신호의 크기, 위치를 검출하며, 접촉신호 검증 모듈은 접촉신호들간의 논리값을 비교하여 발생 불가능한 논리값을 가지는 신호를 고장신호로 검출한다. 주파수신호는 아날로그 신호와 유사한 기법을 구현하였으며, 통계적 모듈은 아날로그 센서 자체의 물리적 건전성을 검사하는 모듈이다. 현재 SMART의 설계가 확정되어 있지 않으므로 개발된 신호검증알고리듬을 시험하기 위해서 여러 주요 공정변수가 표현되는 상용 원자로의 냉각재계통을 대상으로 검증 알고리듬을 구현하였으며, 운전모사기로 모사된 신호를 이용하여 개발된 신호검증알고리듬을 시험하였다. 시험결과 각 모듈별로 적절히 고장을 검출함을 보였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10b
• /
• pp.736-738
• /
• 2003

수천 개의 유전자 발현 정보를 가지고 있는 DNA 마이크로어레이 기술의 발달로 대량의 생물정보를 빠른 시간 내에 분석하는 것이 가능하게 되었다. 유전자를 분석하는 방법 중 하나인 클러스터링 방법은 비슷한 기능을 가진 유전자들을 집단화시켜서 집단내의 유전자들의 기능을 밝히거나, 미지의 유전자를 분석하는데 이용되고 있다. 본 논문에서는 유전자 데이터를 분석하기 위한 퍼지 클러스터링 방법과 이를 효과적으로 검증할 수 있는 베이지안 검증 방법을 제안한다. 퍼지 c-means 알고리즘을 사용하여 클러스터를 생성하고, 클러스터 결과를 기존의 퍼지 클러스터 검증 방법들과 본 논문에서 제안하는 베이지안 검증 방법을 사용하여 비교 평가한다. 베이지안 검증 방법은 각 유전자의 클러스터 멤버쉽을 확률로 이용하여 각 클러스터에 속할 확률을 계산하고, 이 값을 가장 크게 해주는 클러스터 집단을 선택한다. 이 방법은 기존의 퍼지 클러스터 검증 방법들과는 달리 클러스터 수에 무관한 평가가 가능한 장점을 가지고 있다. Serum과 Yeast 데이터에 대한 실험 결과, 베이지안 검증 방법의 유용성을 확인할 수 있었다.

• Annual Conference on Human and Language Technology
• /
• 2021.10a
• /
• pp.227-232
• /
• 2021

사실 검증(Fact verification) 문제는 문서 검색(Document retrieval), 증거 선택(Evidence selection), 증거 검증(Claim verification) 3가지 단계로 구성되어있다. 사실 검증 모델들의 주요 관심사인 증거 검증 단계에서 많은 모델이 제안되는 가운데 증거 선택 단계에 집중하여 강화 학습을 통해 해결한 모델이 제안되었다. 그래프 기반의 모델과 강화 학습 기반의 사실 검증 모델을 소개하고 각 모델을 한국어 사실 검증에 적용해본다. 또한, 두 모델을 같이 사용하여 각 모델의 장점을 가지는 부분을 병렬적으로 결합한 모델의 성능과 증거의 구성 단위에 따른 성능도 비교한다.