• 한국콘텐츠학회논문지
• /
• 제11권12호
• /
• pp.597-610
• /
• 2011

데이터베이스 응용 프로그램 개발에서 데이터는 메모리 공간과 디스크 공간에 공존한다. 메모리 공간의 데이터를 조작하기 위하여 일반 프로그래밍 언어를 사용하고 디스크 공간의 데이터 조작을 위하여 SQL을 사용한다. 특히 메모리 데이터를 조작하기 위해 사용되는 절차적 언어는 SQL등의 선언적 언어보다 작성 및 유지보수가 어렵다. 이에 본 논문은 특수한 형태 즉, 트리 구조의 메모리 데이터는 선언적 언어인 SQL로 조작이 가능함을 보인다. 특히 UI (user interface)의 모델 데이터는 트리 구조로 표현 될 수 있기 때문에 예외적인 계산을 제외하고는 대부분의 메모리 데이터 조작은 SQL로 가능하다. 예외적인 계산은 도움 클래스 (helper class)로 처리하면 된다. 본 논문이 제시하는 SQL 메모리 데이터 조작은 예외적인 계산이 적은 데이터베이스 응용 프로그램 개발에 특히 적합하다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1995년도 제7회 한글 및 한국어 정보처리 학술대회
• /
• pp.258-263
• /
• 1995

마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2001년도 봄 학술발표논문집 Vol.28 No.1 (A)
• /
• pp.394-396
• /
• 2001

인터넷 상에서의 다양한 멀티미디어 응용 및 정보 서비스의 요구가 급증하게 되고, 이에 따른 효율적인 운영 및 서비스에 대한 표준 기술의 개발 또한 활발히 진행되게 되었다. 이에 1998년 W3C(World Wide Web Consortium)에서 웹 기반 동기화 된 멀티미디어 통합 언어인 SMIL이 제안되었다. 선언적 마크업 언어인 XML(eXtended Markup Language)에 기반을 둔 SMIL은 웹 상에서의 멀티미디어 프리젠테이션을 위한 다양한 기능들을 제공하지만, SMIL 또한 HTML(HyperText Language)과 같은 태그 기반 마크업 언어이므로 각 태그의 사용법을 숙지하여 텍스트 편집기를 이용한 비효율적인 저작에 치중되어 있었다. 이에 SMIL 응용업무에서의 효율적 활용을 위한 SMIL 전용 저작도구의 필요성이 대두되었고, 국내외에서의 활발한 연구 개발이 진행되고 있다. 본 논문에서는 UML(Unified Modeling Language) 표기법에 기반 한 객체지향 모델링 툴을 사용하여 체계적인 소프트웨어 설계에 따른 SMIL 저작도구를 구현하였다. 템플릿 기능의 지원으로 효율적이고 편리한 SMIL 컨텐츠 생성을 위하여 인턴넷 망(network)의 대역폭에 따른 저작이 가능하도록 구현되었으며, 미리 보기 기능을 활용한 멀티미디어 데이터의 직관적이 운영을 지원하도록 구현하였다.

• 한국정보과학회논문지:시스템및이론
• /
• 제35권3호
• /
• pp.141-149
• /
• 2008

대부분의 함수형 프로그래밍 언어에서는 '위에서 아래쪽, 왼쪽에서 오른쪽 방향으로' 패턴 매칭(pattern matching)을 한다는 전략에 따라, 모호한(ambiguous) 특성을 갖는 룰의 정의를 허용하고 있다. 이 방법은 함수형 프로그래머에게 디폴트 룰을 정의할 수 있게 하는 직관적인 편리함을 제공하지만, 한편으로 모호한 룰 때문에 함수형 언어의 의미는 불명확해 질 수 있다. 좀 더 구체적으로, 함수형 언어가 갖는 대표적인 특성인 등식 추론(equational reasoning) 원리의 적용을 불가능하게 할 수 있으며, 함수형 언어를 람다 계산법으로 변환하는 데 있어서도 정형적인 방법이 아닌 임시방편적인(ad hoc) 방법에 의존할 수밖에 없게 한다. 본 연구에서는 지연(lazy) 함수형 언어의 패턴 매칭의 의미를 순수 선언적 특성을 갖는 항 개서 시스템(Term Rewriting Systems)의 분리성(separability) 이론과 연관시키고, 분리성 이론에 따라 지연 함수형 언어가 람다 계산법으로 변환될 수 있음을 보인다.

• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2000년도 추계학술발표논문집
• /
• pp.16-18
• /
• 2000

인터넷의 비약적인 발달로 인해 복잡해진 지식체계에 따른 다양해진 정보를 손쉽게 구할수 있게 되었으나, HTML(Hyper Text Markup Language)과 같은 정적인 텍스트 위주의 고정된 내용의 웹 페이지 저작으로는 멀티미디어에 대한 점차 증대되는 사용자의 요구를 수용할 수 없게 되었다. 시간에 기반을 둔 멀티미디어 객체를 동기화 하는 효과적인 프레젠테이션을 기술할 수 있는 SMIL(Synchronized Multimedia Integration Language)이 W3C(World Wide Web Consortium)에 의해 제안되었다. 이러한 SWIL은 선언적 마크업(Markup) 언어이므로 텍스트 편집기 등으로 쉽게 저작할 수 있으나, 태그(Tag)기반 언어이므로 태그를 암기하고 사용법을 숙지하여야만 효과적인 멀티미디어 프레젠테이션 제작이 가능하다. 이러한 문제점을 해결하기 위해 본 논문에서는 Java를 기반으로 하여 사용자 편의적인 GUI(Graphical User Interface)에 입각한 멀티미디어 데이터의 통합 및 동기화를 위한 SMIL 전용 저작도구의 구현 및 향후 개발 방향을 제시하였다.

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (1)
• /
• pp.338-340
• /
• 2000

인터넷의 비약적인 발달로 인해 복잡해진 지식체계에 따른 다양해진 정보를 손쉽게 구할수 있게 되었으나, HTML(Hyper Text Markup Language)과 같은 정적인 텍스트 위주의 고정된 내용의 웹 페이지 저작으로는 멀티미디어에 대한 점차 증대되는 사용자의 요구를 수용할 수 없게 되었다. 시간에 기반을 둔 멀티미디어 객체를 동기화 하는 효과적이 프레젠테이션을 기술할 수 있는 SMIL(Synchronized Multimedia Integration Language)이 W3C (World Wide Web Consortium)에 의해 제안되었다. 이러한 SMIL은 선언적 마크업(Markup) 언어이므로 텍스트 편집기 등으로 쉽게 저작할 수 있으나, 태그(Tag)기반 언어이므로 태그를 암기하고 사용법을 숙지하여야만 효과적인 멀티미디어 프레젠테이션 제작이 가능하다. 이러한 문제점을 해결하기 위해 본 논문에서는 Java를 기반으로 하여 사용자 편의적인 GUI(Graphical User Interface)에 입각한 멀티미디어 데이터의 통합 및 동기화를 위한 SMIL 전용 저작도구의 구현 및 향후 개발 방향을 제시하였다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1992년도 제4회 한글 및 한국어정보처리 학술대회
• /
• pp.95-104
• /
• 1992

본 논문은 구문해석, 의미해석 등의 전처리 단계로서의 형태소 분석기 구현에 대해 기술하고자 한다. 먼저 기존의 접속정보의 단점을 보완하는 새로운 접속정보를 정의한다. 이 접속정보는 계층적구조를 가지고 심볼로써 표현되며, 기존의 좌우 두 가지 접속정보를 사용한 방법과는 달리 좌우를 하나로 통합한 정보를 사용한다. 따라서 접속정보 유지와 확장에 편의를 제공해 주고 접속정보 부여시 정확성을 더할 수 있고, 계층적구조를 살려서 접속정보표의 구성을 용이하게 한다. 또한 불규칙활용에 있어서는 사전정보에 의한 선언적 방법과 프러시져에 의한 절차적 방법의 장점을 살려 혼용하였다. 끝으로 앞에서 정의된 새로운 접속정보 방식의 장점을 살려서 정확한 분석 결과를 얻을 수 있는 형태소 분석기의 구현에 대해 설명한다.

• 한국컴퓨터정보학회:학술대회논문집
• /
• 한국컴퓨터정보학회 2015년도 제51차 동계학술대회논문집 23권1호
• /
• pp.1-3
• /
• 2015

본 논문에서는 하둡 환경상에서 개발 중인 공간 빅데이터 저장 관리 시스템의 구조를 설명한다. 본 시스템은 공간 센서 및 IoT의 등장으로 대용량화된 공간 데이터로 인한 기존 공간 정보 처리 시스템의 성능적 한계를 극복하기 위한 목적으로 개발 중이다. 본 시스템은 효과적인 대용량 데이터 처리를 위해 현재 활발히 연구되고 있는 빅데이터 처리 기술과 공간 정보 처리 기술을 접목하여, 대용량의 공간 정보를 수집, 저장 관리하는 기능을 제공한다. 또한 효과적인 공간 데이터의 접근을 위해 스크립트 언어 기반의 공간 정보 처리 언어를 제공하고, SQL 형식의 선언적 공간 정보 질의 처리 기능도 제공하기 위해 개발 중에 있다.

• 한국정보과학회 언어공학연구회:학술대회논문집(한글 및 한국어 정보처리)
• /
• 한국정보과학회언어공학연구회 1994년도 제6회 한글 및 한국어정보처리 학술대회
• /
• pp.322-325
• /
• 1994

한국어 음성인식 결과의 형태소 분석은 한국어 문서의 분석보다 더 많은 문제점을 가지고 있다. 음성 인식의 낮은 인식률, 여러 개의 후보를 제시하는 경우의 지수적 가능성, 말하는 단위와 띄어쓰기 단위의 불일치, 형태소 안에서 그리고 형태소와 형태소 사이에서 일어나는 음운 변동등이 음성 인식 결과를 분석할 때 추가되는 문제점이다. 본 논문에서는 한 음소에 대해 여러 개의 후보를 제시하는 음성 인식 결과에 대하여, TRIE 인덱싱, 어절 간의 접속을 위한 확장된 접속 검사, 음운 변동을 고려한 사전구성, 음운 접속 정보를 사용하는 형태소 분석 방법을 제안한다.

• 한국정보처리학회:학술대회논문집
• /
• 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
• /
• pp.473-476
• /
• 2002

웹 기반 소프트웨어 시스템은 다른 일반 소프트웨어와는 여러 가지 다른 특성을 가지고 있다. 컴포넌트가 다양하며 절차적인 요소 보다는 선언적인 마크업 언어라는 특성, 그리고 변경이 많다는 특성으로 테스트가 쉽지 않다. 이 논문에서는 웹 기반 소프트웨어의 사용자 인터페이스를 자동화할 수 있는 방안을 연구하였다. 마크업 언어로 표현된 웹 페이지에서 사용자 인터액션이 일어날 수 있는 요소들을 파악하여 이를 구동시킬 수 있는 테스트 스크립트를 작성할 수 방안을 제안하였다. 웹기반 프로그램은 동적인 요소가 많아지면서 사용자 인터페이스가 중요하며 이 연구에서 제안된 자동화 방법이 웹 사이트 테스트의 부담을 덜 수 있을 것으로 판단된다.