Refine
Year of publication
Language
- English (1103) (remove)
Keywords
- optimal control (27)
- stability (14)
- integer programming (11)
- Stochastic programming (9)
- finite elements (9)
- mixed integer programming (9)
- Hamiltonian matrix (8)
- finite element method (8)
- model reduction (8)
- state constraints (8)
Mixed integer programming (MIP) has become one of the most important techniques in Operations Research and Discrete Optimization. SCIP (Solving Constraint Integer Programs) is currently one of the fastest non-commercial MIP solvers. It is based on the branch-and-bound procedure in which the problem is recursively split into smaller subproblems, thereby creating a so-called branching tree. We present ParaSCIP, an extension of SCIP, which realizes a parallelization on a distributed memory computing environment. ParaSCIP uses SCIP solvers as independently running processes to solve subproblems (nodes of the branching tree) locally. This makes the parallelization development independent of the SCIP development. Thus, ParaSCIP directly profits from any algorithmic progress in future versions of SCIP. Using a first implementation of ParaSCIP, we were able to solve two previously unsolved instances from MIPLIB2003, a standard test set library for MIP solvers. For these computations, we used up to 2048 cores of the HLRN~II supercomputer.
We provide a computational study of the performance of a state-of-the-art solver for nonconvex mixed-integer quadratically constrained programs (MIQCPs). Since successful general-purpose solvers for large problem classes necessarily comprise a variety of algorithmic techniques, we focus especially on the impact of the individual solver components. The solver SCIP used for the experiments implements a branch-and-cut algorithm based on linear outer approximation to solve MIQCPs to global optimality. Our analysis is based on a set of 86 publicly available test instances.
MIPLIB 2010
(2012)
This paper reports on the fifth version of the Mixed Integer Programming Library. The MIPLIB 2010 is the first MIPLIB release that has been assembled by a large group from academia and from industry, all of whom work in integer programming. There was mutual consent that the concept of the library had to be expanded in order to fulfill the needs of the community. The new version comprises 361 instances sorted into several groups. This includes the main benchmark test set of 87 instances, which are all solvable by today's codes, and also the challenge test set with 164 instances, many of which are currently unsolved. For the first time, we include scripts to run automated tests in a predefined way. Further, there is a solution checker to test the accuracy of provided solutions using exact arithmetic.
In this paper we formulate a boundary layer approximation
for an Allen--Cahn-type equation involving a small parameter $\eps$. Here, $\eps$ is related to the thickness of the boundary layer and we are interested in the limit when $\eps$ tends to $0$ in order to derive nontrivial boundary conditions. The evolution of the system is written as an energy balance formulation of the L^2-gradient flow with the corresponding Allen--Cahn energy functional. By transforming the boundary layer to a fixed domain we show the convergence of the solutions to a solution of a limit system. This is done by using concepts related to Gamma- and Mosco convergence. By considering different scalings in the boundary layer we obtain different boundary conditions.
A theorem on error estimates for smooth nonlinear programming
problems in Banach spaces is proved that can be used to derive
optimal error estimates for optimal control problems. This theorem is applied
to a class of optimal control problems for quasilinear elliptic equations.
The state equation is approximated by a finite element scheme, while different
discretization methods are used for the control functions. The distance of
locally optimal controls to their discrete approximations is estimated.
Our model of the bovine estrous cycle is a set of ordinary differential equations which generates hormone profiles of successive estrous cycles with several follicular waves per cycle. It describes the growth and decay of the follicles and the corpus luteum, as well as the change of the key substances over time. In this work we describe recent improvements of this model, including the introduction of new components, and elimination of time delays. We validate our model by showing that the simulations agree with observations from synchronization studies and with measured progesterone data after a single dose administration of synthetic prostaglandin F2alpha.
Modelling, parameter identification, and simulation play an important rôle in Systems Biology. In recent years, various software packages have been established for scientific use in both licencing types, open source as well as commercial. Many of these codes are based on inefficient and mathematically outdated algorithms. By introducing the package BioPARKIN recently developed at ZIB, we want to improve this situation significantly. The development of the software BioPARKIN involves long standing mathematical ideas that, however, have not yet entered the field of Systems Biology, as well as new ideas and tools that are particularly important for the analysis of the dynamics of biological networks. BioPARKIN originates from the package PARKIN, written by P.Deuflhard and U.Nowak, that has been applied successfully for parameter identification in physical chemistry for many years.
This study presents a differential equation model for the feedback mechanisms between
Gonadotropin-releasing Hormone (GnRH), Follicle-Stimulating Hormone (FSH), Luteinizing
Hormone (LH), development of follicles and corpus luteum, and the production of estradiol
(E2), progesterone (P4), inhibin A (IhA), and inhibin B (IhB) during the female menstrual
cycle. In contrast to other models, this model does not involve delay differential equations
and is based on deterministic modelling of the GnRH pulse pattern, which allows for faster
simulation times and efficient parameter identification. These steps were essential to tackle
the task of developing a mathematical model for the administration of GnRH analogues. The
focus of this paper is on model development for GnRH receptor binding and the integration of
a pharmacokinetic/pharmacodynamic model for the GnRH agonist Nafarelin and the GnRH
antagonist Cetrorelix into the menstrual cycle model. The final mathematical model describes
the hormone profiles (LH, FSH, P4, E2) throughout the menstrual cycle in 12 healthy women.
Moreover, it correctly predicts the changes in the cycle following single and multiple dose
administration of Nafarelin or Cetrorelix at different stages in the cycle.
We propose a new approach to competitive analysis by introducing the novel concept of online approximation schemes. Such scheme algorithmically constructs an online algorithm with a competitive ratio arbitrarily close to the best possible competitive ratio for any online algorithm. We study the problem of scheduling jobs online to minimize the weighted sum of completion times on parallel, related, and unrelated machines, and we derive both deterministic and randomized algorithms which are almost best possible among all online algorithms of the respective settings. Our method relies on an abstract characterization of online algorithms combined with various simplifications and transformations. We also contribute algorithmic means to compute the actual value of the best possible competitive ratio up to an arbitrary accuracy. This strongly contrasts all previous manually obtained competitiveness results for algorithms and, most importantly, it reduces the search for the optimal competitive ratio to a question that a computer can answer. We believe that our method can also be applied to many other problems and yields a completely new and interesting view on online algorithms.
Some optimal control problems for linear and nonlinear ordinary differential equations related to the optimal switching between
different magnetic fields are considered. The main aim is to move an electrical initial current by a controllable
voltage in shortest time to a desired terminal current and to hold it afterwards. Necessary optimality conditions are derived by
Pontryagin's principle and a Lagrange technique. In the case of a linear system, the principal structure of time-optimal controls is
discussed. The associated optimality systems are solved by a one-shot strategy
using a multigrid software package. Various numerical examples are discussed.