• Journal of KIISE:Software and Applications
• /
• v.34 no.7
• /
• pp.616-624
• /
• 2007

Sudoku can be regarded as a SAT problem. Various encodings are known for encoding Sudoku as a Conjunctive Normal Form (CNF) formula, which is the standard input for most SAT solvers. Using these encodings for large Sudoku, however, generates too many clauses, which impede the performance of state-of-the-art SAT solvers. This paper presents an optimized CNF encodings of Sudoku to deal with large instances of the puzzle. We use fixed cells in Sudoku to remove redundant clauses during the encoding phase. This results in reducing the number of clauses and a significant speedup in the SAT solving time.

• Annual Conference on Human and Language Technology
• /
• 1999.10d
• /
• pp.23-39
• /
• 1999

이 논문에서는 MATEC99에서의 형태소 분석기 및 품사 태거의 평가를 위한 Test Suites, 즉, 평가용 시험문제와 문제에 대한 정답을 정하기 위하여 마련한 여러가지 표준안의 도출과정상에서 발견된 문제점의 유형을 기술하고자 한다. 그리고, 각각의 문제점 유형별로 현실적 제약으로 인한 어려움을 살펴보고, 한편으로는 일부 문제에 대해서는 시간적 제약 때문에 현재의 표준안에는 반영되지 않았지만 향후 점진적인 개선을 위한 방안을 제안하고자 한다. 대부분의 문제에 완전한 해결책이 발견되지 않고 있어 관련 전문가들의 조언을 이끌어 내기 위하여 문제를 공론화하고자함에도 목적이 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04a
• /
• pp.364-366
• /
• 2002

인터넷/웹 비즈니스의 확산과 더불어, 기업간(B2B) 거래 처리에도 혁명적인 변화가 일어나고 있다. 그러나, 이러한 변화의 이면에는 해결해야 할 많은 기술적인 제약이 내포되어 있다. 무엇보다도, 전자적인 기업간 거래처리를 위해서는 컴퓨터 시스템간에 구조화된 정보를 교환할 수 있도록 공통의 언어가 제공되어야 한다. 이런 공동의 민어에 대한 문제를 해결하기 위해서 UN/CEFACT와 OASIS에서는 XML(extensible Markup Language)을 기반으로 한 ebXML(electronic business XML)을 차세대 e-비즈니스의 표준으로 제정하고 공동 개발하기로 함에 따라 전서계 단일 전자상거래시장 구축이 XML기반으로 이루어 질 수 있게 되었다. 이에 본 논문에서는 ebXML 도큐먼트 편집을 위해 XML을 기반으로 한 e-business 문서 생성을 위한 XML 편집기, XML DTD 생성기, XML Schema를 작성하기 위한 Schema 편집기 등의 통합 ebXML문서 편집 시스템을 설계 및 구현 하였다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2004.11a
• /
• pp.561-564
• /
• 2004

음악 상품의 검색, 주문(계약), 대금결제, 배송 등에 있어서 기업들은 자신의 독자적인 비즈니스 방식과 거래 시스템을 구축하여 운영하기 때문에 기업과 기업간(B2B) 음악 상품의 전자 상거래에는 많은 어려움이 따른다. e비즈니스 표준 프레임워크인 ebXML은 기업의 전자 상거래를 위한 비즈니스 정보를 교환할 때 확장성 표기 언어를 적용해 기업간 시스템간의 상호 운용을 가능하게 하지만, 음반 산업분야의 적용은 미흡한 실정이다. 본 논문에서는 음악 B2B를 위해 ebXML 등록기 및 저장소를 설계 및 구현하였다. 본 논문에서 설계, 구현한 등록기는 거래 당사자인 기업간에 음악 상품 및 기업의 거래 관련 정보를 공유하는 서비스를 제공하며, 저장소는 실세계의 기업간 음악 거래 정보 및 음악 거래에 사용되는 개체간의 연관성 정보를 저장하고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.10c
• /
• pp.502-504
• /
• 2001

기존의 망관리 시스템들은 ASN.1 으로 기술된 MIB를 이용하고 있다. 그러나 ASN.1 은 데이터 조작 언어로서의 기능이 없다는 단점이 있다. XML 이 인터넷을 통한 데이터 처리의 표준으로 떠오르고, 여러 응용프로그램에서 데이터 교환에 이용되고 있어 망관리에서도 XML 을 이용할 필요성이 대두되고 있다. 이에 본 논문에서는 ASN.1 으로 기술되어 있는 SNMP MIB 를 XML 로 변환하는 변환기를 구현하여 이 변환된 XML 을 이용하여 실제 웹 기반 RMON 에이전트 시스템을 설계 구현해 봄으로써 그 타당성을 검토해 보았다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.11a
• /
• pp.614-621
• /
• 2007

전통적 계획방식은 결정적 효과를 간진 동작들로 이루어진 도메인을 다룬다. 따라서 전통적 계획기는 동작이 환경을 어떻게 변화시킬지 명확하게 예측할 수 있다. 그러나, 많은 실제 응용들에서는 불완전한 정보와 비-결정적 효과를 처리할 수 있는 계획방식을 요구한다. 확률적 계획방식은 확률적 효과를 가진 동작들을 포함함으로써 이러한 요구를 만족한다. 확률적 계획기는 일반적으로 목표상태에 도달하기 위한 하나의 행동정책을 찾아내며, 이는 (상태, 동작)쌍들의 집합으로 표현된다. 그러나 확률적 효과를 포함시킴으로써 계획기들의 복잡도가 이전보다 증가되었다. 본 논문에서는 효율적인 확률적 계획기의 설계와 구현에 대해 설명한다. 이 계획기는 표준 PPDDL 언어로 표현된 도메인 묘사를 입력으로 받아들이며, 실시간 동적 프로그래밍 알고리즘을 채용하고, 간략화한 문제로부터 추출된 휴리스틱 지식을 이용한다. 생성된 상태들과 행동정책을 효율적으로 저장하기 위해, 이 확률적 계획기는 해쉬테이블을 이용한다.

• The KIPS Transactions:PartD
• /
• v.12D no.6 s.102
• /
• pp.849-856
• /
• 2005

As XML is more proliferate as a data type between internet programs, automatic generation methods of user input form interfaces get more attention. Recently, generating user interfaces for web application or web service clients become very popular. In this paper, we study the method of automatic generation for XForms-based user interface codes based on XML structure definitions in DTD. With the repetitive edit action model, we present a formal generation method of Input form codes and the overall user interface pages. For the generated code is using XForms as a target language, the result is clear and efficient with the MVC structure. Also, we have developed XFormsGen system which implements the proposed method over the Orbeon presentation server.

• Annual Conference on Human and Language Technology
• /
• 1999.10d
• /
• pp.13-22
• /
• 1999

한국어 정보처리에서 기본 모듈로 많이 사용되는 형태소분석기, 태거 및 명사추출기에 대한 객관적인 평가를 위해서는 실제 사용되는 언어에 대한 평가기준과 방대한 양의 평가자료 구축이 필수적이다. 전자통신연구원(ETRI)에서는 표준적인 평가기준과 평가자료(말뭉치)를 구축하여 "제 1회 형태소분석기 및 품사 태거 평가대회" 을 개최하였으며, 이 대회는 학습기간을 포함하여 1999년 6월 7일부터 10월 1일까지 진행되었다. 평가에는 총 15개팀이 참가하였고, 명사추출, 태거, 형태소분석기의 각 분야에 대해 약 25만 4천어절의 학습 말뭉치를 제공한 후, 시험말뭉치 약3만 3천어절에 대해 평가가 이루어졌다. 이 글에서는 이 대회의 취지, 진행과정, 평가 방식, 평가결과 등에 대해 소개한다.

• Proceedings of the Korea Inteligent Information System Society Conference
• /
• 2007.11a
• /
• pp.451-456
• /
• 2007

유비쿼터스 컴퓨팅 환경을 구축하기 위해서는 사용자 및 주변 상황에 관한 인지기술이 필수적이다. 이에 따라 이기종 분산형 시스템에서 언어와 기종에 영향을 받지 않고 사용자 Context를 인지하고 표현하는 문제는 해결해야할 중요한 과제로 대두되었다. 이에 따라, 본 논문에서는 이 과제를 해결하기 위하여 시맨틱 웹 기술 및 퍼지 개념을 이용하여 사용자 Context를 기술하는 것을 제안한다. 온톨로지는 컴퓨터가 정보자원의 의미를 파악하고 자동적으로 처리할 수 있도록 고안된 지식표현 언어이므로 이기종 시스템 하에서의 사용자 Context를 표현하는데 적합하다. 한편, 사용자가 접할 실세계의 환경은 일반집합(Crisp Set)으로 표현하기 힘들기 때문에 본 논문에서는 퍼지개념과 표준 웹 온톨로지 언어 OWL이 융합된 Fuzzy OWL언어를 사용했다. 본 논문에서 제안하는 방법은 Context를 Fuzzy OWL로 표현하기 위하여 먼저 사용자가 접한 환경정보들을 수치로 표현한다. 그리고 이를 OWL로 기술하며 OWL로 표현된 사용자 Context를 Fuzzy OWL로 변환한다. 마지막으로 퍼지 개념이 포함된 사용자 Context를 이용하여 자동적인 상황인지가 가능한지 여부를 퍼지 추론 엔진인 FiRE를 사용하여 실험한다. 본 논문에서 제시한 방법을 사용하면 이기종 분산시스템에서도 사용할 수 있는 형태로 Context를 기술할 수 있다. 그리고 기술된 Context를 기반으로 현재 사용자가 접한 환경의 상태를 추론할 수 있다. 또한 퍼지 기술 로직 언어(Fuzzy Description Logic)기반 추론기인 FiRE를 이용하여 이를 검증한다.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2010.11a
• /
• pp.1104-1107
• /
• 2010

홍채 인식 시스템의 응용 프레임워크는 홍채 인식기 모듈을 컴퓨터에 연결할 때 사용되는 USB 호스트 콘트롤러 드라이버와 응용 프로그램 사이에서 둘을 제어하는 스탠다드 라이브러리를 제공한다. 본 논문에서는 스탠다드 라이브러리 설계와 구현을 설명하고 있다. 스탠다드 라이브러리는 표준 호출규약을 지키므로 응용 프로그램은 다양한 언어로 작성할 수 있다. 또한, 기존의 폴링 방식으로 구현된 스탠다드 라이브러리를 콜백을 이용하여 구현함으로써 네트워크를 통해 많은 사람들이 동시에 홍채 인식기를 사용할 때 리소스 사용을 경감할 수 있는 장점이 있다.