• 한국멀티미디어학회:학술대회논문집
• /
• 한국멀티미디어학회 2000년도 춘계학술발표논문집
• /
• pp.273-276
• /
• 2000

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

• 한국ITS학회:학술대회논문집
• /
• 한국ITS학회 2005년도 제4회 추계학술대회 및 정기총회
• /
• pp.29-33
• /
• 2005

• 한국반도체및디스플레이장비학회:학술대회논문집
• /
• 한국반도체및디스플레이장비학회 2003년도 춘계학술대회 발표 논문집
• /
• pp.55-58
• /
• 2003

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

• 한국지능시스템학회:학술대회논문집
• /
• 한국퍼지및지능시스템학회 2005년도 추계학술대회 학술발표 논문집 제15권 제2호
• /
• pp.353-356
• /
• 2005

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
• /
• 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가 가진 제약사항들은 영역을 정의하여 표현하였다. 영역의 종류에는 시간영역, 거리영역, 확률영역, 보안영역이 있다. 각 영역의 속성에 시간적인 제약을 표현할 수 있으며, 시간과 공간 논리를 사용하여 모델링하였다.

• 한국콘텐츠학회:학술대회논문집
• /
• 한국콘텐츠학회 2012년도 춘계 종합학술대회 논문집
• /
• pp.29-30
• /
• 2012

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2005년도 한국컴퓨터종합학술대회 논문집 Vol.32 No.1 (A)
• /
• pp.769-771
• /
• 2005

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

• 한국정보과학회:학술대회논문집
• /
• 한국정보과학회 2004년도 가을 학술발표논문집 Vol.31 No.2 (1)
• /
• pp.610-612
• /
• 2004

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

• 정보처리학회논문지A
• /
• 제9A권3호
• /
• pp.351-362
• /
• 2002

신호전이그래프는 비동기식 유한상태기와 더불어 신호수준에서 비동기식 제어회로의 사양을 기술하기 위하여 사용되는 가장 대표적인 사양 기술언어이다. 그러나 신호전이그래프는 설계자에게 친숙한 사양기술언어가 아니며, 결과적으로 비동기식 시스템의 설계자가 목적시스템의 비동기식 제어부를 구성하는 수∼수십개의 비동기식 제어회로에 대한 신호전이그래프를 일일이 고안하고 기술하는 것은 매우 힘들고 시간소모적인 일이다. 본 논문에서는 최근에 제안된 프로세스 중심방식을 이용하여 신호전이그래프를 자동으로 생성하는 방법을 제안하고자 한다. 특히, 제안된 방법은 신호전이그래프의 자동생성 과정에서 신호전이그래프에 기반한 비동기식 논리합성의 고유한 특성들을 주의 깊게 고려하여 준다. 결과적으로 자동 생성된 신호전이그래프로부터 합성된 비동기식 제어회로는 면적, 합성시간, 성능, 구현성의 측면에서 매우 우수하다.

• 한국정보처리학회논문지
• /
• 제4권10호
• /
• pp.2485-2492
• /
• 1997

오늘날 자동차의 급격한 증가에 따른 교통 체증을 완화시키기 위해 효율적인 교차로 신호 제어기의 필요성이 대두되고 있다. 최근에는 신호등의 주기를 적응적으로 제어하기 위하여 퍼지 논리가 도입되었다. 일반적인 퍼지 제어 방식은 녹색신호에 교차로로 진입하는 차량 수와 적색신호 동안 대기하는 차량 수를 퍼지 제어의 입력 변수로 사용하여 확장시간을 조정한다. 그러나 이 방법은 가변 교통량을 갖는 교차로에는 부적합하다. 본 논문에서는 대칭적인 소속함수를 갖는 기존의 퍼지 논리 제어기들보다 적은 수의 제어규칙들을 가지면서도 교통 흐름을 보다 잘 반영하는 비대칭적인 소속함수를 갖는 새로운 퍼지 논리 제어기를 제안한다. 제안된 방법의 효율성은 단일 교차로 시뮬레이션을 통해 테스트되었다. 실험결과는 제안된 방법이 평균 지체시간, 통과 대수, 포화도면에서 우수한 성능을 보여주었다.