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     

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.     

Radiative characteristics of pulsed power driven Z-pinch aluminumplasmas

In this paper, we study the dynamics of a massive aluminum Z-pinch plasma load and evaluate its performance as a soft X-ray radiator. A radiation hydrodynamic model self-consistently driven by a circuit describes the dynamics. Comparisons are made for the K- and L-shell soft X-ray emission as a function of the ionization dynamic model. The ionization dynamic models are represented by: 1) a time-dependent nonequilibrium (NEQ) model, 2) a collisional radiative equilibrium (CRE) model, and 3) a local thermodynamic equilibrium (LTE) model. For all three scenarios the radiation is treated 1) in the free streaming optically thin approximation where the plasma is treated as a volume emitter and 2) in the optically thick regime where the opacity for the lines and continuum is self-consistently calculated online and the radiation is transported through the plasma. Each simulation is carried out independently to determine the sensitivity of the implosion dynamics to the ionization and radiation model, i.e., how the ionization dynamic model affects the radiative yield and emission spectra. Results are presented for the L- and K-shell radiation yields and emission spectra as a function of photon energy from 10 eV to 10 keV. Also, departure coefficients from LTE are presented for selected levels and ionization stages     

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