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

Search Result 575, Processing Time 0.028 seconds

Reduced State Graph Generation for Efficient Synthesis of Asynchronous Circuits with Timing Constraints (시간제약조건을 가진 비동기 회로의 효율적 합성을 위한 축소상태그래프의 생성)

  • 고기웅;김의석;이동익;서범수
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10a
    • /
    • pp.610-612
    • /
    • 2001
  • 시간 제약 조건을 가진 타임드 페트리넷으로부터 최적화된 비동기식 제어회로를 생성하기 위해서는 시간 분석을 통하여 도달 가능한 상태만으로 구성된 축소 상태 그래프를 생성하는 작업이 매우 중요하다. 본 논문에서는 기존의 방법들이 적용 가능한 타임드 페트리넷의 범주에 제약을 가하거나 혹은 회로의 합성과는 직접적인 상관없이 시간 분석을 위하여 대규모의 시간 상태 그래프를 부가적으로 생성하는 문제를 해결하기 위하여 타임드 페트리넷으로부터 축소된 시간 상태 그래프를 직접적으로 생성하는 방법을 제안 한다 실험 결과는 제안된 방법이 모든 범주의 타임드 페트리넷으로부터 빠른 시간 내에 합성에 충분한 축소된 상태그래프를 생성함을 보여준다.

  • PDF

An Efficient Algorithm to Minimize Total Error of the Imprecise Real Time Tasks with 0/1 Constraint (0/1 제약조건을 갖는 부정확한 실시간 태스크들의 총오류를 최소화시키는 효율적인 알고리즘)

  • Song, Gi-Hyeon
    • Journal of the Korea Computer Industry Society
    • /
    • v.7 no.4
    • /
    • pp.309-320
    • /
    • 2006
  • The imprecise real-time system provides flexibility in scheduling time-critical tasks. Most scheduling problems of satisfying both 0/1 constraint and timing constraints, while the total error is minimized, are NP-complete when the optional tasks have arbitrary processing times. Liu suggested a reasonable strategy of scheduling tasks with the 0/1 constraint on uniprocessors for minimizing the total error. Song et al suggested a reasonable strategy of scheduling tasks with the 0/1 constraint on multiprocessors for minimizing the total error. But, these algorithms are all off-line algorithms. In the online scheduling, NORA algorithm can find a schedule with the minimum total error for the imprecise online task system. In the NORA algorithm, the EDF strategy is adopted in the optional scheduling.<중략> The algorithm, proposed in this paper, can be applied to some applications efficiently such as radar tracking, image processing, missile control and so on.

  • PDF

Temporal Constraint Model for User Interaction of MPEG-4 (MPEG-4 의 사용자 상호작용을 위한 시간 계약 모델)

  • 김희선;김상욱
    • Proceedings of the Korea Multimedia Society Conference
    • /
    • 2001.06a
    • /
    • pp.57-61
    • /
    • 2001
  • MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다. 본 논문에서는 MPEG-4 컨텐츠를 저작할 때, 사용자 상호작용에 의하여 변화하는 시간 관계에 대한 제약 조건을 모델링한다. 또한 모델링된 시간 제약 모델에 기반한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio 에 대하여 기술한다. 이 MPEG-4 Studio는 사용자가 저작한 시간 제약에 딸라 MPEG-4 컨텐츠를 재생하는 중요한 연구이다.

  • PDF

Development of CPLD Technology Mapping Algorithm Improving Run-Time under Time Constraint (시간제약 조건하에서 수행시간을 개선한 CPLD 기술 매핑 알고리즘 개발)

  • 윤충모;김희석
    • Journal of the Korea Society of Computer and Information
    • /
    • v.4 no.4
    • /
    • pp.15-24
    • /
    • 1999
  • In this paper, we propose a new CPLD technology mapping algorithm improving run-time under time constraint. In our technology mapping algorithm, a given logic equation is constructed as the DAG type, then the DAG is reconstructed by replicating the node that outdegree is more than or equal to 2. As a result. it makes delay time and the number of CLBs, run-time to be minimized. Also, after the number of multi-level is defined and cost of each nodes is calculated, the graph is partitioned in order to fit to k that is the number of OR term within CLB. The partitioned nodes are merged through collapsing and bin packing is performed in order to fit to the number of OR term within CLB.

  • PDF

Performance Re-engineering of Embedded Real-Time Systems (내장 실시간 시스템에서의 성능 재조정)

  • 박정근;유민수;홍성수
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 1999.10c
    • /
    • pp.179-181
    • /
    • 1999
  • 본 논문에서는 내장 실시간 시스템(real-time embedded system)에서의 성능 재조정(re-engineering) 문제를 다룬다. 성능 재조정 문제는 하드웨어와 소프트웨어가 이미 구현된 상태에서 새로운 성능조건이 요구될 때 이를 만족시키도록 시스템을 수정하는 문제이다. 본 논문에서의 성능 요구조건은 시간당 처리량(throughput)이나 입출력 지연시간(input-output latency)등이 고려된다. 제안된 방법은 병목점 분석(bottleneck analysis)과 비선형 최적화를 이용한다. 이를 위해 프로세스 네트워크(process network)로 표현된 시스템 디자인과 태스크 그래프, 태스크 할당(allocation)과 스케쥴링, 그리고 새로운 성능조건인 실시간 처리량을 입력으로 사용한다. 제안된 방법은 두 단계로 구성된다. 첫째, 프로세스 네트워크에서 프로세스의 지연시간을 계산하여 병목이 되는 프로세스를 찾아낸다. 둘째, 프로세싱 요소의 성능 개선율(performance scaling factor)을 변수로 하여 주어진 성능을 만족시키기 위한 시스템 제약조건을 유도한다. 이를 사용하여 하드웨어의 업그레이드 비용을 최소화하도록 제약조건을 풀고 각 프로세싱 요소(processing element)에 필요한 성능개선율을 구한다. 제안된 방법은 기존에 구성된 소프트웨어의 구조를 고치기 않기 때문에 재조정의 시간을 줄일 수 있게 한다.

  • PDF

Reasoning of Uncertain Constraints in a Generalized Job-shop Scheduling (불확정제약조건의 추론에 의한 일반화된 job-shop의 일정계획)

  • 정남기;정승영;서민수
    • Journal of Intelligence and Information Systems
    • /
    • v.3 no.2
    • /
    • pp.71-82
    • /
    • 1997
  • 이 연구의 모형은, 자원(기계, 인력), 주문(작업)의 의미를 확정한 "일반화된 job-shop"이다. 이 모형의 제약조건을 파악한 후, 불확정 제약조건의 표현과 추론방법을 연구하였으며, 이를 위하여 일정계획 수립 기능들을 모듈화하였다. 불확정제약조건에 따라 모듈들을 선택적으로 사용하기 위한 추론 과정은, 먼저, 납기만족이 우선이며 제약만족(CSP) 일정계획 모듈을 사용하고 그렇지 않으면 디스패칭 모듈을 사용한다. 그리하여, 납기, 작업시간의 불확정성과 자원의 변동, 새 주문의 추가, 일정계획 목표의 변경등을 반영하는 일정계획 수립방법을 제시하였다. 이 논문은 제약만족 일정계획과 디스패칭 일정계획을 하나의 틀에서 함께 사용함으로써, 일정계획 목표의 변경이나 제조환경이 변화에 대처할 수 있음을 보인다.수 있음을 보인다.

  • PDF

Design of a Multiagent-based Lecture-timetabling Automation System using the Properties of Distributed Constraint Satisfaction (분산 제약조건 만족 특성을 이용한 다중 에이전트 기반 강의 시간표 자동화 시스템 설계)

  • 황경순;전중남;이건명
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04b
    • /
    • pp.283-285
    • /
    • 2002
  • 강의시간표 문제(Lecture timetabling Problem)는 일주일을 기본으로 하는 특정 시간대 별로 학생(Course-class), 교수, 그리고 강의실과 같은 자원에 대한 스케줄링 문제로서 각각의 자원에 대하여 적절한 조합으로 제약조건들 사이의 충돌을 최소화하여 자원을 배치하는 할당문제이다. 강의시간표 문제는 수천 명 학생들에 대하여 개개인의 시간표를 작성해야 하므로 기하급수적으로 증가하는 탐색공간에 대하여 최악의 경우 탐색 시간이 지수적으로 증가하는 NP-complete Problem이다. 이러한 거대하고 복잡한 강의시간표 문제는 계층적으로 분할하여 기능별로 처리하면서 제약조건을 협상하도록 하는 각 모듈 단위의 에이전트를 구성하므로 좀 더 작고 단순한 문제로 변환될 수 있다. 본 논문에서는 방대한 탐색 공간과 과잉-제약조건(Over-constraint)문제의 하나인 강의시간표 작성 문제를 분산제약조건 만족 문제 특성을 이용하고 다중 에이전트 구조를 사용하여 해결하는 강의시간표 자동화 시스템 설계를 제안한다.

  • PDF

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

  • 김희선;김상욱
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2001.10b
    • /
    • pp.280-282
    • /
    • 2001
  • MPEG-4 컨텐츠는 다양한 사용자 상호작용에 의하여 장면과 객체의 재생 시간이 동적으로 변화하는 특징이 있다[1-2]. 그러므로 MPEG-4 컨텐츠를 생성할 때, 사용자 이벤트에 의하여 변화하는 시간 관계의 저작은 중요하다. 본 논문에서는 사용자 상호작용에 의하여 멀티미디어 객체간 시간 관계와 재생 시간, 재생 순서가 변화하는 시간 제약 모델을 제안한다. 그리고, 사용자 상호작용 지원 시간 제약 모델에 기반 한 MPEG-4 컨텐츠 저작 시스템인 MPEG-4 Studio를 제안한다. MPEG-4 Studio는 동적인 시간 관계를 지원하기 위하여 시간 관계 설정 GUI와 시간 관계 설정에 대한 제약 조건 검사, 시간 관계 정보에 대한 BIFS 변환을 제공하여 동적 시간 관계 정보를 포함한 MPEG-4 컨텐츠를 생성한다.

  • PDF

Finding Alternative Routes in Inter Modal Transit Networks Considering Constraints (제약조건을 고려한 통합대중교통망의 대안경로탐색)

  • Lee Mee-Young;Baek Nam-Chul
    • The Journal of The Korea Institute of Intelligent Transport Systems
    • /
    • v.4 no.1 s.6
    • /
    • pp.1-13
    • /
    • 2005
  • For integrated transit networks operated with diverse transit modes, it is difficult to find related literatures on the provision of multiple travel time routes information. This study proposes a methodology on how to select K number of least time transit routes in the integrated transit network with two modes, bus and subway. In the Proposed method, three constraints usually (will be) encountered for decision by users-(1) service time constraints of travel modes, (2) maximum payment fare constraints under the integrated distance based fare system, and (3) maximum number of transfer constraints - are taken into consideration in the searched routes. The experimental studies shows that the proposed method properly provides K number of least time routes. In addition, it somehow proves that by combinatorially considering three constraints the proposed method can be evaluated as to enlarge the quality as well as the diversity of route information demanded by users.

  • PDF

Application of a Penalty Function to Improve Performance of an Automatic Calibration for a Watershed Runoff Event Simulation Model (홍수유출 모형 자동 보정의 벌칙함수를 이용한 기능 향상 연구)

  • Kang, Taeuk;Lee, Sangho
    • Journal of Korea Water Resources Association
    • /
    • v.45 no.12
    • /
    • pp.1213-1226
    • /
    • 2012
  • Evolutionary algorithms, which are frequently used in an automatic calibration of watershed runoff simulation models, are unconstrained optimization algorithms. An additional method is required to impose constraints on those algorithms. The purpose of the study is to modify the SCE-UA (shuffled complex evolution-University of Arizona) to impose constraints by a penalty function and to improve performance of the automatic calibration module of the SWMM (storm water management model) linked with the SCE-UA. As indicators related to peak flow are important in watershed runoff event simulation, error of peak flow and error of peak flow occurrence time are selected to set up constraints. The automatic calibration module including the constraints was applied to the Milyang Dam Basin and the Guro 1 Pumping Station Basin. The automatic calibration results were compared with the results calibrated by an automatic calibration without the constraints. Error of peak flow and error of peak flow occurrence time were greatly improved and the original objective function value is not highly violated in the automatic calibration including the constraints. The automatic calibration model with constraints was also verified, and the results was excellent. In conclusion, the performance of the automatic calibration module for watershed runoff event simulation was improved by application of the penalty function to impose constraints.