• Annual Conference of KIPS
• /
• 2005.11a
• /
• pp.193-196
• /
• 2005

기존의 비디오 데이터베이스 시스템들은 대부분 간단한 간격을 기반으로한 관계와 연산을 지원하는 모델을 이용하였다. 비디오 모델에서 시간을 지원하고 객체와 시간의 다양한 연산을 제공하며 효율적인 검색과 브라우징을 지원하는 비디오 데이터 모델이 필요하게 되었다. 비디오 모델은 객체 지향 개념을 기반으로 한 모델로서 비디오의 논리적인 스키마, 객체의 속성과 연산 관계, 그리고 상속과 주석을 이용한 메타데이터 설계를 통하여 비디오 데이터에 대한 전체적인 모델 구조를 제시하였다. 그리고 점 시간과 시간 간격을 정의하여 시간의 개념을 객체 지향 기반 모델에 부여함으로서 시간 변화에 따른 비디오 정보를 보다 효율적으로 활용할 수 있도록 하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 1999.10a
• /
• pp.343-345
• /
• 1999

데이터베이스 시스템은 실세계에서의 객체들이 다양한 모델링을 통하여 구축된 데이터베이스에 대해 검색, 갱신, 분석 출력 및 논리적인 일관성 제어 등을 할 수 있는 소프트웨어 시스템이다. 그러나 전통적인 데이터베이스 시스템은 시간에 따라 변화하는 데이터의 이력을 관리 할 수 없다. 따라서 이력정보(Historical Informations)를 관리할 수 있게 하기 위해서는 시간차원의 확장이 필요하다. 즉, 기존의 데이터베이스 시스템이 제공하지 못하였던 각 정보들의 이력관리와 이력을 이용한 다양한 서비스를 가능하게 하도록 시간차원을 지원할 수 있는 데이터베이스 시스템을 시간 데이터베이스 시스템이라 하며, 이를 위하여 이 논문에서는 객체관계형 데이터베이스 시스템을 기반으로 객체관계형의 특징과 레이어 개념을 이용하여 새로운 시간차원을 확장함으로써, 기존의 시스템을 현 상태로도 유지할 수 있는 시간 데이터베이스 시스템을 말한다.

• Journal of the Korean Institute of Telematics and Electronics C
• /
• v.36C no.6
• /
• pp.9-17
• /
• 1999

In this paper, we propose a new technology mapping algorithm for CPLD under time constraint. In our technology mapping algorithm, a given logic equation is constructed as the DAG type, then the DAG is reconstructed by replicating the node that outdegree is more than or equal to 2. As a result, it makes delay time and the number of CLBs to be minimized. Also, after the number of multi-level is defined and cost of each nodes is calculated, the graph is partitioned in order to fit to k that is the number of OR term within CLB. The partitioned nodes are merged through collapsing and bin packing is performed in order to fit to the number of OR term within CLB. In the results of experiments to MCNC circuits for logic synthesis benchmark, we can shows that proposed technology mapping algorithm reduces delay time and the number of CLBs much more than the existing tools of technology mapping algoritm.

• Journal of the Korea Society of Computer and Information
• /
• v.10 no.3 s.35
• /
• pp.11-18
• /
• 2005

In this paper, we propose a new technology mapping algorithm for CPLD consider area under time constraint. This algorithm detect feedbacks from boolean networks, then variables that have feedback are replaced to temporary variables. Creating the temporary variables transform sequential circuit to combinational circuit. The transformed circuits are represented to DAG. After traversing all nodes in DAG, the nodes that have output edges more than two are replicated and reconstructed to fanout free tree. Using time constraints and delay time of device, the number of graph partitionable multi-level is decided. Several nodes in partitioned clusters are merged by collapsing, and are fitted to the number of OR-terms in a given CLB by bin packing. Proposed algorithm have been applied to MCNC logic synthesis benchmark circuits, and have reduced the number of CLBs by $62.2\%$ than those of DDMAP. And reduced the number of CLBs by $17.6\%$ than those of TEMPLA.

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

상태 기반 정형 기법이 가진 문제점 중 하나인 상태 폭발 문제를 해결하기 위해, 본 논문에서는 명세 모델과 실행 모델을 정의하고 각 모델에 적용되는 추상화를 정의한다. 명세 모델은 구문을 바탕으로만 추상화로 비논리 내부연산 추상화와 구조 추상화를, 실행 모델은 시간, 자료, 위치가 가진 의미를 통해 추상화하는 시간, 자료, 위치 공간 추상화를 수행한다. 예제에 추상화를 적용하여 상태 감소와, 계층성 생성, 복잡도 감소의 과정을 보인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.04a
• /
• pp.160-162
• /
• 2004

실시간 운영 체제(Real-Time Operating Systems)는 시스템 동작이 논리적 정확성뿐만 아니라 시간적 정확성에도 좌우되는 운영 체제이다. 시간 결정성(Time Determinism)을 지키기 위해서는 시스템에서 발생하는 모든 사건에 대해서 예측이 가능해야 한다. 시스템에서 발생하는 사건은 인터럽트에 의해 처리되는데, 이것은 비동기적인 사건의 발생을 CPU에게 알리는 하드웨어 메커니즘으로서 인터럽트 서비스 루틴(Interrupt Service Routine ： ISR)을 통해서 인터럽트에서 처리해야 할 부분을 수행한다. 본 논문에서는 인터럽트의 처리를 인터럽트의 인지와 처리로 분리할 수 있도록 LISR과 HISR을 설계로 구현하였다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2003.10a
• /
• pp.391-393
• /
• 2003

WDM 네트워크에서는 파장이 어떻게 할당되는지에 따라 다양한 논리적 토폴로지가 형성되기 때문에 파장 할당이 매우 중요한 문제이다. 기존의 파장 할당 알고리즘은 무한한 수의 ADM을 가정하거나 시간 복잡도를 고려하지 않았다. 제안되었던 알고리즘 중 가장 성능이 좋은 RCL 알고리즘의 경우, 불필요한 블로킹을 발생시킨다는 문제점이 있다. 본 논문에서는 동적인 트래픽 요청에 대해 기존 기법보다 시간 복잡도를 줄이면서 I/O 블로킹과 파장 블로킹을 모두 최소화할 수 있는 파장 할당 알고리즘을 제안한다.

• Proceedings of the KIEE Conference
• /
• 1999.07g
• /
• pp.3021-3023
• /
• 1999

엄격한 시간 제약성에 의해 특성화되는 실시간 시스템의 성능을 평가하기 위해서 퍼지-랜덤 변수가 포함된 이산 사건 모델을 제시한다. 실시간 시스템의 정확성은 출력의 논리적 결과 뿐 아니라 반응시간에도 의존하므로, 본 논문에서는 실시간 시스템의 성능을 유연하게 평가하기 위해서 퍼지-랜덤 변수에 의해 적절하게 변형된 상태 오토마타를 제시하고 그 오토마타를 적용한 수치 예제를 제시한다.

• Industry Promotion Research
• /
• v.5 no.3
• /
• pp.61-71
• /
• 2020

The purpose of this paper is to reaffirm the logical framework of the saju analysis method by recreating the saju model of old-law to study and organize the theories of frame in old-law Myeongri, and then by organizing and comparing the logic structure of the saju analysis method of new-law and old-law. Some believe that Myeongri Theory first appeared in the world in the Warring States Period when they were active with Gwigokja and Naknokja as origin, while others believe that it was origin that "Okjokyeong" was written by Kwak-Bak of Eastern Jin after a while. Since then, Myeongri Theory, which had been organized by Won-Cheongang and Yi-Heojung, has undergone a major transformation since reaching the Song Dynasty Seo-Japyeong. Based on this point, the Myeongri Theory of the previous generation is called the Old-law, and the subsequent theory is called the New-law. The changes in the logic structure of the old-law and the new-law leave a big difference and disconnect between those. But comparative studies have confirmed that the philosophy and logic structure due to natural laws that have not changed much such as the symbolic system of nature called Yinyang & five elements and Cheongan-jiji, the idea of a heavenly response projected in the Three Wonders of heaven, earth and human, and the concept of generation and time in the position of year-month-day-time.

• Proceedings of the Korean Society for Information Management Conference
• /
• 1997.08a
• /
• pp.83-86
• /
• 1997

본 연구에서는 하이퍼미디어 및 시간 종속적 문헌의 논리적 구조를 표현하기 위한 국제표준인 HyTime을 이용하여 하이퍼미디어 문헌을 구조화하고 그 구조정보를 기반으로 키워드검색을 지원하는 하이퍼미디어 문헌 검색시스템을 구현하였다.