• Title/Summary/Keyword: The Constraint Programming

Search Result 260, Processing Time 0.024 seconds

A Simulated Annealing Algorithm for the Optimal Reliability Design Problem of a Series System with Multiple Component Choices (다중 부품선택이 존재하는 직렬구조 시스템의 최적 신뢰성설계를 위한 시뮬레이티드 어닐링 알고리듬)

  • Kim, Ho-Gyun;Bae, Chang-Ok;Paik, Chun-Hyun
    • IE interfaces
    • /
    • v.17 no.spc
    • /
    • pp.69-78
    • /
    • 2004
  • This paper presents a simulated algorithm(SA) for the optimal reliability design problem of a series system with multiple component choices incorporated at each subsystem. The objective of the problem is to maximize the system reliability while satisfying some constraint on system budget. The problem is formulated as a nonlinear binary integer programming problem and characterized as an NP-hard problem. The SA algorithm is developed by introducing some solution-improvements methods. Numerical examples are tested and the results are compared. The results have demonstrated the efficiency and the effectiveness of the proposed SA algorithm.

Reduced-order controller design via an iterative LMI method (반복 선형행렬부등식을 이용한 축소차수 제어기 설계)

  • Kim, Seog-Joo;Kwon, Soon-Man;Lee, Jong-Moo;Kim, Chun-Kyung;Cheon, Jong-Min
    • Proceedings of the KIEE Conference
    • /
    • 2004.07d
    • /
    • pp.2242-2244
    • /
    • 2004
  • This paper deals with the design of a reduced-order stabilizing controller for the linear system. The coupled lineal matrix inequality (LMI) problem subject to a rank condition is solved by a sequential semidefinite programming (SDP) approach. The nonconvex rank constraint is incorporated into a strictly linear penalty function, and the computation of the gradient and Hessian function for the Newton method is not required. The penalty factor and related term are updated iteratively. Therefore the overall procedure leads to a successive LMI relaxation method. Extensive numerical experiments illustrate the proposed algorithm.

  • PDF

Computational finite element model updating tool for modal testing of structures

  • Sahin, Abdurrahman;Bayraktar, Alemdar
    • Structural Engineering and Mechanics
    • /
    • v.51 no.2
    • /
    • pp.229-248
    • /
    • 2014
  • In this paper, the development of a new optimization software for finite element model updating of engineering structures titled as FemUP is described. The program is used for computational FEM model updating of structures depending on modal testing results. This paper deals with the FE model updating procedure carried out in FemUP. The theoretical exposition on FE model updating and optimization techniques is presented. The related issues including the objective function, constraint function, different residuals and possible parameters for FE model updating are investigated. The issues of updating process adopted in FemUP are discussed. The ideas of optimization to be used in FE model updating application are explained. The algorithm of Sequential Quadratic Programming (SQP) is explored which will be used to solve the optimization problem. The possibilities of the program are demonstrated with a three dimensional steel frame model. As a result of this study, it can be said that SQP algorithm is very effective in model updating procedure.

Optimizing Diversified Farming Systems by Digital Computer(II) -Optimal Design (디지틀 컴퓨터에 의한 복합영농(複合營農) 시스템의 최적화(最適化) 연구(硏究)(II) -최적설계(最適設計))

  • Chang, D.I.;Kim, K.C.;Lee, S.W.;Kim, M.S.
    • Journal of Biosystems Engineering
    • /
    • v.11 no.2
    • /
    • pp.77-87
    • /
    • 1986
  • This study was carried out to design the optimal systems of diversified farming by the mathematical model developed. In order to achieve this goal, a computer program named DFSDINGP was developed by the nonlinear goal programming(NGP), and for testing its effectiveness, the optimal systems of diversified farming were designed for three regions surveyed and compared them with those of the conventional. DFSDINGP was programmed with FORTRAN 77 and it could handle the NGP problem having 25 independent variables and 75 constraint functions. The study results showed that the developed models and DFSDINGP could design the optimal systems of diversified farming satisfying two goals which are maximum agricultural income and maximum power inputs of agricultural machinery. The agricultural incomes and power inputs of farm machinery of the optimal systems were more than those of the conventional as much as 29-62% and 9-134%, respectively.

  • PDF

Optimum pile arrangement in piled raft foundation by using simplified settlement analysis and adaptive step-length algorithm

  • Nakanishi, Keiji;Takewaki, Izuru
    • Geomechanics and Engineering
    • /
    • v.5 no.6
    • /
    • pp.519-540
    • /
    • 2013
  • This paper presents an optimal design method for determining pile lengths of piled raft foundations. The foundation settlement is evaluated by taking into account the raft-pile-soil interaction. The analysis of settlement is simplified by using Steinbrenner's equation. Then the total pile length is minimized under the settlement constraint. An extended sequential linear programming technique combined with an adaptive step-length algorithm of pile lengths is used to solve the optimal design problem. The accuracy of the simplified settlement analysis method and the validity of the obtained optimal solution are investigated through the comparison with the actual measurement result in existing piled raft foundations.

Dispatching Vehicles Considering Multi-lifts of Quay Cranes

  • Nguyen, Vu Duc;Kim, Kap-Hwan
    • Industrial Engineering and Management Systems
    • /
    • v.9 no.2
    • /
    • pp.178-194
    • /
    • 2010
  • To improve the ship operation in automated container terminals, it is important to schedule different types of handling equipment to operate synchronously. For example, a vehicle with container receiving and lifting capabilities is used to transport containers from a storage yard to a vessel and vice versa, while a triple quay crane (QC) can handle up to three 40-ft containers simultaneously. This paper discusses the manner in which vehicles should be assigned to containers to support such multi-lifts of QCs by using information about the locations and times of deliveries. A mixed-integer programming model is introduced to optimally assign delivery tasks to vehicles. This model considers the constraint imposed by the limited buffer space under each QC. A procedure for converting buffer-space constraints into time window constraints and a heuristic algorithmfor overcoming the excessive computational time required for solving the mathematical model are suggested. A numerical experiment is conducted to compare the objective values and computational times of the heuristic algorithm with those of the optimizing method to evaluate the performance of the heuristic algorithm.

Bit Allocation for Interframe Video Coding Systems

  • Kim, Wook-Joong;Kim, Seong-Dae;Kim, Jin-Woong
    • ETRI Journal
    • /
    • v.24 no.4
    • /
    • pp.280-289
    • /
    • 2002
  • In this work, we present a novel approach to the bit allocation problem that aims to minimize overall distortion subject to a bit rate constraint. The optimal solution can be found by the Lagrangian method with dynamic programming. However, the optimal bit allocation for block-based interframe coding is practically unattainable because of the interframe dependency of macroblocks caused by motion compensation. To reduce the computational burden while maintaining a result close to the optimum, i.e., near optimum, we propose an alternative method. First, we present a partitioned form of the bit allocation problem: a "frame-level problem" and "one-frame macroblock-level problems." We show that the solution to this new form is also the solution to the conventional bit allocation problem. Further, we propose a bit allocation algorithm using a "two-phase optimization technique" with an interframe dependency model and a rate-distortion model.

  • PDF

A Study on Higher Level Representations of Network Models for Optical Fiber Telecommunication Networks Design (광통신망 설계를 위한 네트워크 모형의 상위수준 표현에 관한 연구)

  • Kim, Cheol-Su
    • Asia pacific journal of information systems
    • /
    • v.6 no.2
    • /
    • pp.125-148
    • /
    • 1996
  • This paper is primarily focused on the function of model management systems such as higher level representations and buildings of optimization models using them, especially in the area of the telecommunication network models. This research attempts to provide the model builders an intuitive language-namely higher level representation-using five distinctivenesses : Objective, Node, Link, Topological Constraint including five components, and Decision. The paper elaborates all components included in each of distinctivenesses extracted from structural characteristics of typical telecommunication network models. Higher level representations represented with five distinctivenesses should be converted into base level representations which are employed for semantic representations of linear and integer programming problems in knowledge: assisted optimization modeling system(UNIK-OPT). Furthermore, for formulating the network model using higher level representations, the reasoning process is proposed. A system called UNIK-NET is developed to implement the approach proposed in this research, and the system is illustrated with an example of the network model.

  • PDF

Appraisal of Building Energy Systems considering Environment Constraint Conditions

  • Park, Tong-So
    • Architectural research
    • /
    • v.3 no.1
    • /
    • pp.37-44
    • /
    • 2001
  • This study aims to find out sector effects with the appraisal of building energy systems of urban ecosystem considering cost effects and environmental constraints condition such as climatic change factors including $CO_2$ gas which are not dealt in the institutional boundary as components standards and performance standards on energy performance of each part of a building applied on heavy energy spending buildings at present. The results of the appraisal of building energy systems shows that the existing building energy systems are not enough to fulfil the environmental condition under the environmental constraints supposing QELROs(Quantified Emission Limitation and Reduction Objectives) of carbon-dioxide exhaust. Henceforth, it is needed to fulfill the environmental criteria required by the Climatic Change Agreement for improving the adiabatic performance of each part of a building and active using of the solar energy.

  • PDF

Modality Conversion For Media QoS

  • Thang Truong Cong;Jung Yong Ju;Ro Yong Man
    • Proceedings of the IEEK Conference
    • /
    • summer
    • /
    • pp.395-399
    • /
    • 2004
  • We present modality conversion as an effective means for QoS management. We show that modality conversion, in combination with content scaling, would give a wider range of adaptation to support QoS at media level. Here, we consider modality conversion with respect to resource constraint and human factor. To represent modality conversion as well as content scaling, we present the overlapped content value (OCV) model that relates the content value of different modalities with resources. The specification of user preference on modality conversion is divided into qualitative and quantitative levels. The user preference is then integrated into the OCV model so that modality conversion correctly reflects the user's wishes. For the conversion of multiple contents, an optimization problem is formulated and solved by dynamic programming. The experiments show that the proposed approach is efficient to be applied in practice.

  • PDF