• 제목/요약/키워드: 실시간 제약

검색결과 790건 처리시간 0.028초

시간적 제약을 갖는 공간 질의 처리를 위한 실시간 연산 후배치 기법 (Real-time Operation Post-Placing Technique for Time Constrained Spatial Query Processing)

  • 임정옥;조숙경;배해영
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제7권3호
    • /
    • pp.193-201
    • /
    • 2001
  • 실시간 GIS 응용 시스템에서는 기존의 GIS 응용 시스템에서 고려되지 않은 실시간 공간데이타와 실시간 공간 질의에 대한 처리가 필요하다. 실시간 공간 질의는 공간 연산이 전체 실행 시간에서 차지하는 시간비중이 크기 때문에 실시간 공간 데이타의 유효성을 유지하면서 실시간 공간 질의의 시간제약조건을 만족시킬 수 있는 질의 처리 기법이 요구된다. 본 논문에서는 실시간 공간 데이타와 실시간 공간 질의의 시간제약조건을 최대한 만족시키기 위해 실시간 연산을 위해 실시간 연산을 후배치 시키는 실시간 연산 후배치 기법을 제안한다. 제안된 기법은 연산의 재배치를 통해서 전체 질의 수행시간을 증가시키지 않으면서 실시간 공간 질의의 시간제약조건을 최대한 만족시킨다.

  • PDF

실시간 공간데이터베이스 시스템에서의 시간제약조건을 갖는 공간질의 처리 (Timing Constrained Spatial Query Processing for Real-time Spatial Database System)

  • 임정옥;조숙경;김경배;이순조;배해영
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1999년도 가을 학술발표논문집 Vol.26 No.2 (1)
    • /
    • pp.278-280
    • /
    • 1999
  • 실시간 GIS 응용 프로그램에서는 기존의 GIS 시스템과는 달리 동적인 공간데이터가 신뢰성을 위해 일정한 시간 내에 갱신되어야 유효성을 유지하며, 사용자가 요청하는 질의는 일정 시간 내에 처리되어야 하는 시간제약조건을 갖는다. 이러한 GIS응용프로그램을 지원하기 위한 실시간 공간데이터베이스 시스템에서는 기존의 실시간 데이터베이스 시스템에서 고려되지 않은 동적 실시간 공간데이터와 실시간 공간질의에 대한 처리가 필요하며 질의 처리 시 실시간 데이터와 실시간트랜잭션의 시간제약조건의 만족을 초대화하기 위한 고려가 필요하다. 본 논문에서는 실시간 공간질의 처리 시 예측성을 최대화 하기 위해 질의에서 빈번히 사용되는 데이터를 주기억상주 데이터베이스에 저장하였고, 실시간 공간데이터의 관리를 위하여 공간질의어를 확장하였다. 또한 실시간 공간질의 처리 시에 실시간 데이터와 실시간트랜잭션의 시간제약조건을 최대한 만족시키기 위해 공간질의 분석과 연산 순서의 재배치 기법을 사용하였다.

  • PDF

분산 이중 실시간 커널 시스템의 개발 (A Development of Distributed Dual Real-Time Kernel System)

  • 인치호
    • 정보학연구
    • /
    • 제4권2호
    • /
    • pp.25-36
    • /
    • 2001
  • 실시간 커널은 시간적인 요소를 가장 핵심으로 고려하여 설계된다. 따라서 실시간 커널은 작은 용량을 가지며 빠르게 예측할 수 있어야 한다. 또한 실시간 스케줄링에 요구되는 많은 변화들을 통해서 실시간 커널에 융통성을 부여해야 한다. 본 논문에서 제안한 분산 이중 실시간 커널 시스템은 실시간 제약들을 고려한 실시간 커널과 일반적인 커널의 특성을 가지도록 설계한다. 실시간 제약 조건인 인터럽트 지연 시간, 스케줄링의 정확성, 메시지 전달시간을 만족하기 위하여 실시간 커널에는 실시간 태스크 처리와 인터럽트 처리, 타이밍을 처리하도록 하였고 비실시간 커널은 일반적인 태스크를 처리하도록 한다. 또한, 기존의 실시간 커널인 RT-Linux, QNX와 제안한 실시간 커널이 인터럽트 지연, 스케줄링 정확성, 메시지 전달시간 등을 비교 분석함으로써 실시간 제약조건을 만족함을 보인다

  • PDF

실시간 객체의 시간 명세 및 검증 기법 (The Timing Specification and Verification on Real-Time Object)

  • 손혁수;양승민
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 1998년도 가을 학술발표논문집 Vol.25 No.2 (1)
    • /
    • pp.484-486
    • /
    • 1998
  • 실시간 객체 지향 모델은 객체 지향 개념에 실시간 특성을 추가한 시스템 모델 개념이다. 이는 실시간 시스템에 적합한 모델을 제시하고 있다. 그러나, 대부분의 실시간 객체 지향 모델이 실시간 객체의 실시간 특성에 관련된 시간 명세를 전문자의 경험에 많이 의지하고 있다. 그리고, 실시간 자료, 메소드 및 메시지를 명확하게 구분하고 있지 않을 뿐 아니라 이들에 대한 시간 명세 표현도 부족한 형편이다. 따라서, 하나의 틀안에 실시간 객체의 실시간 특성을 모두 표현하고 이를 검증할 수 있는 방법이 필요하다. 본 논문에서는 실시간 객체의 실시간 특성을 표현하기 위해 실시간 자료 및 메소드 순차 차트와 시간 제약 사항 그래프를 제시하여 실시간 특성의 표현과 검증을 한다. 순차 차트는 실시간 객체의 실시간 자료, 메소드 및 메시지에 대한 시간 명세를 시간 구동 메소드 단위로 하나의 차트에 나타낸다. 시간 제약 사항 그래프는 순차 차트로부터 유추되어 실시간 메소드의 마감시간과 실시간 자료의 최대 유효 기간에 대한 시간 명세가 올바른지 그래프를 이용하여 검증할 수 있는 방법을 제시한다.

통합 주차관제를 위한 실시간 제약 조건을 고려한 최근접 주차장 (A Method of Searching Nearest Neighbor Parking Lot to Consider Realtime Constrains for Integrated Parking Control)

  • 강구안;김진덕
    • 한국정보통신학회:학술대회논문집
    • /
    • 한국해양정보통신학회 2007년도 추계종합학술대회
    • /
    • pp.887-890
    • /
    • 2007
  • 상권 내에 존재하는 여러 개의 주차장을 통합 관리하는 시스템에서는 주차장의 실시간 현황 및 접근 경로를 변화 등과 같은 다양한 실시간 제약 조건을 고려한 최근접 주차장에 대한 경로 안내가 필요하다. 이 논문에서는 실시간 제약 조건을 고려한 통합 주차관제 시스템의 최적 경로 탐색 기법을 제안 하고자 한다. 구체적으로 고객이 지정한 주차장의 여러 가지 상황(주차거부, 휴업, 공사 중, 도로 통행 금지 등)을 고려한 인접 지역의 경로 재탐색 방법을 상황별로 알아보고, 각 상황에 맞는 최적의 주차장 접근 경로 탐색 기법을 자세히 다룬다.

  • PDF

시간 제약 분석이 가능한 객체 지향 실시간 시스템 모델링 (Object-oriented real-time system modeling considering predicatable timing constraints)

  • 김영란;권영희;홍성백;박용문;구연설
    • 한국통신학회논문지
    • /
    • 제21권8호
    • /
    • pp.1937-1947
    • /
    • 1996
  • 객체 지향 개발 방법을 이용하여 실시간 시스템을 개발할 경우에는 반드시 시간제약 문제를 고려해야 한다. 본 논문에서는 사건의 발생에 따른 시스템의 상태 변이를 상태도로 나타내는 동적 모델에 대한 실시간 규격화로서, OMT와 SDL을 이용한 객체 지향 실시간 시스템 모델링 방법을 제안하였다. 현재 가장 널리 활용되고 있는 OMT방법론의 분석과정에서 생성되는 동적 모델에 실시간 시스템의 시간제약을 반영함으로써 예상시간 도표를 작성하였고, 실시간 예측이 가능하도록 순차 수행, 반복 수행, 병렬 수행에 대한 최대 및 최소 실시간 예측 공식을 제시하였다. 또한, 제안된 방법론을 이용하여 ATM 시스템의 최대 수행 시간을 예측해 보았고 객체 상호 작용 그래프와 SDL의 구문적 표현을 이용하여 ATM 시스템의 사용자 인터페이스에 대한 기능 명세서를 기술하였다.

  • PDF

안전성이 중요한 실시간 시스템의 시간 제약성 검증에 관한 사례 연구 (A case study on timing constraints verification for a safety-critical. real-time system)

  • 최진호;지은경;김현정;배두환
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2011년도 한국컴퓨터종합학술대회논문집 Vol.38 No.1(A)
    • /
    • pp.166-169
    • /
    • 2011
  • 안전성이 중요한 실시간 내장형 시스템인 유도조종장치에서 시간 제약성을 만족하는 것은 매우 중요한 문제이다. 기존 유도조종장치 소프트웨어 개발에서는 주로 테스트 단계에서 시간 제약성 만족을 확인한다. 하지만 이 방법은 늦은 오류의 발견으로 인해 전체 소프트웨어 개발 비용이 커질 가능성이 있다. 이러한 단점을 극복하기위해 본 논문에서는 설계 단계에 정형 기법을 적용하여 유도조총장치 소프트웨어의 시간 제약성을 검증하고자 한다. 이를 위해서 실시간 시스템에 대한 모델링과 검증을 지원하는 TIMES 도구를 유도조종장치 소프트웨어 설계에 적용하는 사례 연구를 수혈하고 그 결과를 분석 및 평가하였다.

안드로이드 환경에서 단말 대 단말 실시간 미디어 전송 기법 (End-to-end Real Time Media Transport Technique in Android Platform)

  • 임효영;박영민;이상아;곽종욱
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2010년도 추계학술발표대회
    • /
    • pp.1543-1546
    • /
    • 2010
  • 현재 방송국이 제작하는 방송이 아닌 개인이 제작하는 방송은 인터넷 환경에서 생겨났고 발전해왔다. 이에 따라 개인 역시 불특정 다수에게 시간적 제약 없이 방송을 할 수 있다. 하지만 여전히 인터넷이 지원되는 컴퓨터 단말 앞에서라는 공간적 제약이 존재한다. 본 논문에서는 이러한 공간적 제약을 극복하고자 장소에 구애받지 않는 모바일 환경에서 단말 대 단말 실시간 이미지 전송 기법을 제안하여 실시간 방송을 가능하게 하였다. 안드로이드 환경에서 제안한 본 기법은 무선 인터넷(Wi-Fi)이 지원되는 환경이라면 어디든 가능하다는 점에서 공간적 제약이 없어져 효율적이다. 성능평가 결과 안정적인 무선 인터넷이 지원되는 환경에서 지연시간 5000ms이상일 때 100프레임 당 10번 이하의 깜박임 현상(끊김 현상)이 나타나 안정적으로 동작 하는 것을 확인하였다.

실시간 제약 커널 환경하에서의 이중 실시간 스케쥴링 설계 (A Dual Real-Time Scheduling Design under Real-Time Constraints Kernel Environments)

  • 인치호
    • 전력전자학회논문지
    • /
    • 제6권4호
    • /
    • pp.369-375
    • /
    • 2001
  • 본 논문은 실시간 wpir 커널 환경 하에서의 이중 실시간 스케쥴링을 설계한다. 본 논문에서 제안한 이중 실시간 스케쥴링 설계는 실시간 제약 조건인 인터럽트 지연 시간, 스케줄링의 정확성, 메시지 전달시간을 만족하기 위하여 실시간 커널에서는 실시간 태스크 처리와 인터럽트 처리, 타이밍을 처리하도록 하였고 비 실시간 커널은 일반적인 태스크를 처리하도록 한다. 또한 태스크들의 충돌 시 혼합 우선 순위를 고려한 최적의 스케쥴링을 수행한다. 즉, 비 실시간 커널은 성적 우선 순위 스케쥴링을 수행하고, 실시간 커널은 동적 우선 순위 변형 스케쥴링인 최소 여유시간 우선 기반의 최소 선점을 갖는 스케쥴링 알고리즘을 수행한다. 그리고 기존의 실시간 커널인 RT-Linux 0.5a, QNX 4.23A와 제안한 실시간 커널이 인터럽트 지연, 스케줄링 정확성, 메시지 전달시간 등을 비교 qnstjrgkadmfhTJ 실시간 제약조건을 만족함을 보인다.

  • PDF

이동 전화에 실시간 영상 전송 방법 연구 (Real Time Image Transferring Method to Mobile)

  • 박대혁;홍마리아;김은영;박대원;임영환
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
    • /
    • pp.143-146
    • /
    • 2002
  • 이동 전화로의 실시간 영상 전송 방법의 개념은 긴급상태 발생시 이동 전화에 빠른 경보기능과 현장의 상황을 실시간 영상 전송함으로서 사용자가 긴급상황에 따른 대책을 신속 정확히 할 수 있는 것을 의미한다. 하지만 이동 단말기 시스템 사양과 무선 인터넷 환경의 제약에 의해서 실시간으로 영상을 관측하기에는 다소 곤란하다. 즉 제한된 자원과 협소한 대역폭의 무선 인터넷 환경제약 등을 받는다. 이러한 환경 제약에서 사용자가 만족할 만한 서비스를 하기 위해서는 이동 전화에서 처리할 데이터 양을 최소화하고, 전송할 데이터의 앙도 최소화하는 방법이 유일한 대안이다. 이 논문에서는 실시간으로 캡쳐한 영상을 이동 전화에 전송하기 위하여 영상에서 픽셀의 평균 임계 값을 기준으로 WBMP로 변환하고, WAP PULL 과 PUSH 서비스 기반으로 영상을 실시간 전송하는 방법을 제안한다. 또한 캡쳐한 영상을 WBMP 포맷으로 변환하는 영상변환 필터 (WBMPFilter) 방법과 경보 상황 통보 및 영상을 전송할 수 있는 영상 전송 미디움(WirelessMedium) 방법에 대해 기술한다.

  • PDF