Exact Max-SAT solvers for over-constrained problems

We present a new generic problem solving approach for over-constrained problems based on Max-SAT. We first define a Boolean clausal form formalism, called soft CNF formulas, that deals with blocks of clauses instead of individual clauses, and that allows one to declare each block either as hard (i.e., must be satisfied by any solution) or soft (i.e., can be violated by some solution). We then present two Max-SAT solvers that find a truth assignment that satisfies all the hard blocks of clauses and the maximum number of soft blocks of clauses. Our solvers are branch and bound algorithms equipped with original lazy data structures, powerful inference techniques, good quality lower bounds, and original variable selection heuristics. Finally, we report an experimental investigation on a representative sample of instances (random 2-SAT, Max-CSP, graph coloring, pigeon hole and quasigroup completion) which provides experimental evidence that our approach is very competitive compared with the state-of-the-art approaches developed in the CSP and SAT communities. Research partially supported by projects TIN2004-07933-C03-03 and TIC2003-00950 funded by the Ministerio de Educación y Ciencia. The second author is supported by a grant Ramón y Cajal.     

Hilbert Space of Probability Density Functions Based on Aitchison Geometry

The set of probability functions is a convex subset of L1 and it does not have a linear space structure when using ordinary sum and multiplication by real constants. Moreover, difficulties arise when dealing with distances between densities. The crucial point is that usual distances are not invariant under relevant transformations of densities. To overcome these limitations, Aitchison＇s ideas on compositional data analysis are used, generalizing perturbation and power transformation, as well as the Aitchison inner product, to operations on probability density functions with support on a finite interval. With these operations at hand, it is shown that the set of bounded probability density functions on finite intervals is a pre-Hilbert space. A Hilbert space of densities, whose logarithm is square-integrable, is obtained as the natural completion of the pre-Hilbert space.     

Category with a natural cone

Generally, in homotopy theory a cylinder object (or, its dual, a path object) is used to define homotopy between morphisms, and a cone object is used to build exact sequences of homotopy groups. Here, an axiomatic theory based on a cone functor is given. Suspension objects are associated to based objects and cofibrations, obtaining homotopy groups referred to an object and relative to a cofibration, respectively. Exact sequences of these groups are built. Algebraic and particular examples are given. We point out that the main results of this paper were already stated in [3], and the purpose of this article is to give full details of the foregoing.     

The LPCTrap experiment: measurement of the β–ν angular correlation in 6He using a transparent Paul trap

We report on the status of the LPCTrap experiment, devoted to measure the β–ν angular correlation in the pure Gamow–Teller decay of ⁶He. This measurement is motivated by the search for the presence of tensor type contributions to the weak interaction. The ⁶He ions are confined in a novel transparent Paul trap. The β particles and the recoil ions are detected in coincidence to deduce the angular correlation parameter. The commissioning run performed in 2005 has given the proof of principle of this experiment. Up to 10⁵ coincidences were recorded during a second run in 2006.     

A polar macroporous sorbent for gas chromatography

Summary The gas chromatographic behaviour of crosslinked macroporous 2-hydroxyethyl methacrylate grafted with 2-methyloxazoline was investigated and the range of applicability of the copolymer was assessed. Retention index values were measured on this copolymer and compared with those obtained on the terpolymer 2-hydroxyethyl methacrylate-ethylene dimethacrylate-acrylonitrile. Rohrschneider constants and efficiency data for selected sorbates are given. The use of this type of polymer in the separation of various types of compounds is documented by various examples.     

Equilibrium States in the Quadruple–Kerr Solution

The extended quadruple–Kerr metric is used to consider equilibrium states of four collinear Kerr particles. We explain our previous failure to solve numerically the full set of the balance equations, and we derive a self–consistent system of the axis conditions leading to the equilibrium of all four constituents which can be black holes or hyperextreme objects. The equilibrium configurations obtained in this paper exhibit similar features with those occurring in the systems of two Kerr particles, for instance, the balance of four Kerr black holes with positive masses does not seem possible. Equilibrium states of two identical compound Kerr objects are also discussed.     

Noise emitted by water supply installations

This work deals with the problem of noise generated by water supply systems in homes. Measurements were made in situ to determine normal conditions of installations and noise levels generated in different rooms in the home. In order to determine the sources of noise and the best construction methods to minimise noise generation, a laboratory was also built to reproduce the conditions of this type of installation in homes. Tests were carried out in this laboratory on different configurations of type of tap, installation material, walling and fastening of the installation, to allow quantitative determination of the differences in noise generation between the various configurations used in households.     

JET: Preparing the future in fusion

JET (Joint European Torus) is the largest tokamak in the world and the only fusion facility able to operate with Tritium, the fusion fuel, and Beryllium, the ITER first wall material. JET also features the most complete remote handling equipment for invessel maintenance. As a multinational research center, JET provides logistic experience in preparing for operation of the global facility, tokamak ITER.Experiments on JET are focused on ITER-relevant studies, in particular on detailing the operational scenarios (EL My H-modes and advanced regimes), on enhancing the heating systems, on developing diagnostics for burning plasmas etc. Pioneering real-time control techniques have been implemented that maximize performance and minimize internal disturbances of JET plasmas. In helium plasmas, ion cyclotron heating (ICRH) created fast α-particles, mimicking their populations in future burning plasmas. The recent successful Trace Tritium campaign provided important new data on fuel transport. Current enhancements on JET include a new ITER-like ELM-resilient high power ICRH antenna (7 MW) and over twenty new diagnostics that will further extend the JET scientific capabilities and push the facility even closer to the ITER parameters.A special mention is given to the involvement of the fusion experts from Association EURATOM-IPP.CR, who have been actively participating in the collective use of JET facility for more than three years.     

Heuristic Rejection in Interval Global Optimization

Based on the investigation carried out in Ref. 1, this paper incorporates new studies about the properties of inclusion functions on subintervals while a branch-and-bound algorithm is solving global optimization problems. It is found that the relative place of the global minimum value within the inclusion function value of the objective function at the current interval indicates mostly whether the given interval is close to a minimizer point. This information is used in a heuristic interval rejection rule that can save a considerable amount of computation. Illustrative examples are discussed and an extended numerical study shows the advantages of the new approach.