A CHR-based Implementation of Known Arc-Consistency

In classical CLP(FD) systems, domains of variables are completely known at the beginning of the constraint propagation process. However, in systems interacting with an external environment, acquiring the whole domains of variables before the beginning of constraint propagation may cause waste of computation time, or even obsolescence of the acquired data at the time of use. For such cases, the Interactive Constraint Satisfaction Problem (ICSP) model has been proposed as an extension of the CSP model, to make it possible to start constraint propagation even when domains are not fully known, performing acquisition of domain elements only when necessary, and without the need for restarting the propagation after every acquisition. In this paper, we show how a solver for the two sorted CLP language, defined in previous work, to express ICSPs, has been implemented in the Constraint Handling Rules (CHR) language, a declarative language particularly suitable for high level implementation of constraint solvers.Comment: 22 pages, 2 figures, 1 table To appear in Theory and Practice of Logic Programming (TPLP

Perspectives of Imaging of Single Protein Molecules with the Present Design of the European XFEL. - Part I - X-ray Source, Beamlime Optics and Instrument Simulations

The Single Particles, Clusters and Biomolecules (SPB) instrument at the European XFEL is located behind the SASE1 undulator, and aims to support imaging and structure determination of biological specimen between about 0.1 micrometer and 1 micrometer size. The instrument is designed to work at photon energies from 3 keV up to 16 keV. This wide operation range is a cause for challenges to the focusing optics. In particular, a long propagation distance of about 900 m between x-ray source and sample leads to a large lateral photon beam size at the optics. The beam divergence is the most important parameter for the optical system, and is largest for the lowest photon energies and for the shortest pulse duration (corresponding to the lowest charge). Due to the large divergence of nominal X-ray pulses with duration shorter than 10 fs, one suffers diffraction from mirror aperture, leading to a 100-fold decrease in fluence at photon energies around 4 keV, which are ideal for imaging of single biomolecules. The nominal SASE1 output power is about 50 GW. This is very far from the level required for single biomolecule imaging, even assuming perfect beamline and focusing efficiency. Here we demonstrate that the parameters of the accelerator complex and of the SASE1 undulator offer an opportunity to optimize the SPB beamline for single biomolecule imaging with minimal additional costs and time. Start to end simulations from the electron injector at the beginning of the accelerator complex up to the generation of diffraction data indicate that one can achieve diffraction without diffraction with about 0.5 photons per Shannon pixel at near-atomic resolution with 1e13 photons in a 4 fs pulse at 4 keV photon energy and in a 100 nm focus, corresponding to a fluence of 1e23 ph/cm^2. This result is exemplified using the RNA Pol II molecule as a case study