关系模式规范化的几个算法

本文在不计算函数依赖集闭包的情况下,给出了求关系模式关键字、BCNF判定和分解、寻找BCNF分解中丢失的函数依赖等几个算法。     

线性方程组求解的一个迭代算法

给出了求解线性方程组的一个迭代算法并证明了收敛性,通过对该算法中参数的选取,导出了若干投影算法。     

关系模式规范化的几个问题

本文讨论了关系数据库中实际数据依赖和用于规范化的函数依赖集之间的差异及过度规范化问题。研究了函数依赖集的闭包及Boyce-Codd范式的判定问题。提出了原子函数依赖集的概念,以此取代函数依赖集的闭包进行关系模式的规范化。并定义了一类对某NP-完全问题可解的实际问题。     

求解基因排序问题的Arnoldi-型算法的改进

考虑利用Arnoldi型算法求解GeneRank问题。根据Arnoldi型算法的特点和基因排序问题本身具有的性质,对求解基因排序问题的Arnoldi型算法中存在的缺点进行优化,给出了一个新的算法。最后给出了数值实验,证实了新方法较原方法更有效。     

一种求解组合优化问题的演化算法

从蚁群算法中得到启示，将信息素的观点引入到求解组合优化问题的演化算法之中，提出了一种基因优化算法，该算法直接在基因的层面上进行优化，能学习劣解的基因，并用信息熵用为结束条件的判据，最后用该算法解决了两个典型的组合优化问题，取得了较好的结果。     

基于分支限界的关键路径求解算法

提出一种基于分支限界的关键路径求解算法,将电路拓扑结构表示成有向带权网（WOEN）,寻找汇点,使节点到汇点的最大路径时延为该节点分支限界的最小限值,剪去违反分支限界最小限值的局部非关键路径的连接边以化简WOEN.新算法采取节点最大时延链表的存储结构,使得WOEN的存储空间、关键路径计算空间以及计算结果的存储空间共享同一存储空间.算法用C语言实现,并在ISCAS标准电路上加以测试.结果表明：新算法比现有算法所需的存储空间更小,求解关键路径的速度更快.     

一个组合恒等式的算法证明

中心二项式系数的卷积nk=02kk2(n k)n k与基数为4n的某些组合结构之间存在如下关系:4n=nk=02kk2(n k)n k.本文中先用组合结构分别对nk=02kk2(n k)n k和4n给出组合解释,然后通过一种算法使它们之间建立一一对应关系来给出一种新的证明方法.     

求解线性不等式组的一个统一算法

本文给出了求解线性不等式组的一个统一算法,此算法包含了松弛方法、Cimmo-型方法:Richardson-型方法、同时投影方法和替代约束方法,同时也讨论了这一算法的分组顺序迭代和平行迭代的实现.     

基于自组织特征映射聚类算法的研究与应用

讨论了基于自组织特征映射网络聚类算法的基本原理，并给出了基于关系数据库的具体实现方法，通过对实例的具体测试，证明算法是有效的，并对算法的参数进行了讨论．     

关于对偏微分方程数值逼近的求解算法

本文针对由子结构法来逼近偏微分方程所得到的线性方程组给出了一个求解算法。并就其平行性的实现进行了分析。最后给出了一种消除亏秩矩阵广义逆矩阵的不连续的Household方法。     

关系数据库的数字水印新技术

提出一种能嵌入有意义水印信息并可由用户定义各种约束的水印算法CAMW（Constraints Allowahie Meaningful Watermark Algorithm），该算法将水印信息映射成二进制串，并把每个水印信息位重复嵌入多次，最后经选举过程确定出完整的水印，较大地提高了正确提取水印的概率，CAMW不仪使嵌入水印的数据能有效保持关系数据的语义特征，而且有很强的鲁棒性，仿真试验表明能有效抵御子集删除，子集添加，数据修改等多种攻击。     

Rijndael算法优化技术研究

通过深入分析Rijndael算法,改进了AES算法的几个有可能产生不安全隐患的步骤.首先是对于最可能被攻击的混列进行优化,使该步骤变成简单的查表而不是域乘,增加了非线形安全性;其次对于子密钥的生成方面引入了随机函数使密钥的生成和选择变成随机性的,而不是原算法简单的线形选择,这样可以较完全抵抗线形密码分析的攻击.     

一种基于自主配置的网络可生存性增强算法

基于中心极限定理和假设检验理论，通过比较当前关键服务请求的服务响应时间与该关键服务历史平均服务响应时间置信区间的关系，提出了一种增强网络可生存性的自主配置算法（NSAC）．该算法对关键服务执行过程中的不同时段分两种情况采取适时的资源剥夺、服务迁移或者服务降级等策略，最大限度地保证关键服务请求在用户期望的截止时间内完成，整个配置过程对用户透明．仿真试验表明，本文提出的算法在网络重负载和轻负载情况下都可以更好地改善系统关键服务的可生存性．     

一种无密钥托管的移动IPv6网络匿名密钥分发协议

针对基于身份的密码体制IBE中固有的密钥托管问题,本文提出了一个移动IPv6网络环境中的无密钥托管匿名密钥生成机制与分发协议.该机制将节点身份认证和密钥生成与分发这两个过程分离,利用不可区分性匿名密文安全性在PKG不知道节点地址的情况下分发私钥给经过身份认证的节点,使得私钥生成中心或认证中心即使被单独攻破,攻击者也无法实现身份碰撞.可将身份认证中心部署于家乡服务器,而将PKG离线部署.经安全性分析,协议有效解决了移动IPv6网络中基于身份密码体制的密钥托管问题.     

一种交互式的Ad Hoc网络QoS路由算法

针对分簇结构的Ad Hoc网络以及一些特定业务对于多个目标同时性能的要求，本文选取带宽作为约束条件，把时延和丢失率作为QoS优化目标，建立了QoS路由选择的多目标整数优化模型，并给出了求解模型的交互式算法。该算法能够根据决策者的偏好以及网络的实际情况压缩目标空间，快速地找到满意路由。实例计算结果表明了算法的可行性。     

基因组重排问题的一个近似算法

分子生物学中基因无方向的反向基因组重排问题在数学上已被证明是一个NP困难问题．基于断点图的概念，给出一个时间复杂性为O(max{b^(π)，nb(π)})，空间复杂性为0(n)的求其近似最优解的算法．其中n为基因组中基因个数，π=(π1,π2，…，πn)表示n个基因的一种排列，b(π)表示排列π中的断点数．数据实验的结果表明，该近似算法可以求得较好的结果．     

求结点最少的最短路的一个算法

本文在Dijkstra算法(最短路算法)的基础上,提出了求结点最少的最短路的DD算法。本算法的运行时间阶为O(n~2)。     

Goertzel算法的一种改进计算结构

针对Goertzel算法的计算结构硬件实现效率低等问题,提出了利用两个FIR滤波器实现Goerztel算法,并且将改进后的计算结构由原来的AR（2）过程推广到一般的AR（p）过程.改进后的计算结构避免了递推运算,能够预确定数据的动态范围进行定标,充分利用了DSP等信号处理器的硬件结构,适合定点处理器的编程.通过在定点DSP处理器TMS320C5510上进行软件仿真,测试结果表明改进计算结构后算法的效率是改进前算法效率的3.7倍.     

一种改进的三步搜索块运动估计算法

针对目前块运动估计的三步搜索法和新三步搜索法在搜索时容易陷入局部最小的问题，提出了一种改进的三步搜索法，该算法在三步搜索法的基础上，设计了新的大小菱形综合搜索模板，采取了自适应选择模板的搜索策略，减小了搜索时陷入局部最小的概率，提高了运动估计精度且降低了计算复杂度．模拟实验结果表明，该算法与原三步搜索法相比，运动估计的均方误差更小（降低了0．7）且计算复杂度减小了10％以上。     

一种求解约束条件下多变量非线性函数所有全局最优解的区间算法

研究和实践中经常会遇到附有约束条件的非线性优化问题，对这类问题，通常采用随机搜索的方法来解决，但是，随机搜索法不能证明所得到的解就是全局最优解．本文给出了一种求解约束条件下非线性优化问题所有全局最优点和最优值的区间算法，该算法非常宜于解决优化问题，它能求出问题的所有全局最优解，给出解的包含区间，并很容易获得解的逼近误差，这是随机搜索等其他方法做不到的．理论分析和数值结果均表明，区间算法是稳定而可靠的．