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.     

叶栅全三维粘性反问题的数值解

本文发展了一种解叶栅全三维粘性反问题的新的数值方法.基于非正交曲线坐标与相应的非正交速度分量下完全守恒型的Navier－Stokes方程,全三维反问题规定叶片表面的无量纲压力分布反求叶型。计算中叶片表面的边界条件采用一种特殊的方式来处理，即一方面强加给定的压力分布条件,另方面叶面的几何位置在迭代过程中又是可移动的，其移动速度将与Navier—Stokes方程在当地的解联系起来，从而形成一种解定常问题的新的不定常过程.试算证明了本文方法的可行性。     

黄酮类天然产物13C NMR数据的计算机检索和辅助解析(Ⅱ)黄酮类天然产物的13C NMR数据规律及其在智能解析中的应用

本文通过对大量的黄酮类化合物¹³C NMR图谱的分析和研究,总结了不同类型的黄酮类化合物的¹³C NMR图谱特征及化学位移规律.对影响黄酮类化合物结构骨架上不同位置碳原子化学位移的因素进行了分析,建立了用于黄酮类天然产物¹³C NMR图谱智能解析的知识库.     

The epitaxial growth of gaas using alkylarsine: Part 2. molecular orbital calculation

Semi-empirical molecular orbital calculations were carried out for the compounds (C₂H₅)₃As, (C₂H₅)₃Ga and RAsH₂ (R = C₂H₅, i-C₃H₇, i-C₄H₉, and t-C₄H₉) by using the CNDO/2-U program, and their capability of β-elimination reaction is compared on the basis of the torsion energy to the transition state, electrostatic interactions and orbital overlapping between the central atom and the β-hydrogen, and bond order of the metal-carbon, and carbon-hydrogen bond. In the comparison of (C₂H₅)₃As with (C₂H₅)₃Ga, we found that the β-elimination of (C₂H₅)₃As could hardly be expected to take place in the thermal decomposition. The capability of β-elimination would be smaller in C₂H₅AsH₂ than that in (C₂H₅)₃As. Moreover when the ethyl group is replaced by a t-butyl group in RAsH₂, the β-elimination reaction appears to become more difficult and a large possibility for a radical process is suggested.     

Exact boundary observability for 1‐D quasilinear wave equations

By means of a direct and constructive method based on the theory of semi‐global C² solution, the local exact boundary observability and an implicit duality between the exact boundary controllability and the exact boundary observability are shown for 1‐D quasilinear wave equations with various boundary conditions. Copyright © 2006 John Wiley & Sons, Ltd.     

Infinite-dimensional linear groups with restrictions on subgroups that are not soluble <Emphasis Type="Italic">A</Emphasis><Subscript>3</Subscript>-groups

We are concerned with infinite-dimensional locally soluble linear groups of infinite central dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite central dimension. The structure of groups in this class is described. The case of infinite-dimensional locally nilpotent linear groups satisfying the specified conditions is treated separately. A similar problem is solved for infinite-dimensional locally soluble linear groups of infinite fundamental dimension that are not soluble A₃-groups and all of whose proper subgroups, which are not soluble A₃-groups, have finite fundamental dimension. __________ Translated from Algebra i Logika, Vol. 46, No. 5, pp. 548–559, September–October, 2007.     

Quantization of complex Lagrangian submanifolds

Let Λ be a smooth Lagrangian submanifold of a complex symplectic manifold X. We construct twisted simple holonomic modules along Λ in the stack of deformation-quantization modules on X.     

QN-spaces, wQN-spaces and covering properties

The main results of the paper are as follows: covering characterizations of wQN-spaces, covering characterizations of QN-spaces and a theorem saying that Cp(X) has the Arkhangel'ski?ˇ property (α₁) provided that X is a QN-space. The latter statement solves a problem posed by M. Scheepers [M. Scheepers, Cp(X) and Arhangel'ski?ˇ's αi-spaces, Topology Appl. 89 (1998) 265-275] and for Tychonoff spaces was independently proved by M. Sakai [M. Sakai, The sequence selection properties of Cp(X), Preprint, April 25, 2006]. As the most interesting result we consider the equivalence that a normal topological space X is a wQN-space if and only if X has the property S₁(Γshr,Γ). Moreover we show that X is a QN-space if and only if Cp(X) has the property (α₀), and for perfectly normal spaces, if and only if X has the covering property (β₃).     

An adaptive scheme for the approximation of dissipative systems

We propose a new scheme for the long time approximation of a diffusion when the drift vector field is not globally Lipschitz. Under this assumption, a regular explicit Euler scheme–with constant or decreasing step–may explode and implicit Euler schemes are CPU-time expensive. The algorithm we introduce is explicit and we prove that any weak limit of the weighted empirical measures of this scheme is a stationary distribution of the stochastic differential equation. Several examples are presented including gradient dissipative systems and Hamiltonian dissipative systems.