The EURO ROADEF 2010 Challenge aimed to schedule the maintenance and refueling operations of French nuclear power plants, ranking the approaches in competition for the quality of primal solutions. This paper justifies the high quality of the best solutions computing dual bounds with dual heuristics. A first step designs several Mixed Integer Programming (MIP) relaxations with different compromises between computation time and quality of dual bounds. To deal with smaller MIPs, we prove how reductions in the number of time steps and scenarios can guarantee dual bounds for the whole problem of the Challenge. Several sets of dual bounds are computable, improving significantly the former best dual bounds of the literature. Intermediate results allow also a better understanding of the problem and offer perspectives to improve some approaches of the Challenge.
We note that @cite_4 furnished as preliminary work a MIP model for all the constraints. It is assumed that this formulation won't be able to tackle the large size of the instances. This compact MIP formulation considered binaries for the outage decisions, but also binaries to follow exactly the decreasing profile imposed with CT6 constraints. Such variables were defined for all cycle @math , for all @math , and for all @math .
@cite_4
2129533376 2132158614 2132291816 2580454818
Recently, the capacity region of a multiple-input multiple-output (MIMO) Gaussian broadcast channel, with Gaussian codebooks and known-interference cancellation through dirty paper coding, was shown to equal the union of the capacity regions of a collection of MIMO multiple-access channels. We use this duality result to evaluate the system capacity achievable in a cellular wireless network with multiple antennas at the base station and multiple antennas at each terminal. Some fundamental properties of the rate region are exhibited and algorithms for determining the optimal weighted rate sum and the optimal covariance matrices for achieving a given rate vector on the boundary of the rate region are presented. These algorithms are then used in a simulation study to determine potential capacity enhancements to a cellular system through known-interference cancellation. We study both the circuit data scenario in which each user requires a constant data rate in every frame and the packet data scenario in which users can be assigned a variable rate in each frame so as to maximize the long-term average throughput. In the case of circuit data, the outage probability as a function of the number of active users served at a given rate is determined through simulations. For the packet data case, long-term average throughputs that can be achieved using the proportionally fair scheduling algorithm are determined. We generalize the zero-forcing beamforming technique to the multiple receive antennas case and use this as the baseline for the packet data throughput evaluation. This paper extends Khatri (1964, 1969) distribution of the largest eigenvalue of central complex Wishart matrices to the noncentral case. It then applies the resulting new statistical results to obtain closed-form expressions for the outage probability of multiple-input-multiple-output (MIMO) systems employing maximal ratio combining (known also as "beamforming" systems) and operating over Rician-fading channels. When applicable these expressions are compared with special cases previously reported in the literature dealing with the performance of (1) MIMO systems over Rayleigh-fading channels and (2) single-input-multiple-output (SIMO) systems over Rician-fading channels. As a double check these analytical results are validated by Monte Carlo simulations and as an illustration of the mathematical formalism some numerical examples for particular cases of interest are plotted and discussed. These results show that, given a fixed number of total antenna elements and under the same scattering condition (1) SIMO systems are equivalent to multiple-input-single-output systems and (2) it is preferable to distribute the number of antenna elements evenly between the transmitter and the receiver for a minimum outage probability performance. In this paper, we present a general formulation that unifies the probabilistic characterization of Hermitian random matrices with a specific structure. Based on a general expression for the joint pdf of the ordered eigenvalues, we obtain i) the joint cdf; ii) the marginal cdfs; and iii) the marginal pdfs of the ordered eigenvalues, where ii) and iii) follow as simple particularizations of i). Our formulation is shown to include the distribution of some common MIMO channel models such as the uncorrelated, semicorrelated, and double-correlated Rayleigh MIMO fading channel and the uncorrelated Rician MIMO fading channel, although it is not restricted only to these. Hence, the proposed formulation and derived results provide a solid framework for the simultaneous analytical performance analysis of MIMO systems under different channel models. As an illustrative application, we obtain the exact outage probability of a spatial multiplexing MIMO system transmitting through the strongest channel eigenmodes. High penetration of renewable generation will increase the requirement for both operating reserve (OR) and frequency response (FR), due to its variability, uncertainty, and limited inertia capability. Although the importance of optimal scheduling of OR has been widely studied, the scheduling of FR has not yet been fully investigated. In this context, this paper proposes a computationally efficient mixed integer linear programming formulation for a full stochastic scheduling model that simultaneously optimizes energy production, OR, FR, and underfrequency load shedding. By using value of lost load (VOLL) as the single security measure, the model optimally balances the cost associated with the provision of various ancillary services against the benefit of reduced cost of load curtailment. The proposed model is applied in a 2030-GB system to demonstrate its effectiveness. The impact of installed capacity of wind generation and setting of VOLL is also analyzed.