• Proceedings of the Korea Information Processing Society Conference
• /
• 2006.05a
• /
• pp.1405-1408
• /
• 2006

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

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.391-393
• /
• 2001

본 논문에서는 디지털 멀티미디어 컨텐츠의 효과적인 제작을 위해 멀티미디어 컨텐츠가 다양한 형태의 타입으로 표현될 수 있도록 하는 MPEG-4 컨텐츠 타입 변환기의 설계 및 구현을 제시한다. MPEG-4 컨텐츠 타입 변환기는 멀티미디어 저작 도구인 멀티미디어 Authoring Tool을 위한 핵심 보조 기술이다. MPEG-4 컨텐츠 타입 변환기는 효과적 타입 변환을 위해 MPEG-4, TRIF 및 SMIL을 포함하는 중간포맷을 정의하여 이용한다. 즉, MPEG-4, TRIF 및 SMIL로 정의된 각각의 트리 형태의 데이터와 중간자적인 트리 형태의 중간 포맷 간에 양방향 변환을 가능하게 하여 손쉽게 다양한 타입으로의 변환을 가능하게 한다. 그리고, 각 트리 형태의 멀티미디어 데이터는 그에 해당되는 스트림의 형태로 트레이스 되어 출력되며, 실행 가능한 데이터를 생성하기 위해 Encode와 Mux 또는 파싱을 실행한다.

• Proceedings of the Korean Society of Broadcast Engineers Conference
• /
• 2001.11b
• /
• pp.91-94
• /
• 2001

MPEG-4 시스템은 장면 자체를 하나의 구성 요소로 여기는 기존의 시스템과는 달리, 그 장면을 구성하는 부호화 또는 복호화된 A/V 객체(Audio/visual Objects)들을 하나의 단위로 인식하여, 다양한 멀티미디어 컨텐츠의 장면을 구성(Scene Composition)하고 표현 하는 것에 그 특징이 있다. 이러한 MPEG-4 시스템의 객체 기반 특징은 다양한 사용자와의 대화성(Interactivity)을 가능하게 하며 , 또한 편리한 컨텐츠 편집 및 재사용 등이 가능하기에 차세대 디지털 방송 컨텐츠 제작에 중요하게 활용될 전망이다. 객체 기반 A/V 편집 도구는 MPEG-4를 기반으로 차세대 디지털 방송 컨텐츠 제작을 용이하게 하기 위한 제작/편집 도구로써 , 장면을 표현하기 위하여 BIFS(Binary Format for Scene description)와 XMT(eXtensible MPEG-4 Textual format) 포맷을 모두 사용하고 있다. BIFS 포맷은 저작된 결과물을 바이너리 형태로 표현하기 때문에, 저작된 결과물을 전송하는 데에는 용이하나, 중간에 저작된 결과물을 확인하기 어렵고, 또한 기존의 다른 어플리케이션과의 상호 작용(Interoperability)과 교환(Exchange)에도 어려움이 따른다. 이에 반해, XMT는 차세대 마크업 언어로 각광 받고 있는 XML 에 그 기반을 두고 있기에 저작된 결과물을 제작자가 쉽게 저작물을 이해할 수 있으며, SMIL 과 X3D 같은 다른 어플리케이션과의 상호작용과 교환 또한 용이하게 한다 XMT는 기술 방법에 따라 XMT-A 와 XMT-0 두 가지 형태가 있으며, XMT-A 포맷은 VRML에서 발전한 X3D(extensible 3D)를 바탕으로 MPEG-4 시스템의 특징들을 수용하여 구성되고 BIFS와 일대일로 대응된다. 반면에 XMT-0는 멀티미디어 문서를 웹문서로 표현하는 SMIL 2.0 을 그 기반으로 하였기에 MPEG-4 시스템의 특징보다는 컨텐츠를 저작하는 제작자의 초점에 맞추어 개발된 형태이다. XMT를 이용하여 컨텐츠를 저작하기 위해서는 사용자 인터페이스를 통해 입력되는 저작 정보들을 손쉽게 저장하고 조작할 수 있으며, 또한 XMT 파일 형태로 출력하기 위한 API 가 필요하다. 이에, 본 논문에서는 XMT 형태의 중간 자료형으로의 저장 및 조작을 위하여 XML 에서 표준 인터페이스로 사용하고 있는 DOM(Document Object Model)을 기반으로 하여 XMT 문법에 적합하게 API를 정의하였으며, 또한, XMT 파일을 생성하기 위한 API를 구현하였다. 본 논문에서 제공된 API는 객체기반 제작/편집 도구에 응용되어 다양한 멀티미디어 컨텐츠 제작에 사용되었다.

• The KIPS Transactions:PartD
• /
• v.14D no.2
• /
• pp.217-224
• /
• 2007

In order to determine the value and type statically. CTOC uses the SSA Form which separates the variable according to assignment. The SSA Form is widely being used as the intermediate expression of the compiler for data flow analysis as well as code optimization. However, the conventional SSA Form is more associated with variables rather than expressions. Accordingly, the redundant expressions are eliminated to optimize expressions of the SSA From. This paper defines the partial redundant expression to obtain a more optimized code and also implements the technique for eliminating such expressions.

• Proceedings of the Korea Water Resources Association Conference
• /
• 2023.05a
• /
• pp.235-235
• /
• 2023

하천 내에서 하상변동은 치수나 생태계에 직간접적인 영향을 끼치는 것으로 알려져 있다. 하상변동의 예측을 위한 여러 가지 모델들이 존재하지만 하상변동의 양상을 직관적으로 파악하기에는 어려움이 있다. 최근 수행된 연구결과에 따르면 하천의 수리 기하학적 형상이 부유사 농도와 유량과의 관계와 관련이 있는 것으로 밝혀졌다(Kim et al., 2018). 본 연구에서는 하상변동과 부유사의 농도를 밀접한 관련이 있다고 가정하여 수리기하(Hydraulic Geometry) 이론을 이용하여 하상변동의 경향성을 표현하여 하상변동의 경향성을 직관적으로 유추할 수 있는 기법을 제시하고자 한다. 이를 위해 본 연구에서는 하상변동을 수리기하적표현을 이용하여 해석적으로 제시하였고 수치모의를 실시하였으며 실제 자연하천에 대해 검증을 수행하였다. 수치모의는 자연에 존재할 수 있는 다양한 하천형상을 표현하기 위해 수리기하 이론에서의 수심과 폭을 나타내는 인자들을 이용하여 하천의 형상을 넓고 얕은 하천, 좁고 깊은 하천, 중간 정도의 하천으로 분류하였으며 흐름조건을 정상류와 부정류조건으로 분류하였다. 또한 하상경사와 하상재료의 입경분포를 고려하였다. 그리고 실제 하천에 대한 검증은 대한민국에 존재하는 갑천, 미호천, 남강, 임진강, 원주천, 금호강의 하상변동 자료를 이용하여 실시하였다. 하상변동의 경향성을 직관적으로 표현하기 위해 Manning 공식을 이용하여 하상전단력의 수리기하 지수를 수심, 유속, 조도계수의 수리기하지수들로 표현하였다.

• Smart Media Journal
• /
• v.7 no.1
• /
• pp.37-44
• /
• 2018

Utilizing sequence control and numerical computing, embedded devices are used in a variety of automated systems, including those at industrial sites, in accordance with their control program. Since embedded devices are used as a control system in corporate industrial complexes, nuclear power plants and public transport infrastructure nowadays, deliberate attacks on them can cause significant economic and social damages. Most attacks aimed at embedded devices are data-coded, code-modulated, and control-programmed. The control programs for industry-automated embedded devices are designed to represent circuit structures, unlike common programming languages, and most industrial automation control programs are designed with a graphical language, LAD, which is difficult to process static analysis. Because of these characteristics, the vulnerability analysis and security related studies for industry automation control programs have only progressed up to the formal verification, real-time monitoring levels. Furthermore, the static analysis of industrial automation control programs, which can detect vulnerabilities in advance and prepare for attacks, stays poorly researched. Therefore, this study suggests a method to present a discussion on an industry automation control program designed to represent the circuit structure to increase the efficiency of static analysis of embedded industrial automation programs. It also proposes a medium term translation technology exploiting LLVM IR to comprehensively analyze the industrial automation control programs of various manufacturers. By using LLVM IR, it is possible to perform integrated analysis on dynamic analysis. In this study, a prototype program that converts to a logical expression type of medium language was developed with regards to the S company's control program in order to verify our method.

• Journal of the Korea Computer Graphics Society
• /
• v.6 no.3
• /
• pp.17-23
• /
• 2000

Recently, as it is growing concern about Non-Photo-Realistic Rendering, several researchers are studying to simulate conventional artistic expressions such as pen-and-ink, watercolor and impressionism techniques. In this paper, we describe a mosaic technique using color paper tore by hands. We will also try to represent real paper by using random midpoint displacement method (RMD) to express a shape of paper tore by hands without using cutters or scissors. The Perlin's noise function is used to express texture of paper.

• Annual Conference on Human and Language Technology
• /
• 1998.10c
• /
• pp.159-163
• /
• 1998

다국어 대화체 번역 시스템은 미국의 카네기 멜론 대학과 일본의 ATR 및 한국의 전자통신연구원 등이 가입한 CSTAR의 99년 국제간 음성언어번역 시스템 데모를 위한 한국어측 번역 시스템이다. CSTAR-IF는 국제간 데모를 위해 각 국의 시스템끼리 주고 받는 정보의 단위 혹은 형태로서, 중간언어 표현의 한 가지 방법으로 간단하면서도 단순한 표현으로 특정 영역 내에 나타나는 의미를 표현할 수 있도록 정의되었다. 다국어 번역 시스템은 크게 두 가지로 나누어진다. 하나는 한국어 음성인식 결과를 IF로 변환하는 해석 시스템이고, 다른 하나는 IF로부터 한국어 문장을 생성하여 음성으로 들려주는 생성 시스템이다. 한국어 해석 시스템은 현재 92%의 해석 성공률을, 생성 시스템은 98%의 생성 성공률을 보이고 있다.

• The Transactions of the Korea Information Processing Society
• /
• v.6 no.6
• /
• pp.1646-1655
• /
• 1999

This thesis presents a new VHDL intermediate format CDDG(Control Dominated Data Graph) and a minimal constrained scheduling algorithm for an optimal control dominated ASIC design. CDDG is a control flow graph which represents conditional branches and loops efficiently. Also it represents data dependency and such constraints as hardware resource and timing. In the proposed scheduling algorithm, the constraints using the inclusion and overlap relation among subgraphs. The effectiveness of the proposed algorithm has been proven by the experiment with the benchmark examples.

• Proceedings of the Korean Information Science Society Conference
• /
• 2001.04b
• /
• pp.67-69
• /
• 2001

최근 이미지나 멀티미디어 데이터와 같은 비정형 데이터의 검색을 보다 효과적으로 수행하기 위한 연구가 활발하게 진행되어 왔다. 비정형 데이터를 검색하기 위해서는 비정형 데이터를 다차원의 특징 벡터로 변환하고, 그것을 다차원 색인구조를 이용해 색인한다. 따라서 이러한 비정형 데이터를 효율적으로 색인 할 수 있는 다차원 색인구조가 요구되고 있다. 이 논문에서는 데이터를 벡터 근사치로 표현한 후 이를 트리 형태로 구성하여 검색이 효율을 높이는 다차원 데이터를 위한 색인구조 VA(Vector Approximate)-트리를 제안한다. 이 논문에서 제안하는 VA-트리는 VA-파일과 K-D-B-트리 구조를 기반으로 하고 있다. VA-트리는 적은 비트를 이용하여 다차원 공간을 표현하기 위해 노드내의 모든 정보를 비트로 표현한다. 중간노드의 비트 형태 엔트리는 하위노드에 포함된 정보를 의미하고 있어 탐색을 효율적으로 수행할 수 있도록 한다. 실험을 통한 성능평가를 수행하여 제안된 색인구조의 우수함을 보인다.