• Proceedings of the Acoustical Society of Korea Conference
• /
• autumn
• /
• pp.81-84
• /
• 2001

본 논문은 중규모 단어급의 핵심어 검출 시스템에서 인식률 향상을 위해 미등록어 거절(Out-of-Vocabulary rejection) 기능을 제어하기 위한 연구이다. 이것은 핵심어 검출기에서 인식된 결과를 확인하는 과정으로 검증시스템이 구현되기 위해서는 매 음소마다 검증 기능이 필요하고, 이를 위해서 반음소(anti-phoneme model) 모델을 사용하였다. 검증의 역할은 인식기에서 인식된 단어가 등록어인지 미등록어인지 판별하는 것이다. 단어인식기는 비터비 탐색을 하므로, 기본적으로 단어단위로 인식을 하지만 그 인식된 단어는 내부적으로 음소단위로 인식된다. 따라서, 최소 검증 오류를 갖는 반음소 모델을 사용하고, 이를 이용하여 인식된 음소 단위들을 각각의 반음소 모델과 비교하여 통계적인 방법에 의해 신뢰도를 구한다 이 음소단위의 신뢰도를 단어 단위의 신뢰도로 환산하기 위해서 음소단위를 평균 내는 방식 을 취한다. 이렇게 함으로서, 등록어와 미등록어 사이의 분별력을 크게 하여 향상된 인식 성능을 얻었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2003.11b
• /
• pp.1197-1200
• /
• 2003

USIM(Universal Subscriber Identity Module) 기술은 데이터의 관리와 보호를 하나의 소형 칩 내에 집약시킨 기술로 최근에 이 기술에 대한 관심도가 증가하고 있다. 자바카드 가상기계는 자바 언어로 작성된 프로그램이 USIM 칩 내부에서 실행 가능하도록 해준다. 하지만 자바카드 가상 기계는 자원 제약적인 디바이스의 특성으로 인하여 검증기술을 제공하지 않는다. 본 논문에서는 정적 체크 기반의 효율적인 바이트코드 검증기를 제안한다. 연구 결과 본 논문에서 제안하는 검증기는 일반적인 것에 비해 90% 이상의 사이즈가 감소되었다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.11b
• /
• pp.313-315
• /
• 2005

웹 응용 개발 과정에서 페이지와 항해를 모델링하기 위해 설계 단계에서 항해 모델을 사용한다. 하지만 페이지와 항해의 수가 증가함에 따라 모델의 구조는 복잡해지고 검증이 어려워진다. 본 연구에서는 항해 모델의 검증을 위해 항해 규칙을 정의하고 항해 규칙을 이용한 항해 모델 검증 방법을 제시한다. 또한 사례 연구를 통하여 항해 모델 검증의 예를 보인다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.04a
• /
• pp.489-492
• /
• 2002

자바카드 상에 탑재된 응용 애플릿의 풀질을 측정하는 것은 중요하다. 이는 애플릿 테스트 베드를 구축하기 위해 필수적인 과정으로, 본 연구에서는 자바 카프용으로 개발되는 응용 애플릿의 풀질을 분석하고 검증하는 방법이 필요하다. 애플릿과 호스트간의 커뮤니케이션 시에 발생되는 이벤트들을 케이스 별로 구분하여, 자바카드 런타임 환경(JCRE)을 통하여 작동되는 Command APDU 와 Response APDU들의 커뮤니케이션 테스트 케이스를 검증하는데 정형 검증 방법 이용이 가능하다.

• 한국IT서비스학회:학술대회논문집
• /
• 2008.11a
• /
• pp.453-456
• /
• 2008

소프트웨어와 음악파일, 영화 등의 불법복제로 인한 사회적인 문제가 대두되어 왔다. 온라인디지털콘텐츠의 산업규모와 중요성이 증대되고 있는 시점에서 동일하게 불법복제로 인한 피해규모와 이용자들의 불법복제 행동이 만연해 있다. 이 연구는 계획된 행동이론(TPB)를 통해 개인의 온라인디지털콘텐츠의 불법복제 행동에 대한 모형을 검증하고 불법복제에 영향을 미치는 요인을 검증하고 인과관계를 확인하고자 한다. TPB의 확대모형을 제안하고자 하는데 단속, 교육 및 홍보, 이전경험, 자기효능감이 불법복제 행동의도와 의도에 영향을 미치는 태도와 주관적 규범에 어떠한 영향을 미치는지 검증해보고 한다. 단속과 교육 및 홍보가 개인의 인식과정을 통해 태도와 내적인 자기 규범에 어떠한 영향을 미칠 것인지는 정책적 전략적 시사점을 얻는데 중요한 요인이 될 것이다. 파일럿 테스트 결과 기존 TPB 모형은 온라인디지털콘텐츠 영역에 있어서도 적합한 모델임이 검증되었고, 단속과 교육 및 홍보가 태도와 주관적 규범에 유의한 영향을 미침을 나타내었다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2002.11b
• /
• pp.991-994
• /
• 2002

공개키 기반 구조에서 가장 비용이 많이 드는 부분이 인증서가 유효한지 여부를 검증하는 것이다. 특히 고액의 주식 거래나 전자상거래에서 실시간 인증서 상태 검증은 반드시 필요하다. 그동안 연구되어 왔던 인증서 폐지 여부를 확인하는 방법으로 CRL, delta-CRL, OCSP, CRTs, CRSL 등의 방법들이 제안되었다. 하지만, 이들 방법들은 즉시성 과 네트워크 비용간의 trade-off가 발생하는 문제점이 있다. 본 논문에서는 이종의 시스템에서 인증서 사용 용도에 따라 실시간성이 요구되는 인증서는 OCSP를 통해서 그렇지 않은 인증서는 CRSL을 통해서 폐지 여부를 검증하여 각각에 맞는 서비스를 제공해 주는 방안을 제안한다.

• Journal of the Korean Society for information Management
• /
• v.9 no.1
• /
• pp.1-23
• /
• 1992

The purpose of this study is to answer a question as to "How much does CD-ROM improve thefunction of library\ulcorner" and, then, to build up an analytical framework to analyze the above question.The hypothesis is statistically tested with the responses of 282(70.5%) librarians in the libraries whichare currently using CD-ROM. The hypothesis is positively or vigorously supported by four steps.Therefore, the researcher suggests strongly at a plan to utilize CD-ROM be forwarded to improvelibrary functions. library functions.

• Proceedings of the Korean Society of Disaster Information Conference
• /
• 2017.11a
• /
• pp.282-285
• /
• 2017

본 논문에서는 무인비행기를 활용하여 재철소에서 사용하고 있는 대량의 원재료인 고철의 체적을 산정하고 수량을 파악하여 기존의 재고량산정 방법의 문제를 개선하고 보다 효율적이며 객관적인 고철량을 파악하는 방법을 찾는데 목적이 있다. 고철량 산정에 있어 무게를 산정하기 위해서는 체적을 산정하여 비중값을 적용하여 산정한다. 본 연구에서는 무인비행기(UAV)를 이용하여 체적을 산정하고 정확성 검증을 위해 정형의 컨테이너 박스와 크기가 작은 휴지통을 촬영 분석하여 비교 검증한 후 고철의 체적 측정 시험을 시행하였다. 무인비행기는 고정익 드론을 사용하였으며 격자비행방식을 적용하여 촬영하였으며, 촬영 전 지상기준점을 구하고자하는 물제의 주변에 배치하고 측량하여 적용하였다. 분석결과 체적산정을 위한 검증시험에서는 측량한 치수 및 체적 값과 무인비행기분석 값이 유사하게 나타났다. 또한 제철소에서 검증한 고철의 무게와 체적을 기준으로 무인비행기를 이용한 체적 값을 비교한 결과 기존 방식에 비해 객관적이고 효율적인 값을 얻을 수 있는 것으로 판단된다.

• Proceedings of the Korean Institute of Navigation and Port Research Conference
• /
• 2019.05a
• /
• pp.82-82
• /
• 2019

해상에서 긴급상황 발생 시 선박운항자는 짧은 시간에 신속 정확한 의사 결정을 할 필요가 있다. 이를 위해서 해양사고(충돌, 좌초, 화재, 엔진고장, 조타고장) 심각성에 따른 대피항로(해경선, 비상투묘, 표류, 임의좌주, 주변선박) 선정 알고리즘을 설계하였고, 선박운항자를 위한 긴급대피지원안내 시스템을 개발 중에 있다. 본 연구에서는 대피항로 선정 지원 기술 중 비상투묘와 충돌위험도를 중심으로 시스템 적용 모델의 타당성의 평가하고 알고리즘의 신뢰성을 검증하였다. 비상투묘 지원 기술의 검증을 위해 국내외 해양사고 보고서 및 재결서를 분석하고 알고리즘에 적용해 결과를 비교하였다. 충돌위험도를 검증하기 위해 재결서의 선박 충돌 사고 사례를 시뮬레이션으로 재현하였고, 시뮬레이션 기록 데이터를 기반으로 PARK model, IWRAP MK2 프로그램을 이용해 충돌위험도를 평가하였다. 본 연구의 결과를 통해 해양사고 발생 시 선박과 인명 피해를 최소화할 수 있을 것으로 예상된다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2021.07a
• /
• pp.51-52
• /
• 2021

본 논문에서는 얼굴 검증(Face Verification) 문제를 해결하기 위한 방법론으로 깊은 삼중 항 네트워크 모델을 제안한다. 본 논문에서는 얼굴 검증을 거리기반 유사도 문제로 보고, 딥러닝 기반 메트릭 러닝으로 해결하고자 하였다. 딥 메트릭 러닝 중 하나인 삼중 항 네트워크를 깊게 쌓기 위해 ResNet50, ResNet101과 경량화 모델인 MobileNet v3를 적용하였으며, 위 모델을 사용함으로써 이미지의 특징 추출을 효과적으로 할 수 있었다. 본 연구에서 제시한 방법론은 추후 복잡한 모델이 필요한 영상 데이터 내 얼굴 식별 모델에 기초 연구로서의 의의가 있다.