• 제목/요약/키워드: The Constraint Programming

검색결과 260건 처리시간 0.033초

이중작업능력의 서버로 구성된 서비스시스템 설계 (A Design Problem of a Service System with Bi-functional Servers)

  • 김성철
    • 한국경영과학회지
    • /
    • 제32권3호
    • /
    • pp.17-31
    • /
    • 2007
  • In this paper, we consider a service system with bi-functional servers, which can switch between the primary service room and the secondary room. A service policy is characterized by the switching paints which depend on the queue length in the primary service room and the service level requirement constraint of the secondary room. The primary service room is modeled as a Markovian queueing system and the throughput of the primary service room is function of the total number of bi-functional servers. the buffer capacity of the primary service room, and the service policy. There is a revenue obtained from throughput and costs due to servers and buffers. We study the problem of simuitaneously determining the optimal number of servers, buffer capacity, and service policy to maximize profit of the service system, and develop an algorithm which can be successfully applied with the small number of computations.

평면(平面) Frame의 최적소성설계(最適塑性設計) (Optimal Plastic Design of Planar Frames)

  • 임상전;황선희
    • 대한조선학회지
    • /
    • 제17권2호
    • /
    • pp.1-10
    • /
    • 1980
  • The optimal plastic design of framed structures has been treated as the minimum weight design while satisfying the limit equilibrium condition that the structure may not fail in any of the all possible collapse modes before the specified design ultimate load is reached. Conventional optimum frame designs assume that a continuous spectrum of member size is available. In fact, the vailable sections merely consist of a finite range of discrete member sizes. Optimum frame design using discrete sections has been performed by adopting the plastic collapse theory and using the Complex Method of Box. This study has presented an iterative approach to the optimal plastic design of plane structures that involves the performance of a series of minimum weight design where the limit equilibrium equation pertaining to the critical collapse mode is added to the constraint set for the next design. The critical collapse mode is found by the collapse load analysis that is formulated as a linear programming problem. This area of research is currently being studied. This study would be applied and extended to design the larger and more complex framed structures.

  • PDF

정수계획 모형에서 라그란지안 구조정의 및 완화를 지원하는 지능형 시스템의개발 (Development of an intelligent system for Lagrangian structural identification and relaxation for integer programmings)

  • 김철수;이재규;김민용
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회 1995년도 추계학술대회발표논문집; 서울대학교, 서울; 30 Sep. 1995
    • /
    • pp.300-324
    • /
    • 1995
  • This research investigates the automatic identification of typical embedded structures in the Integer Programming(IP) models and automatic transformation of the problem to an adequate Lagrangian problem which can provide tight bounds within the acceptable run time. For this purpose, the structural distinctiveness of variables, constants, blocks of terms, and constraint chunks is identified to describe the structure of the IP model. To assist the identification of the structural distinctiveness, the representation by the knowledge based IP model formulator UNIK-IP is adopted. For the reasoning for the structural identification, the bottom-up, top-down, and case-based approaches are proposed. A prototype system UNIK-RELAX is developed to implement the approaches proposed in this research.

  • PDF

유연마니퓨레이터의 궤도최적화 (Trajectory Optimization of Flexible Manipulators)

  • 이승재;최연선;야마카와히로시
    • 한국소음진동공학회:학술대회논문집
    • /
    • 한국소음진동공학회 2001년도 춘계학술대회논문집
    • /
    • pp.979-983
    • /
    • 2001
  • We develop a new method of simultaneous optimization of trajectory and shape of redundant flexible manipulators for collision-free utilizing the B-spline function and a mathematical programming method We adopt an approximate flexible manipulator model which consists of rigid bar elements and spring elements. We use B-spline function for determining the approximate trajectory and the expressions of the outline of obstacles. The used total performance index consists of 2 performance indices. The first is the driving energy, and the second is the trajectory deviation which is caused by the approximate modeling for the flexible manipulator. We design optimal collision-free trajectory of flexible manipulators by searching optimum positions of the control points for B-spline approximation which minimize the performance index subject to constraint condition for collision-free. Some examinations through numerical examples show the effectiveness of the method

  • PDF

주파수 재할당 문제 해결을 위한 타부 서치 알고리듬 개발 (Tabu Search Algorithm for Frequency Reassignment Problem in Mobile Communication Networks)

  • 한정희
    • 대한산업공학회지
    • /
    • 제31권1호
    • /
    • pp.1-9
    • /
    • 2005
  • This paper proposes the heuristic algorithm for the generalized GT problems to consider the restrictions which are given the number of machine cell and maximum number of machines in machine cell as well as minimum number of machines in machine cell. This approach is split into two phase. In the first phase, we use the similarity coefficient which proposes and calculates the similarity values about each pair of all machines and sort these values descending order. If we have a machine pair which has the largest similarity coefficient and adheres strictly to the constraint about birds of a different feather (BODF) in a machine cell, then we assign the machine to the machine cell. In the second phase, we assign parts into machine cell with the smallest number of exceptional elements. The results give a machine-part grouping. The proposed algorithm is compared to the Modified p-median model for machine-part grouping.

자원제약을 고려한 분해 일정계획 문제에 대한 2 단계 발견적 기법 (A Two-Stage Heuristic for Capacitated Disassembly Scheduling)

  • Jeon, Hyong-Bae;Kim, Jun-Gyu;Kim, Hwa-Joong;Lee, Dong-Ho
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회/대한산업공학회 2005년도 춘계공동학술대회 발표논문
    • /
    • pp.715-722
    • /
    • 2005
  • Disassembly scheduling is the problem of determining the quantity and timing of disassembling used products while satisfying the demand of their parts or components over a planning horizon. The case of single product type with assembly structure is considered for the objective of minimizing the sum of disassembly operation and inventory holding costs. In particular, the resource capacity constraint is explicitly considered. The problem is formulated as an integer programming model, and a two-stage heuristic with construction and improvement algorithms is suggested in this paper. To show the performance of the heuristic, computational experiments are done on a number of randomly generated problems, and the test results show that the algorithm can give near optimal solutions within a very short amount of computation time.

  • PDF

A branch and bound algorithm for solving a capacitated subtree of a tree problem in local access telecommunication network

  • Cho, Geon
    • 한국경영과학회:학술대회논문집
    • /
    • 한국경영과학회 1995년도 추계학술대회발표논문집; 서울대학교, 서울; 30 Sep. 1995
    • /
    • pp.202-210
    • /
    • 1995
  • Given a tree T with a root node 0 having the capacity H and a profit $c_{v}$ and a demand $d_{v}$ on each node v of T, the capacitated subtree of a tree problem(CSTP) is to find a subtree of T containing the root that has the maximum total profit, the sum of profits over the subtree, and also satisfies the constraint of which the sum of demands over the subtree must be less than or equal to H. We first define the so-called critical item for CSTP and find an upper bound on the linear programming relaxation of CSTP. We then present our branch and bound algorithm for solving CSTP and finally report the computational results on a set of randomly generated test problems.s.s.

  • PDF

$CO_2$ 배출량제약을 고려한 최적전원구성 (The Best Generation Mix considering CO2 Air Pollution Constraint)

  • 이상식;트란트룽틴;권중지;최재석
    • 대한전기학회:학술대회논문집
    • /
    • 대한전기학회 2005년도 제36회 하계학술대회 논문집 A
    • /
    • pp.149-151
    • /
    • 2005
  • A new approach considering CO2 air pollution constraints in the long-term generation mix is proposed under uncertain circumstances. A characteristic feature of the presented approach in this paper is what effects give the air pollution constraints in long term best generation mix. Best generation mix problem is formulated by linear programming with fuel and construction cost minimization with load growth, reliability (reserve margin rate) and air pollutionconstraints. The proposed method accommodates the operation of pumped-storage generator. It was assumed in this study that the construction planning of the hydro power plants is given separately from the other generation plans. The effectiveness of the proposed approach is demonstrated by applying to the best generation mix problem of KEPCO-system, which contains nuclear, coal, LNG, oil and pumped-storage hydro plant multi-years.

  • PDF

A dual approach to input/output variance constrained control problem

  • Kim, Jac-Hoon
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 제어로봇시스템학회 1994년도 Proceedings of the Korea Automatic Control Conference, 9th (KACC) ; Taejeon, Korea; 17-20 Oct. 1994
    • /
    • pp.28-33
    • /
    • 1994
  • An optimal controller, e.g. LQG controller, may not be realistic in the sense that the required control power may not be achieved by existing actuators, and the measured output is not satisfactory. To be realistic, the controller should meet such constraints as sensor or actuator limitation, performance limit, etc. In this paper, the lnput/Output Variance Constrained (IOVC) control problem will be considered from the viewpoint of mathematical programming. A dual version shall be developed to solve the IOVC control problem, whose objective is to find a stabilizing control law attaining a minimum value of a quadratic cost function subject to the inequality constraint on each input and output variance for a stabilizable and detectable plant. One approach to the constrained optimization problem is to use the Kuhn-Tucker necessary conditions for the optimality and to seek an optimal point by an iterative algorithm. However, since the algorithm uses only the necessary conditions, the convergent point may not be optimal solution. Our algorithm will guarantee a sufficiency.

  • PDF

승무원 교번 작성에 관한 연구 (A study on the crew roster scheduling)

  • 김영훈;김지표
    • 한국철도학회:학술대회논문집
    • /
    • 한국철도학회 2000년도 추계학술대회 논문집
    • /
    • pp.86-92
    • /
    • 2000
  • The crew operation scheduling problem is divided into duty generation and duty allocation. The railway crew roster scheduling(duty allocation) is developed monthly for each crew's office, considering the car types and crew's driving ability. However, it is very difficult to make schedules which assign monthly working hours to each crew evenly. The purpose of this thesis is to minimize the differences between each crew's total duty times and make a rostering table. To minimize the differences among monthly working hours of each crews are grouped according to car type and crew's driving ability and a rostering table which could be shared by the group members is developed. Our approach is to apply the techniques of Constraint Programming in order to solve such problems efficiently. This algorithm is suitable to solve optimization problems which involve many complicated constraints. And including the concept of cost, we suggested the model which enable to make the rostering table with a minimum personnel.

  • PDF