Based on the special kind of spreading sequence and semidefinite programming relaxation, A new multiuser detector for asynchronous code division multiple access system is presented. At each transmitter, the special sp...
详细信息
ISBN:
(纸本)9781424437092
Based on the special kind of spreading sequence and semidefinite programming relaxation, A new multiuser detector for asynchronous code division multiple access system is presented. At each transmitter, the special spreading sequence whose second half is the replica of the first is employed. Maximum-likelihood(ML) multiuser detection only need detect 2K once. Then ML detection can be efficiently and accurately approximated using the semidefinite relaxation. Its time complexity decrease to the order of O(2K(3.5)), while the Viterbi Algorithm (optimum detector) requires a exponentially computational complexity. We compare the performances of the new SDP method and a joint method of block coordinate ascent and semidefinite programming relaxation(BCA-SDR) method for the asynchronous multiuser detection problem in various situations, and simulations demonstrate that the new semidefinite programming method often yields better bit error rate (BER) performances than the BCA-SDR method, but the average CPU time of this method is significantly reduced.
This paper considers the multi-robot task allocation problem for persistent monitoring over large dispersed areas. The problem is formulated as a binary optimization problem with nonsmooth objective functions. To solv...
详细信息
ISBN:
(纸本)9798350358513;9798350358520
This paper considers the multi-robot task allocation problem for persistent monitoring over large dispersed areas. The problem is formulated as a binary optimization problem with nonsmooth objective functions. To solve this optimization problem, we first propose quadratic objective functions to approximate the original nonsmooth objective functions. Inspired by the nature of the constraint of the problem, a simple strategy is presented to ensure the concavity of the quadratic functions. Finally, the fact that the constraint matrix of the optimization problem is totally unimodular allows us to relax the binary decision variables into continuous ones without changing the optimal solutions. We demonstrate using a case study that compared to the original problem, the proposed approximation provides less computational burden for small-size problems with occasional negligible trade-offs in the optimality of the solution. The comparison of the two objective functions for task allocation is also provided.
In selective harmonic elimination (SHE), if there are N switching angles, N-1 harmonics can be eliminated, however, can we use fewer switching angles to eliminate the same number of harmonics? No one has ever thought ...
详细信息
ISBN:
(纸本)9781728151359
In selective harmonic elimination (SHE), if there are N switching angles, N-1 harmonics can be eliminated, however, can we use fewer switching angles to eliminate the same number of harmonics? No one has ever thought about this question. In this paper, based on the discrete representation of two-level PWM waveforms, a binary quadratic programming (BQP) model is proposed to minimize the switching losses and meanwhile eliminate the harmonics. In this model, the switching losses which is closely related to the jump times of the PWM waveform is formulated to a quadratic objective function, and the numerical approximation of the Fourier coefficients are treated as the constraints which control the fundamental and eliminate the harmonics. This BQP model is solved by using the optimization toolbox YALMIP and some results are given, in which the switching angles required to eliminate the same number of harmonics are significantly reduced compared to the SHE method. Experiments on a two-level inverter verify the correctness of this method.
This article presents BiqCrunch, an exact solver for binaryquadratic optimization problems. BiqCrunch is a branch-and-bound method that uses an original, efficient semidefinite-optimization-based bounding procedure. ...
详细信息
This article presents BiqCrunch, an exact solver for binaryquadratic optimization problems. BiqCrunch is a branch-and-bound method that uses an original, efficient semidefinite-optimization-based bounding procedure. It has been successfully tested on a variety of well-known combinatorial optimization problems, such as Max-Cut, Max-k-Cluster, and Max-Independent-Set. The code is publicly available online;a web interface and many conversion tools are also provided.
We present BiqBin, an exact solver for linearly constrained binaryquadratic problems. Our approach is based on an exact penalty method to first efficiently transform the original problem into an instance of Max-Cut, ...
详细信息
We present BiqBin, an exact solver for linearly constrained binaryquadratic problems. Our approach is based on an exact penalty method to first efficiently transform the original problem into an instance of Max-Cut, and then to solve the Max-Cut problem by a branch-and-bound algorithm. All the main ingredients are carefully developed using new semidefinite programming relaxations obtained by strengthening the existing relaxations with a set of hypermetric inequalities, applying the bundle method as the bounding routine and using new strategies for exploring the branch-and-bound tree. Furthermore, an efficient C implementation of a sequential and a parallel branch-and-bound algorithm is presented. The latter is based on a load coordinator-worker scheme using MPI for multi-node parallelization and is evaluated on a high-performance computer. The new solver is benchmarked against BiqCrunch, GUROBI, and SCIP on four families of (linearly constrained) binaryquadratic problems. Numerical results demonstrate that BiqBin is a highly competitive solver. The serial version outperforms the other three solvers on the majority of the benchmark instances. We also evaluate the parallel solver and show that it has good scaling properties. The general audience can use it as an on-line service available at http://***.
The boolean quadraticprogramming problem with generalized upper bound constraints (BQP-GUB) is an NP-hard problem with many practical applications. In this study, we propose an effective multi-wave tabu search algori...
详细信息
The boolean quadraticprogramming problem with generalized upper bound constraints (BQP-GUB) is an NP-hard problem with many practical applications. In this study, we propose an effective multi-wave tabu search algorithm for solving BQP-GUB. The algorithm performs a sequence of search waves, where each wave alternates between the forward and reverse phases, and the transition between two adjacent waves depends on a hybrid perturbation phase. The forward phase employs tabu search to reach a critical solution and the reverse phase follows to reverse previously performed moves and perform an equal number of moves by referring to the search information gathered from the latest search process. The hybrid perturbation phase randomly chooses a directed strategy, a frequency guided strategy and a recency guided strategy to achieve search diversification. Experimental results on 78 standard instances indicate that the proposed algorithm is able to improve the lower bounds for 6 instances and match the best solutions in the literature for most instances within competitive time.
binary quadratic programming (BQP) is a class of combinatorial optimization problems comprising binary variables, quadratic objective functions, and linear/nonlinear constraints. This paper examines a unified framewor...
详细信息
binary quadratic programming (BQP) is a class of combinatorial optimization problems comprising binary variables, quadratic objective functions, and linear/nonlinear constraints. This paper examines a unified framework to reformulate a BQP problem with linear constraints to a new BQP with an exponential number of variables defined on a graph. This framework relies on the concept of stars in the graph to split the quadratic costs into adjacent and nonadjacent components indicating in -star and out -of -star interactions. We exploit the star -based structure of the new reformulation to develop a decompositionbased column generation algorithm. In our computational experiments, we evaluate the performance of our methodology on different applications with different quadratic structures. The quadratic component of the problem is dealt with in the column generation master problem and its subproblem. Results indicate the superiority of the framework over one of the state-of-the-art solvers, GUROBI, when applied to various benchmark reformulations with adjacent -only or sparse quadratic cost matrices. The framework outperforms GUROBI in terms of both dual bound and computational time in almost all instances.
In this study, we deal with the problem of scheduling charging periods of electrical vehicles (EVs) to satisfy the users' demands for energy consumption as well as to optimally utilize the available power. We assu...
详细信息
In this study, we deal with the problem of scheduling charging periods of electrical vehicles (EVs) to satisfy the users' demands for energy consumption as well as to optimally utilize the available power. We assume three-phase EV charging stations, each equipped with two charging ports (links) that can serve up to two EVs in the scheduling period but not simultaneously. Considering such a specification, we propose an on-off scheduling scheme wherein control over an energy flow is achieved by flexibly switching the ports in each station on and off in a manner such as to satisfy the energy demand of each EV, flatten the high energy-consuming load on the whole farm, and to minimize the number of switching operations. To satisfy these needs, the on-off scheduling scheme is formulated in terms of a binary linear programming problem, which is then extended to a quadratic version to incorporate the smoothness constraints. Various algorithmic approaches are used for solving a binary quadratic programming problem, including the Frank-Wolfe algorithm and successive linear approximations. The numerical simulations demonstrate that the latter is scalable, efficient, and flexible in a charging procedure, and it shaves the load peak while maintaining smooth charging profiles.
作者:
Mallach, SvenUniv Bonn
High Performance Comp & Analyt Lab Friedrich Hirzebruch Allee 8 D-53115 Bonn Germany
We present and compare novel binary programs for linear ordering problems that involve the notion of asymmetric betweenness and expose relations to the quadratic linear ordering problem and its linearization. While tw...
详细信息
We present and compare novel binary programs for linear ordering problems that involve the notion of asymmetric betweenness and expose relations to the quadratic linear ordering problem and its linearization. While two of the binary programs prove particularly superior from a computational point of view when many or all betweenness relations shall be modeled, the others arise as natural formulations that resemble important theoretical correspondences and provide a compact alternative for sparse problem instances. A reasoning for the strengths and weaknesses of the different formulations is derived by means of polyhedral considerations with respect to their continuous relaxations.& COPY;2023 The Author(s). Published by Elsevier Ltd on behalf of Association of European Operational Research Societies (EURO). This is an open access article under the CC BY license (http://creativecommons .org /licenses /by /4 .0/).
暂无评论