• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.229-231
• /
• 2001

공간 데이터베이스 시스템에서의 질의처리 과정 중 질의 재작성 과정에 의해 다중 블록 질의가 단일 블록으로 변환되면 공간 서술자와 비공간 서술자가 OR와 AND에 의해 연결되어있는 복잡한 CNF가 생성된다. CNF 내의 공간 서술자는 공간연산의 정제단계의 수행 비용이 비공간 연산에 비해 상당히 많이 들기 때문에 비공간 서술자와는 다른 최적화 기법이 필요하다. 본 논문에서는 공간 서술자가 포함된 복잡한 CNF를 수평적으로 분리하여 질의를 재작성하고 수행순서를 재조정하는 기법을 제안한다. 제안하는 기법은 원시 CNF를 수행 비용이 상대적으로 적은 전처리 단계의 CNF와 이에 비해 수행비용이 많이 드는 후처리 단계의 CNF로 분리하고 질의를 재작성 한 후 비용 모델에 의거해서 실행 트리를 최적화 한다. 본 논문에서 제시하는 기법은 질의 최적화 단계에서 공간연산의 단계별 실행특성을 감안한 효율적인 실행 계획 생성이 가능하다는 장점이 있다.

• Annual Conference on Human and Language Technology
• /
• 2012.10a
• /
• pp.121-122
• /
• 2012

컴퓨터를 사용한 서술형 답안의 자동채점은 채점의 편의성과 객관성을 제고하기 위하여 많은 연구자들이 연구해 왔으며 자동채점의 성능을 향상시키기 위해 여러 가지 방법들이 제안되었다. 본 논문은 서술어 정규화를 통하여 서술형 답안의 자동채점 정확도를 높이고자 하였다. 기존의 다른 채점 방법들과 비교했을때 서술어 정규화 기법을 적용한 채점 방식은 기존의 방법들보다 유사도 계산 정확도가 향상되어 정답 판별 정확도가 향상되는 것을 확인할 수 있었다. 서술어 정규화는 기존의 모든 서술형 답안 채점 방법에 추가적으로 적용할 수 있는 범용성을 가지고 있다. 따라서 서술어 정규화는 기존 방법들의 자동채점 정확도를 향상시켜 보다 정확하게 서술형 답안을 채점할 수 있다.

• Journal of Broadcast Engineering
• /
• v.5 no.1
• /
• pp.31-40
• /
• 2000

In this paper, we propose an edge histogram to efficiently represent the edge distribution in the image for MPEG-7. To this end, we adopt global, semi-global, and local edge histogram bins. Also, we extract the edge information from the image in terms of image blocks rather than pixels, which reduces the extraction complexity and is also applicable to the block-based compression standards such as MPEG-1, and 2. Experimental results show that the proposed method yields better retrieval accuracy and feature extraction speed comparing to other non-homogeneous texture descriptors of MPEG-7 including the wavelet-based descriptor and local edge-based descriptor.

• Broadcasting and Media Magazine
• /
• v.7 no.3
• /
• pp.24-34
• /
• 2002

본 논문에서는 현재 ITU-T와 ISO에 의해서 공동으로 표준화 작업이 진행되고 있는 H.264 ｜ MPEG-4 Part 10표준의 주요 테스트 모델 사항들에 대해서 특징을 서술하고 그 기능을 설명하고자 한다. 대표적인 테스트 모델 사항으로서는 RD 최적화 및 변환을 이용한 부호 모드 결정 기법, 오류 내성을 가지는 부호 모드 결정 기법 등을 들 수 있다. 현재 대역폭 제어 및 고속 움직임 추정에 관한 사항들이 테스트 모델의 발전을 위한 주요 과제로 연구가 진행되고 있다.

• Proceedings of the KIEE Conference
• /
• 2015.07a
• /
• pp.1138-1139
• /
• 2015

본 논문은 디젤엔진용 Heating Urea - SCR (Selective Catalytic Reduction) 시스템을 구성함에 있어 변화되는 Euro-6 규제에 근간하여 Electrically Heated Line에 대한 저항력, 전도성, 온도 특성 등 전기적 설계 기법에 관해 서술하였고 Heating Urea-SCR Line을 위한 열선 설계, 전기적 및 물리적 상수에 대해 서술하였다. 이러한 전기적 설계 기법이 향후 양산을 위한 가격, 성능, 신뢰성 부분 및 제품의 경쟁력 요소에 가장 핵심이 되는 부분이다. 본 논문에서는 이러한 설계 기법의 구현을 위해 설계 절차와 설계 결과 도출을 위한 프로그램을 구현하였다. 향후 시제품의 모의실험과 실제 제품 제작을 수행 예정이고 본 논문의 설계 결과와 실제품 결과의 지표를 비교하여 최적의 Heated Line을 개발 하고자 한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2022.05a
• /
• pp.568-571
• /
• 2022

본 논문에서는 서술형 수학 문제의 자동 풀이 기술 개발을 위한 데이터 증강 기법인 MOO 를 제안한다. 서술형 수학 문제는 일상에서의 상황을 수학적으로 기술한 자연어 문제로, 인공지능 모델로 이 문제를 풀이하는 기술은 활용 가능성이 높아 국내외에서 다양하게 연구되고 있으나 데이터의 부족으로 인해 성능 향상에서의 한계가 늘 존재해 왔다. 본 논문은 이를 해결하기 위해 시중의 수학 문제들을 수집하여 템플릿을 구축하고, 템플릿에 적합한 풀이계획을 생성할 수 있는 중간 언어인 MOOLang 을 통해 생성된 문제에 대응하는 Python 코드 형태의 풀이와 정답을 생성할 수 있는 데이터 증강 방법을 고안하였다. 이 기법을 통해 생성된 데이터로 기존의 최고 성능 모델인 KoEPT를 통해 학습을 시도해본 결과, 생성된 데이터셋을 통해 모델이 원활하게 데이터셋의 분포를 학습할 수 있다는 것을 확인하였다.

• The KIPS Transactions:PartD
• /
• v.8D no.1
• /
• pp.62-70
• /
• 2001

Correct descriptions for software component functions become a strong requirement in developing critical software especially on the area of real-time applications. In this paper, we introduce both formalization of software design using patterns and verification methods in order for the components to increase their understandability. In particular, the paper investigates into a means of formal description techniques based on VDM++ for the software components, and provides adequacy proof steps for a given functional descriptions.

• Proceedings of the Korean Society of Computer Information Conference
• /
• 2017.01a
• /
• pp.27-28
• /
• 2017

본 논문은 RSSI 값을 이용한 Zigbee Commissioning 기법에 대하여 서술한다. Zigbee는 대표적인 무선 통신 표준 기술로 다양한 분야에서 활용 하고 있으며, Zigbee를 이용한 Commissioning은 주로 Smart Led와 같은 분야에서 활용되고 있다. Zigbee Commissioning의 주된 과제는 기기와 네트워크를 구성하는 것에 있는데 RSSI신호에 민감하여 각 디바이스를 식별할 때에 문제점이 있다. 본 논문에서는 RSSI값을 제안하는 알고리즘을 이용하여 효율적으로 Zigbee Commissioning하는 기법을 서술한다.

• Journal of Broadcast Engineering
• /
• v.26 no.1
• /
• pp.79-87
• /
• 2021

In this paper, we analysis the semi-supervised learning (SSL), which is adopted in order to train a deep learning-based classification model using the small number of labeled data. The conventional SSL techniques can be categorized into consistency regularization, entropy-based, and pseudo labeling. First, we describe the algorithm of each SSL technique. In the experimental results, we evaluate the classification accuracy of each SSL technique varying the number of labeled data. Finally, based on the experimental results, we describe the limitations of SSL technique, and suggest the research direction to improve the classification performance of SSL.

• Annual Conference on Human and Language Technology
• /
• 1997.10a
• /
• pp.403-408
• /
• 1997

언어의 내적 특성을 반영하는 의미 문체의 검사 및 교정은 언어의 형태적인 면과 관련있는 단순한 철자 검사 및 교정에 비해 더 난해하고 복잡한 양상을 띤다. 본 논문이 제안하는 의미 정보를 이용한 명사 분류 방법은 의미와 문체 오류의 포착과 수정 기능을 향상시키기 위한 방법의 하나이다. 이 논문은 문맥상 용법이 어긋나는 서술어를 교정하기 위해 명사 의미 분류방법을 서술어/논항의 통사 의미적 관계 분석에 이용하여 의미 규칙을 세우는 과정을 서술한다. 여기서 논항인 명사의 의미 정보를 체계적으로 분류하기 위해 시소러스 기법과 의미망을 응용한다. 서술어와 논항 사이의 통사 의미적 관계에 따라 의미 문체 오류를 검사하고 교정함으로써 규칙들을 일반화하여 구축하게 하고 이미 존재하고 있는 규칙을 단순화함으로써 한국어 문법 검사기의 기능을 보완한다.