Refine
Year of publication
Language
- English (1103)
- German (10)
- Multiple languages (1)
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)
We present a unified computational framework for matching 3d geometric objects (points, lines, surfaces, volumes) of highly varying shape. Our approach is based on the Large Deformation Diffeomorphic Metric Mapping (LDDMM) method acting on $m$-currents. After stating an optimization algorithm in the function space of admissible morph generating velocity fields, two innovative aspects in this framework are presented: First, we spatially discretize the velocity field with conforming adaptive finite elements and discuss advantages of this new approach. Secondly, we directly compute the temporal evolution of discrete $m$-current attributes. Several numerical experiments demonstrate the effectiveness of this approach.
We derive and study a dynamical model for suspensions of negatively buoyant particles on an incline. Our theoretical model includes the settling/sedimentation due to gravity as well as the resuspension of particles induced by shear-induced migration, leading to disaggregation of the dense sediment layer. Out of the three different regimes observed in the experiments, we focus on the so-called settled case, where the particles settle out of the flow, and two distinct fronts, liquid and particle, form. Using an approach relying on asymptotics, we systematically connect our dynamic model with the previously developed equilibrium theory for particle-laden flows. We show that the resulting transport equations for the liquid and the particles are of hyperbolic type, and study the dilute limit, for which we derive the analytic solution. We also carry out a systematic experimental study of the settled regime, focusing on the motion of the liquid and the particle fronts. Finally, we carry out numerical simulations of our transport equations. We show that the model predictions for small to moderate values of the particle volume fraction and the inclination angle of the solid substrate agree well with the experimental data.
We investigate different dynamical regimes of neuronal network in the CA3 area of the hippocampus.
The proposed neuronal circuit includes two fast- and two slowly-spiking cells which are interconnected by means of dynamical synapses. On the individual level, each neuron is modeled by FitzHugh-Nagumo equations. Three basic rhythmic patterns are observed: gamma-rhythm in which the fast neurons are uniformly spiking, theta-rhythm in which the individual spikes are separated by quiet epochs, and theta/gamma rhythm with repeated patches of spikes. We analyze the influence of asymmetry of synaptic strengths on the synchronization in the network and demonstrate that
strong asymmetry reduces the variety of available dynamical states. The model network exhibits multistability; this results in occurrence of hysteresis in dependence on the conductances of individual connections. We show that switching between different rhythmic patterns in the network
depends on the degree of synchronization between the slow cells.
Traffic in communication networks fluctuates heavily over time. Thus, to avoid capacity bottlenecks,
operators highly overestimate the traffic volume during network planning. In this paper we consider
telecommunication network design under traffic uncertainty, adapting the robust optimization approach
of Bertsimas and Sim [21]. We present three different mathematical formulations for this problem, provide valid inequalities,
study the computational implications, and evaluate the realized robustness.
To enhance the performance of the mixed-integer programming solver we derive robust cutset inequalities generalizing their deterministic counterparts. Instead of a single cutset inequality for every
network cut, we derive multiple valid inequalities by exploiting the extra variables available in the robust formulations. We show that these inequalities define facets under certain conditions and that they
completely describe a projection of the robust cutset polyhedron if the cutset consists of a single edge.
For realistic networks and live traffic measurements we compare the formulations and report on the
speed up by the valid inequalities. We study the “price of robustness” and evaluate the approach by
analyzing the real network load. The results show that the robust optimization approach has the potential
to support network planners better than present methods.
In this paper, we deal with a hydraulic reservoir optimization problem with uncertainty on
inflows in a joint chance constrained programming setting. In particular, we will consider inflows with
a persistency effect, following a causal time series model, and examine the impact of the ”Gaussian”
assumption for such inflows. We present an iterative algorithm for solving similarly structured joint
chance constrained programming problems that requires a Slater point and the computation of gradients.
Several alternatives to the joint chance constraint problem are presented. In particular, we present an
individual chance constraint problem and a robust model. We illustrate the interest of joint chance
constrained programming by comparing results obtained on a realistic hydro-valley with those obtained
from the alternative models. Despite the fact that the alternative models often require less hypothesis
on the law of the inflows, we show that they yield conservative and costly solutions. The simpler models,
such as the individual chance constraint one, are shown to yield insufficient robustness and are therefore
not useful. We therefore conclude that Joint Chance Constrained programming appears as a technique
offering a good trade-off between cost and robustness and can be tractable for complex realistic models.
Analysis of the second phase of the GMRES convergence for a convection-diffusion model problem
(2012)
It is well konwn that GMRES applied to linear algebraic systems arising from a convection-diffusion model problem that has been discretized by the streamline upwind Petrov-Galerkin (SUPG) method, typically displays two distinct phases of convergence: a slow initial phase followed by a convergence acceleration in the second phase. This paper complements the known results on the length of the initial phase by analyzing how the acceleration in the second phase of convergence is related to the mesh Peclet number and the choice of the stabilization parameter in the SUPG discretization. The analysis is based on some new expressions and bounds for the GMRES residuals, which can be of general interest.
The paper examines the applicability of mathematical programming methods to the simultaneous optimization of the structure and the operational parameters of a combined-cycle-based cogeneration plant. The optimization problem is formulated as a nonconvex mixed-integer nonlinear problem (MINLP) and solved by the MINLP solver LaGO. The algorithm generates a convex relaxation of the MINLP and applies a Branch and Cut algorithm to the relaxation. Numerical results for different demands for electric power and process steam are discussed and a sensitivity analysis is performed.
We provide lower estimates for the norm of gradients of Gaussian
distribution functions and apply the results obtained to a special class of
probabilistically constrained optimization problems. In particular, it is shown
how the precision of computing gradients in such problems can be controlled
by the precision of function values for Gaussian distribution functions. Moreover,
a sensitivity result for optimal values with respect to perturbations of the
underlying random vector is derived. It is shown that the so-called maximal
increasing slope of the optimal value with respect to the Kolmogorov distance
between original and perturbed distribution can be estimated explicitly from
the input data of the problem.
Primal heuristics are an important component of state-of-the-art codes for mixed integer programming. In this paper, we focus on primal heuristics that only employ computationally inexpensive procedures such as rounding and logical deductions (propagation). We give an overview of eight different approaches. To assess the impact of these primal heuristics on the ability to find feasible solutions, in particular early during search, we introduce a new performance measure, the primal integral. Computational experiments evaluate this and other measures on MIPLIB~2010 benchmark instances.
Energetic reasoning is one of the most powerful propagation algorithms in cumulative scheduling. In practice, however, it is not commonly used because it has a high running time and its success highly depends on the tightness of the variable bounds. In order to speed up energetic reasoning, we provide an easy-to-check necessary condition for energetic reasoning to detect infeasibilities. We present an implementation of energetic reasoning that employs this condition and that can be parametrically adjusted to handle the trade-off between solving time and propagation overhead. Computational results on instances from the PSPLIB are provided. These results show that using this condition decreases the running time by more than a half, although more search nodes need to be explored.