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.     

一类Narcissistic反应过渡态的优化

我们对一类narcissistic 反应XCH_2-CH_2Y→[过渡态TS]→YCH_2—CH_2X (1)进行了研究,结果表明其过渡态能在对称性限制下由能量极小化方法较容易地给出. 采用IMSPAK分子轨道从头算程序,在IBM VM/370计算机系统上用STO—3G极小基组以平衡几何构型的能量梯度优化方法,在对称性限制下对反应(1)的几种反应体系的过渡态构型进行了优化,其结果列于表1.     

随机环境中双移民生灭过程的极限性质

引入了随机环境中双移民生灭过程的概念，定义了过程的模态指示函数，在此基础上研究了其转移矩阵的平稳分布，给出了平稳分布众数的位置与模态指示函数之间的关系．研究了平稳分布的众数与边界关系．     

BRD96N光调制吸收增强现象的实验研究

通过光谱响应特性实验和记录／读出图像实验，研究了基因变异型细菌视紫红质（BR_D96N）分子膜对单色光的光调制特性.发现BR_D96N分子膜在550nm—600nm范围内对调制光有吸收增强的现象，且对此范围内不同波长的单色光其调制程度有差异.利用曲线拟和方法发现550nm—600nm吸收增强的变化过程分为快过程和慢过程，其对应的时间常数分别为30s和5min.利用强度调制器的吸收强度与图像灰度之间的关系，分析了560nm—600nm范围内出现图像反转的实验现象. 关键词： 细菌视紫红质D96N分子膜 光谱响应 吸收增强现象 图像反转现象     

Thermomagnetic hysteresis and electrical transport in amorphous films

We report resistivity and magnetization measurements on an amorphous Ni₇₄Mn₂₄Pt₂ thin film in the temperature range of 3–300 K. Two significant features are apparent in both the magnetic susceptibility and electrical resistivity. A low-temperature (low-T) anomaly is observed at about 40 K, where a cusp appears in the resistivity, while a concomitant step-like increase in zero-field-cooled (ZFC) magnetization (M) appears with increasing temperature. The low-T anomaly is attributed to a crossover from a pure re-entrant spin-glass within individual domains to a mixed ferro-spin-glass regime at lower temperatures. By contrast, the high-temperature (high-T) anomaly, signaled by the appearance of hysteresis below 250 K, corresponds to the freezing of transverse spins in individual domains acting independently. Between the low-T and high-T anomalies a small but discernable magnetic hysteresis is observed for warming vs. cooling in the field-cooled (FC) case. This behavior clearly indicates the presence of domain structure in the sample, while the disappearance of this hysteresis at lower temperatures indicates the complete freezing of the spin orientation of these domains. According to these results, we have divided the magnetic state of this sample into three regions: at temperatures above 250 K, the sample behaves like a soft ferromagnet, exhibiting M vs. H loops with very small hysteresis (less than 5 Oe). As the temperature is lowered into the intermediate region (the range 40–250 K), spins become frozen randomly and progressively within the individual domains. These domains behave independently, rather than as a cooperative behavior of the sample. Weak irreversibility sets in, indicating the onset of transverse spin freezing within the domains. At temperatures below 40 K, the M vs. H loops exhibit larger hysteresis, for both the ZFC and FC cases, as in a pure spin-glass. We have also demonstrated giant noise in the resistivity at temperatures just below 250 K. Such noise can originate from fluctuations of the domains near the film surface because of competing effective bulk and surface anisotropy fields. The large observed amplitude may be explained by means of a large ferromagnetic anisotropy in the resistivity due to the large spin–orbit effect seen in NiMn systems. Finally, the low-T peak in the resistivity has been analyzed using Fisher and Langer's expression based on the Friedel Model proposed for critical transitions in transition metals (s–d systems). The fitted results are in satisfactory agreement with the predictions of this model.     

Sn-C60薄膜的紫外吸收光谱和X-射线衍射谱分析

对Sn-C60薄膜进行紫外可见光吸收，X-射线衍射和扫描电镜的测定结果显示，薄膜样品紫外可见光吸收的两个短波段吸收峰比纯C60薄膜的吸收峰显著下降，说明Sn-C60薄膜的电子光吸收跃迁为间接跃迁，能带中有杂质能级的存在；样品的X射线衍射峰则对应于面心立方结构；扫描电镜结果显示薄膜为纳米级颗粒组成。     

Parametric and Non Homogeneous Semi-Markov Process for HIV Control

In AIDS control, physicians have a growing need to use pragmatically useful and interpretable tools in their daily medical taking care of patients. Semi-Markov process seems to be well adapted to model the evolution of HIV-1 infected patients. In this study, we introduce and define a non homogeneous semi-Markov (NHSM) model in continuous time. Then the problem of finding the equations that describe the biological evolution of patient is studied and the interval transition probabilities are computed. A parametric approach is used and the maximum likelihood estimators of the process are given. A Monte Carlo algorithm is presented for realizing non homogeneous semi-Markov trajectories. As results, interval transition probabilities are computed for distinct times and follow-up has an impact on the evolution of patients.      

Coupled perpendicular magnetization in Fe/Cu/Fe trilayers

Ultrathin epitaxial Fe films on Cu(1 0 0) with perpendicular magnetization have been used as templates for the preparation of FCC Fe/Cu/Fe trilayers. The magnetic anisotropy and the coupling of these films have been studied by in-situ magneto optical Kerr effect measurements and Kerr microscopy. The magnetic coupling of both Fe layers is found to be dominated by magnetostatic interaction. Adsorbate-induced spin reorientation in the top layer also causes spin reorientation in the bottom layer. The governing role of the Fe-vacuum interface for the magnetism of the whole trilayer is demonstrated.     

Biham–Middleton–Levine model with four-directional traffic

We study the four-directional traffic flow on a two-dimensional lattice. In the case of discrete densities, we assume equal number of vehicles in each lane. Except for the minimum density, the gridlock emerges swiftly. Two kinds of gridlock have been observed. The global gridlock dominates the system when the density is twice the minimum value. At higher densities, the system is pervaded by local gridlocks. We also analyze the time evolution of average speed. In the case of continuous densities, the vehicle numbers vary from lane to lane. The global gridlock is then destroyed by the fluctuations; while the local gridlock can still be observed.     

Magnetic configurations of hybrid ferromagnetic dot–superconductor systems

In-plane single domain and vortex magnetization configurations of the magnetic dot in the hybrid superconductor–ferromagnet system are considered. Single domain configuration energy shift due to the presence of superconductor is calculated. The change of the phase curve of the ferromagnetic dot magnetization due to the repulsion of the magnetic field by the superconductor is obtained. Up to the two-fold decrease of the ferromagnetic dot critical radius due to the presence of the superconductor is predicted.