Intentional skew is known to be useful for improving clock frequency and/or tolerance to delay variations. This paper proposes a complete framework for treating skew schedule in the high level datapath synthesis. Majo...
详细信息
ISBN:
(纸本)9781612849140
Intentional skew is known to be useful for improving clock frequency and/or tolerance to delay variations. This paper proposes a complete framework for treating skew schedule in the high level datapath synthesis. Major contributions include (1) the incorporation of timing issue on multiplexer-control into the skew scheduling problem (previously, only timing issue on register-control has been discussed, but it is incomplete for a datapath circuit which is controlled by control-signals to registers and multiplexers), and (2) a complete MILP (mixed integer linear programming) formulation of simultaneous functional unit (FU) binding and register incorporating with skew scheduling. Experimental examples demonstrate the correctness and the effectiveness of our framework.
Electrification systems based on the use of renewable energy sources are suitable for providing electricity to isolated communities autonomously. Specifically, electrification by wind power is one of the technological...
详细信息
Electrification systems based on the use of renewable energy sources are suitable for providing electricity to isolated communities autonomously. Specifically, electrification by wind power is one of the technological options that have been used recently in projects implemented in the Andean highlands of Peru. To date, these projects have tended to install individual microwind turbines at each demand point. Alternatively, we propose a solution that considers both individual generators and microgrids. We develop a mathematical model that gives the location and size or type of the wind turbines and the design of the microgrids, taking into account the demand of the consumption points and the wind potential. The criterion is the minimization of the initial investment cost required to meet the demand. The model is validated by application to a real case in the northern highlands of Peru. Results show that microgrids are used despite the village dispersion, and the solutions significantly reduce the initial investment costs.
In a hydro energy and water resource system it is desirable to optimize hydropower production with considerations of flood control, residential, agricultural and industrial water supply, navigation, environmental and ...
详细信息
ISBN:
(纸本)9781457710018
In a hydro energy and water resource system it is desirable to optimize hydropower production with considerations of flood control, residential, agricultural and industrial water supply, navigation, environmental and ecological requirements, etc.. Incorporating complicated constraints of cascaded reservoirs and government regulation on water resource usage allocation, this paper presents a long-term scheduling problem of hydro energy and water resource system based on chance-constrained programming with uncertainties of natural water inflows and water demands of different regions. The water usage regulation with uncertain natural inflow is modeled as probabilistic chance constraints. The nonlinear and noconvex hydro plant production function is converted into mixedinteger formulation and a general mixed integer linear programming (MILP) method is applied to solve this complicated scheduling problem. Preliminary numerical testing results for a river basin with cascaded reservoirs show that based on the problem formulation presented in the paper, the long-term scheduling is solved efficiently and accurately. Numerical testing for a more complex hydro system is being conducted.
Most existing systems developed for traffic light control either consider a single objective or use a simple weighted sum to aggregate objectives. Three criteria are aggregated using an alternative way. The first two ...
详细信息
ISBN:
(纸本)9781457721977
Most existing systems developed for traffic light control either consider a single objective or use a simple weighted sum to aggregate objectives. Three criteria are aggregated using an alternative way. The first two criteria refer to total delay dealing with two types of users with conflicting preferences: private vehicles and public transport vehicles. The third one (number of stops for private vehicles) aims at capturing pollution aspects. We propose a new mixed integer linear programming (MILP) formulation. Unlike most proposed MILP dealing with traffic light control problems, our main variables are traffic light switchover dates, during a time horizon. This permits a significant reduction of the number of variables. In order to take account of the traffic, we integrate this model within an interactive scheme, where information on the traffic is used periodically for adapting the control.
Hospital admission planning plays an important role for managing and allocating hospital resources by emphasizing on an optimal use of operating theater time. The objective of this work is to develop a mixedinteger l...
详细信息
ISBN:
(纸本)9781457707391
Hospital admission planning plays an important role for managing and allocating hospital resources by emphasizing on an optimal use of operating theater time. The objective of this work is to develop a mixed integer linear programming model in order to minimize the total absolute deviations of the operating room resource utilizations from their target utilizations for the multiple-day planning horizon. The stochastic resource requirements such as length of stay, emergency arrivals, and unattended patients (no-shows) are considered in the proposed formulation. The mathematical model was tested with a sample data set. Results show that the deviations from the target resource utilizations are decreased by 0%, 3.18%, 0.45%, and 3.00% for each type of hospital resources;namely, operating theater time, intensive- care beds, intensive-care nursing staff and medium-care beds, respectively. Moreover, the gap deviated from the overall target resource utilization is improved by 1%.
Continuously increasing global container trade and pressure from a limited number of large shipping companies are enforcing the need for efficient container terminals. By using internal material handling resources eff...
详细信息
ISBN:
(纸本)9783642242632
Continuously increasing global container trade and pressure from a limited number of large shipping companies are enforcing the need for efficient container terminals. By using internal material handling resources efficiently, transfer times and operating costs are reduced. We focus our study on container terminals using straddle carriers (SC) for transportation and storage operations. We assume that SCs are shared among maritime and inland transport modes (truck, train, barge). The problem is thus to decide how many resources to allocate to each transport mode in order to minimize vehicle (vessel, truck, train, barge) delays. We present a mixed integer linear programming model, based on a network flow representation, to solve this allocation problem. The modular structure of the model enables us to represent different container terminals, transport modes and service strategies. We present parts of our model and exemplary applications for a terminal at the "Grand Port Maritime de Marseille" in France.
A good production schedule in a semiconductor back-end facility is critical for the on time delivery of customer orders. However, the scheduling process is usually difficult due to the wide product mix, large number o...
详细信息
A good production schedule in a semiconductor back-end facility is critical for the on time delivery of customer orders. However, the scheduling process is usually difficult due to the wide product mix, large number of parallel machines, product family-related setups, and high weekly demand consisting of thousands of lots. In this paper, we present a new mixed-integer-linear-programming (MILP) model for the batch production scheduling of a semiconductor back-end facility with serial production stages. Computational results are provided for finding optimal solutions to small problem instances. Due to the limitation on the solvable size of the MILP formulation, a deterministic scheduling system (DSS), including an optimizer and a scheduler, is proposed to provide suboptimal solutions in a reasonable time for large real-world problem instances. Small problem instances are randomly generated to compare the performances of the optimization model and the DSS. An experimental design is utilized to understand the behavior of the DSS under different production scenarios.
Since crude oil purchasing accounts for the largest part of the total costs in the petroleum industry, improving the efficiency of the process is of great significance in economy. In this paper, a novel mixedinteger ...
详细信息
ISBN:
(纸本)9783037852156
Since crude oil purchasing accounts for the largest part of the total costs in the petroleum industry, improving the efficiency of the process is of great significance in economy. In this paper, a novel mixed integer linear programming model is formulated for a large typical oil refinery to determine the purchasing, inventory and transportation quantities over a multi-period horizon while taking into account all the practical features of crude oil purchasing. The objective of the model is to minimize the total costs attributed to crude oil purchasing, i.e. the sum of ordering, purchasing, inventory and transportation costs. The constraints related to bill of materials, different capacities and different transportation modes are considered. A numerical example indicates the extensive application of the presented model.
In this paper we make a comparative study of several mixed integer linear programming (MILP) formulations for resource-constrained project scheduling problems (RCPSPs). First, we present three discrete and continuous ...
详细信息
In this paper we make a comparative study of several mixed integer linear programming (MILP) formulations for resource-constrained project scheduling problems (RCPSPs). First, we present three discrete and continuous time MILP formulations issued from the literature. Second, instead of relying on the traditional discretization of the time horizon, we propose MILP formulations for the RCPSP based on the concept of event: the Start/End formulation and the On/Off formulation. These formulations present the advantage of involving fewer variables than the formulations indexed by time. Because the variables of this type of formulations are not function of the time horizon, we have a better capacity to deal with instances of very large scheduling horizon. Finally, we illustrate our contribution with a series of tests on various types of instance with the MILP formulations issued from the literature, together with our new formulations. We also compare our results with a recent RCPSP-specific exact method. We show that, in terms of exact solving, no MILP formulation class dominates the other ones and that a state-of-the art specialized (non-MILP) method for the RCPSP is even outperformed by MILP on a set of hard instances. Furthermore, on another set of hard "highly cumulative" RCPSP instances with a high processing time range, our On/Off formulation outperforms all the others MILP formulations and obtains results close to the ones of the specialized method. (C) 2009 Elsevier Ltd. All rights reserved.
In this paper, we investigate the crude oil selection problem derived from the production of a large typical oil refinery. A deterministic mixedintegerprogramming model for making purchasing decisions in the refiner...
详细信息
ISBN:
(纸本)9783037852491
In this paper, we investigate the crude oil selection problem derived from the production of a large typical oil refinery. A deterministic mixedintegerprogramming model for making purchasing decisions in the refinery is proposed in which practical transportation requirements are considered. The objective is to select the varieties of crude oil and determine the purchasing, production and inventory quantities under complicated material-balance constraints and capacity constraints for minimizing the sum of purchasing, order, inventory and transportation costs. A numerical example indicates the extensive application of the presented model.
暂无评论