a constraint solver and its application to path feasibility analysis

Many testing methods are based on program paths. A well-known problem with them is that some paths are infeasible. To decide the feasibility of paths, we may solve a set of constraints. In this paper, we describe constraint-based tools that can be used for this purpose. They accept constraints expressed in a natural form, which may involve variables of different types such as integers, Booleans, reals and fixed-size arrays. The constraint solver is an extension of a Boolean satisfiability checker and it makes use of a linear programming package. The solving algorithm is described, and examples are given to illustrate the use of the tools. For many paths in the testing literature, their feasibility can be decided in a reasonable amount of time.

Exact description of a cylindrically symmetrical complex-argument Laguerre-Gauss beam

Based on the perturbative series representation of a complex-source-point spherical wave an expression for cylindrically symmetrical complex-argument Laguerre-Gauss beams of radial order n is derived. This description acquires the accuracy up to any order of diffraction angle, and its first three corrected terms are in accordance with those given by Seshadri [Opt. Lett. 27, 1872 (2002)] based on the virtual source method. Numerical results show that on the beam axis the number of orders of nonvanishing nonparaxial corrections is equal to n. Meanwhile a higher radial mode number n leads to a smaller convergent domain of radius. (C) 2008 Optical Society of America.

etl workflow analysis and verification using backwards constraint propagation

University of Twente; Centre for Telematics and Information Technology; Netherlands Organisation for Scientific Research; Jacquard; Capgemini

Effects of the transition dipole moment function on the dynamics of ozone photodissociation: an exact 3D quantum mechanical study

The effects of the transition dipole moment function (TDMF) on the dynamics Of O-3 photodissociation in the Hartley band have been exploited by means of exact 3D time-dependent wavepacket method using the SW potential energy surface [J. Chem. Phys. 78 (1983) 7191]. The calculations show that the explicit inclusion of the TDMF results in slight uniform reductions for the intensities of recurrence peaks of the autocorrelation function and a slight broadening of the absorption spectrum, in comparison with the result where the TDMF is assumed to be constant. The pattern of recurrence structures of the autocorrelation function is essentially unaffected. (C) 2001 Elsevier Science B.V. All rights reserved.