• Title/Summary/Keyword: Constraint programming

Search Result 261, Processing Time 0.028 seconds

BJRNAFold: Prediction of RNA Secondary Structure Base on Constraint Parameters

  • Li, Wuju;Ying, Xiaomin
    • Proceedings of the Korean Society for Bioinformatics Conference
    • /
    • 2005.09a
    • /
    • pp.287-293
    • /
    • 2005
  • Predicting RNA secondary structure as accurately as possible is very important in functional analysis of RNA molecules. However, different prediction methods and related parameters including terminal GU pair of helices, minimum length of helices, and free energy systems often give different prediction results for the same RNA sequence. Then, which structure is more important than the others? i.e. which combinations of the methods and related parameters are the optimal? In order to investigate above problems, first, three prediction methods, namely, random stacking of helical regions (RS), helical regions distribution (HD), and Zuker's minimum free energy algorithm (ZMFE) were compared by taking 1139 tRNA sequences from Rfam database as the samples with different combinations of parameters. The optimal parameters are derived. Second, Zuker's dynamic programming method for prediction of RNA secondary structure was revised using the above optimal parameters and related software BJRNAFold was developed. Third, the effects of short-range interaction were studied. The results indicated that the prediction accuracy would be improved much if proper short-range factor were introduced. But the optimal short-range factor was difficult to determine. A user-adjustable parameter for short-range factor was introduced in BJRNAFold software.

  • PDF

Application of a Multiobjective Technique for Optimum Operation of Pumps and Reservoirs in Service Water Transmission Systems (다목적 분석 기법을 이용한 상수도 송수계의 펌프와 배수지의 연계 최적 운영)

  • Ko, Seok-Ku;Oh, Min-Hwan
    • Proceedings of the KIEE Conference
    • /
    • 1991.07a
    • /
    • pp.738-743
    • /
    • 1991
  • A multiobjective analysis technique was applied for the optimum operation of pumps and reservoirs in service water transmission systems. Three major objectives were identified and assessed on the normally operating service water transmission systems. They are, 1) stability of pump operation; 2) economic point of view in minimizing the energy cost for pumping; 3) reliability in meeting the stochasticaly varying demands. The measures of these objectives were required times of pump on-offs in stability, required total energy cost in economics, and minimum required storage during the operating horizon in reliability. In order to find the best meeting solution to the decision maker, a set of non-dominated solutions which show the tradeoff relationships between the considering objectives were generated. The DM selects the best solution from this explicit tradeoff relationships using his heuristic decision rules or experience. The theory was verified by applying to the Kumi Service Water System. A combined technique of the ${\varepsilon}-constraint$ and the weighting methods was used to generate the nondominated solutions, and the dynamic programming algorithm was applied to find the optimal solution for the discretized multi-objective analysis problems.

  • PDF

Optimal Hourly Scheduling of Community-Aggregated Electricity Consumption

  • Khodaei, Amin;Shahidehpour, Mohammad;Choi, Jaeseok
    • Journal of Electrical Engineering and Technology
    • /
    • v.8 no.6
    • /
    • pp.1251-1260
    • /
    • 2013
  • This paper presents the optimal scheduling of hourly consumption in a residential community (community, neighborhood, etc.) based on real-time electricity price. The residential community encompasses individual residential loads, communal (shared) loads, and local generation. Community-aggregated loads, which include residential and communal loads, are modeled as fixed, adjustable, shiftable, and storage loads. The objective of the optimal load scheduling problem is to minimize the community-aggregated electricity payment considering the convenience of individual residents and hourly community load characteristics. Limitations are included on the hourly utility load (defined as community-aggregated load minus the local generation) that is imported from the utility grid. Lagrangian relaxation (LR) is applied to decouple the utility constraint and provide tractable subproblems. The decomposed subproblems are formulated as mixed-integer programming (MIP) problems. The proposed model would be used by community master controllers to optimize the utility load schedule and minimize the community-aggregated electricity payment. Illustrative optimal load scheduling examples of a single resident as well as an aggregated community including 200 residents are presented to show the efficiency of the proposed method based on real-time electricity price.

Finite Element Analysis and Optimal Design of Automobile Clutch Diaphragm Spring (자동차 클러치 다이어프램 스프링의 유한요소해석 및 최적설계)

  • Lee, Chun-Yeol;Chae, Yeong-Seok;Gwon, Jae-Do;Nam, Uk-Hui;Kim, Tae-Hyeong
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.24 no.6 s.177
    • /
    • pp.1616-1623
    • /
    • 2000
  • A diaphragm spring is an important component of a clutch assembly, characteristics of which depends largely on that of a diaphragm spring. A diaphragm spring is subject to high stress concentration in driving condition, which frequently causes cracks and fracture around finger area. In this paper, behavior of a diaphragm spring is analysed by finite element method to calculate sensitivity of design parameters, which is used to perform optimal design of diaphragm spring shape. As an object function, hoop stresses are taken and minimized to improve durability. Characteristics of the diaphragm is used as equality constraint to maintain the original design purpose and sequential linear programming(SLP) is utilized as an optimization tool. With optimized design, it is verified that concentrated stress is decreased maintaining release load characteristic.

Reliability-based Shape Optimization Using Growth Strain Method (성장-변형률법을 이용한 신뢰성 기반 형상 최적화)

  • Oh, Young-Kyu;Park, Jae-Yong;Im, Min-Gyu;Park, Jae-Yong;Han, Seog-Young
    • Journal of the Korean Society of Manufacturing Technology Engineers
    • /
    • v.19 no.5
    • /
    • pp.637-644
    • /
    • 2010
  • This paper presents a reliability-based shape optimization (RBSO) using the growth-strain method. An actual design involves uncertain conditions such as material property, operational load, Poisson's ratio and dimensional variation. The purpose of the RBSO is to consider the variations of probabilistic constraint and performances caused by uncertainties. In this study, the growth-strain method was applied to shape optimization of reliability analysis. Even though many papers for reliability-based shape optimization in mathematical programming method and ESO (Evolutionary Structural Optimization) were published, the paper for the reliability-based shape optimization using the growth-strain method has not been applied yet. Growth-strain method is applied to performance measure approach (PMA), which has probabilistic constraints that are formulated in terms of the reliability index, is adopted to evaluate the probabilistic constraints in the change of average mises stress. Numerical examples are presented to compare the DO with the RBSO. The results of design example show that the RBSO model is more reliable than deterministic optimization. It was verified that the reliability-based shape optimization using growth-strain method are very effective for general structure. The purpose of this study is to improve structure's safety considering probabilistic variable.

Cost optimization of reinforced high strength concrete T-sections in flexure

  • Tiliouine, B.;Fedghouche, F.
    • Structural Engineering and Mechanics
    • /
    • v.49 no.1
    • /
    • pp.65-80
    • /
    • 2014
  • This paper reports on the development of a minimum cost design model and its application for obtaining economic designs for reinforced High Strength Concrete (HSC) T-sections in bending under ultimate limit state conditions. Cost objective functions, behavior constraint including material nonlinearities of steel and HSC, conditions on strain compatibility in steel and concrete and geometric design variable constraints are derived and implemented within the Conjugate Gradient optimization algorithm. Particular attention is paid to problem formulation, solution behavior and economic considerations. A typical example problem is considered to illustrate the applicability of the minimum cost design model and solution methodology. Results are confronted to design solutions derived from conventional design office methods to evaluate the performance of the cost model and its sensitivity to a wide range of unit cost ratios of construction materials and various classes of HSC described in Eurocode2. It is shown, among others that optimal solutions achieved using the present approach can lead to substantial savings in the amount of construction materials to be used. In addition, the proposed approach is practically simple, reliable and computationally effective compared to standard design procedures used in current engineering practice.

A Parallel Machine Scheduling Problem with Outsourcing Options (아웃소싱을 고려한 병렬기계 일정계획 연구)

  • Lee, Ik-Sun;Yoon, Sang-Hum
    • Journal of Korean Society of Industrial and Systems Engineering
    • /
    • v.31 no.3
    • /
    • pp.101-109
    • /
    • 2008
  • This paper considers an integrated decision for scheduling and outsourcing(or, subcontracting) of a finite number of jobs(or, orders) in a time-sensitive make-to-order manufacturing environment. The jobs can be either processed in a parallel in-house facilities or outsourced to subcontractors. We should determine which jobs should be processed in-house and which jobs should be outsourced. And, we should determine the schedule for the jobs to be processed in-house. If a job is determined to be processed in-house, then the scheduling cost(the completion time of the Job) is imposed. Otherwise(if the job should be outsourced), then an additional outsourcing cost is imposed. The objective is to minimize the linear combination of scheduling and outsourcing costs under a budget constraint for the total available outsourcing cost. In the problem analysis, we first characterize some solution properties and then derive dynamic programming and branch-and- bound algorithms. An efficient heuristic is also developed. The performances of the proposed algorithms are evaluated through various numerical experiments.

A MULTIOBJECTIVE MODEL OF WHOLESALER-RETAILERS' PROBLEM VIA GENETIC ALGORITHM

  • MAHAPATRA NIRMAL KUMAR;BHUNIA ASOKE KUMAR;MAITI MANORANJAN
    • Journal of applied mathematics & informatics
    • /
    • v.19 no.1_2
    • /
    • pp.397-414
    • /
    • 2005
  • In the existing literature, most of the purchasing models were developed only for retailers problem ignoring the constraint of storage capacity of retailers shop/showroom. In this paper, we have developed a deterministic model of wholesaler-retailers' problem of single product. The storage capacity of wholesaler's warehouse/showroom and retailers' showroom/shop are assumed to be finite. The items are transported from wholesaler's warehouse to retailers' Own Warehouse (OW) in a lot. The customer's demand is assumed to be displayed inventory level dependent. Demands are met from OW and that spaces of OW will immediately be filled by shifting the same amount from the Rented Warehouse (RW) till the RW is empty. The time duration between selling from OW and filling up its space by new ones from RW is negligible. According to relative size of the retailers' existing (own) warehouse capacity and the demand factors, different scenarios are identified. Our objectives are to optimize the cost functions of wholesaler and two retailers separately. To solve this problem, a real coded Genetic Algorithm (GA) with roulette wheel selection/reproduction, whole arithmetic crossover and non-uniform mutation is developed. Finally a numerical example is presented to illustrate the results for different scenarios. To compare the results of GA, Generalised Reduced Gradient Method has been used for the problem. Also, a sensitivity analysis has been performed to study the variations of the optimal average cost with respect to the different parameters.

The Efficient Sensitivity Analysis on Statistical Moments and Probability Constraints in Robust Optimal Design (강건 최적설계에서 통계적 모멘트와 확률 제한조건에 대한 효율적인 민감도 해석)

  • Huh, Jae-Sung;Kwak, Byung-Man
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.32 no.1
    • /
    • pp.29-34
    • /
    • 2008
  • The efforts of reflecting the system's uncertainties in design step have been made and robust optimization or reliability-based design optimization are examples of the most famous methodologies. In their formulation, the mean and standard deviation of a performance function and constraints expressed by probability conditions are involved. Therefore, it is essential to effectively and accurately calculate them and, in addition, the sensitivity results are required to obtain when the nonlinear programming is utilized during optimization process. We aim to obtain the new and efficient sensitivity formulation, which is based on integral form, on statistical moments such as the mean and standard deviation, and probability constraints. It does not require the additional functional calculation when statistical moments and failure or satisfaction probabilities are already obtained at a design point. Moreover, some numerical examples have been calculated and compared with the exact solution or the results of Monte Carlo Simulation method. The results seem to be very satisfactory.

Symbolic Generation of Dynamic Equations and Modeling of a Parallel Robot (기호 운동방정식 생성과 병렬형 로봇 모델링)

  • Song, Sung-Jae;Cho, Byung-Kwan;Lee, Jang-Moo
    • Transactions of the Korean Society of Mechanical Engineers A
    • /
    • v.20 no.1
    • /
    • pp.35-43
    • /
    • 1996
  • A computer program for automatic deriving the symbolic equations of motion for robots using the programming language MATHEMATICA has been developed. The program, developed based on the Lagrange formalism, is applicable to the closed chain robots as well as the open chain robots. The closed chains are virtually cut open, and the kinematics and dynamics of the virtual open chain robot are analyzed. The constraints are applied to the virtually cut joints. As a result, the spatial closed chain robot can be considered as a tree structured open chain robot with kinematic constraints. The topology of tree structured open chain robot is described by a FATHER array. The FATHER array of a link indicates the link that is connected in the direction of base link. The constraints are represented by Lagrange multipliers. The parallel robot, DELTA, having three-dimensional closed chains is modeled and simulated to illustrate the approach.