The tensor complementarity problem is a special instance of nonlinear complementarity problems, which has many applications. How to solve the tensor complementarity problem, via analyzing the structure of the related ...
详细信息
The tensor complementarity problem is a special instance of nonlinear complementarity problems, which has many applications. How to solve the tensor complementarity problem, via analyzing the structure of the related tensor, is one of very important research issues. In this paper, we propose a mixed integer programming approach for solving the tensor complementarity problem. We reformulate the tensor complementarity problem as an equivalent mixedinteger feasibility problem. Based on the reformulation, some conditions for the solution existence and some solution properties of the tensor complementarity problem are given. We also prove that the tensor complementarity problem, corresponding to a positive definite diagonal tensor, has a unique solution. Finally, numerical results are reported to indicate the efficiency of the proposed algorithm.
This paper proposes a scheme for automatic generation of mixed-integerprogramming problems for scheduling with multiple resources based on colored timed Petri nets. Our method reads Petri net data modeled by users, e...
详细信息
This paper proposes a scheme for automatic generation of mixed-integerprogramming problems for scheduling with multiple resources based on colored timed Petri nets. Our method reads Petri net data modeled by users, extracts the precedence and conflict relations among transitions, information on the available resources, and finally generates a mixedinteger linear programming for exactly solving the target scheduling problem. The mathematical programing problems generated by our tool can be easily inputted to well-known optimizers. The results of this research can extend the usability of optimizers since our tool requires just simple rules of Petri nets but not deep mathematical knowledge.
In this work, we present the design and implementation of an ultra-low latency Deep Reinforcement Learning (DRL) FPGA based accelerator for addressing hard real-time mixed integer programming problems. The accelerator...
详细信息
In this work, we present the design and implementation of an ultra-low latency Deep Reinforcement Learning (DRL) FPGA based accelerator for addressing hard real-time mixed integer programming problems. The accelerator exhibits ultra-low latency performance for both training and inference operations, enabled by training-inference parallelism, pipelined training, on-chip weights and replay memory, multi-level replication-based parallelism and DRL algorithmic modifications such as distribution of training over time. The design principles can be extended to support hardware acceleration for other relevant DRL algorithms (embedding the experience replay technique) with hard real time constraints. We evaluate the accuracy of the accelerator in a task offloading and resource allocation problem stemming from a Mobile Edge Computing (MEC/5G) scenario. The design has been implemented on a Xilinx Zynq Ultrascale+ MPSoC ZCU104 evaluation kit using High Level Synthesis. The accelerator achieves near optimal performance and exhibits a 10-fold decrease in training-inference execution latency when compared to a high-end CPU-based implementation.
In this note, we provide a classification of Dantzig-Wolfe reformulations for Binary mixed integer programming Problems. We specifically focus on modeling the binary conditions in the convexification approach to the D...
详细信息
In this note, we provide a classification of Dantzig-Wolfe reformulations for Binary mixed integer programming Problems. We specifically focus on modeling the binary conditions in the convexification approach to the Dantzig-Wolfe decomposition. For a general Binary mixed integer programming problem, an extreme point of the overall problem does not necessarily correspond to an extreme point of the subproblem. Therefore, the binary conditions cannot in general be imposed on the new master problem variables but must be imposed on the original binary variables. In some cases, however, it is possible to impose the binary restrictions directly on the new master problem variables. The issue of imposing binary conditions on the original variables versus the master problem variables has not been discussed systematically for MIP problems in general in the literature and most of the research has been focused on the pure binary case, The classification indicates in which cases you can, and cannot, impose binary conditions on the new master problem variables. (C) 2009 Elsevier B.V. All rights reserved.
Transformer design optimization is determined by minimizing the transformer cost taking into consideration constraints imposed both by international specifications and customer needs. The main purpose of this work is ...
详细信息
Transformer design optimization is determined by minimizing the transformer cost taking into consideration constraints imposed both by international specifications and customer needs. The main purpose of this work is the development and validation of an optimization technique based on a parallel mixedinteger nonlinear programming methodology in conjunction with the finite element method, in order to reach a global optimum design of wound core power transformers. The proposed optimization methodology has been implemented into software able to provide a global feasible solution for every given set of initial values for the design variables, rendering it suitable for application in the industrial transformer design environment.
Researchers have studied the nurse rostering problem for multiple decades. Initially, the formulations were rather primitive including only a few necessary restrictions, but down the road, the formulations have become...
详细信息
Researchers have studied the nurse rostering problem for multiple decades. Initially, the formulations were rather primitive including only a few necessary restrictions, but down the road, the formulations have become more complex. Nonetheless, a fraction of the research reaches implementation in practice, and many wards still schedule nurses manually. In this article, we introduce a flexible nurse rostering system that employs mathematical optimization to automatically schedule nurses to shifts. We have developed this system in collaboration with practitioners to fully match their needs. The system consists of a comprehensive mixed integer programming (MIP) model along with a flexible framework. In addition to common constraints from the literature, the mathematical formulation includes three new constraints that further encourage healthy work schedules for each nurse. Additionally, we have reformulated some common constraints from the literature and allow for a complex shift structure that matches the needs of real hospital wards. This flexibility results in increased adaptability for different wards with different needs and is crucial to address the complex nurse rostering problem that practitioners face. We have successfully implemented this system in two wards at two Danish hospitals. We present the MIP model along with computational results for 12 real-world rostering instances. Furthermore, we discuss the practical impact of this system and provide general feedback from the practitioners using it. Overall, the results illustrate the capabilities of the system to tackle diverse nurse rostering instances and produce outstanding results.
In this paper, a new method is proposed to find the feasible (strong) fuzzy solution of a square (n x n) fully fuzzy linear equation system (FFLS) with triangular fuzzy numbers. The main purpose of the proposed method...
详细信息
In this paper, a new method is proposed to find the feasible (strong) fuzzy solution of a square (n x n) fully fuzzy linear equation system (FFLS) with triangular fuzzy numbers. The main purpose of the proposed method is to remove all the sign restrictions on the parameters and variables. Our method, which is based on the multiplication of two arbitrary triangular fuzzy numbers, converts the FFLS to a mixed integer programming problem. The method is illustrated with numerical examples.
The thermal unit commitment (UC) problem is a large-scale mixedinteger quadratic programming (MIQP), which is difficult to solve efficiently, especially for large-scale instances. This paper presents a projected refo...
详细信息
The thermal unit commitment (UC) problem is a large-scale mixedinteger quadratic programming (MIQP), which is difficult to solve efficiently, especially for large-scale instances. This paper presents a projected reformulation for UC problem. After projecting the power output of unit onto [0,1], a novel MIQP reformulation, denoted as P-MIQP, can be formed. The obtained P-MIQP is tighter than traditional MIQP formulation of UC problem. And the reduced problem of P-MIQP, which is eventually solved by solvers such as CPLEX, is compacter than that of traditional MIQP. In addition, two mixedinteger linear programming (MILP) formulations can be obtained from traditional MIQP and our P-MIQP of UC by replacing the quadratic terms in the objective functions with a sequence of piece-wise perspective-cuts. Projected MILP is also tighter and compacter than the traditional MILP due to the same reason of MIQP. The simulation results for realistic instances that range in size from 10 to 200 units over a scheduling period of 24 h show that the projected reformulation yields tight and compact mixed integer programming UC formulations, which are competitive with currently traditional ones. (C) 2014 Elsevier Ltd. All rights reserved.
A mixed integer programming model is proposed for multiple-class discriminant and classification analysis. When multiple discriminant functions, one for each class, are constructed with the mixed integer programming m...
详细信息
A mixed integer programming model is proposed for multiple-class discriminant and classification analysis. When multiple discriminant functions, one for each class, are constructed with the mixed integer programming model, the number of misclassified observations in the sample is minimized. This model is an extension of the linear programming models for multiple-class discriminant analysis but may be considered as a generalization of mixed integer programming formulations for two-class classification analysis. Properties of the model are studied. The model is immune from any difficulties of many mathematical programming formulations for two-class classification analysis, such as nonexistence of optimal solutions, improper solutions, and instability under linear data transformation. In addition, meaningful discriminant functions can be generated under conditions where other techniques fail. Examples are provided. Results on publically accessible datasets show that this model is very effective in generating powerful discriminant functions.
In this paper a network-wide traffic signal control scheme in a model predictive control framework using mixed integer programming is presented. A concise model of traffic is proposed to describe a signalized road net...
详细信息
In this paper a network-wide traffic signal control scheme in a model predictive control framework using mixed integer programming is presented. A concise model of traffic is proposed to describe a signalized road network considering conservation of traffic. In the model, the traffic of two sections that belong to a traffic signal group of a junction are represented by a single continuous variable. Therefore, the number of variables required to describe traffic in the network becomes half compared with the models that describe section wise traffic flows. The traffic signal at the junction is represented by a binary variable to express a signal state either green or red. The proposed model is transformed into a mixed logical dynamical system to describe the traffic flows in a finite horizon, and traffic signals are optimized using mixedinteger linear programming (MILP) for a given performance index. The scheme simultaneously optimizes all traffic signals in a network in the context of model predictive control by successively extending or terminating a green or red signal of each junction. Consequently, traffic signal patterns with the optimal free parameters, i.e., the cycle times, the split times and the offsets, are realized. Use of the proposed concise traffic model significantly reduces the computation time of the scheme without compromising the performance as it is evaluated on a small road network and compared with a previously proposed scheme.
暂无评论