REITER算法的完备性测试及一种优化策略

RAYMOND REITER在中给出了一个带空值的关系数据库的查询求解算法,这个算法是正确的,但并不能保证其完备性。本文给出了一个测试REITER算法在某一数据库的求解过程中是否保持其完备性的算法,由此可知,通过REITER算法求得的解是完全解还是部分解。此外,本文还给出了一个与REITER算法等价的但却更高效的查询求解算法。     

求解迷宫布线问题的人工智能图搜索产生式系统

本文提出了一个求解迷宫布线问题的人工智能图搜索产生式系统。当取不同的控制策略,本系统可分别实现Lee算法和Rubin算法。基于上述系统本文还提出了一个启发性迷宫布线过程,其搜索的面积元素比Rubin算法减少30％左右。本文最后对Lee,Rubin算法和本文提出的过程作了统计比较。     

凸多面体的消隐线处理

消除隐藏线是计算机图形学中一个正在发展的重要研究课题。本文首先分析了对于单一凸多面体的消隐线处理,现有算法的不完善性。然后提出了一个新的完善的算法。该算法是以本文提出的一个引理为基础的。     

平均分类(Meansort)算法

本文给出了一个基于快速分类(Quicksort)算法的高效算法。人们已经知道,快速分类算法是最有效的分类方法之一。但是,这种方法有一个缺陷,就是在最坏的情况下要进行 O(n~2)次比较。本文给出的算法改进了快速分类算法的平均性能,减少了最坏情况的发生。     

具有稀疏障碍的近似迷宫算法

本文中给出了一个在具有稀疏障碍的迷宫中寻找给定两个单元之间的最短路径的走迷宫算法,算法以“不改变方向”为预测条件,沿直线方向扩展。经大量的随机实验对比,结果证明本文中的算法大量地缩减了搜索范围,是一个高效的算法。     

基于八方向跟踪算法的迷宫问题新解

本文提出了一个基于八方向跟踪算法的破解迷宫问题的新方法,避免了用深探法或广探法求解迷宫问题的诸多问题,它不仅为计算机的解题提供了一个快捷的算法,而且也为人工或机器人破解提供了一个无需记忆的简便方法。另外,本文还给出了迷宫次佳通路和最佳通路（即捷径）的求解算法;岔道剔除算法和最佳八连通选择算法。本文的所有方法尽管是针对求解单通路迷宫提出采的,但算法对多通路和有环的迷宫也同样有效。     

一个实用的图同构判定算法

本文就理论上尚未发现多项式时间的图（无向图）的同构判定算法,提出并分析了一个实用的改进算法,还为此算法提出了一个更有效的随机版本。     

基于PBIL进化算法组卷的智能题库系统设计

本文设计了一个基于网络的智能题库系统,并给出了关键算法-基于PBIL进化算法的组卷算法。     

用换元法求不定积分的算法

本文评述了几个算法,并提出了一个用换元法求不定积分的算法。     

求解蛋白质折叠问题的模拟退火算法

通过构造新的数学模型,把三维AB模型的蛋白质折叠问题由一个带约束的优化问题转化为无约束优化问题,然后提出一个模拟退火算法.对如何得到初始构形,提出了一个启发式策略.实算结果表明,本文算法效率较高,对四条氨基酸测试序列,本文算法得到的最低能量都要优于nPERM算法得到的结果.     

字符串的重组模型及一个算法

本文首先提出一个字符串重组模型,然后给出了这个模型的处理算法。文中分析了算法的时间复杂性,证明了算法的正确性。     

拉普拉斯反变换的数字计算

本文描述了包含有多重实或复极点函数的拉普拉斯反变换的数字计算的一种算法,同时讨论了它的优点和缺点。 这种算法用了一种众所周知的简单数学方法来求一个多项式及其导数在它的一个根处的值。这种方法允许把函数的分子分母多项式分开处理,即是通过将每一多项式除以一个一阶项实现的。多项式与一阶项都含有复系数进行综合除法时更适合于用数字计算。对Pottle算法与本文所提出的算法的执行时间也作了比较。在本文的结尾有一个用于说明该算法的BASIC程序。     

平面代数剖分样本点的一个有效算法

本文提出了寻找平面数剖分样本点的一个有效算法给出了实现该算法的一个完整的Ｍａｐｌｅ程序。     

规则可信度的学习算法

本文提出了一个规则可信度的学习算法,并设计了有关这个算法的适用于深度优先推理策略、宽度优先推理策略的仿真实验。实验结果表明这个学习算法可以有效地修正规则的可信度。目前,这个学习算法已用于一个工业专家系统。     

分布式系统进程互斥算法的分析与改进

本文对传统的几中互斥算法进行了讨论,分析了其特点,还提出了令牌环算法的一个改进。该算法解决互斥算法中出现的部分问题,并经过了实验验证。     

关联规则挖掘算法在高校专业课设置中的应用

关联规则是一个应用广泛的数据挖掘算法,本文介绍了关联规则算法的工作原理,如何配置关联规则算法的参数及建立挖掘模型.结合一个高职院校的实例,对关联规则挖掘算法在专业课设置中的应用进行了研究,并对挖掘得到的结果进行了具体分析.     

多水平直接搜索全局优化方法

直接搜索是数值最优化中的重要思想.DIRECT算法是基于直接搜索思想的一个流行的全局优化算法.本文首先回顾了新近提出来的一个具有三水平直接搜索框架的全局优化算法MrDIRECT,着重回顾了MrDIRECT算法是怎样消除DIRECT算法的"渐近无效"行为的,并为此提供了更多的数值证据.然后,本文提出了一个具有四水平直接搜索框架的MrDIRECT算法,讨论了其收敛性,并对之进行了大量的数值测试.我们的目的是检验水平数的增加对算法效率的影响.结果表明,水平数的增加带来的数值效果的改善并不足以抵消计算成本的增加,总体数值效果不如三水平MrDIRECT算法.最后,本文指出MrDIRECT算法采用的多水平直接搜索框架的重要优势是,能够很灵活地平衡局部搜索和全局搜索,从而可用于设计更多的多水平直接搜索全局优化算法.本文验证的水平数增加未必带来整体数值效果的改善这一结论也可用于指导这类算法的设计.     

数据库自动生成报表的通用算法及其实现

本文从数据库的结构分析入手,给出了一个通用的将数据库自动转化成可用于打印的报表算法。最后,通过一个应用实例实现了本算法。     

LVS集群系统负载均衡策略的分析与研究

负载均衡技术是集群并行处理中的一个重要问题。本文详细分析了Linux虚拟服务器(LVS)集群的负载均衡算法及其不足之处,提出了具有动态反馈的改进算法,并构建了一个LVS/NAT系统对改进算法进行了验证。     

多变量系统鲁棒性复数极点配置的一种新方法*

本文对线性定常多变量系统的鲁棒性极点配置问题,给出了一种算法。这个算法对指定闭环极点中含共轭复极点的情形,用起来十分方便,它把一个带约束优化问题变成了一个无约束优化问题求解,本文末还给出了一个数值例子。