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.     

一种基于能带工程设计的CaAsSb/InP异质结双极晶体三极管

异质结晶体三极管（HBT）的性能与其材料体系密不可分，利用能带工程可以大大优化器件的结构，提高器件性能，文章从分析HBT的能带结构及设计要求入手，介绍了一种利用能带工程设计的基于GaAsSb/InP材料体系的新型HBT器件的结构及其性能，分析了该器件与其它材料体系器件相比所具有的优异特性，说明了对HBT的各区材料，其带边的相对位置所起的重要作用，最后，文章还报道了近期的实验情况，说明了GaAsSb/InP体系HBT的实际性能与理论预言一致。     

Group-valued measures on coarse-grained quantum logics

In [3] it was shown that a (real) signed measure on a cyclic coarse-grained quantum logic can be extended, as a signed measure, over the entire power algebra. Later ([9]) this result was re-proved (and further improved on) and, moreover, the non-negative measures were shown to allow for extensions as non-negative measures. In both cases the proof technique used was the technique of linear algebra. In this paper we further generalize the results cited by extending group-valued measures on cyclic coarse-grained quantum logics (or non-negative group-valued measures for lattice-ordered groups). Obviously, the proof technique is entirely different from that of the preceding papers. In addition, we provide a new combinatorial argument for describing all atoms of cyclic coarse-grained quantum logics.     

On the spectral sequence constructors of Guichardet and Stefan

The concept of a spectral sequence constructor is generalised to Hopf Galois extensions. The spectral sequence constructions that are given by Guichardet for crossed product algebras are also generalised and shown to provide examples. It is shown that all spectral sequence constructors for Hopf Galois extensions construct the same spectral sequence.     

LOCAL SPECTRA OF UNILATERAL OPERATOR WEIGHTED SHIFTS

In this note, the local spectral properties of unilateral operator weighted shifts arestudied.     

泛代数的二次扩张

在本文中引入了泛代数的二次扩张的概念，解决了ＴＵ－ＥＣ（Ａ）和ＵＴ－ＥＣ（Ａ）的存在、真类和基数问题，范畴ＴＵ－ＥＣ（Ａ）（及ＵＴ－ＥＣ（Ａ）），并得到了有关二次扩张的几个同构定理，还对一点二次扩张作了讨论。     

用于曲面精密检测的新型光纤三角传感器研究

基于光纤传感技术和三角测量方法，提出了一种用于曲面检测的新型光纤三角传感器。根据所设计的轮辐式接收光纤结构，可以在测量曲面与传感头间位移时，首先获取被测点处微面元的倾斜信息，以便对传感器测量值进行实时误差修正，从而解决了被测表面倾斜对坐标测量带来的影响。该传感器还能有效地消除环境光干扰、光源波动、表面反射率变化等对测量带来的影响。建立了传感器测量的数学模型。理论分析和初步的实验结果证明了系统的有效性和实用性。该传感器系统不稳定性好于0.3%，横向分辨率好于8μm，高度分辨率好于0.1μm。     

深紫外无机非线性光学晶体硼铍酸锶及其分子工程学探索方法

阐述了紫外无机非线性光学晶体分子工程学探索方法的基本特点，具体分析深紫外无机非线性光学晶体硼铍酸锶（ＳＢＢＯ）以氟硼铍酸钾（ＫＢＢＦ）为主要参考晶体的分子设计方法，随后根据晶体结构研究、单晶培养、和非线性光学性能测定等实验结果讨论ＳＢＢＯ作为新型深紫外无机晶体的主要优点，即它既具有更短的紫外吸收边（接近１５５ｎｍ）和较大的非线性光学系数（ｄ２２（ＳＢＢＯ）＝０６×ｄ２２（ＢＢＯ）＝１３８ｐｍ／Ｖ），同时晶体无明显层状习性，并肯有良好的化学稳定性和机械性能