Models and Strategies for Variants of the Job Shop Scheduling Problem

Recently, a variety of constraint programming and Boolean satisfiability approaches to scheduling problems have been introduced. They have in common the use of relatively simple propagation mechanisms and an adaptive way to focus on the most constrained part of the problem. In some cases, these methods compare favorably to more classical constraint programming methods relying on propagation algorithms for global unary or cumulative resource constraints and dedicated search heuristics. In particular, we described an approach that combines restarting, with a generic adaptive heuristic and solution guided branching on a simple model based on a decomposition of disjunctive constraints. In this paper, we introduce an adaptation of this technique for an important subclass of job shop scheduling problems (JSPs), where the objective function involves minimization of earliness/tardiness costs. We further show that our technique can be improved by adding domain specific information for one variant of the JSP (involving time lag constraints). In particular we introduce a dedicated greedy heuristic, and an improved model for the case where the maximal time lag is 0 (also referred to as no-wait JSPs).Comment: Principles and Practice of Constraint Programming - CP 2011, Perugia : Italy (2011

Distribution of graph-distances in Boltzmann ensembles of RNA secondary structures

Large RNA molecules often carry multiple functional domains whose spatial arrangement is an important determinant of their function. Pre-mRNA splicing, furthermore, relies on the spatial proximity of the splice junctions that can be separated by very long introns. Similar effects appear in the processing of RNA virus genomes. Albeit a crude measure, the distribution of spatial distances in thermodynamic equilibrium therefore provides useful information on the overall shape of the molecule can provide insights into the interplay of its functional domains. Spatial distance can be approximated by the graph-distance in RNA secondary structure. We show here that the equilibrium distribution of graph-distances between arbitrary nucleotides can be computed in polynomial time by means of dynamic programming. A naive implementation would yield recursions with a very high time complexity of O(n^11). Although we were able to reduce this to O(n^6) for many practical applications a further reduction seems difficult. We conclude, therefore, that sampling approaches, which are much easier to implement, are also theoretically favorable for most real-life applications, in particular since these primarily concern long-range interactions in very large RNA molecules.Comment: Peer-reviewed and presented as part of the 13th Workshop on Algorithms in Bioinformatics (WABI2013

Effective Hamiltonian and unitarity of the S matrix

The properties of open quantum systems are described well by an effective Hamiltonian ${\cal H}$ that consists of two parts: the Hamiltonian $H$ of the closed system with discrete eigenstates and the coupling matrix $W$ between discrete states and continuum. The eigenvalues of ${\cal H}$ determine the poles of the $S$ matrix. The coupling matrix elements $\tilde W_k^{cc'}$ between the eigenstates $k$ of ${\cal H}$ and the continuum may be very different from the coupling matrix elements $W_k^{cc'}$ between the eigenstates of $H$ and the continuum. Due to the unitarity of the $S$ matrix, the \TW_k^{cc'} depend on energy in a non-trivial manner, that conflicts with the assumptions of some approaches to reactions in the overlapping regime. Explicit expressions for the wave functions of the resonance states and for their phases in the neighbourhood of, respectively, avoided level crossings in the complex plane and double poles of the $S$ matrix are given.Comment: 17 pages, 7 figure

Exact Solution for the Critical State in Thin Superconductor Strips with Field Dependent or Anisotropic Pinning

An exact analytical solution is given for the critical state problem in long thin superconductor strips in a perpendicular magnetic field, when the critical current density j_c(B) depends on the local induction B according to a simple three-parameter model. This model describes both isotropic superconductors with this j_c(B) dependence, but also superconductors with anisotropic pinning described by a dependence j_c(theta) where theta is the tilt angle of the flux lines away from the normal to the specimen plane

Optical suppression of tilt-to-length coupling in the LISA long-arm interferometer

The arm length and the isolation in space enable the Laser Interferometer Space Antenna (LISA) to probe for signals unattainable on the ground, opening a window to the subhertz gravitational-wave universe. The coupling of unavoidable angular spacecraft jitter into the longitudinal displacement measurement, an effect known as tilt-to-length (TTL) coupling, is critical for realizing the required sensitivity of picometer / √ Hz . An ultrastable interferometer test bed has been developed in order to investigate this issue and validate mitigation strategies in a setup representative of LISA and in this paper it is operated in the long-arm interferometer configuration. The test bed is fitted with a flat-top beam generator to simulate the beam received by a LISA spacecraft. We demonstrate a reduction of TTL coupling between this flat-top beam and a Gaussian reference beam via the introduction of two- and four-lens imaging systems. TTL coupling factors below ± 25 μ m / rad for beam tilts within ± 300 μ rad are obtained by careful optimization of the system. Moreover, we show that the additional TTL coupling due to lateral-alignment errors of elements of the imaging system can be compensated by introducing lateral shifts of the detector and vice versa. These findings help validate the suitability of this noise-reduction technique for the LISA long-arm interferometer

Atmospheric effects on extensive air showers observed with the Surface Detector of the Pierre Auger Observatory

Atmospheric parameters, such as pressure (P), temperature (T) and density, affect the development of extensive air showers initiated by energetic cosmic rays. We have studied the impact of atmospheric variations on extensive air showers by means of the surface detector of the Pierre Auger Observatory. The rate of events shows a ~10% seasonal modulation and ~2% diurnal one. We find that the observed behaviour is explained by a model including the effects associated with the variations of pressure and density. The former affects the longitudinal development of air showers while the latter influences the Moliere radius and hence the lateral distribution of the shower particles. The model is validated with full simulations of extensive air showers using atmospheric profiles measured at the site of the Pierre Auger Observatory.Comment: 24 pages, 9 figures, accepted for publication in Astroparticle Physic

Update on the correlation of the highest energy cosmic rays with nearby extragalactic matter

Data collected by the Pierre Auger Observatory through 31 August 2007 showed evidence for anisotropy in the arrival directions of cosmic rays above the Greisen-Zatsepin-Kuz'min energy threshold, \nobreak{$6\times 10^{19}$eV}. The anisotropy was measured by the fraction of arrival directions that are less than $3.1^\circ$ from the position of an active galactic nucleus within 75 Mpc (using the V\'eron-Cetty and V\'eron $12^{\rm th}$ catalog). An updated measurement of this fraction is reported here using the arrival directions of cosmic rays recorded above the same energy threshold through 31 December 2009. The number of arrival directions has increased from 27 to 69, allowing a more precise measurement. The correlating fraction is $(38^{+7}_{-6})$, compared with $21$ expected for isotropic cosmic rays. This is down from the early estimate of $(69^{+11}_{-13})$. The enlarged set of arrival directions is examined also in relation to other populations of nearby extragalactic objects: galaxies in the 2 Microns All Sky Survey and active galactic nuclei detected in hard X-rays by the Swift Burst Alert Telescope. A celestial region around the position of the radiogalaxy Cen A has the largest excess of arrival directions relative to isotropic expectations. The 2-point autocorrelation function is shown for the enlarged set of arrival directions and compared to the isotropic expectation.Comment: Accepted for publication in Astroparticle Physics on 31 August 201

The exposure of the hybrid detector of the Pierre Auger Observatory

The Pierre Auger Observatory is a detector for ultra-high energy cosmic rays. It consists of a surface array to measure secondary particles at ground level and a fluorescence detector to measure the development of air showers in the atmosphere above the array. The "hybrid" detection mode combines the information from the two subsystems. We describe the determination of the hybrid exposure for events observed by the fluorescence telescopes in coincidence with at least one water-Cherenkov detector of the surface array. A detailed knowledge of the time dependence of the detection operations is crucial for an accurate evaluation of the exposure. We discuss the relevance of monitoring data collected during operations, such as the status of the fluorescence detector, background light and atmospheric conditions, that are used in both simulation and reconstruction.Comment: Paper accepted by Astroparticle Physic

The Fluorescence Detector of the Pierre Auger Observatory

The Pierre Auger Observatory is a hybrid detector for ultra-high energy cosmic rays. It combines a surface array to measure secondary particles at ground level together with a fluorescence detector to measure the development of air showers in the atmosphere above the array. The fluorescence detector comprises 24 large telescopes specialized for measuring the nitrogen fluorescence caused by charged particles of cosmic ray air showers. In this paper we describe the components of the fluorescence detector including its optical system, the design of the camera, the electronics, and the systems for relative and absolute calibration. We also discuss the operation and the monitoring of the detector. Finally, we evaluate the detector performance and precision of shower reconstructions.Comment: 53 pages. Submitted to Nuclear Instruments and Methods in Physics Research Section

Advanced functionality for radio analysis in the Offline software framework of the Pierre Auger Observatory

The advent of the Auger Engineering Radio Array (AERA) necessitates the development of a powerful framework for the analysis of radio measurements of cosmic ray air showers. As AERA performs "radio-hybrid" measurements of air shower radio emission in coincidence with the surface particle detectors and fluorescence telescopes of the Pierre Auger Observatory, the radio analysis functionality had to be incorporated in the existing hybrid analysis solutions for fluoresence and surface detector data. This goal has been achieved in a natural way by extending the existing Auger Offline software framework with radio functionality. In this article, we lay out the design, highlights and features of the radio extension implemented in the Auger Offline framework. Its functionality has achieved a high degree of sophistication and offers advanced features such as vectorial reconstruction of the electric field, advanced signal processing algorithms, a transparent and efficient handling of FFTs, a very detailed simulation of detector effects, and the read-in of multiple data formats including data from various radio simulation codes. The source code of this radio functionality can be made available to interested parties on request.Comment: accepted for publication in NIM A, 13 pages, minor corrections to author list and references in v