• Title/Summary/Keyword: 선언적 언어

Search Result 41, Processing Time 0.03 seconds

Manipulation of Memory Data Using SQL (SQL을 이용한 메모리 데이터 조작)

  • Ra, Young-Gook;Woo, Won-Seok
    • The Journal of the Korea Contents Association
    • /
    • v.11 no.12
    • /
    • pp.597-610
    • /
    • 2011
  • In database application developments, data coexists in memory and disk spaces. To manipulate the memory data, the general programing languages are used and to manipulate the disk data, SQL is used. In particular, the procedural languages for the memory manipulation are difficult to create and manage than declarative languages such as SQL. Thus, this paper shows that a particular structure of memory data, tree structured, can be manipulated by SQL. Most of all, the model data of the user interfaces can be represented by a tree structure and thus, it can be processed by SQL except non set computations. The non set computations could be done by helper classes. The SQL memory data manipulation is more suited to the database application developments which have few complex computations.

Equivalence of Mind and Information Processing Formal System: $G{\ddot{o}}del's$ Disjunctive Conclusion and Incompleteness Theorems (마음과 정보처리형식체계의 논리적 동치성: 괴델의 선언결론과 불완전성 정리를 중심으로)

  • Hyun, Woo-Sik
    • Annual Conference on Human and Language Technology
    • /
    • 1995.10a
    • /
    • pp.258-263
    • /
    • 1995
  • 마음과 기계의 관계에 대한 $G{\ddot{o}}del's$의 선언결론(disjunctive conclusion)은 마음과 정보처리형식체계의 논리적 동치성을 함의하고 있다. 그리고 $G{\ddot{o}}del's$의 불완전성 정리(Incompleteness Theorems)에 따르면 마음과 정보처리형식체계의 논리적 동치성은 무모순이며, 동치성 반증의 이론은 그 모델을 가질 수 없다.

  • PDF

Implementation of a SMIL(Synchronized Multimedia Integration Language) editor supporting Template and Preview Facility (탬플릿과 미리보기 기능을 지원하는 SMIL 저작도구의 구현)

  • 송준홍;김세영;원덕재;신동규;신동일
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.04a
    • /
    • 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)의 대역폭에 따른 저작이 가능하도록 구현되었으며, 미리 보기 기능을 활용한 멀티미디어 데이터의 직관적이 운영을 지원하도록 구현하였다.

Term Rewriting Semantics of Lazy Functional Programming Languages (지연 함수형 프로그래밍 언어의 항 개서 의미)

  • Byun, Sug-Woo
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.35 no.3
    • /
    • pp.141-149
    • /
    • 2008
  • Most functional programming languages allows programmers to write ambiguous rules, under the strategy that pattern-matching will be performed in a direction of 'from top to bottom' way. While providing programmers with convenience and intuitive understanding of defining default rules, such ambiguous rules may make the semantics of functional languages unclear. More specifically, it may fail to apply the equational reasoning, one of most significant advantage of functional programming, and may cause to obscure finding a formal way of translating functional languages into the ${\lambda}$-calculus; as a result, we only get an ad hoc translation. In this paper, we associate with separability of term rewriting systems, holding purely-declarative property, pattern-matching semantics of lazy functional languages. Separability can serve a formalism for translating lazy functional languages into the ${\lambda}$-calculus.

Implementation of SMIL Authoring Tool for Synchronized Multimedia Data Integration (멀티미디어 데이터의 통합 및 동기화를 위한 SMIL(Synchronized Multimedia Integration Language) 전용 저작도구의 구현)

  • 김세영;신화종;김상국;신동일;신동규
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2000.11a
    • /
    • 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 전용 저작도구의 구현 및 향후 개발 방향을 제시하였다.

  • PDF

Implementation of SMIL Authoring Tool for Synchronized Multimedia Data Integration (멀티미디어 데이터의 통합 및 동기화를 위한 SMIL(Synchronized Multimedia Intregration Language) 전용 저작도구의 구현)

  • 김세영;신화종;김상국;신동일;신동규
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2000.10a
    • /
    • 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 전용 저작도구의 구현 및 향후 개발 방향을 제시하였다.

  • PDF

The Implementation of Korean Morphological Analyzer Using Hierarchical Symbolic Connectivity Information (계층적 기호 접속정도를 이용한 한국어 형태소 분석기의 구현)

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

  • PDF

An Architecture for a Spatial Big-Data Management System on Hadoop (하둡기반 공간 빅데이터 저장 관리 시스템 구조)

  • Lee, Kang-Woo;Cho, Eun-Sun
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2015.01a
    • /
    • pp.1-3
    • /
    • 2015
  • 본 논문에서는 하둡 환경상에서 개발 중인 공간 빅데이터 저장 관리 시스템의 구조를 설명한다. 본 시스템은 공간 센서 및 IoT의 등장으로 대용량화된 공간 데이터로 인한 기존 공간 정보 처리 시스템의 성능적 한계를 극복하기 위한 목적으로 개발 중이다. 본 시스템은 효과적인 대용량 데이터 처리를 위해 현재 활발히 연구되고 있는 빅데이터 처리 기술과 공간 정보 처리 기술을 접목하여, 대용량의 공간 정보를 수집, 저장 관리하는 기능을 제공한다. 또한 효과적인 공간 데이터의 접근을 위해 스크립트 언어 기반의 공간 정보 처리 언어를 제공하고, SQL 형식의 선언적 공간 정보 질의 처리 기능도 제공하기 위해 개발 중에 있다.

  • PDF

Declaritive Morphological Analysis of Spoken Korean Recognition Results (한국어 음성인식 결과의 선언적 형태소 분석)

  • Lee, Won-Il;Lee, Geun-Bae;Lee, Jong-Hyeok
    • Annual Conference on Human and Language Technology
    • /
    • 1994.11a
    • /
    • pp.322-325
    • /
    • 1994
  • 한국어 음성인식 결과의 형태소 분석은 한국어 문서의 분석보다 더 많은 문제점을 가지고 있다. 음성 인식의 낮은 인식률, 여러 개의 후보를 제시하는 경우의 지수적 가능성, 말하는 단위와 띄어쓰기 단위의 불일치, 형태소 안에서 그리고 형태소와 형태소 사이에서 일어나는 음운 변동등이 음성 인식 결과를 분석할 때 추가되는 문제점이다. 본 논문에서는 한 음소에 대해 여러 개의 후보를 제시하는 음성 인식 결과에 대하여, TRIE 인덱싱, 어절 간의 접속을 위한 확장된 접속 검사, 음운 변동을 고려한 사전구성, 음운 접속 정보를 사용하는 형태소 분석 방법을 제안한다.

  • PDF

A Method of Testscript Generation for Web Test Automation (웹 테스팅 자동화를 위한 테스트 스크립트 생성 방법)

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

  • PDF