Heuristics and look-ahead integration to solve constraint satisfaction problems efficiently

Logic programming languages, such asProlog, allow a declarative specification of Constraint Satisfaction Problems (CSPs), freeing the user from specifying more or less complex control directives. However, the price to pay for such flexibility is a loss of efficiency, which makes Logic Programming inadequate to solve CSPs of even moderate size and complexity. To extend the range of applicability of logic programming, several improvements have been proposed. The use of heuristics is one such improvement. Although this usually forces the user to specify some form of control (thus abandoning the pure declarative nature of a logic program), these specifications can be made declarative by making use of some appropriate meta-predicates. Another extension to logic programming that improves its efficiency, is the active use of constraints, as done in the various formulations of constraint logic programming languages. In particular, the use of finite domains is quite adequate to implement look-ahead schemes to efficiently solve several types of CSPs. In this paper, we discuss the complementary nature of heuristics and look-ahead schemes and present a constraint logic programming framework that integrates both these techniques. Results obtained with a time-tabling problem executed on a prototype that implements such a framework are presented, and show that significant efficiency improvements can be achieved when compared with the separate use of the two techniques.     

Exact and approximate solutions to the Schrödinger equation for the harmonic oscillator with a singular perturbation

I obtain exact solutions for the quantum-mechanical harmonic oscillator with a perturbation potential which belongs to a class of polynomial functions of 1/r. I show that some of the eigenfunctions enable the calculation of expectation values in closed form and are therefore suitable trial functions for the application of the variational method to related nonsolvable problems.     

Europium-151 Mössbauer spectroscopic and XANES investigation of europium-exchanged Y-zeolite

Eu³⁺ in ca. 10 wt% europium-exchanged Y-zeolite is partially reduced by treatment in hydrogen at 600°C to Eu²⁺. The reduction of Eu³⁺ is more readily achieved in Y-zeolite than in europium(III) oxide. The discrepancy in the extent of reduction as revealed by¹⁵¹Eu Mössbauer spectroscopy and near edge X-ray absorption fine structure (XANES) is associated with any difference in the recoil free fractions of Eu²⁺ and Eu³⁺ which may exist at 298 K and the enhanced sensitivity of the XANES to changes in the europium oxidation state.     

A new technique for obtaining the activation energy distribution of a relaxing system

This paper describes a robust and fast fitting procedure applicable for relaxing processes that cannot be understood as a discrete sum of single processes but require an activation energy distribution. The method is based on a set of closed-form expressions that allow the computation of the relaxation parameters directly from the isochronal curves obtained experimentally. The usefulness of this method is checked by analyzing the isochronal curves given by a theoretical energy distribution and the magnetic disaccommodation spectra observed in yttrium iron garnet (YIG) samples. PACS 02.60.Ed; 75.60.Lr; 75.50.Gg     

Monte Carlo Simulation of Electron Transport and X-Ray Generation. II. Radiative Processes and Examples in Electron Probe Microanalysis

Theoretical models for Monte Carlo simulation of radiative processes, i.e. bremsstrahlung and characteristic x-ray emission, are presented. Possible strategies for simulating electron transport are briefly described. For mechanisms involving energy loss and angular deflections, difficulties for strict implementation of accurate numerical differential cross sections still remain due to the strong correlations between these variables. Practical solutions for the case of inelastic collisions and bremsstrahlung emission are described. Comparisons of simulation results with experimental data for several problems of interest in electron probe microanalysis are presented.     

Un modèle mathématique de cyclone

The source waves are some particular solutions to genuinely non linear hyperbolic systems with a source term, whose propagation velocity is a constant determined by the roots of this source term. We propose a system of 2 equations on a 2 dimension space, which model the velocity field of the atmosphere near the ground. The source term is made of three parts: a given pressure gradient, a friction or aspiration effect and the Coriolis force. In the case where these parameters are constant, we build a solution which is a constant outside a circular crown. The internal circle represents the eye's wall of the hurricane and corresponds to a share shock wave. The external circle is a set generating the bifurcation which actually models the hurricane. To cite this article: A.-Y. LeRoux et al., C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Quasi-free divisors and duality

We prove a duality theorem for some logarithmic $\text{D}$-modules associated with a class of divisors. We also give some results for the locally quasi-homogeneous case. To cite this article: F.J. Castro-Jiménez, J.M. Ucha-Enr??quez, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

Stable boundary layers in a diffusion problem with nonlinear reaction at the boundary

We prove the existence of nonconstant stable stationary solutions of an evolution problem with a nonlinear reaction acting on the boundary. These solutions present layers at certain points of the boundary. We also study the behavior of these solutions as the small parameter appearing in the equation approaches zero and show some stability properties of the profiles given by these equilibrium solutions.     

Comparison of Several Calibration Procedures for Glass Electrodes in Proton Concentration

Several reported procedures for calibrating glass electrodes in proton concentration are compared. Some recommendations for non-experts are also given. The examined procedures can be classified into two broad categories, namely: those based on direct potential difference measurements of solutions of known proton concentration and those that use one or several pH standards to calibrate the electrode and subsequently measure the pH of solutions containing known proton concentrations. With a single buffer, the two types of procedures lead to equivalent results. However, if two pH buffers are used, the slope of the calibration graph in proton concentration will differ from the real electrode slope to an extent proportional to the difference between the liquid junction potentials of the two buffers. Therefore, any other method is preferable under these circumstances.