函数依赖集投影的算法

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

函数P-集合属性依赖与应用

利用函数P-集合的结构,给出函数P-集合的属性依赖,给出属性依赖度量与函数P-集合的属性依赖定理。利用这些结果,给出函数P-集合属性依赖的应用。     

函数依赖集的扩展左部集

给出了扩展左部集的概念。了当ＦＤ集Ｆ无内部冲突时,Ｆ的扩展左部集的特点与求法,以及它与最小覆盖的左部集之间的联系,阐明了Ｆ的不同最小覆盖集左部集之间的关系。     

多值背景的属性约简及其上的函数依赖提取

提出了一种多值背景的属性约简及其上的函数依赖提取算法.该算法分为两部分:(1)对属性进行约简,进而可以去掉一些不重要的属性;(2)将多值背景转换为单值背景,然后基于形式概念分析理论来获取原多值背景中的函数依赖.最后通过实例验证了该算法的有效性.     

一种基于函数依赖的属性相似度调整算法

属性相似度的准确性是影响实体分辨准确程度的重要因素之一.为提高属性相似度的准确性,分析了属性相似度与函数依赖的关系,给出了属性相似度调整原则,提出了依据函数依赖进行相似度划分、相似度传递调整和计算相似度调整代价的方法,提出了通过属性相似度调整提高属性相似度准确性的属性相似度传递调整算法.实验结果表明,该算法能够更好地区分匹配记录对和不匹配记录对,获得更高的查全率、查准率和F1值.     

随机函数逆P-集合与其属性依赖特征

将随机特性引入函数逆P-集合,对函数逆P-集合进行改进,给出随机函数逆P-集合的概念与结构。随机函数逆P-集合是由随机函数内逆P-集合与随机函数外逆P-集合构成的有序集合对。随机函数逆P-集合是函数逆P-集合的扩展,函数逆P-集合是随机函数逆P-集合的特例。在随机函数逆P-集合的基础上,给出随机函数逆P-集合的随机性定理与随机函数逆P-集合的属性依赖关系定理。随机函数逆P-集合的提出扩大了函数逆P-集合的应用领域。     

XML函数依赖集的逻辑蕴含

提出了一组适合于M.Arenas等人给定的XFD的推理规则并证明了推理规则集的正确性和完备性.在此基础上,研究了XFD的逻辑蕴含问题,提出了求解路径闭包算法和成员籍算法.     

在左边是单属性的函数依赖集中寻找关系模式候选码的算法

寻找关系模式的候选码是对关系进行规范化的重要步骤。各种参考资料虽然在寻找方面介绍了各种方法,但没有给出算法的实现。本文给出利用有向图的知识寻找一个关系模式的所有候选码的算法。     

标准函数依赖覆盖集及其求解算法

对函数依赖集进行优化数据库设计的重要环节。本文对数据库模式中函数依赖的标准函数依赖覆盖集进行了研究和对其内涵进行了分析,导出了求解标准函数依赖覆盖集算法,并给出了正确性证明。     

XML局部函数依赖

函数依赖在关系数据库中起着基本的作用,尤其是用在完整性约束和数据库设计方面。同样地,这些约束在中XML也起基本的作用。近年来已定义了XML上的函数依赖。本文扩展了在XML中函数依赖以前的定义,使之成为XML局部函数依赖;同时给出了局部函数依赖的推理规则。     

减小长度投影变形的一种地图投影新方法

以规则的经纬网格为单元，以每4个网格角点所构成的平面来切割并逼近椭球面，椭球面上同纬度的点子均以椭球短轴上的相应点为投影中心投影到各切割平面，采用这种类似楔形的投影方式，将减小长度投影变形的最大值，并使相邻图幅之间保持空间连续．突破了传统地图投影的禁锢，基于新大地坐标系对这种新的地图投影方法进行理论研究和数据验证．     

一种有效的最小函数依赖挖掘方法

数据库设计和管理工具中，从已知数据库发现函数依赖是一个重要的技术。本文基于自由集的概念，讨论了最小函数依赖（FDs）的一个新特性和相关重要性质，并给出一个有效的最小函数依赖挖掘算法。     

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

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

求解变分不等式问题的一种新投影方法

提出了一种求解变分不等式问题的新投影方法,该方法主要采用了一种新的投影方向.并证明了新算法在较弱条件下具有全局收敛性.     

投影映射的一种光滑函数

在只增加一维松弛变量的情况下,利用熵函数给出了投影映射ΠX(x)的一种新的可计算的光滑逼近函数y(ε,x),并证明了y(ε,x)的单调性、导数对称半正定性和一致收敛性.     

一种新的求解变分不等式问题的外梯度投影算法

给出了一种新的求解变分不等式问题的外梯度投影算法．在较弱的条件下证明了算法的全局收敛性，并分析了算法的线性收敛速度。     

提高光栅投影测量精度的相移精确测量法

在光栅投影测量的相位计算中，采用Gray编码和相移相结合的方法，并针对当前光栅投影测量中相位计算精度不高的问题，提出一种新的相移方法．与传统相移方法相比，该方法采用新的投影光栅光强函数．考虑到光栅投影测量中可能出现的标定误差、投影光非正弦模式以及其他干扰因素，在该函数中加入对这些干扰的纠正值，从而减少由这些干扰产生的不利影响，进一步提高投影光栅和对象测量的精度．通过对邻近点插值获得的投影光栅，条纹精度可以达到亚像素级．对实际测量获得的投影光栅图像的处理实验，证明了该方法的可行性和先进性．     

试论C点的水平投影不存在

以等腰三角形ABC作为一般位置直线,由于斜边AB的位置一定,则C点以AB作为轴线作旋转运动的轨迹就是一个定圆,从而该定圆的正面投影和水平投影必然都是一个形状和位置一定的椭圆,由于C点的正面投影没有在该圆的正面投影的椭圆上,导致了没有C点的水平投影的精确解.若适当地改变C点的正面投影的位置,使C点的正面投影落在该圆的正面投影的椭圆上,才能求得C点的水平投影的一个精确解;或者改变已知条件,即△ABC只是直角三角形,而不是等腰直角三角形,这时C点的水平投影才有两个精确解.     

求解伪单调变分不等式的新的自适应投影算法

考虑求解一类变分不等式问题的新的自适应投影算法,该算法改进了搜索的方向和步长,改进的方向、步长在解点附近均不趋于0,保证算法的快速收敛性。并在伪单调的条件下证明了算法是全局收敛的,使得该算法的适用性更广。数值实验表明算法是有效的。     

基于条纹投影的三维轮廓测量新方法

针对条纹投影技术中提取物体高度比较复杂的问题,提出了一种光线跟踪法测量物体轮廓的新技术.利用投影物面即空间光调制器和成像面的相位对应关系,求出被测物体的高度.这种方法对系统结构没有平行性要求,也不需要对整个测量系统进行参数标定和复杂的坐标转换标定,而是用投影条纹图和成像条纹图的相位对应关系来得到空间投影直线和空间成像直线的方程,其交点就是物体的空间坐标.这是一种全场测量的方法,适合测量陡度小的静止物体,并通过实验论证了该方法具有测量速度快、工程上容易实现和测量精度稳定等优点.