基于矩阵到3NF保持函数依赖的模式分解

利用矩阵这一工具，研究了到３ＮＦ保持函数依赖的模式分解，文中基于矩阵给出了判定３ＮＦ的若干定理，并提出矩阵行相容，矩阵包含和矩阵合并等新的定义，给出了基于矩阵到３ＮＦ保持函数依赖的模式分解算法。     

一种基于FD集特征的3NF判定算法

详细研究了属于３ＮＦ的关系模式ＦＤ集的特征，在此基础上，提出了一个基于ＦＤ集特征的３ＮＦ判定算法，并对算法的正确性及优点进行了证明和阐述。     

数据库的图形设计方法

提出了一种新的数据库设计方法，给出了ＩＮＦ，２ＮＦ，３ＮＦ数据结构图及从３ＮＦ数据结构图中直接推导ＥＥＲ图的方法，为数据库的设计开辟了一种新途径。     

NF—IL6对iNOS基因表达的负调控

诱生型一氧化氮合酶基因的调控序列中含有ＮＦ－ＩＬ６的识别元件，但ＮＦ－ＩＬ６对ｉＮＯＳ基因的调控功能目前尚不清楚。研究发现ＰＳ２／０骨髓瘤细胞能低剂量持续表达ｉＮＯＳ，该利用该模型将含有ｉＮＯＳ调控序列的报告基因质粒与ＮＦ－ＩＬ６的表达质粒共转染至ＳＰ２／０细胞，观察到ＮＦ－ＩＬ６５的表达能抑制ｉＮＯＳ基因的表达，并呈剂量效应关系，初步认为ＮＦ－ＩＬ６是ｉＮＯＳ基因表达的负调控因子。     

用热分析方法研究制备Ni/Al_2O_3催化剂过程中的热分解过程

以Ｎｉ（ＮＯ３）２·６Ｈ２Ｏ为参照物，用热重分析和差热分析方法，通过研究一系列不同Ｎｉ负载量的Ｎｉ（ＮＯ３）２／Ａｌ２Ｏ３的热分解过程发现，无论是在空气气氛还是氮气气氛中，纯Ｎｉ（ＮＯ３）２·６Ｈ２Ｏ的分解均是分五步进行的，其中前四步为脱水，后一步是Ｎｉ（ＮＯ３）２分解为Ｎｉ２Ｏ３．当Ｎｉ（ＮＯ３）２负载于Ａｌ２Ｏ３表面后，其分解情况随载Ｎｉ量的不同而发生变化．与纯Ｎｉ（ＮＯ３）２·６Ｈ２Ｏ相比，负载后的样品的脱水变得更为容易了．在最终含Ｎｉ３％的样品上，分解过程仅有两步：第一步是在较低温度下失水，第二步则是Ｎｉ（ＮＯ３）２分解为ＮｉＯ．随着Ｎｉ含量的增高，失水又开始分步，并向Ｎｉ（ＮＯ３）２·６Ｈ２Ｏ的分解靠近．总的说来，Ｎｉ（ＮＯ３）２的分解变得容易了，它能在更低温度下分解，分解产物可能包括Ｎｉ２Ｏ３     

固氮酶中N2键合位的研究

用乙烯作为株针，从Ｎ＿２还原Ｈ＿２和体系的总电子数可以看出，乙烯不能与Ｎ＿２在固氮酶体系中相竞争，表明Ｎ＿２在固氮酶中的键合位很可能是蛋白键合ＦｅＭｏ－ｃｏ笼内的６Ｆｅ［μ＿６（η￣２，ε＿４）］模式和３Ｆｅ＋ｌＭｏ［μ＿４（η￣３，ε＿１）模式。而不是笼口的２Ｆｅ模式，     

空值环境下关系模式无损连接分解为(N)BCNF的必要条件和算法

对文献「１」提出的空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的必要条件，给出二个反例，证明它是不正确的，并分别从关系模式的函数依赖集Ｆ的最小依赖集Ｆ科教 包Ｆ出发，重新给出二个必要条件，另外，还给出二个空值环境下关系模式无损连接分解为（Ｎ）ＢＣＮＦ的算法，这二种算法均是进行二叉树搜索物算法，每次分解均是对非（Ｎ）ＢＣＮＦ的子式进行一分为二且无损连接的分解，由一个父结点得到二个子结点，若可能，就     

关于Frobenius问题与其相关的问题(Ⅰ)

给出了不可表成ａｘ＋ｂｙ（其中（ａ，ｂ）＝１，ｘ，ｙ，表示非负整数）的正整数形式及最大公因子的计算公式，从而推广了柯召教授关于Ｆ（ａ１，ａ２，ａ３）的结果，并给出Ｆ（ａ１，ａ２，ａ３）的最大下界；及Ｎ（ａ１，ａ２）公式的另一种证明。     

用热分析方法研究制备了Ni／Al2O3催化剂过程中的热分…

以Ｎｉ（ＮＯ３）２．６Ｈ２Ｏ为参照物，用热重分析和差热分析方法，通过研究一系列不同Ｎｉ负载量的Ｎｉ（ＮＯ３）２／Ａｌ２Ｏ３的热分解过程发现，无论是在空气气氛还是氮气气氛中，纯Ｎｉ（ＮＯ３）２．６Ｈ２Ｏ的分解均是分五步进行的，其中前四步为脱水，后一步是Ｎｉ（ＮＯ３）２分解为Ｎｉ２Ｏ３．当Ｎｉ（ＮＯ３）２负载于Ａｌ２Ｏ３表面后，其分解情况随载Ｎｉ量的不同而发生变化。与纯Ｎｉ（ＮＯ３）２．６Ｈ２Ｏ相比，     

块r－循环矩阵的推广

给出了块初等ｒ－循环矩阵的新概念，研究了之们的性质，证明了利用ＦＦＴ求逆的计算复杂性为Ｏ（ｍ＿２ｎｌｏｇ２ｎ＋ｎｍ￣３）。     

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

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

对连接依赖及5NF的修正

本文通过对连接依赖[1]的分析和研究,提出了真连接依赖和最简连接依赖的概念。剔除了两类容易造成误解的连接依赖,在此基础上给出了新的5NF的定义,为判定算法的研究奠定了基础。     

NF与木钙复合减水剂的效果研究

对ＮＦ与木钙复合减水的效果进行了试验研究，讨论了其对不同品种水泥的适应性，并对掺入复合减水剂的砼进行了坍落度损失测定。结果表明，采用ＮＦ与木钙复合减水剂效果明显优于单掺ＮＦ或木钙，既可显著改善砼性能，又可大大降低减水剂成本。     

小型CAD数据库的一种实现方案

针对传统关系数据库不能直接支持工程设计对象表示的弱点,结合小型CAD系统环境,提出了一种基于关系模型概念扩充的CAD数据库模式,并给出了按该模式进行设计对象数据结构与关系文件转换的算法及对库中对象简单操作的流程。     

数据库理论和技术的发展

随着数据库技术应用范围的扩大,数据库理论和技术近些年来得到迅速发展。本文简述了面向对象数据库(Object-Oriented Database),非第一范式关系数据库(NF~2 relalienal Database),知识库(主要是演译数据库 Deductive Database)的发展概况,介绍了世界上一些研究者的研究成果及观点。文来附有较丰富的参考文献。     

一个能获得3NF关系的数据库设计专家系统

本文在数据分析的基础上,运用关系数据库的规范化理论概括出一系列产生规则,设计并在IBM PC上用PROLOG语言实现了一个特定的专家系统(ERTORS3),其知识库由一个描绘应用的语义网络和一组能将语义网络转换为关系数据库的产生式规则组成,利用PROLOG的推理机制自动生成能满足3NF关系的关系数据库。     

超媒体系统中的语义约束问题研究

提出了一种基于数据库模式的超媒体语义网络模型,该模型通过引入模式约束图,对超媒体系统中的关系约束进行了分类,并给出了相应的约束检测算法;通过引入视图机制提出了结构约束的概念;通过扩充模式约束图的属性,描述了超媒体特定应用领域的计算约束,从而从整体上对与应用领域无关至特定应用领域的语义约束进行了深入的研究。     

一种从关系数据库学习OWL本体的方法

提出了一种从关系数据库学习OWL本体的方法.该方法在形式化表示关系数据库模式和OWL本体的基础上,遵循从关系数据库模式到OWL本体的一组通用映射规则.基于Java 2平台的原型工具实现和案例研究证明了该方法的有效性.