• Title/Summary/Keyword: 시간제약조건

Search Result 575, Processing Time 0.033 seconds

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

  • Kim, Kang-Hee;Hwang, Ho-Young
    • Journal of KIISE:Computer Systems and Theory
    • /
    • v.32 no.5
    • /
    • pp.243-254
    • /
    • 2005
  • Soft real-time applications such as multimedia feature highly variable processor requirements and probabilistic guarantees on deadline misses, meaning that each task in the application meets its deadline with a given probability. Thus, for such soft real-time applications, a system designer may want to improve the system utilization by allocating to each task a processor time less than its worst-case requirement, as long as the imposed probabilistic timing constraint is met. In this case, however, we have to address how to schedule jobs of a task that require more than (or, overrun) the allocated processor time to the task. In this paper, to address the overrun problem, we propose an overrun control method, which probabilistically controls the execution of overrunning jobs. The proposed overrun control method probabilistically allows overrunning jobs to complete for better system utilization, and also probabilistically prevents the overrunning jobs from completing so that the required probabilistic timing constraint for each task can be met. In the paper, we show that the proposed method outperforms previous methods proposed in the literature in terms of the overall deadline miss ratio, and that it is possible to synthesize the scheduling parameters of our method so that all tasks can meet the given probabilistic timing constraints.

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

  • Sung, Kyung-Sang;Hwang, Min-Koo;Yi, Gi-Sung;Lee, Kuen-Wang;Oh, Hae-Seok
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2001.04b
    • /
    • pp.619-622
    • /
    • 2001
  • 실시간 응용 프로그램은 미디어 데이터간에 만족되어야 할 동기화 제약조건(synchronization constraints)을 가지고 있다. 이러한 제약조건은 프리젠테이션 되어야 할 미디어 데이터간의 지연시간 및 서비스 품질을 나타낸다. 미디어 데이터간의 지연시간 및 서비스 품질을 효율적으로 표현하기 위해서는 이에 적합한 새로운 동기화 기법이 요구된다. 제안된 논문은 가변적 전송 지연 시간을 흡수하면서 미디어 데이터간의 동기화를 수행하는 동적 동기화이다. 즉, 최대 지연 지터 시간을 이용한 동기화 구간 조정과 지연시간의 변화에 따른 가변적 대기 시간을 융통성 있게 처리하여 미디어 데이터간의 동기화 요구를 만족시킬 수 있는 기법이다. 본 논문은 동기화 구간 조정을 처리하기 위해 지연 지터를 적용함으로써 트래픽 증가로 인한 미디어 데이터의 손실 시간 및 지연시간의 변화로 인한 데이터 손실을 감소시켰다. 그리고 스무딩 버퍼의 대기 시간을 가변으로 처리함으로써 지연시간의 변화로 인한 불연속을 감소시켰다. 제안된 논문은 고품질 서비스의 보장을 요구하는 시스템에 적합하며 재생율 증가와 손실율 감소 등 서비스 품질을 향상시켰다.

  • PDF

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

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

  • PDF

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

  • 김희선;김상욱
    • Journal of KIISE:Computing Practices and Letters
    • /
    • v.9 no.2
    • /
    • pp.182-190
    • /
    • 2003
  • For temporal relations of interactive media such as MPEG-4, it is necessary for a temporal model that can update dynamically presentation time and temporal relations among objects by user events occurring during playback. Also, 811hough the temporal attributes are changed by user events, the validity of scene must be maintained. In this paper, we propose a temporal model that supports user interaction and developed an MPES-4 contents authoring system applying this model. We define the temporal relations of MPEG-4 that tan be authored and user interactions that can change the temporal properties. This authoring system defines the constraints on temporal relations and events and can generate the scene without error by checking the constraints. Also it provides the authoring environment to author visual]y temporal relations and events in MPEG-4 scene and generates the MPEG-4 stream by encoding the authored scene.

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

  • Cho, Dae-Soo;Cho, Sin-Young;Im, Suk-Young;Kim, Seong-Gyu
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2013.07a
    • /
    • pp.279-281
    • /
    • 2013
  • 본 논문은 일정을 고려한 추천여행 프로그램으로써 휴가철 외에도 짧은 휴일 간 사용자의 일정을 고려한 효율적인 여행을 추천해 준다. 이 프로그램은 고성능 컴퓨팅 시스템의 성능을 통해 효율적인 여행루트를 추천한다. 본 연구는 출발지에서 도착지간의 이동시간을 최소화한다. 또한 이 연구는 출발지와 도착지를 입력 하였을 때, 프로그램 내에서 그 거리상에 위치한 추천여행지를 알려준다. 이때 작업을 할당 받은 프로그램은 또 다른 GPS시스템과 일정 프로그램으로 작업을 이주시켜 여행 루트와 일정 작업을 균등하게 유지함으로써 작업의 대기시간을 줄이고, 각 작업의 수행시간을 단축한다. 본 논문에서는 시뮬레이션을 통하여 제안하는 일정을 고려한 추천여행 프로그램이 기존의 스스로 계획하여 떠나는 여행의 우수함을 보인다.

  • PDF

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

  • Kang, Myung-Ju
    • Proceedings of the Korean Society of Computer Information Conference
    • /
    • 2011.01a
    • /
    • pp.289-292
    • /
    • 2011
  • 본 논문에서는 유전 알고리즘을 이용한 강의시간표 작성 시스템 설계 방법을 제안한다. 강의시간표는 교과목의 강의시간, 강의실, 교수자 등의 정보를 시간표 테이블에 할당하는 문제이면서 스케줄링 문제이다. 강의시간표로써의 의미를 가지기 위해서는 강의실 중복 회피, 교수의 강의시간 중복회피와 같은 필수 제약조건(Hard Constraint)을 만족해야 한다. 또한, 강의시간표 문제는 NP-Complete 문제로 알려져 있으며 기존의 Exact 알고리즘으로는 최적 해를 구하는 것이 힘들다. 따라서 본 논문에서는 휴리스틱 알고리즘 중의 하나인 유전 알고리즘을 교과목의 강의시간 배정 부분과 강의실 배정 부분을 각각 별도의 부시스템 (Sub-system)으로 나누어 적용하는 방법을 제안한다. 실험 결과 강의시간표로써의 의미를 가질 수 있는 필수 제약 조건을 만족시킬 수 있음을 알 수 있었다.

  • PDF

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

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

  • PDF

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

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

  • PDF

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

  • Ko, Seunghyun;Yoon, Ui-Nyoung;Alikhanov, Jumabek;Jo, Geun-Sik
    • Proceedings of the Korea Information Processing Society Conference
    • /
    • 2016.10a
    • /
    • 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 (데이터 웨어하우스에서 참조 무결성 제약 조건을 이용한 병렬 뷰 일관성 관리 기법)

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

  • PDF