属于BCNF的关系模式候选关键字问题研究

研究了属于BCNF的关系模式FD集的特征,在此基础上,讨论了属于BCNF的关系模式全部候选关键字问题、追加的候选关键字问题、基数最小候选关键字问题的求解方法,并给出了相应的线性时间算法。     

关系模式的3.5范式

本文定义了一种新的范式-3.5范式,它介于简单范式和同时满足BCNF和W4NF的范式之间,且严格弱于4NF和强于3NF,故称为3.5范式.本文还给出了把一个关系模式分解成3.5范式,且保持函数相关性和关于函数相关性是无损连接的算法.     

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

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

决定非环性数据库模式的最小覆盖的算法

本文给出一个决定非环性数据库模式在某个指定的属性子集上的边最小覆盖算法，叫做ＭＣ－ＡＣＹＣＬＩＣ．该算法的时间复杂性为，其中｜Ｎ｜是给定的数据库模式中属性的个数和｜Ｅ｜是关系模式的个数．     

基于用户非对称相似性的协同过滤推荐算法

针对传统协同过滤推荐算法的数据稀疏以及用户关系衡量不准确的问题,提出了基于用户非对称相似关系的推荐算法.利用用户的潜在特征的样本数量,结合奇异值矩阵分解,计算用户之间非对称的相似度,明确用户间关系.仿真结果表明,随着邻居数量的增加,该算法的平均绝对误差始终优于传统算法,误差值在邻居数量为40~60之间值为最小,约为0.682,传统算法平均绝对误差值约为0.758,可以看出该算法判断用户关系较为准确,预测评分比传统算法更接近实际评分.     

关系数据库规范化应用研究

不满足BCNF的关系模式是由于需求分析中的关系冗余引起的,不满足4NF的关系模式所导致的数据冗余是可以接受的,不满足5NF的关系模式导致的异常只在使用视图时出现,所以,实际应用中关系模式满足3NF即可.     

一个近似的线性时间聚类算法

聚类分析是数据挖掘的一个重要研究方向,而PAM算法是聚类算法中一个重要的方法.本文针对PAM算法不适应大数据集的缺点,给出一个近似的线性时间聚类算法（ALCM）,并且从理论上证明了该算法复杂度为关于数据集个数的线性时间复杂度.通过比较实验表明：1）随着数据个数的增大,PAM所花费的时间将激剧增大,而ALCM花费时间与数据集个数呈近似线性增长的关系,即ALCM是适应大数据集的.2）PAM算法和AL-CM算法随数据个数增大,二者的代价函数并无明显差异.     

关系规范化中的3NF范式和BCNF范式

关系模式需符合一定的规范化要求，才能避免建立数据库时可能出现的异常现象。本文着重介绍了第三范式（3NF）与BOYCE－CODD范式（BCNF）两者之间的关系，证明了BCNF范式比3NF范式更为严格。     

基于图像多尺度分解的前景提取

为了弥补纹理对传统GrabCut提取结果的负面影响,本文分析了图像边缘和颜色分布的尺度特性,结合图像多尺度分解和GrabCut,提出了基于图像多尺度分解的前景提取模型.首先,该模型运用全变分对图像进行多尺度分解得到一系列平滑图像,该分解保护了图像边缘并平滑了纹理,压缩了图像区域颜色的分布范围;其次,将给定平滑图像前景颜色分布表示为高斯混合模型,并运用直方图形状分析方法优化了高斯混合模型的高斯函数个数,弥补了传统固定高斯函数个数的负面影响;最后,根据不同平滑图像的分割结果设计了迭代终止条件,使得从适当的分解尺度中提取前景.与传统前景提取算法相比较,该模型降低了纹理对前景提取的负面影响,其测评分数高于传统算法.     

基于EMFP-树的频繁模式挖掘算法

针对MFP-tree挖掘算法的不足,给出了一个频繁模式挖掘算法EMFP.算法通过将事务数据库的每条事务支持度进行裁剪以及为EMFP-树的节点添加子树个数计数器等措施来提高EMFP-树的挖掘算法的效率.实验结果表明,EMFP-树的挖掘算法是一个高效的频繁模式挖掘算法,其性能优于MFP算法.     

Boyce—Codd范式的判定与分解

给定关系模式Ｒ和函数依赖集Ｆ，当Ｘ为Ｒ的一个真子集时，判定Ｘ关于Ｆ是否为Ｂｏｙｃｅ－Ｃｏｄｄ范式（以下简记为ＢＣＮＦ）是ＮＰ完全的，这一问题的难点在于Ｆ在Ｘ上投影的计算，本文给出了计算函数依赖集投影的一个实用算法，将其用于ＢＣＮＦ的判定，并在此基础上建立了ＢＣＮＦ的一个无损分解算法。     

模糊关系数据库和关系数据库中的模糊信息

在力图从形式上尽可能保持与传统关系数据库相应概念一致的前提下,文中独立地给出了模糊关系数据库的有关概念和运算的定义,并对模糊环境下的无损联接问题进行了讨论,得到了一些结果。还提出了全模糊数据库的概念。     

基于数字签名和时间戳机制的图像数字水印系统

针对二值水印图像, 提出一种基于小波的无损的数字水印系统. 由于没有对载体图像进行任何修改, 因 此解决了水印的不可见性和鲁棒性之间的矛盾. 另外, 通过在系统中引入数字签名技术和时间戳机制, 任何人都可以根据公钥提取水印. 实验结果表明, 此算法对一般的图像处理和几何攻击具有较强的鲁棒性.     

XML与关系数据库相互转换中的语义约束完整性

采用Shared Inlining方法,提出基于函数依赖的XML到关系的无损映射算法,使得原XML文档的内容和结构信息及语义约束完整地映射到关系数据库中.在此基础上利用外键连接与路径映射规则,提出基于语义约束的关系模式向XML模式的转换算法,以重构出原XML文档.提出的新观点是：映射得到的关系或XML文档的范式不但与映射算法有关,而且与XML文档或关系的规范化程度有关.定义了XML范式,提出XML文档与关系的相互转换中XML范式与关系范式对应关系的相关命题,并给出了相应证明.     

基于超图的BCNF的判定算法

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

基于蚁群算法的有线接入网络集中器拓朴设计

提出了一种基于蚁群算法的有线接入网络中集中器的拓朴设计．通过蚁群算法选择比较合理的集中器设置方案，即使蚂蚁的一次游程形成一棵生成树（即一个规划方案），重复执行这些过程，当达到一定循环次数时得到较优的连接方案．实验结果表明该算法可以得到较满意的连接，使连接距离接近最短，降低成本，优化集中器的拓朴结构．     

篡改定位精度可动态调整的无损图像认证算法

现有的基于分块的无损图像认证算法难以确定合适的认证块大小.为此,文中提出了一种认证块大小可动态调整的无损图像认证算法.该算法的图像认证块分别由若干基本图像块组合而成,相应的认证信息用数字签名技术产生,以无损水印方式嵌入,同时通过多次无损嵌入方式实现图像编号的鲁棒传送,用图像编号区分不同图像、防止矢量量化攻击.理论分析与...     

用于图像压缩的小波系数的上下文模型

结合GlicBawls编码方法的线性预测思想和CALIC编码方法通过量化减少上下文个数的思想，提出了一种新的用于图像压缩的小波系数的上下文模型。它通过量化当前系数的线性预测值形成上下文，进行自适应的算术编码。实验结果表明，利用这种模型获得的无损压缩比高于无损的SPIHT和用于JPEG2000的无损的EBCOT。另外，这种模型充分利用了小波变换的多分辨率性质，能以渐近分辨率(progressive resolution)方式压缩图片，并且它获得的原图片的各个比例尺(scale)的小图片的压缩比也高于EBCOT。