• 한국어정보학회:학술대회논문집
• /
• 2016.10a
• /
• pp.165-170
• /
• 2016

본 논문에서 제안하는 문맥의존 철자오류 교정은 통계 정보를 이용한 방법으로 통계적 언어처리에서 가장 널리 쓰이는 샤논(Shannon)이 발표한 노이지 채널 모형(noisy channel model)을 기반으로 한다. 선행연구에서 부족하였던 부분의 성능 향상을 위해 교정대상단어의 오류생성 및 통계 데이터의 저장 방식을 개선하여 Default 연산을 적용한 모델을 제안한다. 선행 연구의 모델은 교정대상단어의 오류생성 시 편집거리의 제약을 1로 하여 교정 실험을 하지만 제안한 모델은 같은 환경에서 더욱 높은 검출과 정확도를 보였으며, 오류단어의 편집거리(edit distance) 제약을 넓게 적용하더라도 신뢰도가 있는 검출과 교정을 보였다.

• Proceedings of the Korea Institutes of Information Security and Cryptology Conference
• /
• 2006.06a
• /
• pp.361-364
• /
• 2006

Elliptic Curve Cryptosystem (ECC)은 작은 키 크기로 인하여 스마트카드, 센서 모트와 같은 메모리, 컴퓨팅 능력이 제약된 디바이스에서 사용하기에 적합하다. 본 논문에서는 이러한 디바이스에서 타원 곡선 서명 알고리즘 (ECDSA) 검증(Verification)의 주된 계산인 멀티 스칼라 곱셈을(multi-scalar multiplication) 효율적으로 구현하기 위한 알고리즘을 제안한다. 제안 알고리즘은 어떠한 메모리 크기에서도 적용 가능할 뿐만 아니라 해당 메모리 크기에서 최적의 효율성을 제공한다. 또한 스칼라 리코딩 (Scalar receding) 과정이 table lookup을 사용하지 않고 on-the-fly 하게 진행되기 때문에 기존의 다른 알고리즘에 비하여 더욱 메모리를 절약할 수 있다. 실험을 통하여 제안 알고리즘의 성능을 메모리 사용량, 효율성 측면에서 분석한다.

• Journal of Intelligence and Information Systems
• /
• v.5 no.1
• /
• pp.81-93
• /
• 1999

열차운용이라 함은 열차의 출발과 도착 시간을 나타내는 열차번호들에 여러 객차들로 구성된 하나의 열차를 일컫는 열차 다이아(train DIAgram)들을 여러 제약조건을 고려하여 배정함으로서 열차 번호가 열차 다이아에 의해 운행될 수 있도록 열차운용 다이아를 작성하는 작업이다. 이러한 작업을 다수의 스케줄링 전문가들이 스케줄링 할 경우 많은 시간과 노력을 감수해야만 하며, 전문가의 실수로 인해 오류가 발생할 가능성이 있다. 뿐만 아니라, 복잡한 스케줄의 특성상 운용 비용이 적게 드는 스케줄 결과를 이끌어 내기가 어렵다. 본 연구에서는 열차운용 시스템을 구성하기 위해서 현재 철도청에서 사용하는 시스템을 분석하여, 열차운용 스케줄링 시스템을 모델링 하였고, 이에 모델링한 시스템을 바탕으로 CSP(Constraint Satisfaction Problems: 제약조건 만족 문제) 해결 기법을 적용하여 계산시간 및 계산 복잡성 면에서 효율적인 스케줄링을 행함과 동시에 비용 최적 함수를 적용함으로서 열차 운용 비용이 최소가 되는 열차운용 스케줄링 시스템을 구현하였다. 더불어, 시스템모델 검증과정의 하나로 과거 운용되었던 새마을호 열차시간표와 열차 데이터를 사용하여 열차 운용 및 운용 비용의 최적화를 실험하였다.

• Journal of KIISE:Databases
• /
• v.27 no.4
• /
• pp.604-612
• /
• 2000

시간 제약을 가지는 워트플로우에서 만약 워크플로우 인스턴스가 마감 시간 안에 종료되지 못하면, 워크플로우 관리 시스템은 보상 처리와 같은 예외적인 조치들을 취할 것이다. 이러 한 상황은 시스템에게 과부하를 주기 때문에 워크플로우 처리의 성능을 저하시킨다. 이에 본 논문에서는 고성능 워크플로우 인스턴스들의 수를 증가시킬 수 있는 새로운 기법을 제안 한다. 그리고 임계경로에 속하는 각 임계 액티비티의 처리 용량을 향상시키기 위해 최소 중 복 서버의 개수를 결정하는 방법을 제안한다. 마지막으로, 실험들을 통하여 본 논문에서 제 안된 기법의 유용함을 보인다.

• Journal of Internet Computing and Services
• /
• v.6 no.5
• /
• pp.177-185
• /
• 2005

Caching in mobile computing environments Is an important technique that will reduce the effects such as limitation of bandwidth, restriction of resources and frequent disconnection. To reduce limitation and disconnection problems in mobile computing, a new form of caching system have been proposed based on a broadcast approach. This paper proposes a broadcast based cache protocol and examines the behaviors of the proposed scheme and well known schemes such as multiversion based scheme and Certification Reports. By a detailed simulation, we show some characteristics of different approaches to detect and resolve conflicts. We also show proposed scheme out performs other schemes with a low space and operation overhead.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2013.06a
• /
• pp.244-247
• /
• 2013

본 논문에서는 영상 통화나 웹캠 혹은 화상 회의 상황의 비디오 영상에서 안정적으로 사람 영역과 배경을 분리하는 방법을 제안한다. 이 방법은 카메라가 고정이라는 등의 제약을 두지 않고 자유롭게 움직이는 비디오 영상에서 사용자의 입력도 필요 없이 자동으로 사람 영역을 분리해 내게 된다. 첫 프레임에서 얼굴 검출을 통해 사람의 대략적인 위치를 추측하여 배경과 사람 영역을 Gaussian Mixture Model 로 모델링하고, 매 프레임 이 모델을 효율적으로 갱신한다. 그리고 비디오 영상의 연속성을 에너지 함수 설계에 적용하여 프레임간 사람 영역의 변화가 크지 않고 안정적으로 나오게 된다. 제안하는 방법은 기존 방법들에 비하여 제약이 적고, 사용자 입력이 필요 없으며 안정적으로 사람 영역을 분리함을 실험을 통하여 확인하였다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2015.07a
• /
• pp.497-498
• /
• 2015

영상을 취득한 후 다양한 응용프로그램으로 확장이 가능한 4 차원 light field 영상은 일반적인 2 차원 공간 (spatial) 영역과 추가적인 2 차원 각 (angular) 영역으로 구성된다. 그러나 이러한 4 차원 light field 영상을 2 차원 CMOS 센서로 취득하므로 이에 따른 해상도 제약이 존재한다. 본 논문에서는 이러한 4 차원 light field 영상이 가지는 해상도 제약 조건을 해결하기 위하여, 4 차원 light field 영상에 적합한 학습 기반 (learning-based) 초해상도 (superresolution) 알고리즘을 제안한다. 제안하는 알고리즘은 공간영역 해상도 그리고 각영역의 해상도를 각각 2 배 향상시킨다. 실험에 사용되는 영상은 상용 light field 카메라인 Lytro 에서 취득하며, 기존의 선형 보간 기법인 bicubic 기법과의 비교를 통해 제안하는 기법의 우수성을 검증한다.

• 한국HCI학회:학술대회논문집
• /
• 2007.02a
• /
• pp.76-82
• /
• 2007

햅틱 협업을 위한 네트워크는 기본적으로 지연, 지터, 손실의 제약을 가진다. 햅틱은 정보의 속도에 민감하므로 네트워크 환경에서 협업을 이루어내기에 많은 제약이 있다. 특히 협업의 품질을 감소시키는 네트워크 지연을 보상하기 위한 연구가 필요하다. 본 논문에서는 물체의 좌표 전송을 기반으로 한 햅틱 협업이 높은 수준의 지연시간을 지닌 네트워크에서 발생할 수 있는 문제를 정의하고 그 원인을 파악하여 안정적인 협업을 유지하기 위하여 네트워크 지연 문제를 보상할 수 있는 기법을 제시한다. 네트워크 지연에 의해서 물체를 밀 때 더 많은 힘을 사용되는 현상과 클라이언트들이 물체를 들어올릴 때 물체가 진동하는 현상이 발생된다. 이 문제를 해결하기 위해 물체의 강도를 변경하는 방법을 제안한다. 지연 시간의 수준이 증가하여도 지연 문제가 발생하지 않게 함과 동시에 최대한 원래 물체 강도를 유지하기 위해서 클라이언트가 물체에 발생시키고자 하는 힘과 서버에서 물체에 발생시키는 힘을 같도록 만드는 수식을 유도한다. 이 수식을 이용하여 지연의 크기에 관계없이 클라이언트가 물체의 위치를 제어할 수 있다. 지연 보상 기법을 통해 햅틱 미디어의 품질을 유지하면서 지연에 의한 문제를 해결하는 방안을 제시하며, 실제 실험을 통하여 결과를 확인한다.

• Proceedings of the Korean Operations and Management Science Society Conference
• /
• 2000.04a
• /
• pp.9-12
• /
• 2000

컨테이너 터미널에서 효율적인 적하작업 계획을 자동으로 생성하는 알고리즘을 연구하였다. 실제 터미널에서 계획자들이 적하작업 계획시에 고려하는 제약소건 및 효율적인 계획을 위한 고려사항을 조사하였다. 이를 바탕으로 1단계에서는 개미시스템(ant system)이라는 인공지능기법을 적용하여 제약조건을 만족시키면서 원활한 적하작업이 진행될 수 있도록 컨테이너 크레인과 트랜스퍼 크레인의 이동순서와 위치를 결정하고, 2단계에서는 1단계에서의 결과를 바탕으로 빔탐색법(beam search)을 사용하여 컨테이너 개개의 작업순서를 결정하는 알고리즘을 개발하였다. 또한 개발된 시스템의 성능을 검증하기 위하여 최근의 대형선반에 대한 실제 현장자료를 바탕으로 실험을 수행하였다.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2011.01a
• /
• pp.289-292
• /
• 2011

본 논문에서는 유전 알고리즘을 이용한 강의시간표 작성 시스템 설계 방법을 제안한다. 강의시간표는 교과목의 강의시간, 강의실, 교수자 등의 정보를 시간표 테이블에 할당하는 문제이면서 스케줄링 문제이다. 강의시간표로써의 의미를 가지기 위해서는 강의실 중복 회피, 교수의 강의시간 중복회피와 같은 필수 제약조건(Hard Constraint)을 만족해야 한다. 또한, 강의시간표 문제는 NP-Complete 문제로 알려져 있으며 기존의 Exact 알고리즘으로는 최적 해를 구하는 것이 힘들다. 따라서 본 논문에서는 휴리스틱 알고리즘 중의 하나인 유전 알고리즘을 교과목의 강의시간 배정 부분과 강의실 배정 부분을 각각 별도의 부시스템 (Sub-system)으로 나누어 적용하는 방법을 제안한다. 실험 결과 강의시간표로써의 의미를 가질 수 있는 필수 제약 조건을 만족시킬 수 있음을 알 수 있었다.