多值依赖MVD保持性的研究

基于数据依赖基于概念给出了保持多值依赖MVD集的定义，提出了构造联接树的算法，生成MVD集与保持MVD集的检验算法，同时对算法给出了证明。     

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

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

基于矩阵关系模式到2NF、3NF(保FD)的分解

利用矩阵工具，研究了到２ＮＦ、３ＮＦ（保持函数依赖）的模式分解。给出了判定２ＮＦ、３ＮＦ的若干定理，并提出矩阵行相容、矩阵包含等定义。给出了基于矩阵到２ＮＦ、３ＮＦ（保ＦＤ）的模式分解算法。     

基于差别矩阵的区间值形式背景属性约简

目的在形式概念分析理论框架下,研究区间值形式背景的属性约简。方法给出区间值属性集差别矩阵和区间值形式背景属性约简的定义,并研究相关性质;研究协调区间值属性集的判定定理。结果给出协调区间值属性集的判定定理,以及基于区间值属性集差别矩阵的区间值形式背景约简方法。结论区间值形式背景可进行属性约简。     

区间值Fuzzy矩阵的基本定理

Fuzzy矩阵是普通矩阵的扩充，而区间值Fuzzy矩阵是Fuzzy矩阵的扩充，因此区间值Fuz巧矩阵与普通矩阵也有密切关系．本文将给出区间值Fuzzy矩阵的分解定理与表现定理．     

矩阵Hadamard积与Fan积的特征值新界

非负矩阵和M-矩阵是矩阵论中两类重要的矩阵.矩阵特征值的研究是如今的重要问题.利用Brauer定理和Gerschgorin定理给出了非负矩阵Hadamard积和非奇异M-矩阵Fan积的特征值新界.所有的新结果只依赖相关矩阵的元素，其计算简单容易.将所给定理的优越性进行了理论上的比较.通过数值例子验证所得结果改进了其他文献中的相关结果.     

基数余-亏与逆P-增广矩阵

利用逆P-集合的动态特征,改进普通增广矩阵概念,提出内逆P-增广矩阵,外逆P-增广矩阵与逆P-增广矩阵,给出它们的结构、生成与关系。利用基数余-亏与逆P-增广矩阵交叉,提出基数余值与内逆P-增广矩阵关系定理,基数亏值与外逆P-增广矩阵关系定理,以及基数余-亏值与逆P-增广矩阵关系定理,最后给出这些理论结果的应用。     

判定矩阵可逆的几个充分条件

利用矩阵范数和非奇异M-矩阵的性质以及Raleigh商值定理,给出了判定矩阵非奇异的几个充分条件.     

函数依赖与多值依赖的再研究

从不同角度对关系数据库理论中函数依赖(functional dependency,FD)与多值依赖(multi-valued dependency,MVD)及其关系进行了深入研究。从经典关系数据库理论、粗糙集与形式化概念分析出发,探讨了它们对函数依赖与多值依赖的研究视角,得出了关于两种依赖的一些重要结论。     

矩阵最小奇异值下界的一种估计

矩阵的奇异值是矩阵分析中的重要课题.其中矩阵奇异值的下界估计在许多领域中也是非常重要的,因此矩阵奇异值的下界估计得到了普遍的关注.对奇异值的下界做了进一步的研究,改进了黄廷祝的"矩阵最小奇异值下界的估计"一文的定理1以及定理2,并给出了相应的证明和数值算例.     

关于多值依赖的几点注记

目前诸多流行的数据库原理教材中对多值依赖问题的讨论均显得不够充分,对此,本文从两个方面进行了有针对性的探讨。首先对多值依赖两种定义的等价性进行了证明;其次也给出了几个重要结论的有效证明方法。     

基于树元组的XML文档中的多值依赖

XML模式设计是XML数据库设计的关键，同关系数据库相似，对引起XML数据更新异常的原因及消除更新异常的方法进行研究具有重要的意义。与Vincent等人不同，本文在DTD一级对XML文档中的多值依赖进行了研究。首先分析了XML文档模式设计的研究方法，其次，重新给出了XML树，树元组等的定义，消除了Arenas等人在定义模型“相等”上的二义性，并基于DTD提出了XML多值依赖的概念。最后，分析了XML中多值依赖的公理系统及蕴涵问题并指出了XML多值依赖未来的研究方向。     

模板依赖和其它几种依赖之间的关系研究

本文分析了模板依赖分别和多值依赖、嵌入多值依赖、连接依赖之间的关系。在此基础上给出了后三种依赖均可表示成模板依赖的形式。     

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

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

XML文档规范化和反规范化

从数据库角度分析了XML文档中存在的间接函数依赖、传递函数依赖、多值依赖,阐述了间接函数依赖和传递函数依赖规范化所对应的第1范式、第2范式及多值依赖规范化所对应的第3范式,提出了4个文档规范化规则,这些规则分别消除了间接函数依赖、传递函数依赖、多值依赖,同时从文档规范化的性能因素方面探讨了反规范化的有用性.     

基于MSFG的机载BITE故障定位算法研究

故障定位是机载BITE的重要功能,定位结果的准确性对维修测试有着重要影响。基于多信号流图模型,在构造故障-测试关联矩阵和故障-故障关联矩阵的基础上,引入故障信息矢量和故障定位矩阵,并给出适用于机载BITE故障定位的矢量描述和矩阵定义,进而提出一种简单、有效的故障定位算法。实例验证表明,该算法能够对系统中的故障源进行准确定位。     

一种在万维网上显示Z规格说明的方法

万维网的普及和发展给软件工程师提供了交流和共享知识的场所。Ｚ是一种基于一阶谓词逻辑和集合论的形式规格说明语言,Ｚ语言用大量的数学符号和模式来构造规格说明,然而,当前的ＨＴＭＬ标准不支持在万维网上显示Ｚ规格说明所需的一些符号,此外如何在ＨＴＭＬ文件中表示模式框、公理框和类描述同样是困难的,本文实现了一种在万维网上显示Ｚ规格说明的解决方法,并给出了程序代码和实例。