• 제목/요약/키워드: worst-case bound

검색결과 43건 처리시간 0.03초

Customer Order Scheduling in a Two Machine Flowshop

  • Yang, Jae-Hwan
    • Management Science and Financial Engineering
    • /
    • 제17권1호
    • /
    • pp.95-116
    • /
    • 2011
  • This paper considers a flowshop scheduling problem where a customer orders multiple products (jobs) from a production facility. The objectives are to minimize makespan and to minimize the sum of order (batch) completion times. The order cannot be shipped unless all the products in the order are manufactured. This problem was motivated by numerous real world problems encountered by a variety of manufacturers. For the makespan objective, we develop an optimal solution procedure which runs in polynomial time. For the sum of order completion time objective, we establish the complexity of the problem including several special cases. Then, we introduce a simple heuristic and find an asymptotically tight worst case bound on relative error. Finally, we conclude the paper with some implications.

단일 추가제약을 갖는 조합최적화문제를 위한 실용적 완화해법의 계산시간 분석 (A complexity analysis of a "pragmatic" relaxation method for the combinatorial optimization with a side constraint)

  • 홍성필
    • 한국경영과학회지
    • /
    • 제25권1호
    • /
    • pp.27-36
    • /
    • 2000
  • We perform a computational complexity analysis of a heuristic algotithm proposed in the literature for the combinatorial optimization problems extended with a single side-constraint. This algorithm, although such a view was not given in the original work, is a disguised version of an optimal Lagrangian dual solution technique. It also has been observed to be a very efficient heuristic producing near-optimal solutions for the primal problems in some experiments. Especially, the number of iterations grows sublinearly in terms of the network node size so that the heuristic seems to be particularly suitable for the applicatons such as routing with semi-real time requirements. The goal of this paper is to establish a polynomal worst-case complexity of the algorithm. In particular, the obtained complexity bound suports the sublinear growth of the required iterations.

  • PDF

A Study on the Minimization of Layout Area for FPGA

  • Yi, Cheon-Hee
    • 반도체디스플레이기술학회지
    • /
    • 제9권2호
    • /
    • pp.15-20
    • /
    • 2010
  • This paper deals with minimizing layout area of FPGA design. FPGAs are becoming increasingly important in the design of ASICs since they provide both large scale integration and user-programmability. This paper describes a method to obtain tight bound on the worst-case increase in area when drivers are introduced along many long wires in a layout. The area occupied by minimum-area embedding for a circuit can depend on the aspect ratio of the bounding rectangle of the layout. This paper presents a separator-based area-optimal embeddings for FPGA graphs in rectangles of several aspect ratios which solves the longest path problem in the constraint graph.

동적 우선순위 상한 프로토콜의 스케줄링 가능성 조건 개선 (An Improvement of the Schedulability Condition in Dynamic Priority Ceiling Protocol)

  • 오성흔;양승민
    • 한국정보과학회논문지:시스템및이론
    • /
    • 제28권11호
    • /
    • pp.573-580
    • /
    • 2001
  • 실시간 시스템에서 태스크가 공유 자원을 사용할 때 제한되지 않은 우선순위 역전이 발생할 수 있다. 이는 실시간 태스크의 스케줄링 가능성 보장을 불가능하게 한다. 따라서 우선순위 역전을 제한하는 자원 접근 프로토콜들이 연구되었으며 주기적 태스크 집합의 스케줄링 가능성 분석을 위한 충분조건이 제시되었다. 본 논문에서는 동적 우선순위 상한 프로토콜을 사용할 경우 개선된 스케줄링 가능성 충분조건을 제시한다. 제시된 방법에서는 높은 우선순위의 태스크들의 마감시간을 놓치지 않는 범위 내에서 낮은 우선순위를 가진 태스크가 계속 수행될 수 있다는 사실을 이용하였다. 이렇게 함으로써 높은 우선순위를 가진 태스크가 낮은 우선순위를 가진 태스크를 위해서 허용해 줄 수 있는 시간은 높은 우선순위를 가진 태스크의 최악 블록킹 시간에서 제외될 수 있다. 태스크의 최악 블록킹 시간이 감소하게 되므로 동적 우선순위 상한 프로토콜의 스케줄링 가능성 충분조건은 개선된다.

  • PDF

ARM용 내장형 소프트웨어의 정적인 수행시간 분석 도구 (Static Timing Analysis Tool for ARM-based Embedded Software)

  • 황요섭;안성용;심재홍;이정아
    • 한국정보과학회논문지:컴퓨팅의 실제 및 레터
    • /
    • 제11권1호
    • /
    • pp.15-25
    • /
    • 2005
  • 내장형 시스템에서 응용 프로그램을 구동시킬 때는 일련의 태스크들의 집합을 수행하여야 한다. 이러한 태스크들은 특정 하드웨어로 구현 될 수도 있고, 특정 프로세서에서 구동되는 소프트웨어로 구현될 수도 있다. 내장형 시스템에서 응용 프로그램을 구동시키기 위하여 하드웨어/소프트웨어의 자원 선택 및 작업 분할이 필요하게 되고 이때 하드웨어 및 소프트웨어의 성능 예측이 이용된다. 하드웨어 성능 예측과 달리 소프트웨어 성능 예측은 구동 환경과 밀접한 관계가 있으며, 하드웨어 소프트웨어 통합 설계를 위하여 최적 및 최악의 수행 시간 경계를 예측하는 것은 중요한 문제이다. 수행 시간 경계의 엄격한 예측은 저 비용의 프로세서를 사용할 수 있게 하며, 시스템 비용을 낮추는데 도움을 준다. 본 논문에서는 ARM용 내장형 시스템을 고려하여, loop문의 반복 횟수 경계 값과 프로그램의 추가적인 경로 호출 정보를 이용하여, 수행 시간의 경계를 최대한 실제 값에 접근하도록 예측하는 도구를 개발하였다. 개발된 도구는 현재 i960과 m68k 아키텍처를 지원하는 "Cinderella"라는 시간 분석 도구를 기본 도구로 활용하고 있다. ARM 프로세서를 지원하기 위하여 제어흐름과 디버깅 정보를 추출할 수 있는 ARM ELF 목적 파일 모듈을 추가하고, ARM 명령어 집합을 처리할 수 있는 모듈을 기존 도구에 추가하였다. 여러 가지 벤치마크 프로그램을 대상으로 실시한 실험 결과, 임의의 입력 데이타를 이용하고 수행 횟수를 고려한 ARMulator의 수행 시간이 구현된 도구에서의 정적인 수행 시간 예측 경계 값으로 들어오는 것을 확인할 수 있었다.

광 베니언-형 교환 망에서의 누화를 회피하기 위한 교환소자를 달리하는 멀티캐스트 스케줄링(제1부):누화 관계의 그래프 이론적 분석 (Switching Element Disjoint Multicast Scheduling for Avoiding Crosstalk in Photonic Banyan-Type Switching Networks(Part I):Graph Theoretic Analysis of Crosstalk Relationship)

  • 차영환
    • 한국정보과학회논문지:정보통신
    • /
    • 제28권3호
    • /
    • pp.447-453
    • /
    • 2001
  • 본 논문에서는 방향성 커플러를 이용하여 구성한 광 베니언-형 교환 망에 있어 교환소자를 달리하는 멀티캐스팅의 스케줄링을 고려한다. 임의의 주어진 시각에 최대한 하나의 접속만이 각각의 교환소자를 점유하기 때문에 블록킹은 물론 누화가 발생하지 않도록 보장된다. 이러한 멀티캐스팅에서는 대개 수차례 걸친 라우팅이 수반되므로 라우팅 횟수를 최소한으로 하는 것이 바람직하다. 먼저 일-대-다 접속 능력을 제공하는 광 베니언-형 망에서 접속들이 동일한 교환소자를 경유하기 위한 필요충분 조건을 제시한다. 멀티캐스트 접속을 일정한 부분접속들로 분할 하는 규칙을 정의하고 부분접속들간의 누화 관계를 그래프로 표현한다. 최악의 경우의 누화를 분석하기 위해 그래프차수의 상한을 제시한다. 후속 논문(제2부)[14]에서는 스케줄링 알고리즘과 스케줄링 길이의 상한을 고찰하고 관련 연구결과와의 상세한 비교를 다룬다.

  • PDF

The Profibus Timed Token MAC Protocol for Real-Time Communications

  • Lee, Hong-Hee;Kim, Gwan-Su;Jung, Eui-Heon
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 2003년도 ICCAS
    • /
    • pp.691-694
    • /
    • 2003
  • This paper describes how to use Profibus networks to support real-time industrial communications, that is, how to ensure the transmission of real-time messages within a maximum bound time. Profibus is based on a simplified timed token protocol, which is a well-proved solution for the real-time communication systems. However, Profibus differs from the timed token protocol, thus the usual timed token protocol has to be modified in order to be applied in Profibus. In fact, the real-time solutions for networks based on the timed token protocol rely on the possibility of allocating specific bandwidth for the real-time traffic. This means that a minimum amount of time to transmit the real-time messages is always guaranteed whenever each token is arrived. In other words, with the Profibus protocol, at least, one real-time message should be transmitted per every token visit in the worst case. It is required to control medium access properly to satisfy the message deadlines. In this paper, we have presented how to obtain the optimal network parameter for the Profibus protocol. The selected network parameter is valid regardless of the behavior of asynchronous messages.

  • PDF

가전제품용 경첩의 신뢰성 추정 (Reliability Estimation of Door Hinge for Rome Appliances)

  • 김진우;신재철;김명수;문지섭
    • 대한기계학회논문집A
    • /
    • 제29권5호
    • /
    • pp.689-697
    • /
    • 2005
  • This paper presents the reliability estimation of door hinge for home appliances, which consists of bushing and shaft. The predominant failure mechanism of bushing made of polyoxymethylene(POM) is brittle fracture due to decrease of strength caused by voids existing, and that of shaft made of acrylonitrile-butadiene-styrene(ABS) is creep due to plastic deformation caused by excessive temperature and lowering of glass transition temperature by absorbed moisture. Since the brittle fracture of bushing is overstress failure mechanism, the load-strength interference model is used to estimate the failure rate of it along with failure analysis. By the way, the creep of shaft is wearout failure mechanism, and an accelerated life test is then planned and implemented to estimate its lifetime. Through the technical review about failure mechanism, temperature and humidity are selected as accelerating variables. Assuming Weibull lifetime distribution and Eyring model, the life-stress relationship and acceleration factor, $B_{10}$ life and its lower bound with $90\%$ confidence at worst case use condition are estimated by analyzing the accelerated life test data.

가전제품용 경첩의 신뢰성 추정 (Reliability Estimation of Door Hinge for Home Appliances)

  • 문지섭;김진우;이재국;이희진;신재철;김명수
    • 한국신뢰성학회:학술대회논문집
    • /
    • 한국신뢰성학회 2004년도 정기학술대회
    • /
    • pp.303-311
    • /
    • 2004
  • This paper presents the reliability estimation of door hinge for home appliances, which consists of bushing and shaft. The predominant failure mechanism of bushing made of polyoxymethylene(POM) is brittle fracture due to decrease of strength caused by voids existing, and that of shaft made of acrylonitrile-butadiene-styrene(ABS) is creep due to plastic deformation caused by excessive temperature and lowering of glass transition temperature by absorbed moisture. Since the brittle fracture of bushing is overstress failure mechanism, the load-strength interference model is used to estimate the failure rate of it along with failure analysis. By the way, the creep of shaft is wearout failure mechanism, and an accelerated life test is then planned and implemented to estimate its lifetime. Through the technical review about failure mechanism, temperature and humidity are selected as accelerating variables. Assuming Weibull lifetime distribution and Eyring model, the life-stress relationship and acceleration factor, B$_{10}$ life and its lower bound with 90% confidence at worst case use condition are estimated by analyzing the accelerated life test data.a.

  • PDF

계층적 FIFO : 프레임 기반 패킷 전송 스케쥴링 기법을 위한 지연 감축 방안 (HFIFO(Hierarchical First-In First-Out) : A Delay Reduction Method for Frame-based Packet Transmit Scheduling Algorithm)

  • 김휘용;유상조;김성대
    • 한국통신학회논문지
    • /
    • 제27권5C호
    • /
    • pp.486-495
    • /
    • 2002
  • 본 논문에서는 프레임 기반 패킷 전송 스케쥴링을 위한 지연 감축 방안을 제안한다. ATM과 같은 초고속 통신망은 사용자에게 대역폭과 패킷 지연과 같은 성능을 보장하여야 한다. 스케쥴링 방법에 있어 프레임 기반 구조는 사용자에게 요구되는 대역폭의 지원과 간단한 레이트-제어 방법을 제공하지만 나쁜 지연 특성을 가지게 된다. 본 논문에서 제안한 지연 감축 방법은 HRR (Hierarchical Round-Robin)과 같은 계층적 프레임 구조를 사용하지만 지연 특성을 좋게 하기 위해 고정된 우선순위를 갖는 라운드 로빈 방식을 사용하지 않고, 동적으로 우선순위를 변화시킴으로써 광대역과 협대역 연결간의 지연에 있어서의 불평등을 해소하였다. 해석적 비교 및 모의실험 결과 제안된 HFIFO 방법이 기존의 HRR과 같은 프레임 구조의 장점을 그대로 따르면서, 연결간 공정한 지연품질 제공하며 전체 지연 값을 줄일 수 있음을 알 수 있었다.