约束数据库中的函数依赖公理系统与设计理论

约束数据模型作为一种新的数据模型正受到广泛关注。为了约束数据库的应用，需要研究它的设计。为此本文对约束数据库中的函数依赖给出定义，并提出函数依赖的公理系统，证明了它的有效性和完备性；在此基础上完成了约束数据库设计的核心工作：把约束关系模式分解为3NF或BCNF的算法。     

关于Banach-值函数Henstock积分的一个注记

若函数f是定义在[a,b]上的抽象函数,{Ei}是[a,b]中互不相交的闭集列,如果这些Ei的并是[a,b],并且f在每个Ei上McShane可积,则在一定条件下,f在[a,b]上Henstock可积.     

热连轧棒材三切分轧制的实践

介绍萍乡钢铁有限责任公司三轧厂引进的三切铲轧制技术、主要设备概况、生产过程中存在的问题及改进措施：分析三线切分轧制稳定生产的关键是保证切分后轧件尺寸的均匀性，并给出了预切分轧件的偏移量与三线活套高度差的关系。     

具有纳米结构的TiO2纤维光催化氧化活性

研究了具有纳米结构,高比表面的锐钛矿TiO2纤维在光催化降解苯酚体系中的氧化性能,发现其活性与P25相当;通过加羟基自由基猝灭剂证实了羟基自由基(HO·)对苯酚降解的贡献;而通过加空穴猝灭剂则观察到明显的空穴(h+)效应.并通过KI氧化反应进一步研究了催化剂表面上的空穴效应,结果表明,TiO2纤维上的光生空穴比P25稳定,其空穴量子产率是后者的3.3倍.     

浅析债务重组中的利息处理

现行制度、准则有关重组债务之利息的处理规范，与权责发生制等会计核算原则相违背，在债务重组日不确认任何利息，重组后债务的利息在重组日后再行处理，重组后债务在重组日的入帐金额仅为该新债务的本金，并增设“待转利息”科目以完善利息核算。     

Molecular dynamics study on the structure I helium hydrate

A 368- water molecule structure I gas hydrate, encased by the number of helium (He) molecules ranging from two to twenty-two, are calculated by molecular dynamical simulations. The potential TIP4P (transferable intermolecular potentical with four sites) is used for water interactions and Lennard-Jones for He-He and He-water interactions. He molecules do not affect the water lattice and can stabilize the hydrate when their concentration is small. A trough signature of He encased is found at 80～90 meV in the phonon density of states. He molecules prefer to be more off-center in 51262 cages. Heavier isotope He are energetically favorable to be filled in cages.     

芝麻素类型木脂素的合成研究Ⅳ2－苯基呋喃3，4－二羧酸二甲脂与格氏试剂反应的研究

研究了２－苯基呋喃－３，４－二羧酸二甲酯（２）与格氏试剂苯基溴化镁等（３）反应，生成酮基酸酯２－苯基－４－苯甲酰基呋喃－３－羧酸甲酯（１）的条件和方法。     

基于推广卡尔曼滤波的多站被动式融合跟踪

将推广卡尔曼滤波(EKF)算法与集中式融合跟踪算法相结合，用于被动式多站跟踪，给出了基于EKF的被动式多站集中式融合跟踪算法。该算法可解决被动式跟踪系统的可观测性及非线性问题。以三个站进行跟踪为例，进行了仿真研究，结果表明该算法具有满意的跟踪性能。     

用维数公式证明有关矩阵的(不)等式

把线性空间中的维数公式推广到一般的矩阵上，并应用它来证明了几个常见的有关矩阵秩的不等式和等式，其证明过程非常简捷。     

二叉分裂算法的随机路径长度

用泊松变换的方法研究了由二叉分裂算法所产生的随机树上的随机路径的长度,首次得到了关于其数学期望的确切表达式.在此基础上,对该期望的渐近性状进行了分析,证明了当被分裂的集合的大小n趋于无穷时,随机路径长度的期望具有log2n的阶.