Distributed Domain Propagation

Portfolio parallelization is an approach that runs several solver instances in parallel and terminates when one of them succeeds in solving the problem. Despite its simplicity, portfolio parallelization has been shown to perform well for modern mixed-integer programming (MIP) and boolean satisfiability problem (SAT) solvers. Domain propagation has also been shown to be a simple technique in modern MIP and SAT solvers that effectively finds additional domain reductions after the domain of a variable has been reduced. In this paper we introduce distributed domain propagation, a technique that shares bound tightenings across solvers to trigger further domain propagations. We investigate its impact in modern MIP solvers that employ portfolio parallelization. Computational experiments were conducted for two implementations of this parallelization approach. While both share global variable bounds and solutions, they communicate differently. In one implementation the communication is performed only at designated points in the solving process and in the other it is performed completely asynchronously. Computational experiments show a positive performance impact of communicating global variable bounds and provide valuable insights in communication strategies for parallel solvers

Distributed Domain Propagation

This is the final version. Available on open access from the publisher via the DOI in this record16th International Symposium on Experimental Algorithms (SEA 2017), 21-23 June 2017, London, UKPortfolio parallelization is an approach that runs several solver instances in parallel and terminates when one of them succeeds in solving the problem. Despite it’s simplicity portfolio parallelization has been shown to perform well for modern mixed-integer programming (MIP) and boolean satisfiability problem (SAT) solvers. Domain propagation has also been shown to be a simple technique in modern MIP and SAT solvers that effectively finds additional domain reductions after a variables domain has been reduced. This paper investigates the impact of distributed domain propagation in modern MIP solvers that employ portfolio parallelization. Computational experiments were conducted for two implementations of this parallelization approach. While both share global variable bounds and solutions they communicate differently. In one implementation the communication is performed only at designated points in the solving process and in the other it is performed completely asynchronously. Computational experiments show a positive performance impact of communicating global variable bounds and provide valuable insights in communication strategies for parallel solvers.German Federal Ministry of Education and Researc

Development of a Finite Difference Time Domain (FDTD) Model for Propagation of Transient Sounds in Very Shallow Water

We developed a finite difference time domain (FDTD) model for sound propagation using pressure and velocity grids with both three-dimensional Cartesian and two-dimensional cylindrical implementations. Propagation parameters, including water and sediment properties, can vary in each dimension. The cylindrical implementation uses less computation but requires axial symmetry. The three-dimensional implementation allows anisotropic geometries. We can model both steady-state and transient sounds from discrete and distributed sources such as the surface of a vibrating pile. We compare our calculations to those made using a split-step parabolic equation. Applications of this model include calculating the propagation of individual fish sounds, fish aggregation sounds, and distributed sources in very shallow water

SINR-based k-coverage probability in cellular networks with arbitrary shadowing

We give numerically tractable, explicit integral expressions for the distribution of the signal-to-interference-and-noise-ratio (SINR) experienced by a typical user in the down-link channel from the k-th strongest base stations of a cellular network modelled by Poisson point process on the plane. Our signal propagation-loss model comprises of a power-law path-loss function with arbitrarily distributed shadowing, independent across all base stations, with and without Rayleigh fading. Our results are valid in the whole domain of SINR, in particular for SINR<1, where one observes multiple coverage. In this latter aspect our paper complements previous studies reported in [Dhillon et al. JSAC 2012]

Self-organized pattern formation in laser-induced multiphoton ionization

We use finite-difference time-domain modelling to investigate plasma generation induced by multi-photon absorption of intense laser light in dielectrics with tiny inhomogenities. Plasma generation is found to be strongly amplified around nanometer-sized inhomogeneities as present in glasses. Each inhomogeneity acts as the seed of a plasma structure growing against the direction of light propagation. Plasma structures originating from randomly distributed inhomogeneities are found to interact strongly and to organize in regularly spaced planes oriented perpendicularly to the laser polarization. We discuss similarities between our results and nanogratings in fused silica written by laser beams with spatially homogeneous as well as radial and azimuthal polarization.Comment: 8 pages, 9 figure

Convergence analysis of domain decomposition based time integrators for degenerate parabolic equations

Domain decomposition based time integrators allow the usage of parallel and distributed hardware, making them well-suited for the temporal discretization of parabolic systems, in general, and degenerate parabolic problems, in particular. The latter is due to the degenerate equations' finite speed of propagation. In this study, a rigours convergence analysis is given for such integrators without assuming any restrictive regularity on the solutions or the domains. The analysis is conducted by first deriving a new variational framework for the domain decomposition, which is applicable to the two standard degenerate examples. That is, the $p$-Laplace and the porous medium type vector fields. Secondly, the decomposed vector fields are restricted to the underlying pivot space and the time integration of the parabolic problem can then be interpreted as an operators splitting applied to a dissipative evolution equation. The convergence results then follow by employing elements of the approximation theory for nonlinear semigroups

Impact of slow-light enhancement on optical propagation in active semiconductor photonic crystal waveguides

We derive and validate a set of coupled Bloch wave equations for analyzing the reflection and transmission properties of active semiconductor photonic crystal waveguides. In such devices, slow-light propagation can be used to enhance the material gain per unit length, enabling, for example, the realization of short optical amplifiers compatible with photonic integration. The coupled wave analysis is compared to numerical approaches based on the Fourier modal method and a frequency domain finite element technique. The presence of material gain leads to the build-up of a backscattered field, which is interpreted as distributed feedback effects or reflection at passive-active interfaces, depending on the approach taken. For very large material gain values, the band structure of the waveguide is perturbed, and deviations from the simple coupled Bloch wave model are found.Comment: 8 pages, 5 figure