Database reverse engineering: From requirements to CARE tools

This paper analyzes the requirements that CASE tools should meet for effective database reverse engineering (DBRE), and proposes a general architecture for data-centered applications reverse engineering CASE environments. First, the paper describes a generic DBMS-independent DBRE methodology, then it analyzes the main characteristics of DBRE activities in order to collect a set of desirable requirements. Finally, it describes DB-MAIN, an operational CASE tool developed according to these requirements. The main features of this tool that are described in this paper are its unique generic specification model, its repository, its transformation toolkit, its user interface, the text processors, the assistants, the methodological control and its functional extensibility. Finally, the paper describes five real-world projects in which the methodology and the CASE tool were applied. This is a heavily revised and extended version of “Requirements for Information System Reverse Engineering Support” by J.-L. Hainaut, V. Englebert, J. Henrard, J.-M. Hick, D. Roland, which first appeared in the Proceedings of the Second Working Conference on Reverse Engineering, IEEE Computer Society Press, pp. 136–145, July 1995. This paper presents some results of the DB-MAIN project. This project is partially supported by the Région Wallonne, the European Union, and by a consortium comprising ACEC-OSI (Be), ARIANE-II (Be), Banque UCL (Lux), BBL (Be), Centre de recherche public H. Tudor (Lux), CGER (Be), Cockerill-Sambre (Be), CONCIS (Fr), D'Ieteren (Be), DIGITAL, EDF (Fr), EPFL (CH), Groupe S (Be), IBM, OBLOG Software (Port), ORIGIN (Be), Ville de Namur (Be), Winterthur (Be), 3 Suisses (Be). The DB-Process subproject is supported by the Communauté Fran?aise de Belgique.     

Dirac-Hestenes spinor fields on Riemann-Cartan manifolds

In this paper we study Dirac-Hestenes spinor fields (DHSF) on a four-dimensional Riemann-Cartan spacetime (RCST). We prove that these fields must be defined as certain equivalence classes of even sections of the Clifford bundle (over the RCST), thereby being certain particular sections of a new bundle named the spin-Clifford bundle (SCB). The conditions for the existence of the SCB are studied and are shown to be equivalent to Geroch's theorem concerning the existence of spinor structures in a Lorentzian spacetime. We introduce also the covariant and algebraic Dirac spinor fields and compare these with DHSF, showing that all three kinds of spinor fields contain the same mathematical and physical information. We clarify also the notion of (Crumeyrolle's) amorphous spinors (Dirac-Kähler spinor fields are of this type), showing that they cannot be used to describe fermionic fields. We develop a rigorous theory for the covariant derivatives of Clifford fields (sections of the Clifford bundle, CB) and of Dirac-Hestenes spinor fields. We show how to generalize the original Dirac-Hestenes equation in Minkowski spacetime for the case of RCST. Our results are obtained from a variational principle formulated through the multiform derivative approach to Lagrangian field theory in the Clifford bundle.     

Using dynamic data exchange to exchange information between Visual Basic and Matlab : Application to a diode array spectrophotometer

Photodiode array spectrometers are increasingly being coupled to flow analysis and separation techniques. Computer programs are needed to control the data acquisition from each photodiode and to handle the data. The Microsoft Visual Basic programming language is used along with a DLL library and dynamic data exchange (DDE) to allow communication with the MATLAB computational environment.     

Signals in chaos: A method for the cancellation of deterministic noise from discrete signals

In this paper we describe a method for separating a combination of a chaotic time series and a discrete-valued signal. The method uses a feedback technique stabilised using knowledge of the chaotic system and the discrete nature of the signal. It is not based on a linearization of the dynamics, and therefore, unlike previously proposed separation methods, does not require that the signal be small. Nor does it make any assumptions about the relative timescales of the signal and the chaotic time series.     

Dynamical symmetries inq-deformed quantum mechanics

The dynamical algebra of theq-deformed harmonic oscillator is constructed. As a result, we find the free deformed Hamiltonian as well as the Hamiltonian of the deformed oscillator as a complicated, momentum dependent interaction Hamiltonian in terms of the usual canonical variables. Furthermore we construct a welldefined algebraSU _q(1,1) with consistent conjugation properties and comultiplication. We obtain non lowest weight representations of this algebra.     

Calculations of the Cd hyperfine field andEFG on Ni surfaces

The hyperfine field andthe electric field gradient on Cd probe atoms at Ni(100) and Ni(111) surfaces are calculated self-consistently within the local density molecular/cluster approach.     

Convective Heat Transfer past Small Cylindrical Bodies

Convective heat transfer from an array of small, cylindrical bodies of arbitrary shape in an unbounded, two-dimensional domain is a singular perturbation problem involving an infinite logarithmic expansion in the small parameter ε, representing the order of magnitude of the size of the bodies. Using the method of matched asymptotic expansions, we formulate a hybrid asymptotic-numerical method to solve for the dimensionless, steady-state temperature. We assume that the velocity field of the fluid surrounding the bodies is arbitrary but known. From our asymptotic solution for an arbitrary velocity field, we present the results for two special cases: a uniform flow field and a simple shear flow field. We demonstrate the asymptotic results of the hybrid method through a number of examples and, in a particular case, we compare these results to an exact analytical solution.