Post-silicon validation is the most vital parts of modern Integrated Circuits. The key challenge of silicon validation is that it has limited observability and controllability of internal signals. To improve those, a ...
详细信息
ISBN:
(纸本)9781467367264
Post-silicon validation is the most vital parts of modern Integrated Circuits. The key challenge of silicon validation is that it has limited observability and controllability of internal signals. To improve those, a profitable set of signals should be selected. An automated procedure is proposed to select those signals which are used to facilitate early malfunctions of the design. Given the input vector set to the design an error transmission matrix is generated. From that, both relatively independent and dependent flip-flops are identified for grouping the signals through mixed-integerlinearprogramming. This method precisely identifies the paths which improves observability and can speed up the process.
In a society where the demand for multimedia applications and data exchange is experiencing an unstoppable growth, multibeam systems have proven to be one of the most relevant solutions for satellite-based communicati...
详细信息
ISBN:
(纸本)9781467395205
In a society where the demand for multimedia applications and data exchange is experiencing an unstoppable growth, multibeam systems have proven to be one of the most relevant solutions for satellite-based communication systems. Though already well represented among the geostationary satellites today, there are still several unresolved design optimization challenges for these complex systems that could lead to improved performances and to better system costs. The satellite platform, the repeater, and the antennas are examples of subsystems that should be designed jointly in order to reach an optimized technical solution that fulfills the service requirements. Traditionally, such complex tasks are addressed through a decomposition of the overall system design into a sequence of smaller decision problems. In this article, we propose to rely on operations research techniques to, on the one hand, take into account explicitly the interdependencies of these decomposed problems, and on the other hand, to handle the own constraints of each subsystem and their interactions. In this paper, the focus is laid on the optimization of the beam layouts of the multibeam satellites. Indeed, in addition to being a perfect example of the aforementioned importance of dealing with subsystem constraints, this problem appears early in the chain of design of a multibeam satellite system and is therefore critical for the quality of the telecommunication system;the weaknesses of a beam layout cannot be made up for later on in the system design. For this crucial optimization phase, the strength of the methodology we propose in this paper is to use mixed-integerlinearprogramming to incorporate explicitly technological feasibility constraints of the subsystems involved, while preparing at best the subsequent design problems. Most importantly, our approach allows to overcome several resisting flaws of the already existing algorithms.
This paper proposes an extension to trajectory optimization using mixed-integerlinearprogramming. The purpose of the extension is to ensure that avoidance constraints are respected at all times between discrete samp...
详细信息
This paper proposes an extension to trajectory optimization using mixed-integerlinearprogramming. The purpose of the extension is to ensure that avoidance constraints are respected at all times between discrete samples, not just at the sampling times themselves. The method is very simple and involves applying the same switched constraints at adjacent time steps. This requires fewer additional constraints than the existing approach and is shown to reduce computation time. A key benefit of efficient inter-sample avoidance is the facility to reduce the number of time steps without having to compensate by enlarging the obstacles. A further extension to the principle is presented to account for curved paths between samples, proving useful in cases where narrow passageways are traversed. Copyright (c) 2013 John Wiley & Sons, Ltd.
This paper deals with Maximally Balanced Connected Partition (MBCP) problem. It introduces a mixed integer linear programming (MILP) formulation of the problem with polynomial number of variables and constraints. Also...
详细信息
This paper deals with Maximally Balanced Connected Partition (MBCP) problem. It introduces a mixed integer linear programming (MILP) formulation of the problem with polynomial number of variables and constraints. Also, a variable neighborhood search (VNS) technique for solving this problem is presented. The VNS implements the suitable neighborhoods based on changing the component for an increasing number of vertices. An efficient implementation of the local search procedure yields a relatively short running time. The numerical experiments are made on instances known in the literature. Based on the MILP model, tests are run using two MILP solvers, CPLEX and Gurobi. It is shown that both solvers succeed in finding optimal solutions for all smaller and most of medium scale instances. Proposed VNS reaches most of the optimal solutions. The algorithm is also successfully tested on large scale problem instances for which optimal solutions are not known. (C) 2014 Elsevier Inc. All rights reserved.
Consideration was given to the a priori formulation of the multistage problem of stochastic programming with a quantile criterion which is reducible to the two-stage problem. Equivalence of the two-stage problems with...
详细信息
Consideration was given to the a priori formulation of the multistage problem of stochastic programming with a quantile criterion which is reducible to the two-stage problem. Equivalence of the two-stage problems with the quantile criterion in the a priori and a posteriori formulations was proved for the general case. The a posteriori formulation of the two-stage problem was in turn reduced to the equivalent problem of mixed integer linear programming. An example was considered.
Owing to the revolution in sustainable and green manufacturing the production planning and network design of closed loop supply chain concept has got the attention of researchers and managers. In this paper, a multi-p...
详细信息
Owing to the revolution in sustainable and green manufacturing the production planning and network design of closed loop supply chain concept has got the attention of researchers and managers. In this paper, a multi-product, multi-facility capacitated closed-loop supply chain framework is proposed in an uncertain environment including reuse, refurbish, recycle and disposal of parts. The uncertainty related to demand, fraction of parts recovered for different product recovery processes, product acquisition cost, purchasing cost, transportation cost, processing, and set-up cost is handled with fuzzy numbers. A fuzzy mixed integer linear programming model is proposed to decide optimally the location and allocation of parts at each facility and number of parts to be purchased from external suppliers in order to maximise the profit of organisation. The proposed solution methodology is able to generate a balanced solution between the feasibility degree and degree of satisfaction of the decision maker. The proposed model has been tested with an illustrative example.
This paper presents a hybrid simulated annealing (SA) and mixed integer linear programming (MILP) approach for static expansion planning of radial distribution networks with distributed generators (DGs). The expansion...
详细信息
This paper presents a hybrid simulated annealing (SA) and mixed integer linear programming (MILP) approach for static expansion planning of radial distribution networks with distributed generators (DGs). The expansion planning problem is first modeled as MILP optimization problem with the goal of minimizing the investment cost, cost of losses, cost of customer interruptions due to failures at the branches and at DGs and the cost of lost DG production due to failures at branches. In order to reduce the complexity of planning problems the decomposition of the original problem is proposed into a number of sequences of sub-problems (local networks) that are solved using the MILP model. The decomposition and solution process is iteratively guided and controlled by the proposed SA algorithm that employs the proper intensification and diversification mechanism to obtain the minimum total cost solution. (C) 2013 Elsevier B.V. All rights reserved.
In this paper, a two-stage solution methodology for distribution network planning considering reliability indices improvement is proposed. This methodology comprises optimal distribution network expansion and improves...
详细信息
In this paper, a two-stage solution methodology for distribution network planning considering reliability indices improvement is proposed. This methodology comprises optimal distribution network expansion and improves network reliability by allocating sectionalizing switches and interconnection circuits (tie line circuits). The optimal expansion problem of radial aerial distribution systems is formulated as a mixed binary linearprogramming (MILP) problem aiming to reduce the investment and operational costs, subject to physical and operational constraints. The allocation of controlled sectionalizing switches and interconnection circuits is also formulated as a MILP in order to improve the network reliability indices. A pseudo-dynamic planning method is used to solve planning and reliability models through a heuristic technique that first solves the planning model followed by the solution of the reliability model, in each stage of planning horizon. Numerical results are presented for a 54-bus distribution system from literature.
This article considers single hoist multi-degree cyclic scheduling problems with reentrance. Time window constraints are also considered. Firstly, a mixedintegerprogramming model is formulated for multi-degree cycli...
详细信息
This article considers single hoist multi-degree cyclic scheduling problems with reentrance. Time window constraints are also considered. Firstly, a mixedintegerprogramming model is formulated for multi-degree cyclic hoist scheduling without reentrance, referred to as basic lines in this article. Two valid inequalities corresponding to this problem are also presented. Based on the model for basic lines, an extended mixedintegerprogramming model is proposed for more complicated scheduling problems with reentrance. Phillips and Unger's benchmark instance and randomly generated instances are applied to test the model without reentrance, solved using the commercial software CPLEX. The efficiency of the model is analysed based on computational time. Moreover, an example is given to demonstrate the effectiveness of the model with reentrance.
This study proposes a mixed integer linear programming (MILP) model to optimize the spillways scheduling for reservoir flood control. Unlike the conventional reservoir operation model, the proposed MILP model specifie...
详细信息
This study proposes a mixed integer linear programming (MILP) model to optimize the spillways scheduling for reservoir flood control. Unlike the conventional reservoir operation model, the proposed MILP model specifies the spillways status (including the number of spillways to be open and the degree of the spillway opened) instead of reservoir release, since the release is actually controlled by using the spillway. The piecewise linear approximation is used to formulate the relationship between the reservoir storage and water release for a spillway, which should be open/closed with a status depicted by a binary variable. The control order and symmetry rules of spillways are described and incorporated into the constraints for meeting the practical demand. Thus, a MILP model is set up to minimize the maximum reservoir storage. The General Algebraic Modeling System (GAMS) and IBM ILOG CPLEX Optimization Studio (CPLEX) software are used to find the optimal solution for the proposed MILP model. The China's Three Gorges Reservoir, whose spillways are of five types with the total number of 80, is selected as the case study. It is shown that the proposed model decreases the flood risk compared with the conventional operation and makes the operation more practical by specifying the spillways status directly.
暂无评论