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.     

Orbifolds, Sheaves and Groupoids

We characterize orbifolds in terms of their sheaves, and show that orbifolds correspond exactly to a specific class of smooth groupoids. As an application, we construct fibered products of orbifolds and prove a change-of-base formula for sheaf cohomology.     

Essential self-adjointness of operators associated with the Cauchy problem for the wave equation

A sufficient Hartman-Ismagilov type condition for the essential self-adjointness of a one-parameter family of unbounded operators that arise in the solution of a Cauchy problem for the wave equation is established. An analog of this result is stated for unbounded integral operators.Translated from Ukrainskii Matematicheskii Zhurnal, Vol. 44, No. 7, pp. 940–948, July, 1992.     

Selective saturation and inversion of multiple resonances in high-resolution solid-state 13C experiments using slow spinning CP/MAS and tailored DANTE pulse sequences.

Taking advantage of the long 13C T1 values generally encountered in solids, selective saturation and inversion of more than one resonance in 13C CP/MAS experiments can be achieved by sequentially applying several DANTE pulse sequences centered at different transmitter frequency offsets. A new selective saturation pulse sequence is introduced composed of a series of 90 degrees DANTE sequences separated by interrupted decoupling periods during which the selected resonance is destroyed. Applications of this method, including the simplification of the measurement of the principal values of the 13C chemical shift tensor under slow MAS conditions, are described. The determination of the aromaticity of coal using a relatively slow MAS rate is also described.     

Gibbs random fields invariant under infinite-particle Hamiltonian dinamics

The Liouville operator for an infinite-particle Hamiltonian dynamics corresponding to interaction potentialU is used to introduce the concept of a locally weakly invariant measure on the phase space and to show that if a Gibbs measure with potential of general form is locally weakly invariant then its Hamiltonian is asymptotically an additive integral of the motion of the particles with the interactionU.Moscow State University. Translated from Teoreticheskaya i Matematicheskaya Fizika, Vol. 90, No. 3, pp. 424–459, March, 1992.     

Solar probe: a rendezvous with the Sun

Summary A study has been promoted by NASA to evaluate the scientific return and the technological problems of a close-to-the-Sun mission (Solar Probe). It has come out that using current technology it is possible to deliver at 4 solar radii from the Sun's centre a scientific payload with such performances to allow a great improvement of our understanding of the coronal phenomena. The mission concept currently under study uses planetary encounters to reach the required orbit. The final orbit period is 2.5 years, the estimated mission duration about 9 years. The orbit inclination is such as to give the maximum coverage in terms of heliographic latitude. During the perihelion phases a conical structure shields the spacecraft from the intense solar radiation. Paper presented at the V Cosmic Physics National Conference, S. Miniato, November 27–30, 1990.     

Magnetic resonance imaging: a new window into industrial processing.

Although the most important use of nuclear magnetic resonance imaging (MRI) continues to be for diagnostic medicine, recognition is being gained for many nonmedical applications. Examples include the following areas: petrogeology, food, agriculture, polymers and polymer-composites, and pharmaceuticals. These areas all involve studies of species that have short spin-spin relaxation times, and consequently need far fast gradient switching. These technical details are discussed and typical applications given.     

Optical Tunnelling from One-Dimensional Square-Well Potentials

The authors study a one-dimensional model for optical tunnellingwith a refractive index in the shape of a square well. The relevanceof the model and its limiting cases are discussed. The mainresult is the leading behaviour of the exponentially small imaginarypart of the eigenvalue which determines the radiation loss.The leading behaviour of the imaginary part is calculated usingBerry's formula which controls the asymptotic expansion of theAiry function Bi(z) to better-than-exponential accuracy.     

Determination of total ammonium-nitrogen and free ammonia in a fermentation medium by sequential injection analysis

Summary Automated methods for the determination of ammonium and ammonia are reviewed, and techniques based on gas diffusion using a semi-permeable membrane were selected for the determination of both total ammonium-nitrogen and free ammonia in fermentation samples. A simple and robust instrument based on sequential injection analysis (SIA) consisting of a piston pump and two selector valves was used. Two different methods of ammonia detection, the Berthelot method and detection using pH-indicators, have been evaluated and compared. The indicator method showed higher reproducibility and the range of determination could easily be adjusted to match the concentrations of the samples. The range of determination could be adjusted from 0.05 mmol/l to 350 mmol/l, depending on choice of acceptor solution. This method has been evaluated with fermentation medium samples and tested on-line in a yeast fermentation process.Dedicated to Professor Dr. Wilhelm Fresenius on the occasion of his 80th birthday