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

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

FD集归前依赖集的左部联合集

基于左部联合集,给出了归并依赖集的左右部冲突的概念。同时讨论了对无内部冲突的ＦＤ集,归并依赖集的左右部冲突与无ａ环、３ＮＦ数据库模式分解的关系。     

一种基于超图的关系模式主属性判定算法研究

利用超图表示关系模式的ＦＤ集．定义了最大有向准路、严格准环和最大严格准环．并讨论了严格准环、最大有向准路的性质．在此基础上给出基于超图的关系模式主属性判定算法．进而给出了求出属性集的算法．     

基于二分法判定点集是否在多边形内部的算法

提出一种基于二分法判定点集是否在多边形内部的算法,根据多边形L的顶点和边分布的情况,分割平面的一组平面区域的有序集合R,判定R中每个区域是否在多边形L内部;对于点集S中的点p,用二分法搜索R,找到点p所属的平面区域,从而判定出点p是否在多边形内部。该算法在最坏情况下的时间复杂性为max(O(n log m),O(tm log m),其中n为点集S的点数,m为多边形L的顶点数,t为多边形L所有顶点的X坐标的不同取值个数,在一般情况下该算法比已有的算法效率更高。     

基于Rough集实现判定树归纳分类算法的简化

Rough集理论提供了一种新的处理不精确、不完全与不相容知识的数学方法，在决策表中快速、有效地挖掘出缺省规则。本文将Rough集属性约简应用到判定树归纳分类方法中，明显优化判定树，简化数据挖掘的过程。     

基于超图的BCNF的判定算法

利用超图来表示关系模式．定义了直接决定因素、推导．讨论了直接决定因素的性质．在此基础上给出了利用超图判定给定的关系模式是否属于ＢＣＮＦ的新算法．     

函数依赖集投影的算法

给出了关系模式Ｒ的函数依赖集Ｆ在Ｒ的一个属性子集Ｕ上的投影的最小覆盖的算法,并证明了算法的正确性,而且给出了一个实现本算法的例子。     

判定点线位置关系的算法

用计算机解决几何中的点线位置问题，仅凭人为的直观是行不通的，往往要借助程序来加以解决。本文用计算机高极语言描述了有关平面上点，线位置关系判定的一些复法。     

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

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

一种基于分布式数据库的全局频繁项目集更新算法

在算法FMAGF的基础上，提出了一种基于分布式数据库的全局频繁项目集更新算法－UAGFI，该算法主要考虑最小支持度发生变化时全局频繁项目集的更新情况。UAGFI在最坏的情况下仅须扫描各局部数据库一遍，并利用已挖掘的结果，可避免传送某些原全局频繁项目对应的条件频繁模式树，从而降低网络通讯代价，实验结果表明，UAGFI算法是有效可行的。     

极大独立集的逻辑算法

给出了利用命题逻辑公式的析取范式和主析取范式求图的独立集和极大独立集的方法，并给出了一解算法。     

基于AUTOCAD的三维重构的一种算法

基于AUTOCAD，利用ADS开发系统，提出并实现了一种二维CAD图形的三维重构的有效算法。其基本思想是先将二维CAD图形进行分解，然后通过AME扫描运算及布尔集合运算构造出三维CAD模型。     

基于改进灰色关联度的权重确定方法

决策者在进行决策时，指标权重往往是关键。但目前提出的各种确定方法，都带有一定的主观性，且不能反映指标对目标的影响方向。因此，本文在对现有权重确定方法总结的基础上，提出基于改进灰色关联度的权重确定方法，较好地解决了这一问题。     

基于粗糙集理论的集对分析方法

针对集对分析的基本理论,分析粗集与集对的相似之处,将粗糙集理论与集对论相互嫁接、相互渗透,提出集对分析中的粗糙集方法,用粗集中的上下近似集来定义集对中的同异反联系度。这种方法的研究将有利于融合二者的优势,为确定不确定系统的数据分析、数据挖气掘、知识发现等提供了更扎实的理论基础。     

基于粗集和模糊集的启发式规则约简算法研究

提出了一种新型的决策规则约简方法。基于均匀划分和正态分布隶属度函数,对决策表的连续属性进行模糊化,用欧氏距离贴近度来构建相似矩阵,并提出了一种论域的模糊划分算法;依据粗糙集隶属度进行属性约简的基础上,给出了一种决策规则约简算法,从而达到发掘知识并简化知识的目的。