• Proceedings of the Korea Multimedia Society Conference
• /
• 1998.04a
• /
• pp.339-343
• /
• 1998

본 연구에서는 Web 환경에서 분산객체 기술인 CORBA(Common Object Request Broker Architecture)를 이용하여 Java Applet으로 구현되는 의료영상회의 시스템의 Web Client를 설계 구현하였다. 플랫폼(platform)에 독립적이고, 다양한 개발 언어를 지원하는 CORBA를 기반으로 한 이 의료영상회의 시스템은 시스템의 개발, 확장성 및 유지 보수 측면에서 아주 뛰어나다. 또한 객체 지향언어이면서 다양한 플랫폼에 구애를 받지 않는(Architecture Neutral) Java 언어를 이용하여 Web 환경에서 쉽게 실행 가능한 Applet으로 의료영상회의를 할 수 있는 Web Client를 설계 구현하였으므로 Web 브라우저를 이용할 수 있는 환경이라면 손쉽게 이용할 수 있는 장점을 가진다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.16-18
• /
• 2002

컴포넌트 시스템은 잘 정의된 아키덱처를 기반으로 개발되어야 한다. 소프트웨어 아키텍처를 정확하고 엄밀하게 설계, 분석하기 위해서는 아키텍처 기술언어(ADL)의 사용이 필요하다. 컴포넌트 시스템의 아키텍처 모델링에 ADL을 효과적으로 사용하기 위해서는ADL로 기술된 명세 수준의 아키텍처 모델로부터 목표한 플랫폼에 부합하는 컴포넌트 시스템을 효율적으로 구현할 수 있어야 한다. 본 논문에서는 C2 스타일의 아키텍처에 기반한 컴포넌트 합성을 지원하는 ADL을 설계, 구현한 결과와 이를 EJB 컴포넌트들의 조립을 지원하는도구의 아키텍처 기술 언어로 사용한 사례를 설명한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.76-78
• /
• 2002

내장형 시스템의 개발에 있어서 자원의 효율적인 활용과 정확한 설계를 위해 SystemC를 이용한 통합설계 방식이 많이 사용되고 있다. 하지만 시스템이 점점 복잡해 지면서 단순한 언어차원에서의 개발 뿐 아니라 개발 이전에 시스템의 정확성을 검증해야 할 필요성이 대두되었다. 이를 위해 정형기법 및 테스팅과 같은 방법을 사용하게 되었다. 본 논문에서는 SystemC로부터 정형기법 도구인 VIS의 입력 언어인 BLIF-MV로 자동 변환하는 알고리즘을 제시하고, SystemC 코드로부터의 자동 검증 방법을 제안하고자 한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.10d
• /
• pp.172-174
• /
• 2002

음성정보 기술의 발달은 음성 마크업 언어인 VoiceXML1.0의 등장으로 인하여 기존의 음성 정보 기술은 보다 많은 발전 기회를 가지게 되었다. 그러나 현재 음성정보 서비스를 위한 기술은 많이 발전된 반면 이를 위한 마크업 언어인 음성 마크업 언어의 활용에 대한 연구는 부족한 실정이다. 이에 본 논문에서는 음성연구의 한 분야의 VoiceXML의 필요성과 기반 기술에 대하여 알아보고. 이를 활용하여 음성 정보 서비스를 위해 설계 요구사항을 정립하여, 저작도구의 구성요소를 기능별로 설계하였고 프로토타입으로 검증하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2006.10c
• /
• pp.348-353
• /
• 2006

데이터의 흐름과 그 데이터의 처리가 중요한 시스템이 있다. 이러한 시스템을 구현하는 데이터 흐름 언어들은 데이터 흐름도로 모델링하는 것이 가장 이해하기 쉽고 정보의 손실이 적은 방법이다. 이러한 시스템은 분산 환경의 중요성이 높아짐에 따라 다른 이종적인 시스템과 같이 개발 될 가능성이 높아지고 있다. 따라서 이종적인 시스템에 대한 일관성 있고 통합적인 설계와 문서화가 필요하게 되었다. UML로 객체 지향 언어로 구현되는 시스템의 모델링과 문서화에 있어서는 사실상의 표준이지만 데이터 흐름의 구성 요소들이 객체 지향적이지 않기 때문에 UML로 데이터 흐름을 나타내는 것은 어렵다. 따라서 우리는 이러한 문제를 해결하기 위한 UML 확장 메커니즘을 제안한다. 데이터 흐름 언어가 객체와 클래스로 사상될 수 있는 특성들을 가지고 있다면 그 특성들을 UML 다이어그램으로 확장할 수 있다. 그러기위해 새로운 스테레오타입들을 정의하여 기존의 UML 다이어그램 구성물과의 차이를 둔다. 이러한 과정을 통해 UML 사용자들은 데이터 흐름 언어의 구성 요소들을 캡슐화 할 수 있다. 데이터 흐름 언어로 구현되는 일반적인 시스템에 적용하기 위해 우리는 UML 메타모델 개요를 제안하는 것으로 스테레오타입들을 정의한다. 그리고 이렇게 확장된 UML 메커니즘을 가지고 데이터 흐름 언어로 구현된 두 개의 시스템을 설계하고 설계에 따라 구현 하였다.

• Annual Conference on Human and Language Technology
• /
• 2009.10a
• /
• pp.116-120
• /
• 2009

최근 IPTV 상용화와 디지털 방송 본격화는 사용자에게 다양한 방송 프로그램을 제공한다는 장점도 있지만, 동시에 수많은 프로그램을 탐색하여 선별해야 하는 부담을 주고 있다. 이러한 불편함을 해소하고자 최근에는 사용자 선호도와 방송 프로그램 정보를 이용하여 사용자 취향에 맞는 프로그램을 자동으로 추천하는 서비스의 요구가 증대되고 있다. 또한 궁극적으로 방송 서비스가 '개인화'와 '개방화'의 형태로 진행되고 있다는 점을 감안하면, 추천 서비스는 TV 프로그램 뿐만 아니라 광고도 포함해야 하며, 다중 언어를 지원하는 형태로 발전되어야 한다. 본 논문에서는 다중 언어를 지원하는 개인화된 TV 프로그램 및 광고 추천 서비스를 위한 하나의 시스템을 제안한다. 우리는 먼저 사용자 시나리오를 작성하고, 기능 요구사항들을 분석하여 시스템 구조를 설계한다. 그리고 다중 언어를 지원하는 시스템에서의 한글 처리 방법도 간단히 설명한다. 본 연구는 현재 유럽 공동기술 개발 사업 과제의 일환으로 진행되고 있어, 여기에서는 현 시점의 결과물인 시나리오, 시스템 구조 설계, 한글 처리까지 소개하고 있다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2002.04b
• /
• pp.334-336
• /
• 2002

자바 프로그래밍 언어는 웹 브라우저에서 실행되는 작은 크기의 응용 프로그램 수행에서는 실행 속도문제가 중요한 요소가 아니지만 대형 프로그램의 수행에서는 실행 속도가 현저히 저하되는 단점을 지니고있다. 이러한 문제점을 개선하기 위해 전통적인 컴파일 방법을 사용하여 바이트코드를 특정 프로세서에 적합한 목적기계 코드로 변환하는 다양만 연구가 진행중이다. ; 연구에서도 자바 응용 프로그램의 실행 속도의 개선을 위해 바이트코드로부터 직접 i386 코드를 생성하는 네이티브 코드 생성 시스템을 위한 중간 언어 변환기를 설계하고 구현한다. 중간 언어 변환기는 자바 언어의 중간 언어인 *.class 파일을 입력으로 받아 레지스터 기반의 중간 언어로 변환한다. 변환한다.

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

현재 컴퓨터 응용프로그램을 개발하기 위해 많은 프로그래밍 언어가 존재한다. 사용자는 사용 목적에 따라 그에 맞는 새로운 프로그래밍 언어를 학습하고 사용한다. 그러나 프로그래밍 언어를 학습하고 사용하기 위해서는 많은 시간과 노력이 필요하기 때문에 사용자의 언어 학습의 비용과 시간을 줄이기 위해 두 언어간에 변환을 가능하게 해주는 방법이 필요하다. 본 논문에서는 기존의 어휘 분석, 구문 분석 등의 여러 단계를 거치는 방법과는 다른 토큰 매핑 테이블과 XML로 기술한 변환 규칙을 통한 새로운 언어 변환을 위한 설계 방법을 제시함으로써 재사용성과 생산성을 높일 수 있는 것으로 기대된다.

• Journal of the Korea Computer Industry Society
• /
• v.2 no.10
• /
• pp.1261-1268
• /
• 2001

Despite of various useful features, functional languages do not provide an efficient way of representing states. To improve expressiveness of functional language, it is required a method representing explicit state without violating of functional semantic properties. In this paper, imperative functional language, $\lambda$st-calculus is designed to represent states without compromising the properties of pure functional languages. And we construct an algorithm to reduce proposed imperative functional language. $\lambda$st-calculus model which is an extension of the $\lambda$-calculus model with explicit state constructor without violating their semantic properties. it improves expressiveness of syntax through a concept of state composition and simplified reduction rules.

• Proceedings of the Korea Information Processing Society Conference
• /
• 2005.05a
• /
• pp.549-552
• /
• 2005

기존의 ANSI C 프로그램은 각각의 플랫폼에 따른 컴파일러를 통해서 목적기계의 코드로 변환되고, 실행되어 플랫폼에 의존적인 단점이 있다. 이러한 단점을 보완하는 방법으로는 스택기반의 가상기계와 가상기계의 입력형태인 중간코드를 이용하는 기법이 있다. EVM(Embedded Virtual Machine)은 ANSI C 언어와 SUN사의 Java 언어 등을 모두 수용할 수 있는 임베디드 시스템을 위한 가상기계이며, SIL(Standard Intermediate Language)은 EVM에서 실행되는 중간언어로 다양한 프로그래밍 언어를 수용하기 위해서 객체지향 언어와 순차적인 언어를 모두 수용하기 위한 연산 코드 집합을 갖고 있다. 본 논문에서는 SIL 코드가 올바른 수행을 하는 것인지를 검증하고 원시코드의 분석을 용이하게 하기 위해서 생성된 SIL 코드를 어셈블리 형태와 유사한 재 표현된 ANSI C 언어로 바꾸는 역컴파일러 시스템을 설계하고 구현하였다.