基于TNF的历史关系模式达到3TNF的分解

对基于TNF的历史关系模式TUg提出了时间依赖、2TNF、3TNF等重要概念，并给出了TNF达到3TNF的模式分解算法及证明，解决了历史关系模式中存在的数据冗余、TNF异常等问题。     

基于类间依赖集约简的类簇测试用例生成算法

针对类簇中类间依赖关系以及类间消息交互产生的错误而导致测试冗余和测试遗漏的问题,提出一种类间依赖集约简的类簇测试用例生成算法。形式化定义了类间继承依赖、聚集依赖和关联依赖这3种依赖关系,建立类簇测试模型。定义类簇模式和用户(领域专家)解释集,并在用户解释集中依据每一个类对象的若干实例广义相等建立等价类,得出用户解释集幂集的1个子集即匹配划分集。据匹配消去算法求出类的最大匹配集,证明该集合就是所求类的最大非平凡非依赖集;提出一种交互差组合约简算法,计算类的最大非平凡非依赖集的补集,约简得到类的最小交叠集,并证明其就是类的最小非平凡依赖集,即类的组合测试用例;对其中每一个类的组合元素进行组合测试,并与其余类交互测试,得出类的交互测试序列。     

关系数据库中FD集的归并依赖集的性质

从讨论两个归并依赖之间的关系入手,给出了归并依赖集左部之间的嵌入关系,以及归并依赖集的若干性质。这在无环数据库模式分解时是有用的。     

多值依赖与不完全信息数据库

本文讨论了含空值的关系实例对于多值依赖的满足性。与若干现有文章相比,本文着重讨论了各种情况下满足多值依赖集的合法完全实例的存在性的判定方法。     

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

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

依赖推导算法的研究

本文根据函数依赖成立的条件，给出了在关系ｒ中单属性左部属性集的求解算法，进而出了在给定关系中成立的函数依赖集的一个覆盖。     

多数据流时间序列中的依赖模式发现算法研究

针对多数据流组成的时间序列中发现有用的结构模式的MSDD算法不能很好地对节点剪枝，以及直观地表示模式的时间关系的问题，经过研究，提出了发现多数据流时间序列结构模式的算法：时间窗口移动筛选算法(TWMA)．采用事件序列化的策略来发现多流时间序列中的依赖模式，与MSDD相比，在表示上更直观，发现模式的过程更灵活．     

带线性记忆的Berger方程时间依赖全局吸引子的存在性

研究了带线性记忆的Berger方程时间依赖全局吸引子的存在性。先用渐近先验估计的方法证明存在时间依赖吸收集，再用收缩函数的方法证明了Berger方程解过程的渐近紧性，从而得到时间依赖全局吸引子的存在性。     

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

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

基于矩阵的依赖推导算法研究

给出了基于矩依赖推导算法，并可推导出的关系上能够保持的函数依赖集。     

历史关系模式的初步规范化

讨论了满足ＴＮＦ的历史关系模式存在的问题,并在此基础上,提出２ＴＮＦ概念,给出了达到２ＴＮＦ的模式分解算法,解决了满足ＴＮＦ的历史关系模式所存在的数据存储冗余、更新异常等问题。     

基于关系表示的树数据结构的实现

用关系数据库存储和表示的树数据结构能使信息系统准确地描述数据之间的关系,同时能以一致的方法表示和处理层次和关系数据,有利于信息系统构造以及实现更友善的用户接口．本文以关系数据集为基础定义了一种关系树,提出了树结构在关系数据集上的存储方案,讨论了关系树一般性计算的实现方法,如树的建立、结点访问、插入、删除和遍历等     

三种度量向量组数值线性相关性方法的关系

讨论度量向量组的相对相关性指标、线性相关指标和最小相对范数指标.证明线性相关性指标和相对相关性指标的等价性,并建立最小相对范数指标与线性相关性指标的关系表达式.应用实例结果验证了所得结论的正确性.     

历史关系模式的形式化的研究

提出了一种新的历史关系数据库模型,给出了该模型满足１ＮＦ,ＴＮＦ的形式化定义,还给出了组标志及其公理、ＴＮＦ等重要概念。最后,对满足１ＮＦ,ＴＮＦ的该模型做了分析对比。     

基于信噪比控制的滑动相关捕获法

复杂电磁环境下接收信噪比会发生随机变化,本文提出了一种基于信噪比控制的滑动相关捕获算法。在分析滑动相关法的性能基础上,引入自适应结构,根据接收信噪比设置本地积分时间。研究了积分时间对捕获性能的影响,通过仿真验证本文提出方法的有效性：根据积分时间不同,在SNR>-3dB时,平均捕获时间最大可以减少50%,满足信噪比变化情况下对捕获性能的设计需求。     

与或图数据库的可达算法和寻根算法

与或图数据库是利用与或图描述数据库的关系模式 ,从而建立起新的一套数据库理论。这种数据库理论采用图论作为数学基础 ,将可达算法、搜索算法和分块算法引入关系数据库 ,来解决规范化算法中关键字求解和依赖蕴涵的问题。该文提出了利用宽度搜索、深度搜索、分块搜索和启发式搜索四种搜索算法判断依赖蕴涵问题 ,以及利用生成子图的方法求解候选关键字的问题。最后进一步证明了这些算法在复杂度上比传统算法更加优越。由此可见与或图数据库的算法更加高效直观易于编程 ,还为图论和人工智能与数据库的结合提供了可能     

时间序列间统计依赖性测量的一种改进方法

提出了利用改进的广义互信息测量 2个随机变量之间非线性统计依赖性的方法 ,在此基础上获得了利用关联积分计算 2个具遍历性的观测时间序列之间统计依赖性的公式 ,并与利用互信息和广义互信息测量 2个观测时间序列之间统计依赖性的方法进行了比较 ,通过例子说明了这种改进方法的优点     

微机控制的电力线路故障测试仪

本文提出利用微机技术构造一种在线实时监视和测量电网、电源客观存在的谐波电压和浪涌电压的智能测试仪。详细地介绍了测量电路、微机硬件和软件系统的实现方案。     

向量空间中生相关性的推广

把向量空间中向量的线性相关性推广到抽象集合上的一种抽象相关关系。在这个基础上，证明了任意一个非空集合只要有一种相关关系，就存在基，且关于这个相关关系的任何两个基的维数相等。     

利用XML实现程序自适应关系数据库结构变化

利用XML技术,可以将传统关系数据库结构以XML结构形式描述,与关系数据库中表单一一对应,并用JAVA技术和DOM技术实现表单的增、删、改等关系数据库操作的基本功能.设计人员通过这种灵活的架构,需求调研的同时就可以完成关系数据库结构的设计,更快速直观了解系统功能,加速开发进度,方便功能性调整,使客户能及时看到变动的结果、评估变更的价值.开发人员能够从容面对客户提出的变更,降低开发周期和难度.