• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 1999.10a
• /
• pp.151-157
• /
• 1999

선석계획 및 크레인 일정계획은 컨테이너 터미널에서 입항하는 선박들의 빈번한 변동상황에 능동적으로 대처하고 유연하면서도 신속한 의사결정이 가능하도록 여러 명의 전문가가 장기적인 계획을 바탕으로 지속적으로 수정 보완해 나가는 방법으로 이루어지고 있다. 본 논문에서는 선사 및 컨테이너 터미널에서 수시로 변경되는 다양한 요구조건을 수용하는 최적의 선석 및 크레인 일정계획 수립을 위하여 제약만족기법과 휴리스틱 교정(Heuristic Repair)기법을 이용하였다. 선석계획 및 크레인 일정 계획문제는 기본적으로 제약조건 만족문제로 정형화할 수 있지만 선박의 접안위치를 결정하는 문제는 목적함수를 가지는 최적화문제이다. 따라서 이 문제는 제약조건 만족문제와 최적화문제가 혼합된 문제(CSOP, Constraint Satisfaction and Optimization Problem)로 볼 수 있다. 이러한 문제를 해결하기 위해서 각 선박의 최적 전압위치를 찾고 최우선 순위 선박의 최적 접안위치로부터 주어진 모든 제약조건을 만족하는 해를 찾는 탐색기법을 활용했고 휴리스틱 교정기법을 사용해서 제약만족기법에서 찾은 해를 교정했다. 우선순위가 가장 높은 선박부터 탐색을 하기 위해 Variable Ordering 기법을 사용했고 그 선박의 최적 접안위치부터 탐색을 해 나가는 Value Ordering 기법을 사용하였다. 실제 부산 신선대 컨테이너 터미널의 선석계획자료를 사용해서 실험을 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10b
• /
• pp.1-3
• /
• 2001

컨테이너 터미널에서의 선석 및 크레인 일정계획은 일정 기간 동안 입항 예정인 선박들을 대상으로 접안 위치와 접안 시기 및 기간을 결정하며, 또한 각 선박별로 컨테이너를 싣고 내릴 크레인을 배정하되 각 크레인의 서비스 시작과 완료시간가지 지정하는 전 과정을 포함한다. 이 문제는 여러 선박들 사이의 시간적 공간적 제약관계를 준수하고 크레인들을 충돌 없이 각 선박에 할당하여야 하는 제약조건 만족 문제인 동시에, 각 선박의 선호 위치와 희망 입출항 시간을 최대한 준수해야 하는 최적화 문제이기도 하다. 기존의 연구에서는 제약만족탐색기법을 사용하여 초기계획을 수립한 후 최적의 해를 유도해 내기 위해 휴리스틱 교정기법을 제약만족 탐색기법의 틀 내에서 반복적으로 적용하였다. 본 논문에서는 반복적 개선 탐색 도중에 도출되는 해의 정보를 이용하여 새로운 제약조건을 추가함으로써 다음 제약만족 탐색 시 보다 쉽게 더 충은 해를 찾을 수 있도록 하였으며 이 방법을 기존의 휴리스틱 교정기법과 결합하여 휴리스틱 교정기법의 성능을 향상시켰다.

• Proceedings of the Korean Society for Cognitive Science Conference
• /
• 2000.06a
• /
• pp.89-94
• /
• 2000

본 논문은 부산대 철자 검사/교정기의 기존 성능을 보완하고 기능을 추가하는데 중점을 두었다. 웹 문서, 신문 등을 통해서 사용자들이 자주 틀리는 오류 단어에 대해서 오류 유형을 분류했다. 이 결과를 철자 검사 및 교정 시스템에 적용하여 교정기법 개선을 통하여 띄어쓰기 교정 기능을 향상 시켰다. 이렇게 새로 구현한 시스템과 이전 시스템의 성능을 실험을 통해 비교 분석하였다. 본 연구를 진행하면서 발견한 문제점과 한계를 이후 더 발전 해야할 과제로 고찰하고 결론을 맺는다.

• Proceedings of the Korea Multimedia Society Conference
• /
• 2002.11b
• /
• pp.203-206
• /
• 2002

최근 웹을 기반으로 한 문서의 전자화가 이루어지면서 기존의 전통적인 펜기반 교정 시스템 또한 온라인 상의 전자 문서 환경에 맞게 변화하고 있다. 이러한 펜기반 입력 기법을 사용하는 교정 시스템에서는 일반 문서와 달리 웹 문서의 구조정보를 고려한 편집이 지원되어야 하며 또한 교정 부호와 텍스트 간의 정확한 영역 인식이 이루어져야 한다. 본 연구에서는 온라인 교정 시스템 모델링을 통하여 온라인 환경에 적합한 교정 부호를 정의하고, 교정 대상 텍스트 영역을 편집 가능한 단위로 구분하여 효율적인 편집 연산이 이루어 질 수 있도록 하였다. 또한 웹 기반의 구조문서(HTML/XML) 편집 환경을 고려하여 편집으로 인한 문서의 구조 정보 변경을 지원하기 위하여 텍스트를 비구조 및 구조정보 텍스트로 분류하여 정의하였다. 본 연구에서는 이러한 모델에 기반하여 교정 부호의 특성에 따른 가변적인 편집 텍스트 영역 인식 규칙 모델을 정의하여 교정 부호와 편집 텍스트 영역간의 모호성을 최소화 하고, 편집으로 인한 문서의 구조 정보 변경을 지원하는 시스템을 구현하였다. 결과적으로 온라인 웹 문서 환경에서 펜기반의 모호한 교정 부호의 입력을 인지적인 관점에서 해석하여 보다 정확한 교정 작업 수행을 지원하도록 하였다.

• The Journal of Korean Institute of Electromagnetic Engineering and Science
• /
• v.12 no.2
• /
• pp.234-244
• /
• 2001

다양한 지형정보를 제공하는 SAR 인터페로메트리 기법은 레이다의 위상정보를 이용하여 정밀 고도정보를 추출하는 첨단기술이다. SAR 데이터 주파수 aliasing 현상은 도플러 중심 주파수가 중심에 위치하지 않으므로 발생된느 것으로 주요 잡음요인으로 작용된다. 따라서 본 논문에서는 SAR 인터페로메드리 전체 프로세싱 과정의 주요 모듈중 하나인 주파수 aliasing 제거 모듈의 구현 방안을 연구하였다. 본 논문에서 사용된 aliasing 제거 기법은 랩어라운드교정기법으로서 실험결과 매우 효과적으로 작용하였음을 알 수 있었으며, 제안된 구현방안은 차후 실제 적용이 가능함을 제시하였다.

• Journal of IKEEE
• /
• v.20 no.4
• /
• pp.439-448
• /
• 2016

RTDs and thermocouple sensors are broadly used to measure its temperature in industry and research. The contents of this standard calibration procedure(SCP) describe procedures related to the calculation of Electrical Temperature Calibrator and show different ways to indicate the calibration results like the uncertainty in measurement. As of current, SCP of electrical temperature calibrator has not been established yet and we have some inconveniences and difficulties in the standard calibration work. To solve these problems, we have studied the calibration technique for RTD and thermocouple of temperature calibrator. In this paper, we present the mathematic model of its data and variations of measurement with the results of calibration data.

• The korean journal of orthodontics
• /
• v.32 no.6 s.95
• /
• pp.375-382
• /
• 2002

• Annual Conference on Human and Language Technology
• /
• 2000.10d
• /
• pp.89-94
• /
• 2000

본 논문은 부산대 철자 검사/교정기의 기존 성능을 보완하고 기능을 추가하는데 중점을 두었다. 웹 문서, 신문 등을 통해서 사용자들이 자주 틀리는 오류 단어에 대해서 오류 유형을 분류했다. 이 결과를 철자 검사 및 교정 시스템에 적용하여 교정기법 개선을 통하여 띄어쓰기 교정 기능을 향상 시켰다. 이렇게 새로 구현한 시스템과 이전 시스템의 성능을 실험을 통해 비교 분석하였다. 본 연구를 진행하면서 발견한 문제점과 한계를 이후 더 발전 해야할 과제로 고찰하고 결론을 맺는다.

• KIISE Transactions on Computing Practices
• /
• v.23 no.7
• /
• pp.446-451
• /
• 2017

The statistical context-sensitive spelling correction technique in this thesis is based upon Shannon's noisy channel model. The interpolation method is used for the improvement of the correction method proposed in the paper, and the general interpolation method is to fill the middle value of the probability by (N-1)-gram and (N-2)-gram. This method is based upon the same statistical corpus. In the proposed method, interpolation is performed using the frequency information between the statistical corpus and the correction document. The advantages of using frequency of correction documents are twofold. First, the probability of the coined word existing only in the correction document can be obtained. Second, even if there are two correction candidates with ambiguous probability values, the ambiguity is solved by correcting them by referring to the correction document. The method proposed in this thesis showed better precision and recall than the existing correction model.

• 대한치과교정학회:학술대회논문집
• /
• 2003.10a
• /
• pp.39.2-40
• /
• 2003