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

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

확률적인 시간 제약 조건을 갖는 실시간 시스템을 위한 과실행 제어 및 합성 기법 (An Overrun Control Method and its Synthesis Method for Real-Time Systems with Probabilistic Timing Constraints)

  • 김강희;황호영
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제32권5호
    • /
    • pp.243-254
    • /
    • 2005
  • 멀티미디어와 같은 연성 실시간 응용들은 서비스 품질을 위해 각 태스크들이 마감시간 전에실행을 마칠 수 있다는 확률적 보장을 요구한다. 시스템 설계자는 태스크들의 확률적 시간 제약 조건을 만족시키는 범위내에서 각 태스크에게 최악 처리기 요구량 보다는 적은 처리기 시간을 할당함으로써 시스템 이용률 향상을 추구할 수 있다. 그러나 각 태스크에게 주어진 처리기 할당량이 최악 요구량보다 적은 경우에는 필연적으로 할당량을 초과하는 요구량을 가진 태스크 작업들, 즉 과실행 작업들이 발생하게 되므로 과실행 작업에 대한 제어 기법이 필요하다. 본 논문에서는 연성 실시간 시스템에서의 확률적인 과실행 제어 기법 및 합성 기법을 제안한다. 제안하는 기법은 우선순위 스케줄링의 기반 위에서 각 태스크가 주어진 확률적 시간 제약 조건을 만족할 수 있도록 과실행을 억제함과 동시에, 태스크 실행시간의 가변성으로 인한 여분의 처리기 시간을 일부 과실행 태스크에 유연하게 할당함으로써 시스템 이용률을 향상 시킬수 있다. 본 논문에서는 시스템 모델의 제시와 실험 결과의 분석을 통하여 제안하는 과실행 제어 기법이 마감시간 위반율 측면에서 기존의 기법들보다 우수함을 보이며, 또한 임의의 확률적 시간 제약 조건이 주어질 때 이를 만족시키는 과실행 제어 기법의 매개 변수들을 합성할 수 있음을 보인다.

버퍼레벨을 이용한 적응형 멀티미디어 동기화 재생 기법 (An Adaptive multimedia Synchronization playback scheme using buffer level)

  • 성경상;황민구;이기성;이근왕;오해석
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2001년도 춘계학술발표논문집 (하)
    • /
    • pp.619-622
    • /
    • 2001
  • 실시간 응용 프로그램은 미디어 데이터간에 만족되어야 할 동기화 제약조건(synchronization constraints)을 가지고 있다. 이러한 제약조건은 프리젠테이션 되어야 할 미디어 데이터간의 지연시간 및 서비스 품질을 나타낸다. 미디어 데이터간의 지연시간 및 서비스 품질을 효율적으로 표현하기 위해서는 이에 적합한 새로운 동기화 기법이 요구된다. 제안된 논문은 가변적 전송 지연 시간을 흡수하면서 미디어 데이터간의 동기화를 수행하는 동적 동기화이다. 즉, 최대 지연 지터 시간을 이용한 동기화 구간 조정과 지연시간의 변화에 따른 가변적 대기 시간을 융통성 있게 처리하여 미디어 데이터간의 동기화 요구를 만족시킬 수 있는 기법이다. 본 논문은 동기화 구간 조정을 처리하기 위해 지연 지터를 적용함으로써 트래픽 증가로 인한 미디어 데이터의 손실 시간 및 지연시간의 변화로 인한 데이터 손실을 감소시켰다. 그리고 스무딩 버퍼의 대기 시간을 가변으로 처리함으로써 지연시간의 변화로 인한 불연속을 감소시켰다. 제안된 논문은 고품질 서비스의 보장을 요구하는 시스템에 적합하며 재생율 증가와 손실율 감소 등 서비스 품질을 향상시켰다.

  • PDF

시간제약 환경에서 다중속성을 이용한 확장된 협상 모델 (An extended negotiation model using multi-issues under time constraint environment)

  • 김현식;양성봉
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 가을 학술발표논문집 Vol.29 No.2 (2)
    • /
    • pp.304-306
    • /
    • 2002
  • 인터넷은 이미 생활의 한 부분이 되었으며 그 중에서 인터넷을 통한 전자상거래가 활발히 진행되고 있다. 그러나 현재의 전자상거래는 판매자가 일방적으로 제시하는 조건(가격)에 구매자는 단순히 거래를 하거나, 제시된 조건을 비교하여 보다 더 좋은 조건을 찾는 수준에 머물러 있으나 향후 전자상거래는 어느 한쪽의 일방적 제시가 아닌 서로의 이익을 최대화 할 수 있는 협상(negotiation)이 필수적이다. 본 논문은 시간제약 환경에서 다중속성을 이용한 협상 모델을 제안하며, 협상에서 고려되는 다중 속성들에 대해 각 에이전트들의 속성 값 변경과 서로의 제안 값 선택 전략을 제시하게 되고, 동일한 형태의 협상 메커니즘별로 두 에이전트간의 협상을 통해 제안한 협상 모델을 평가 한다.

  • PDF

사용자 상호작용 지원 시간 제약 모델 기반 MPEG-4 컨텐츠 저작 시스템 (An MPEG-4 Contents Authoring System based on Temporal Constraints Model supporting User Interaction)

  • 김희선;김상욱
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제9권2호
    • /
    • pp.182-190
    • /
    • 2003
  • MPEG-4와 같은 대화형 미디어의 시간 관계를 위하여 재생 중에 사용자 이벤트에 의하여 객체간 재생 시간과 시간 관계를 동적으로 변화시킬 수 있는 시간 모델이 필요하다. 또한 사용자 이벤트에 의하여 시간 속성이 변경되더라도, 씬의 타당성이 유지되어야 한다. 본 논문에서는 사용자 상호작용을 지원하는 시간 모델을 제안하고, 이를 적용한 MPEG-4 컨텐츠 저작 시스템을 개발하였다. MPEG-4에서 저작 가능한 시간 관계와 시간속성을 변경시키는 사용자 상호작용을 정의하였다. 본 저작 시스템은 시간 관계와 이벤트에 대한 제약 조건을 정의하고, 제약 조건을 검사하여 오류 없는 씬(scene)을 생성할 수 있다. 또한 MPEG-4 씬에 시간관계와 이벤트를 시각적으로 저작하기 위한 저작 환경을 제공하고, 저작된 씬을 인코딩 하여 MPEG-4 스트림을 생성한다.

사용자 제약조건을 고려한 여행추천 프로그램의 개발 (Development of Trip Scheduling Program Consideny User Constraints)

  • 조대수;조신영;임석영;김성규
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2013년도 제48차 하계학술발표논문집 21권2호
    • /
    • pp.279-281
    • /
    • 2013
  • 본 논문은 일정을 고려한 추천여행 프로그램으로써 휴가철 외에도 짧은 휴일 간 사용자의 일정을 고려한 효율적인 여행을 추천해 준다. 이 프로그램은 고성능 컴퓨팅 시스템의 성능을 통해 효율적인 여행루트를 추천한다. 본 연구는 출발지에서 도착지간의 이동시간을 최소화한다. 또한 이 연구는 출발지와 도착지를 입력 하였을 때, 프로그램 내에서 그 거리상에 위치한 추천여행지를 알려준다. 이때 작업을 할당 받은 프로그램은 또 다른 GPS시스템과 일정 프로그램으로 작업을 이주시켜 여행 루트와 일정 작업을 균등하게 유지함으로써 작업의 대기시간을 줄이고, 각 작업의 수행시간을 단축한다. 본 논문에서는 시뮬레이션을 통하여 제안하는 일정을 고려한 추천여행 프로그램이 기존의 스스로 계획하여 떠나는 여행의 우수함을 보인다.

  • PDF

유전알고리즘을 이용한 강의시간표 작성 시스템 설계 (Design A Timetable System Using A Genetic Algorithm)

  • 강명주
    • 한국컴퓨터정보학회:학술대회논문집
    • /
    • 한국컴퓨터정보학회 2011년도 제43차 동계학술발표논문집 19권1호
    • /
    • pp.289-292
    • /
    • 2011
  • 본 논문에서는 유전 알고리즘을 이용한 강의시간표 작성 시스템 설계 방법을 제안한다. 강의시간표는 교과목의 강의시간, 강의실, 교수자 등의 정보를 시간표 테이블에 할당하는 문제이면서 스케줄링 문제이다. 강의시간표로써의 의미를 가지기 위해서는 강의실 중복 회피, 교수의 강의시간 중복회피와 같은 필수 제약조건(Hard Constraint)을 만족해야 한다. 또한, 강의시간표 문제는 NP-Complete 문제로 알려져 있으며 기존의 Exact 알고리즘으로는 최적 해를 구하는 것이 힘들다. 따라서 본 논문에서는 휴리스틱 알고리즘 중의 하나인 유전 알고리즘을 교과목의 강의시간 배정 부분과 강의실 배정 부분을 각각 별도의 부시스템 (Sub-system)으로 나누어 적용하는 방법을 제안한다. 실험 결과 강의시간표로써의 의미를 가질 수 있는 필수 제약 조건을 만족시킬 수 있음을 알 수 있었다.

  • PDF

FDS 응용에 의한 하드웨어 소프트웨어 분할 알고리즘의 시간 복잡도 개선 (Improvement of time complexity of Hardware-Software partitioning algorithm using FDS)

  • 오주영;박효선;박도순
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2000년도 가을 학술발표논문집 Vol.27 No.2 (3)
    • /
    • pp.24-26
    • /
    • 2000
  • 본 논문에서는 FDS를 응용한 하드웨어 분할 방법을 강 제약 조건을 만족하면서 FDS를 응용하는 방법보다 낮은 복잡도의 분할 알고리즘을 제안한다. 기존의 FDS 응용 방법은 힘값 계산에서 종속성에 의해 후위 연산이 받는 영향값을 계산하여야 하므로 이로 인한 시간 복잡도가 가중되었다. 본 논문에서는 이러한 복잡도를 저하시키기 위해 노드의 분포 그래프와 구현에 소요되는 비용, 그리고 해당 파티션에서의 실행시간 등에 의해 상대적 긴박도를 정의하여 분할을 수행하지만, 종속성 검사는 종속성 제약조건에 의한 분포그래프의 변화와 스케쥴에 대해서만 고려되며 힘값 계산에는 고려하지 않는다. 또한, 분할 단계에서 스케쥴링을 함께 고려함으로써 합성 이후에 재 스케쥴링의 부하를 경감할 수 있도록 하였다. 제안 알고리즘 결과는 ILP 결과와 비교 분석하였다.

  • PDF

조선의 일정계획 수정 및 통제 : DAS-REACT (Reactive Scheduling and Control for Shipbuilding : DAS-REACT)

  • 이정승;이재규;최형림
    • 지능정보연구
    • /
    • 제2권1호
    • /
    • pp.59-73
    • /
    • 1996
  • 전체적인 조선 생산일정계획을 수립하기 위해서 계층적 구조를 채택하였다. 이 구조에 의하면 도크의 상위 일정계획 생성기는 탑재 일정계획을 생성하고, 조립공정의 하위 일정계획 생성기는 상위 일정계획 생성기가 요구하는 범위 내에서 각각 세부적인 조립 일정계획을 세우게 된다. 그런데 하위 일정계획 생성기가 아무리 노력하여도 상위 일정계획 생성기로부터의 제약조건을 만족시킬 수 없는 상황이 발생하면, 일정계획 수정기에 통보하여 초기 탑재 일정계획을 수정해야 한다. 하위 일정계획 생성기로부터의 조정요청을 반영하기 위해서 부분 수정을 통해 충격을 최소화시키는 일련의 휴리스틱으로 구성된 알고리즘을 제시하였다. 각각의 휴리스틱은 여유시간 제거, 버퍼 제거, 작업시간 축소, 다단계 여유시간 제거, 과부하 자원 공유블럭 조정, 자원 제약조건 완화 등이고, 흡수되지 않은 일부의 충격은 주변으로 전파된다. 이와같은 방법론을 대우조선의 상황에 적용하여, 조선일정계획 수정 시스템인 DAS-REACT를 개발하였다.

  • PDF

머신러닝 기법올 적용한 CS-RANSAC 알고리즘 (CS-RANSAC Algorithm using Machine Learning Technique)

  • 고승현;윤의녕;주마벡;조근식
    • 한국정보처리학회:학술대회논문집
    • /
    • 한국정보처리학회 2016년도 추계학술발표대회
    • /
    • pp.632-635
    • /
    • 2016
  • 증강현실에서 영상과 증강된 콘텐츠 간의 이질감을 줄이기 위해서 정확한 호모그래피 행렬을 추정해야 하며, 정확한 호모그래피 행렬을 추정할때 RANSAC 알고리즘이 널리 사용된다. 그러나 RANSAC 알고리즘은 랜덤 샘플링 과정을 반복적으로 거치기 때문에 불필요한 연산 과정이 발생하고 이로 인해 알고리즘의 효율이 저하된다. 이러한 단점을 극복하기 위해 DCS-RANSAC 알고리즘이 제안되었다. 제안된 DCS-RANSAC 알고리즘은 이미지를 특징점 분포 패턴에 따라 그룹으로 분류하고 각 그룹에 제약조건 문제를 적용하여 불필요한 연산 과정을 줄이고 정확도를 향상시킨 알고리즘이다. 그러나 DCS-RANSAC 알고리즘에서 사용된 이미지 그룹 데이터는 수동적인 방법을 통해 직관적으로 분류되어 있지만 특징점 분포 패턴이 다양하지 않아 분류시 정확도가 저하되는 경우가 있다. 위의 문제점을 해결하기 위해 본 논문에서는 머신러닝 기법을 통해 이미지들을 자동으로 분류하고 각 그룹마다 각기 다른 제약조건을 적용하는 MCS-RANSAC 알고리즘을 제안한다. 제안하는 알고리즘은 머신러닝 기법을 사용하여 전처리 단계에서 이미지를 분류하고 분류된 이미지에 제약조건을 적용시켜 알고리즘의 처리시간을 줄이고 정확도를 향상시켰다. 실험 결과 본 논문에서 제안하는 MCS-RANSAC은 DCS-RANSAC 알고리즘에 비해 수행시간이 약 6% 단축되었고 호모그래피 오차율은 약 15% 줄어들었으며 참정보 비율은 2.8% 증가한 것으로 확인되었다.

데이터 웨어하우스에서 참조 무결성 제약 조건을 이용한 병렬 뷰 일관성 관리 기법 (Parallel View Consistency Maintenance Using Referential Integrity Constraints in Data Warehouse Environment)

  • 이병숙;김진호;옥수호;이우기
    • 한국정보과학회:학술대회논문집
    • /
    • 한국정보과학회 2002년도 봄 학술발표논문집 Vol.29 No.1 (B)
    • /
    • pp.40-42
    • /
    • 2002
  • 데이터 웨어하우스는 물리적으로 여러 사이트에 위치한 분산된 데이터 소스로부터 추출한 온라인 분석 정보를 유지하는 실체 뷰 의 집합으로 구성된다. 따라서 데이터 소스에 변경 사항이 발생하면 데이터 웨어하우스와 일관성을 유지하기 위해 뷰에도 그 변경사항을 반영하는 뷰 관리가 필요하다 동시에 변경되는 여러 데이터 소스와 뷰의 상태 사이에 일관성을 보장하기 위해서는 각 소스의 변경 사항을 순서대로 뷰에 반영해야 한다. 이때 각 소스의 변경 사항을 뷰 정의와 관련된 다른 소스들과 조인을 수행해야 하는 등 뷰 갱신을 위해 많은 비용이 소요된다. 이러한 뷰 갱신 비용을 줄이는 방법중의 하나로 병렬처리 기법을 활용하는 연구가 시도되고 있다. 따라서 이 논문에서는 뷰의 일관성을 보장하기 위해 수행해야 하는 서브질의론 병렬로 처리하는 알고리즘을 제시하였다. 이 방법에서는 서브질의의 조인 연산들을 소스 렐레이션들 간의 참조 무결성 제약 조건을 이용하여 병렬로 처리한다. 질의의 조인 처리를 병렬화 하기 위해 소스 릴레이션간의 참조 무결성 제약조건의 툭송울 이용하여, 여러 릴레이션을 참조하는 릴레이션에서 발생하는 변경 사항에 대해 참조하는 릴레이션의 수만큼 병렬로 조인 연산을 수행하는 알고리즘을 제시하였다. 이렇게 함으로써 여러 소스 릴레이션의 조인으로 구성된 실체 뷰를 갱신하는 시간을 크게 단축하여 효율적으로 뷰를 관리하도록 하였으며, 소스의 증가에 따른 뷰 갱신 시간의 증가를 줄일 수 있도록 하였다.

  • PDF