The emerging IP over WDM will be a new layer structure with a help of MPLS and OXC. To use WDM's large transmission capacity effectively, we design TP over WDM networks that reconfigure TP routing and lightpaths e...
详细信息
ISBN:
(纸本)081943907X
The emerging IP over WDM will be a new layer structure with a help of MPLS and OXC. To use WDM's large transmission capacity effectively, we design TP over WDM networks that reconfigure TP routing and lightpaths every day or month. Using integer linear programming, we formulate a problem that maximizes the network throughput;that is, the sum of the bandwidths allocated to an end-to-end node pair. This formulation is applicable to a network that is composed of twenty nodes and eight wavelengths. In such a network, we show maximization level of the network throughput derived from our formulation.
This paper addresses the problem a generating utility faces in order to decide which of its thermal units to start-up and to shutdown before submitting the hourly bids to a day-ahead market based on simple bids. The s...
详细信息
This paper addresses the problem a generating utility faces in order to decide which of its thermal units to start-up and to shutdown before submitting the hourly bids to a day-ahead market based on simple bids. The self-unit commitment model is formulated as a deterministic optimisation problem where the expected profit is maximised using mixed-integer linear programming techniques. When the market price cannot be considered as an exogenous variable, the authors propose to introduce, explicitly, the market behaviour by means of the expected hourly supply and demand functions. Operation costs included are fuel costs, shutdown costs and start-up costs. Temporal links as ramp constraints are also taken into account. Expected incomes considered are not only pool energy sales, but also contracts for differences and physical bilateral contracts incomes. A detailed model formulation and a numerical case are presented.
Unpredictable behavior of cache memory makes it difficult to statically analyze the worst-case performance of real-time systems. This problem is exacerbated in case of preemptive multitask systems due to intertask cac...
详细信息
Unpredictable behavior of cache memory makes it difficult to statically analyze the worst-case performance of real-time systems. This problem is exacerbated in case of preemptive multitask systems due to intertask cache interference, called Cache-Related Preemption Delay (CRPD). This paper proposes an approach to analysis of the tight upper bound on CRPD which a task might impose on lower-priority tasks. Our method determines the program execution path of the task which requires the maximum number of cache blocks using an integer linear programming technique. Experimental results show that our approach provides up to 69% tighter bounds on CRPD than a previous approach.
The idea is to interconnect test items to reuse memory states left from the previous test item for saving initialization and verification sequences. Meanwhile, signal settling time of the tester between two consecutiv...
详细信息
The idea is to interconnect test items to reuse memory states left from the previous test item for saving initialization and verification sequences. Meanwhile, signal settling time of the tester between two consecutive test items being applied can also be minimized since all test items are connected together into a continuous one. The interconnection problem is transformed to the Rural Chinese Postman (RCP) problem. The RCP problem is a famous NP-hard problem, one way to solve the RCP problem is by modeling as an integer linear programming (ILP) model. However, in the worst case, it will incur an exponential number of constraints; therefore, it is not suitable for practical usage. Instead of putting all constraints at once, we generate and solve a number of successive ILP models with the smaller number of constraints. The total numbers of iterations and constraints applied to solve ILP models are analyzed and compared.
Discrete lot sizing and scheduling problem (DLSP) is the problem of determining a minimal cost production schedule such that dynamic demand is fulfilled without backlogging in a single stage manufacturing process. The...
详细信息
ISBN:
(纸本)0780366522
Discrete lot sizing and scheduling problem (DLSP) is the problem of determining a minimal cost production schedule such that dynamic demand is fulfilled without backlogging in a single stage manufacturing process. The problem requires solution of the sequencing and sizing of production lots for a number of different items over a discrete and finite planning horizon. Especially, when we consider setup times in the model, the problem is known to be NP-hard. We developed a formulation different from the conventional DLSP, in that setup costs are charged only when production begins with a new production lot of different items, while the general DLSP charges the setup costs whenever a new production lot begins. We assumed that the demand could be met by the integral quantity with DLSP instead of binary quantity. To support our arguments several propositions are introduced.
This paper presents a comprehensive investigation of three optical wavelength-division multiplexed (WDM) mesh network protection approaches, name minimal cost, single link basis and disjoint path approaches. The opera...
详细信息
ISBN:
(纸本)0780365216
This paper presents a comprehensive investigation of three optical wavelength-division multiplexed (WDM) mesh network protection approaches, name minimal cost, single link basis and disjoint path approaches. The operation of each approach is described and their performances are extensively evaluated and compared. Key aspects that are taken into the consideration and comparison of the designs include a spare capacity requirement, ease of operation and practical feasibility. A mathematical model based on integer linear programming is introduced to obtain a lower bound on the spare capacity requirement for full protection against all single link failures. Two heuristic algorithms have also been developed to perform wavelength resource under both normal and failure conditions for both systems with and without wavelength conversion capability. It is shown that the minimal cost approach can accomplish the lowest extra cost requirement for protection, but this approach is considered not appropriate for practical applications due to complicated restoration and management. The single link basis scheme is on the other hand more practical and very cost efficient. For the disjoint path technique, the cost for spare capacity is generally slightly greater than that of the single link basis scheme. Its main advantages lie in the simple reconfiguration and inherent protection against node failure for in-transit traffic. Finally, a new framework for obtaining a good spare capacity cost estimate of a mesh restorable network is presented.
Introduces the subject of bus- and train-driver scheduling, and outlines a standard successful approach (TRACS II) using a blend of heuristics and integer linear programming. We discuss a few limitations of this syste...
详细信息
Introduces the subject of bus- and train-driver scheduling, and outlines a standard successful approach (TRACS II) using a blend of heuristics and integer linear programming. We discuss a few limitations of this system; in order to overcome these, we have investigated a range of metaheuristics and constraint programming approaches, and some of these are outlined. Finally, we present a hybrid genetic algorithm which is successfully used to overcome the above limitations. In this approach, all probable potential shifts are generated according to well-developed heuristics that are already used in TRACS II. The selection of such shifts to form a schedule is modeled as a set-covering problem, and the relaxation of this problem, ignoring integer conditions, is solved to optimality. A genetic algorithm then develops a solution schedule based on some of the characteristics of the relaxed solution. It is suggested that this approach might be suitable for other set-covering problems.
In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distribu...
详细信息
In this paper, we present a method for the synthesis of extended Petri net-based distributed specifications. Our method finds an optimal allocation of resources (computational data) that optimizes the derived distributed specification, based on some reasonable communication-cost criteria.
In this paper, we present an approach to the gridded channel routing problem with the objectives of satisfying crosstalk constraints on the nets and minimizing the total crosstalks among all of the nets. Given an init...
详细信息
ISBN:
(纸本)0780354826
In this paper, we present an approach to the gridded channel routing problem with the objectives of satisfying crosstalk constraints on the nets and minimizing the total crosstalks among all of the nets. Given an initial routing solution generated by a conventional channel routing algorithm, the reduction of crosstalks is carried out by the reassignment of the horizontal wire segments. In order to further reduce the crosstalks, doglegs are allowed for some specified wire segments. To effectively and optimally perform the reassignment process, an integer linear programming (ILP) formulation is proposed. Experimental results show that our algorithm can improve the minslack and the total crosstalks significantly compared with the track permutation approach and the segment reassignment approach.
The work presented in this paper focuses on behavioral level power optimization. Specifically, we address the problem of scheduling a data-flow graph under latency constraints. We have developed an integerlinear prog...
详细信息
The work presented in this paper focuses on behavioral level power optimization. Specifically, we address the problem of scheduling a data-flow graph under latency constraints. We have developed an integerlinear program (ILP) model and a Modified Force-Directed Scheduling (MFDS) that minimize the peak power while satisfying timing constraints. Our integer linear programming method extends the traditional ILP approach that minimizes resources to include peak power consideration while adding extensions for multi-cycle and pipelined arithmetic components. In our benchmark results, the peak power is reduced after scheduling based on ILP method and MFDS algorithm and is reduced significantly after scheduling and pipelining are both applied. The results obtained by the heuristic-based algorithms (MFDS) match very well with those obtained by the integer linear programming (ILP) methods. While the results obtained by heuristic-based algorithm are approximate, the results obtained by the integer linear programming methods are optimal. But the heuristic-based algorithm is faster than the integer linear programming methods.
暂无评论