• Proceedings of the Korea Multimedia Society Conference
• /
• 2000.04a
• /
• pp.273-276
• /
• 2000

본 논문에서는 문서처리와 비디오 스트림 처리에 이용되는 이론적 배경을 고찰하고 , 제시된 이론을 바탕으로 하나의 비디오 스트림을 결정적 유한 오토마타 형태의 논리적인 구조로 재구성하여 사용자의 요구나 수준에 따라 가변적인 재생 시간을 갖는 비디오 브라우징 시스템을 구현하였다.

• 한국ITS학회:학술대회논문집
• /
• 2005.11a
• /
• pp.29-33
• /
• 2005

• Proceedings of the Korean Society Of Semiconductor Equipment Technology
• /
• 2003.05a
• /
• pp.55-58
• /
• 2003

반도체 소자의 집적도의 발전에 따라 생산과정에서의 기능적인 오류 검사 소요시간이 증가하게 되어 비용절감에 커다란 장애 요인이 되고 있다. 이러한 문제점을 효과적으로 처리하기 위하여 일괄적인 패턴과 어드레스를 발생시키는 pattern generator를 연구하였다.

• Proceedings of the Korean Institute of Intelligent Systems Conference
• /
• 2005.11a
• /
• pp.353-356
• /
• 2005

최근 우리 생활과 밀접하게 연관되어 있는 유비쿼터스 컴퓨팅 환경에서는 컴퓨터 스스로 사용자가 처한 환경을 인식하는 상황 인식(situation-awareness) 시스템이 필수적이다 상황 인식(situation-awareness)시스템은 센서로부터 주변 환경 정보의 수집 및 결합을 통해 상황을 인식하고, 해석과 추론 처리과정을 거쳐 사용자에게 적절한 서비스를 제공한다 주변 환경이 시간에 따라 계속 변화하므로 더 좋은 서비스를 제공하기 위해서는 현재의 환경 정보뿐만 아니라 과거의 환경 정보도 고려하여 현재 상황이 어떻게 변화되고 있는지도 파악할 수 있어야 한다. 본 논문에서는 시간에 따라 동적으로 변화하는 유비쿼터스 컴퓨팅 환경에서 시간을 처리할 수 있는 상황 인식 프레임워크를 제안한다. 이 프레임워크는 변화하는 컨텍스트의 시간처리를 JESS와 JAVA를 이용하여 처리하였다.

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

이동 분산 실시간 시스템(MDRTS:Mobile Distributed Real-time Systems)은 분산 네트워크 상에서 협력 동작하며 특정 시간 내에 요구하는 정보를 제공하는 이동 시스템이다. MDRTS는 시간, 이동성, 분산성 등을 표현하기 때문에 명세 복잡도가 높고, MDRTS의 성공적인 동작을 보장하기 위해 보다 정확하고 효율적인 시스템의 설계가 중요하다. 특히 시스템의 분산성과 이동성에 의해 발생하는 다양한 종류의 제약 사항을 표현한 수 있는 정형기법이 필요하다. 본 논문에서는 MDRTS을 명세하기 위해 PATM(Probabilistic Abstract Timed Machine)[1]을 확장하여 정의한 DATM(Distributed Abstract Timed Machine)에 대해 기술한다. DATM은 PATM에서 표현하기 힘들었던 이동하는 기계의 분산 정보를 명세할 수 있도록 하였고, 시간, 거리, 확률, 보안에 대한 제약 사항을 명세할 수 있도륵 정의하였다. MDRTS가 가진 제약사항들은 영역을 정의하여 표현하였다. 영역의 종류에는 시간영역, 거리영역, 확률영역, 보안영역이 있다. 각 영역의 속성에 시간적인 제약을 표현할 수 있으며, 시간과 공간 논리를 사용하여 모델링하였다.

• Proceedings of the Korea Contents Association Conference
• /
• 2012.05a
• /
• pp.29-30
• /
• 2012

하드웨어 기술이 빠르게 성장함에 따라 임베디드 시스템의 발전이 가속화 되고 있다. 이러한 임베디드 시스템 상에서 논리적이고 신뢰성 있는 처리를 지원해 주기 위해 실시간 운영체제를 도입하게 되었다. 이러한 실시간 운영체제의 인터럽트 처리는 더 높은 우선순위의 인터럽트 서비스 루틴 수행에 의해 현재 발생한 인터럽트가 마스킹 되어 인터럽트 지연시간이 길어질 수 있다. 이러한 경우 시간결정성이 보장되지 않아 실시간성이 저해 된다. 범용 운영체제인 윈도우즈 운영체제의 경우 DPC(Deferred Procesure Call)라는 메커니즘을 이용하여 인터럽트 지연시간을 줄이는데, DPC란 인터럽트에서 보다 덜 중요한 부분을 지연처리호출로 처리하도록 하여 인터럽트의 지연시간을 줄이는 방식으로 이러한 DPC 메커니즘을 국산 실시간 운영체제인 CNU_RTOS상에서 HISR(High Level Interrupt Service Routine)을 이용하여 구현하였다. 본 논문에서는 CNU_RTOS상에서 HISR을 이용하여 구현된 DPC기법을 이용한 인터럽트의 처리 시간과 일반 인터럽트의 처리시간을 비교하여 측정하고 분석한다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2005.07a
• /
• pp.769-771
• /
• 2005

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정할성을 요구한다. 시간적 정확성을 만족시키기 위해 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행해야만 한다. 그리고 스케줄 가능성 분석을 위해 프로그램들에 대한 실행 시간 예측이 필요하다. 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 핀 확장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성 밀 신뢰성이 만족스럽지 못하다. 본 논문에서는 정적 분석을 단일 실시간 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발에 초점을 둔다. 먼저 확장된 정적 분석 도구의 개발을 위해 통신 영향 요소의 분석 과정을 설계한다. 특히, 통신 부하의 영향 요소 중 통신 준비에 필요한 과정을 선행 예측 테이블로 작성하여 원시 프로그램 분석에 이용하고자 한다. 실행 시간에 영향을 미치는 요소들의 분석을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

• Proceedings of the Korean Information Science Society Conference
• /
• 2004.10a
• /
• pp.610-612
• /
• 2004

실시간 시스템은 논리적 정확성뿐만 아니라 시간적 정확성을 요구한다. 시간적 정확성을 만족시키기 위해서 실시간 시스템의 설계자는 작업들의 스케줄 가능성에 대한 연구를 선행하여야 한다. 스케줄 가능성 분석을 위해 작업들에 대한 실행 시간 예측이 필요하다 작업들의 실행 시간 예측을 위한 방법으로 측정과 정적 분석이 연구되었다. 측정 및 정적 분석은 비용 및 막장성에 문제점을 지니고 있고 실시간 시스템의 발전을 따라가지 못하여 분석 결과의 정확성이 만족스럽지 못하다. 본 논문에서는 정적 분석을 단일 시스템이 아닌 분산 실시간 시스템에 적용할 수 있는 확장된 정적 분석 도구의 개발을 위해 분산 실시간 시스템으로 전환에 의해 발생되는 통신 영향 요소의 분석 및 통신 영향 요소 분석기를 설계한다. 실행 시간에 영향을 미치는 요소들의 분석을 통해 원시 프로그램에서 자동적으로 예측된 실행 시간의 정확도와 신뢰도를 높인다.

• The KIPS Transactions:PartA
• /
• v.9A no.3
• /
• pp.351-362
• /
• 2002

Along with an asynchronous finite state machine, in short AFSM, a signal transition graph, in short STG, is one of the most widely used behavioral description languages for asynchronous controllers. Unfortunately, STGs are not user-friendly, and thus it is very unwieldy and time consuming for system designers to conceive and describe manually the behaviors of a number of asynchronous controllers which constitute an asynchronous control unit for a target system in the form of STGs. In this paper, we suggest an automatic STG derivation method through a process-oriented method. Since the suggested method considers special properties of STG-based asynchronous logic synthesis very carefully, asynchronous controllers which are synthesized from STGs derived through the suggested method are superior in aspects of area, synthesis time, performance and implementability compared to those obtained through previous methods.

• The Transactions of the Korea Information Processing Society
• /
• v.4 no.10
• /
• pp.2485-2492
• /
• 1997

Nowadays the traffic conditions have been getting worse due to continuous increase in the number of vehicles. So it has become more important to manage traffic signal lights efficiently. Recently fuzzy logic is introduced to control the cycle time of traffic lights adaptively. Conventional fuzzy logic controller adjusts the extension time of current green phase by using the fuzzy input variables such as the number of entering vehicles at the green light and the number of waiting vehicle during the red light. However this scheme is inadequate for an intersection with variable traffic densities. In this paper, a new FLC with asymmetric membership functions that reflects more exactly traffic flows than other FLCs with symmetric ones regardless of few control rules is propsed. The effectiveness of the proposed method was shown through simulation of a single intersection. The experimental results yielded the superior performance of the proposed FLC in terms of the average delay time, the number of passed vehicles, and the degree of saturation.