This paper is concerned with the problem of assigning employees to gas stations owned by the Kuwait National Petroleum Corporation (KNPC), which hires a firm to prepare schedules for assigning employees to about 86 st...
详细信息
This paper is concerned with the problem of assigning employees to gas stations owned by the Kuwait National Petroleum Corporation (KNPC), which hires a firm to prepare schedules for assigning employees to about 86 stations distributed all over Kuwait. Although similar employee scheduling problems have been addressed in the literature, certain peculiarities of the problem require novel mathematical models and algorithms to deal with the specific nature and size of this problem. The problem is modeled as a mixed-integer program, and a problem size analysis based on real data reveals that the formulation is too complex to solve directly. Hence, a two-stage approach is proposed, where the first stage assigns employees to stations, and the second stage specifies shifts and off-days for each employee. Computational results related to solving the two-stage models directly via CPLEX and by specialized heuristics are reported. The two-stage approach provides daily schedules for employees for a given time horizon in a timely fashion, taking into consideration the employees' expressed preferences. This proposed modeling approach can be incorporated within a decision support system to replace the current manual scheduling practice that is often chaotic and has led to feelings of bias and job dissatisfaction among employees.
In this paper, we present a new, optimization-based method to exhibit cyclic behavior in nonreversible stochastic processes. While our method is general, it is strongly motivated by discrete simulations of ordinary di...
详细信息
In this paper, we present a new, optimization-based method to exhibit cyclic behavior in nonreversible stochastic processes. While our method is general, it is strongly motivated by discrete simulations of ordinary differential equations representing nonreversible biological processes, in particular, molecular simulations. Here, the discrete time steps of the simulation are often very small compared to the time scale of interest, i.e., of the whole process. In this setting, the detection of a global cyclic behavior of the process becomes difficult because transitions between individual states may appear almost reversible on the small time scale of the simulation. We address this difficulty using a mixed-integer programming model that allows us to compute a cycle of clusters with maximum net flow, i.e., large forward and small backward probability. For a synthetic genetic regulatory network consisting of a ring oscillator with three genes, we show that this approach can detect cycles that have a productivity one magnitude larger than classical spectral analysis methods. Our method applies to general nonequilibrium steady state systems such as catalytic reactions, for which the objective value computes the effectiveness of the catalyst.
This paper presents a mathematical optimization methodology to placement of switches in power distribution systems. The primary objective is to minimize the total cost of reliability with consideration of achieving hi...
详细信息
ISBN:
(纸本)9781862959132
This paper presents a mathematical optimization methodology to placement of switches in power distribution systems. The primary objective is to minimize the total cost of reliability with consideration of achieving high-distribution reliability levels. mixed-integer linear programming (MILP) is adopted to determine (i) the number of sectionalizing switches and (ii) the locations of the switches. The introduction of DGs based on island operation mode is also considered is this paper. The effectiveness of the proposed methodology is examined on a reliability test system. The presented results indicate that the proposed methodology is provided a global optimum solution for the switch placement problem while the reliability, capital investment and annual operation and maintenance costs are considered.
Robotic assembly lines are widely applied to process workflow, increase capacity, and easily produce a wide range of products because of their flexibility and multifunctionality. Robotic assembly line balancing proble...
详细信息
Robotic assembly lines are widely applied to process workflow, increase capacity, and easily produce a wide range of products because of their flexibility and multifunctionality. Robotic assembly line balancing problem (RALBP) refers to allocating the tasks and robots to workstations in order to maximize the line efficiency, which has become a popular research direction recently. In this paper, we propose a mixed-integer programming model to optimize the carbon footprint of the RALBP. Minimizing carbon footprint can reduce global greenhouse effect and atmospheric dust pollution, which is a very significant environmental topic in the world. We also investigate a realistic production process design in our model-cross-station task. In this design, a task can be operated by the station to which it is assigned as well as the adjacent stations. The model is solved by a commercial solver (Gurobi) and some results are presented. Copyright (C) 2022 The Authors.
This paper addresses the optimal power generation and load management problems in off-grid hybrid electric systems with renewable sources based on appropriately constructed optimization problems. In this venue, the ca...
详细信息
This paper addresses the optimal power generation and load management problems in off-grid hybrid electric systems with renewable sources based on appropriately constructed optimization problems. In this venue, the capacity and operating constraints for generating, storage and load units are first formulated as mixed-integer linear programming (MILP) models. In addition, we integrate the power curtailment strategies, such as temporary pause and multiple power supplies, for the load units in the MILP models to alleviate the peak power demands and power shortage without an adverse effect on the overall operation of the system. We subsequently consider the application of this framework for representative scenarios in the context of a residential power system with solar sources. Simulation results for the case of predetermined schedules with preset power requests, as well as for the case of varying schedules with updated power requests, are presented using the proposed optimization-based approach. (C) 2013 Elsevier Ltd. All rights reserved.
A computationally efficient algorithm for hinging hyperplane autoregressive exogenous (HHARX) model identification via mixed-integer programming technique is proposed in this paper. The HHARX model is attractive since...
详细信息
A computationally efficient algorithm for hinging hyperplane autoregressive exogenous (HHARX) model identification via mixed-integer programming technique is proposed in this paper. The HHARX model is attractive since it accurately approximates a general nonlinear process as a sum of hinge functions and preserves the continuity even in a piecewise affine form. Traditional mixed-integer programming-based method for HHARX model identification can only be applied on small-scale input/output datasets due to its significant computational demands. The contribution of this paper is to develop a sequential optimization approach to build accurate HHARX model more efficiently on a relatively large number of experimental data. Moreover, the proposed framework can handle more difficult and practical cases in piecewise model identification, such as: limited submodel switching, missing output data and specified steady state. Finally, the efficiency and accuracy of the proposed computational scheme are demonstrated through modeling of two simulated examples and a pilot-scale heat exchanger.
In the environment of peer competition and energy conservation, optimizing the deployment of application server clusters in real time according to actual workload conditions to reduce operating costs and energy consum...
详细信息
In the environment of peer competition and energy conservation, optimizing the deployment of application server clusters in real time according to actual workload conditions to reduce operating costs and energy consumption is an important issue that must be urgently addressed. In this paper, we propose a real-time power optimization strategy for application server clusters, and the optimization measures include CPU dynamic voltage/frequency scaling and server dynamic switching. First, the feasibility of defining variables for server types is proved, and appropriate variables are defined to describe the cluster power optimization as a mixed-integer programming (MIP) problem. Then, two solution methods are proposed: the exact method based on the Gurobi optimizer and the approximate method based on primary-secondary optimization and differential evolution with two mutations (PSODE). The former turns the MIP problem into a standard mixed-integer quadratic programming form by introducing intermediate variables and solves it using the Gurobi optimizer. The latter rewrites the MIP problem as a primary-secondary optimization problem and proposes a differential evolutionary-based solution algorithm for the primary optimization problem. The evolutionary process consists of two mutation operations, inter- and intraindividual mutations, which both use a heuristic policy to accelerate the evolution convergence. The test results reveal that the Gurobi-based method can quickly determine the global optimal deployment when the cluster size is small. The PSODE-based method can quickly determine the global optimal deployment or high-quality suboptimal deployment when applied to large-scale clusters. (C) 2022 Elsevier B.V. All rights reserved.
In this article, we propose a framework for the stability verification of mixed-integer linear programming (MILP) representable control policies. This framework compares a fixed candidate policy, which admits an effic...
详细信息
In this article, we propose a framework for the stability verification of mixed-integer linear programming (MILP) representable control policies. This framework compares a fixed candidate policy, which admits an efficient parameterization and can be evaluated at a low computational cost, against a fixed baseline policy, which is known to be stable but expensive to evaluate. We provide sufficient conditions for the closed-loop stability of the candidate policy in terms of the worst-case approximation error with respect to the baseline policy, and we show that these conditions can be checked by solving a mixed-integer quadratic program. In addition, we demonstrate that an outer and inner approximation of the stability region of the candidate policy can be computed by solving an MILP. The proposed framework is sufficiently general to accommodate a broad range of candidate policies including ReLU neural networks (NNs), optimal solution maps of parametric quadratic programs, and model predictive control (MPC) policies. We also present an open-source toolbox in Python based on the proposed framework, which allows for the easy verification of custom NN architectures and MPC formulations. We showcase the flexibility and reliability of our framework in the context of a dc-dc power converter case study and investigate its computational complexity.
This paper addresses the problem of identification of hybrid dynamical systems, by focusing the attention on hinging hyperplanes and Wiener piecewise affine autoregressive exogenous models, in which the regressor spac...
详细信息
This paper addresses the problem of identification of hybrid dynamical systems, by focusing the attention on hinging hyperplanes and Wiener piecewise affine autoregressive exogenous models, in which the regressor space is partitioned into polyhedra with affine submodels for each polyhedron. In particular, we provide algorithms based on mixed-integer linear or quadratic programming which are guaranteed to converge to a global optimum. For the special case where the estimation data only seldom switches between the different submodels, we also suggest a way of trading off between optimality and complexity by using a change detection approach. (C) 2003 Elsevier Ltd. All rights reserved.
This paper presents a mathematical programming based clustering approach that is applied to a digital platform company's customer segmentation problem involving demographic and transactional attributes related to ...
详细信息
This paper presents a mathematical programming based clustering approach that is applied to a digital platform company's customer segmentation problem involving demographic and transactional attributes related to the customers. The clustering problem is formulated as a mixed-integer programming problem with the objective of minimizing the maximum cluster diameter among all clusters. In order to overcome issues related to computational complexity of the problem, we developed a heuristic approach that improves computational times dramatically without compromising from optimality in most of the cases that we tested. The performance of this approach is tested on a real problem. The analysis of our results indicates that our approach is computationally efficient and creates meaningful segmentation of data. (c) 2005 Elsevier B.V. All rights reserved.
暂无评论