• Journal of KIISE:Databases
• /
• v.27 no.4
• /
• pp.572-584
• /
• 2000

내용기반 이미지 검색을 하기 위해서는 이미지에 대한 내용정보가 필요하며, 이러한 내용정보간에는 상호 연관성이 존재한다. XML(eXtensible Markup Language)은 내용정보간의 상호연관성을 표현하기에 적절하므로 본 논문에서는 이미지 내용정보를 구조화하기 위한 방법으로 XML을 사용하였다. 또한 이미지는 눈에 보이는 객체의 시각적인 특징과 이미지 전테가 내포하는 시술적인 의미도 가지므로, 이러한 이미지의 특성에 따라 내용정보의 구조도 객체의 시각적 특징 중심의 모델링과 의미 중심의 모델링으로 구분하여 XML 문서 구조를 모델링 하였다. 구조화된 모델들 간의 객체지향 특성을 이용하여 XML 데이터 서버인 eXcelon에 통합하고, 이를 XQL(XML Query Language)에 의하여 질의해 냄으로써 검색 구간에 제약을 가하고 이를 통하여 더욱 효과적인 검색을 지원하도록 한다. 검색되어진 XML 문서 구조는 XSL(extensible StyleSheets Language)의 적용을 통하여 쉬운 형태로 웹 브라우저 상에 출력하도록 한다. 마지막으로 본 논문에서 제안한 모댈링의 효율성을 검증하기 위하여, 웹 상에서 이미지 내용정보의 상호 연관성에 기반 하여 원하는 이미지를 검색할 수 있는 시스템을 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2007.06c
• /
• pp.194-198
• /
• 2007

현재 서비스되고 있는 홈네트워크는 가전기기들에 대한 홈오토메이션 서비스로서 웹이나 TV 등을 통한 메뉴선택 방식으로 제어되고 있다. 본 논문에서는 홈네트워크에 SMS를 통한 대화형 인터페이스를 도입함으로서 시간과 장소의 제약이 없는, 가전기기 제어를 가능하게 하였다. 대화형 인터페이스의 구현을 위해 홈네트워크 영역의 요구분석을 통하여 23개의 화행과 22개의 의미성분으로 이루어진 의미구조를 수립하였으며, WOZ(Wizard-of-OZ)방식으로 9만 6천 대화쌍을 수집하였다. 대화 처리를 위하여 예제기반 대화추론 및 응답생성 방법을 사용하였으며, SMS 영역에서의 성능향상을 위하여 전처리를 도입하였다. 구현된 서비스에 대한 성능평가 실험을 통해 사용자 만족도를 조사하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2008.06b
• /
• pp.562-567
• /
• 2008

XML은 W3C 표준으로 채택된 이후로 많은 어플리케이션에서 데이터를 표현하는 방법으로 사용되고 있다. XML문서는 특정 어플리케이션에 종속적이기 때문에 XSLT를 이용하여 변환한 뒤 사용하게 된다. 그러나 변환에는 많은 노력, 시간과 비용이 소요되기 때문에 이를 자동으로 변환하는 시스템을 구축하는 것이 최선의 방법이다. 이를 위해서 XTGen이나 XSLT 스크립트 시스템이 기존에 제안되었지만 사용자가 엘리먼트간의 관계를 수동으로 처리하는 방식이거나 변환 문서간 단말 노드의 1:1 매칭이라는 제약과 대규모 변환에 어려움이 있다. 본 논문은 JAWS를 이용한 엘리먼트간의 의미 관계 분석과 DTD의 구조를 분석하여 XSLT를 생성함으로써 기존 시스템들의 단점을 보완하고 더 높은 정확성을 보장한다는 장점을 가지고 있다. 본 논문에서 제안하는 시스템은 XML 문서를 변환하기 위한 XSLT를 자동으로 생성하여 XML 문서를 변환하는 모든 과정을 자동화 함으로써 문서 변환에 따르는 비용의 절감할 수 있을 것으로 기대된다.

• Korean Journal of Cognitive Science
• /
• v.1 no.2
• /
• pp.279-291
• /
• 1989

Major difficulties in the style selection,which guarantees the synthesis of good-styled natural expressions under the PIOVT MT system, are an absence of surface-level extra-information in the languageinde-pendent intermediate representation and the language-specific style of expressions due to cultural differences.This paper describes an attempt on the style selection with capabilities of guaranteeing more natural Korean expressions,which includes pragmatic and stylistic decision on target voice genertaion under heavy passive constraints,stylistic changes of sentence-structures,and meaning-supplementation of function words with content words.

• Journal of KIISE:Software and Applications
• /
• v.26 no.9
• /
• pp.1132-1140
• /
• 1999

한국어에서 보조사로 인해 발생하는 격 모호성(case ambiguity) 문제를 해결하는 알고리즘을 개발하였다. 이 알고리즘은 용언의 하위범주화 사전, 용언과 그 용언의 보어가 되는 체언간의 선택 제약, 체언의 의미 정보를 제공하는 시소러스 등의 구문.의미 지식과 더불어 몇 가지의 휴리스틱 규칙을 이용하며, 필수 보어의 생략이 흔한 한국어의 특성에 잘 대응한다. 중규모의 하위범주화 사전 및 시소러스를 이용한 실험에서 만족할 만한 성능을 보였다.Abstract An algorithm is proposed for the resolution of case ambiguity caused by the use of auxiliary postpositions in Korean language. The algorithm utilizes verb dictionary which provides subcategorization information and selectional restrictions, and the thesaurus as well as a set of simple heuristic rules. The algorithm is appropriate for Korean language where required complements are often omitted. The algorithm performed successfully in an experiment using medium-sized subcategorization dictionary and thesaurus.

• Annual Conference of KIPS
• /
• 2002.11c
• /
• pp.1973-1976
• /
• 2002

본 논문에서는 유 무선 네트워크 환경에서의 자료 일치성 유지를 위한 동기화 프로토콜(SyncML1.1)을 검증한다. 프로토콜 검증에 관한 기존 연구에서는 약한 일관성을 갖는 동기화 프로토콜은 다루어지지 않았으며 정리 증명 혹은 모델 채킹에 대한 선택적 접근으로인해 증명 영역이 제한적이었다. 본 연구에서는 프로토콜의 의미를 정의하고 행위 및 시스템 구조, 메시지 패싱에 대한 개별적 모델을 단계적으로 설계하는 한편, 동기화 프로토콜에서의 안전성 및 상호 배제, 궁극성 속성은 시퀀트 계산법에서의 역방향 전략으로 증명되며, 모델 채킹 기술을 하나의 증명 규칙으로 사용했다. 본 연구는 두가지 부분에서 특징과 의미을 갖는다. 첫째, 정리증명과 모델 채킹이 혼합된 검증 방법을 사용했다. 둘째, 객체 제약 언어 및 정형 명세 언어의 사용을 통해 모델의 생성을 보다 단계적이고 정형적으로 유도했으며 이를 통해 검증의 신뢰성 및 품질을 높였다.

• Bulletin of Food Technology
• /
• v.23 no.2
• /
• pp.214-219
• /
• 2010

Saccharomyces cerevisiae는 전통적으로 알코올 음료와 bioethanol 생산에 이용되지만, 발효가 진행되는 동안 효모의 에탄올 생성은 에탄올의 축적에 의한 충격으로 세포활성에 손상을 초래한다. 본 연구는 S. cerevisiae의 에탄올 스트레스 반응과 에탄올 내성의 분자적 기초에 관해 수행되었으며, 에탄올 스트레스가 진행되는 동안 효모의 에탄올 생성 향상을 위한 유전 공학 전략의 수립에 활용될 수 있다. 이전의 연구들은 유전자 발현에 대한 에탄올 스트레스의 충격이 환경적 영향을 받기 때문에 다양한 균주와 조건들에 관해 이루어졌다. 그러나 에탄올 공격에 의해 영향을 받은 gene ontology 범주에서의 일부 공통점은 S. cerevisiae의 에탄올 스트레스 반응이 해당과정 및 미토콘드리아 기능과 관련된 유전자 발현의 증가와 에너지가 요구되는 성장과정과 관련된 유전자의 발현 감소에 따라 에너지 생산에 제약 받음을 의미한다. Genomewide screens를 이용한 연구는 vacuole function의 유지가 에탄올 내성에 대해 중요함을 암시한다. 아마도 단백질 turnover와 이온 항상성 유지에 이 세포기관의 역할이 중요하기 때문인 것으로 사료된다. 특히 에탄올 스트레스가 일어날 때 핵 내 Asr1과 Rat8의 축적은 비록 이 가설이 논란이 많은 주제로 남아있지만 S. cerevisiae가 에탄올 스트레스에 대한 특별한 반응을 가지고 있음을 의미한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10b
• /
• pp.152-157
• /
• 2006

상황 정보 관리 시스템은 외부에서 입력된 상황 정보의 숨겨진 의미를 파악하여 상황인지 에이전트 및 상황인지 브로커가 효과적으로 상황정보를 획득하도록 한다. 본 논문에서는 외부 환경으로부터 받은 상황정보의 숨겨진 의미를 파악하기 위해 DL 추론과 시간적 추론을 적용한 상황 정보 관리 시스템을 제안한다. 이를 위해서 3가지 부분에 초점을 두었다. 첫 번째, 외부에서 입력된 상황 정보를 효율적으로 표현하고 여러 에이전트간의 상황 정보 공유가 가능하도록 온톨로지 모델을 적용한다. 온톨로지로 표현된 상황정보는 정보의 속성을 제약함으로써 숨겨진 상황 정보를 추론할 수 있도록 해준다. 두 번째로 상황 정보의 관계를 추론할 수 있도록 서술 논리(Description Logic)를 적용한다. 마지막으로 상황 정보의 시간적 관계를 추론할 수 있도록 시간 논리(Temporal Logic)을 적용한다. 따라서 본 논문에서의 최종 목표는 상황 정보 관리 시스템 연구를 통해 상황인지 에이전트 및 상황인지 브로커에 활용이 가능한 온톨로지 기반 추론 기능을 보유하는 지능형 모듈의 기본 프레임워크를 구축하는 것이다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2012.06b
• /
• pp.354-356
• /
• 2012

'변증'은 전통 한의학에서 사용되어 온 독특한 진단 단위로써, 향후 정보적 관점에서 중요성이 점점 높아지고 있다. 이에 우리는 변증을 기반으로 서양 의학 관련 문헌 정보들로부터 텍스트마이닝을 통해 추출된 유전자들과 중풍을 일으키는 병인으로 알려진 유전자들과의 관련성을 파악하고자 시도하였다. 실험결과를 통해 뇌혈관질환 질병에 관하여 한의학에서의 변증 결과가 서양의학 기술의 결과와 유사한 생물학적 의미를 전달해내고 있음을 확인할 수 있었다. 우리의 연구는 몇 가지 제약에도 불구하고, 향후 한의학의 객관성을 회복함으로써 가치를 높이고, 서양의학 기술과의 접목을 이루기 위한 중요한 시발 연구가 될 것으로 기대된다.

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

시맨틱 웹서비스와 관련하여 서비스 검색 및 조합에 관하여 많은 연구들이 이루어지고 있으나 인터넷의 특성을 고려할 때 서비스 실행에 관한 연구는 웹서비스의 안정적인 제공이라는 측면에서 고려되어야 한다. 이를 위해서는 실행과정에 의미적 접근이 시도되어야 하는데, BDI 구조 기술이 적절한 대안 기술이 될 수 있다. BDI 구조를 이용한 웹서비스 실행기는 특성상 실시간으로 데이터 타입과 의미의 일관성을 추론해 내고, 해당 서비스의 실행을 위한 조건과 영향을 고려하여, 제약조건의 변화 시에도 능동적으로 대처할 수 있는 장점을 갖게 된다. 우리는 웹서비스 실행기로서 SWEEP 시스템을 개발하고 이를 진료예약 서비스에 적용함으로써 그 효용성을 밝히고자 하였다.