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.     

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     

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).     

Characterization of the behaviour of flavour microcapsules in cotton fabrics

Nanotechnology processes have recently been introduced into the textile field. One of these processes involves encapsulated nanoparticles or nanoproducts, known as microcapsules. They are available with a wide range of products which confer different properties related to the nature of the encapsulated product. The composition of the wall material determines the release of the product into the fabric and is the object of study in the present work. The behaviour of microencapsulated peppermint was analyzed on cotton fabrics.Different application methods have been tested, impregnation versus bath exhaustion. As impregnation turned out to be the most efficient, some recipes were assayed and the effect of microcapsules on maintenance conditions was evaluated in order to determine the most suitable method with the longest lasting effect on fabrics.The effect of microcapsules is usually measured by the presence of a property such as odour measurements when flavours are encapsulated. The aim of this work is to explain the behaviour of the cotton fabrics with microcapsules bound to their fibers, to determine the relationship between their macroscopic properties and microscopic characteristics. A procedure based in FTIR spectroscopy is also proposed to quantify the presence of microcapsules in the fabrics.IR spectra of the textiles were obtained to determine the presence of microcapsules, which was corroborated by SEM techniques.     

On the Cartan–Jacobson Theorem

The well-known Cartan–Jacobson theorem claims that the Lie algebra of derivations of a Cayley algebra is central simple if the characteristic is not 2 or 3. In this paper we have studied these two cases, with the following results: if the characteristic is 2, the theorem is also true, but, if the characteristic is 3, the derivation algebra is not simple. We have also proved that in this last case, there is a unique nonzero proper seven-dimensional ideal, which is a central simple Lie algebra of type A₂, and the quotient of the derivation algebra modulo this ideal turns out to be isomorphic, as a Lie algebra, to the ideal itself. The original motivation of this work was a series of computer-aided calculations which proved the simplicity of derivation algebras of Cayley algebras in the case of characteristic not 3. These computations also proved the existence of a unique nonzero proper ideal (which turns out to be seven-dimensional) in the algebra of derivations of split Cayley algebras in characteristic 3.     

Monitoring managerial efficiency in the performing arts: A regional theatres network perspective

Managerial efficiency within the performing arts programming can be understood as the technical efficiency of transforming the resources cultural managers have available into a determined cultural output. Through this explanation different conceptions on the finished performance product it leads us to select two different output variables (number of performances, and number of attendances). In this way, three different models are considered regarding those conceptual points of view. Data on the Circuït Teatral Valencià, a Spanish regional theatres network, is used to develop empirically the concept of Managerial Efficiency and set up a framework to allow us to monitor it.     

Long-Range proton-proton coupling constants. I. Propanic coupling involving a methyl group 4JMeH

An equation is formulated on the basis of theoretical INDO/FPT calculations which describes the angular dependence of the propanic long-range coupling constant ⁴J_MeH in substituted HCCCH₃ fragments. This equation is a truncated Fourier series in the torsion angle ?, HCCMe, which takes into account the dependence of the Fourier coefficients on the bond angle θ, CCMe. The substituent effects are assumed to be additive. Some parameters in the equation may be obtained from the ⁴J_MeH couplings in propane and neopentane derivatives. The calculated effect upon ⁴J_MeH of changes in the bond angle θ is significant and it seems to be in part the cause of some effects which have been attributed to conformational dependence.     

Defect concentration in Ti-substituted YIG from TG curves

The article discusses theory and experiment about the measurement of defect concentration in Ti-substituted yttrium iron garnet by means of thermogravimetry techniques. The two possible cases arising from oxygen interchange with atmosphere, oxygen vacancies and interstitial cations, may be analyzed quantitatively from the derived expressions. The possibility of another type of defects being present in the samples, not associated to oxygen evolution, is not excluded. Measurements were carried out in air and CO₂ for different Ti contents. The substitution tends to increase slightly the defect parameter θ in YIG, while a CO₂ reducing atmosphere is much more effective than the Ti substitution for increasing θ. Calculations for a given single-phased sample sintered in air show two possibilities: a deficit of one oxygen atom for every 2.5 unit cells of 96 atoms, or one excess cation for every 3.5 cells. Other samples show very similar results. The accuracy involved in the measurements is about 2–3%.