Network virtualization is a core technology in next-generation networks to overcome the ossification problem that is observed in the current Internet. The key idea of network virtualization is to split physical networ...
详细信息
ISBN:
(纸本)9781457720529
Network virtualization is a core technology in next-generation networks to overcome the ossification problem that is observed in the current Internet. The key idea of network virtualization is to split physical network resources into multiple logical networks, each supporting different network services and functionalities. One of the key challenges for virtual network infrastructure providers is to efficiently allocate network resources based on virtual network requests, which is referred to as the virtual network mapping problem. While several algorithms have been proposed previously to solve this mapping problem, their effectiveness is limited since virtual requests specify the internal topology of the virtual network. In this paper, we argue that such internal topologies lead to unnecessary constraints and less efficient solutions. Instead, we propose an alternate formulation of the problem that represents virtual network requests as traffic matrices. We provide a solutions to solving this traffic-matrix-based mapping problem using a mixed integer programming formulation. Our simulation results show that our approach can map significantly more virtual network requests on a physical network infrastructure than previous mapping algorithms and thus improves the efficient use of networking resources in virtual networks.
Integration schedule of agile satellite is a highly complex combinatorial optimization problem. Pointed at the long time-window brought by the three degrees of freedom of agile satellite, combined with the dynamic sto...
详细信息
Integration schedule of agile satellite is a highly complex combinatorial optimization problem. Pointed at the long time-window brought by the three degrees of freedom of agile satellite, combined with the dynamic store capacity in the integration schedule, a mixedinteger program model is built. Then an improved ant colony algorithm is proposed to solve this problem. And local search mechanism is introduced to speed up the convergence of ant colony algorithm. Finally, multiple instances are tested. The result shows that the proposed improved ant colony algorithm is effective in solving the integration schedule of agility satellite.
MISO is in the process of implementing Look Ahead Commitment (LAC) to bridge the gap between Reliability Assessment Commitment (RAC) and Real Time Security Constrained Economic Dispatch (RT-SCED) timeframes. This pape...
详细信息
ISBN:
(纸本)9781467327275
MISO is in the process of implementing Look Ahead Commitment (LAC) to bridge the gap between Reliability Assessment Commitment (RAC) and Real Time Security Constrained Economic Dispatch (RT-SCED) timeframes. This paper introduces two models in LAC pre-processing logic. The first one is anticipatory startup and shutdown model to account for resource megawatt output during resource startup and shutdown. The second one is an infeasibility identification model to identify data conflicts between state estimation, unit commitment plan and offered parameters. The goal of these two modules is to properly estimate non-dispatchable resource outputs and resolve infeasibility from input data so that LAC can achieve good mixed integer programming (MIP) solutions.
Energy Storage Systems (ESS) could be widely available in power systems, in which case the short-term scheduling is one of the essential problems that need to be addressed. This paper presents a resources scheduling m...
详细信息
ISBN:
(纸本)9781467327299
Energy Storage Systems (ESS) could be widely available in power systems, in which case the short-term scheduling is one of the essential problems that need to be addressed. This paper presents a resources scheduling method for the optimal operation plan with the energy storage systems, which utilizes the mixed integer programming (MIP) based on the branch and bound method. The proposed method is evaluated on two case studies. One study examines a daily optimal operational plan for power supply resources and energy storage systems in an isolated micro-grid system. Another examines the optimal operational plan in a conventional power system with a large-scale energy storage system.
A reduced turnaround time to obtain initial test results for detecting the bacterial agent that causes tuberculosis (TB) can significantly improve the management of this communicable disease. We propose a new facility...
详细信息
This paper presents a new implicit formulation for shift scheduling problems, using context-free grammars to model the rules for the composition of shifts. From the grammar, we generate an integerprogramming (IP) mod...
详细信息
This paper presents a new implicit formulation for shift scheduling problems, using context-free grammars to model the rules for the composition of shifts. From the grammar, we generate an integerprogramming (IP) model having a linear programming relaxation equivalent to that of the classical set covering model. When solved by a state-of-the-art IP solver on problem instances with a small number of shifts, our model, the set covering formulation, and a typical implicit model from the literature yield comparable solution times. On instances with a large number of shifts, our formulation shows superior performance and can model a wider variety of constraints. In particular, multiactivity cases, which cannot be modeled by existing implicit formulations, can easily be handled with grammars. We present comparative experimental results on a large set of instances involving one work activity, as well as on problems dealing with up to 10 work activities.
Wafer slicing in photovoltaic industry is mainly done using multi-wire saw machines. The selection of set of bricks (parallelepiped block of crystalline silicon) to be sawn together poses difficult production scheduli...
详细信息
Wafer slicing in photovoltaic industry is mainly done using multi-wire saw machines. The selection of set of bricks (parallelepiped block of crystalline silicon) to be sawn together poses difficult production scheduling decisions. The objective is to maximize the utilization of the available cutting length to improve the process throughput. We address the problem presenting a mathematical formulation and an algorithm that aims to solve it in very short running times while delivering superior solutions. The algorithm employs a reactive greedy randomized adaptive search procedure with some enhancements. Computational experiments proved its effectiveness and efficiency to solve real-world based problems and randomly generated instances. Implementation of an on-line decision system based on this algorithm can help photovoltaic industry to reduce slicing costs making a contribution for its competitiveness against other sources of energy.
We propose a general-purpose heuristic approach combining metaheuristics and mixed integer programming to find high quality solutions to the challenging single- and parallel-machine capacitated lotsizing and schedulin...
详细信息
We propose a general-purpose heuristic approach combining metaheuristics and mixed integer programming to find high quality solutions to the challenging single- and parallel-machine capacitated lotsizing and scheduling problem with sequence-dependent setup times and costs. Commercial solvers fail to solve even medium-sized instances of this NP-hard problem;therefore, heuristics are required to find competitive solutions. We develop construction, improvement and search heuristics all based on MIP formulations. We then compare the performance of these heuristics with those of two metaheuristics and other MIP-based heuristics that have been proposed in the literature, and to a state-of-the-art commercial solver. A comprehensive set of computational experiments shows the effectiveness and efficiency of the main approach, a stochastic MIP-based local search heuristic, in solving medium to large size problems. Our solution procedures are quite flexible and may easily be adapted to cope with model extensions or to address different optimization problems that arise in practice. (C) 2011 Elsevier Ltd. All rights reserved.
This paper considers an iterative deadlock prevention policy in the context of the automated manufacturing systems (AMS) that constitute one of the major production technologies in modern industry. Owing to the specia...
详细信息
This paper considers an iterative deadlock prevention policy in the context of the automated manufacturing systems (AMS) that constitute one of the major production technologies in modern industry. Owing to the specialty of an AMS, the reachability graph (RG) of its given Petri net model shows powerful analysis and control capability to crack such a hard nut. However, the fact that the number of nodes involved in an RG grows exponentially with the size of a Petri net model makes all the RG-based policies infeasible. The approach conducted in this paper illustrates that the bad nodes in an RG can be extracted iteratively by a set of mixed integer programming formulations so that the explicit enumeration of all nodes of the RG is avoided. The proposed approach promises a computationally efficient policy that guarantees a nearly optimal liveness-enforcing supervisor.
Optimization algorithms provides efficient solutions to many statistical problems. Essentially, the design of sampling plans for lot acceptance purposes is an optimization problem with several constraints, usually rel...
详细信息
Optimization algorithms provides efficient solutions to many statistical problems. Essentially, the design of sampling plans for lot acceptance purposes is an optimization problem with several constraints, usually related to the quality levels required by the producer and the consumer. An optimal acceptance sampling plan is developed in this paper for the Weibull distribution with unknown scale parameter. The proposed plan combines grouping of items, sudden death testing in each group and progressive group removals, and its decision criterion is based on the uniformly most powerful life test. A mixed integer programming problem is first solved for determining the minimum number of failures required and the corresponding acceptance constant. The optimal number of groups is then obtained by minimizing a balanced estimation of the expected test cost. Excellent approximately optimal solutions are also provided in closed-forms. The sampling plan is considerably flexible and allows to save experimental time and cost. In general, our methodology achieves solutions that are quite robust to small variations in the Weibull shape parameter. A numerical example about a manufacturing process of gyroscopes is included for illustration. (C) 2010 Elsevier B.V. All rights reserved.
暂无评论