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

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

人工智能技术在课表编排中的应用

本文介绍了基于二部复图匹配原理，用ＬＩＳＰ语言编制的课表编排系统一ＴＩＳＥＲ。ＴＩＳＥＲ应用人工智能技术，对编排课表中产生的与一或图进行启发式搜索，成功地根据两组数据编排了课表。     

与或图数据库的关系模式规范化算法

在图论基础上提出了与或图数据库。以与或图为描述工具的一种新的数据库理论 ,它使数据库的理论更加直观 ,算法更加简洁。给出了与或图数据库的定义、规范化理论、无冗余和既约化理论 ,证明了它与关系数据库的等价性 ;然后给出了依赖集存在冗余和既约的必要条件 ,讨论了无损分解在与或图形式下的特性 ,从而形成了与或图数据库关系模式分解的规范化算法。结合实例阐述了与或图数据库比关系数据库更加形象直观 ,便于理解学习 ,且为图论和人工智能各种算法在数据库应用中的引入奠定了相应的基础     

基于GAG的Horn逻辑分布式推导模型

分布式逻辑推理是在网络环境下提供分布式智能服务的推理机制,提出了一个基于广义与或图(GAG)的Horn逻辑分布式推导模型.该模型可以清晰地表示变量约束,实现无须回溯的远程谓词调用,Horn逻辑中一次成功的推导在该模型中被表示为一个解路径,问题求解被转换为对GAG的搜索.还讨论了广义与或图搜索算法在Horn逻辑推理当中的应用.     

一个新的与或图求解算法

给出了一个包含有向回路的与或图的求解算法,以及如何确定被扩展节点的祖行节点的优先数,并通过优先数有效地选取祖先节点的方法也在本文中给出。     

数据仓库动态设计与维护中与／或有向图方法

数据仓库（DW）可以抽象地看成基本关系上的一组具体的视图，是一个随时间不断推移变化的动态实体，当有新的查询出现时，可以将它化成具体的视图表示并加入到数据仓库中。将数据仓库表示成与／或有向图能够较好地描述数据仓库中各种查询（视图）之间的关系，这样数据仓库动态设计问题就可以模拟成状态空间搜索问题，相应的转换规则就可以定义成状态转换规则，通过状态空间搜索的转换和化简来实现数据仓库的动态设计。讨论了将视图加入到数据仓库中的动态设计方法，并通过一个实际的例子介绍了这种动态数据仓库的建立过程。     

一种新的显式与或图搜索算法

给出了一种新的能找出含圈与或图的最佳解图的算法，证明了其性，并分析了其复杂性。     

一种基于与/或树方法的数据挖掘算法及其应用

通过与/或树这样一个方法与结构，对人们提出的问题或要挖掘的目标进行分解或变换，使得到的一些更简单问题易于在数据集中被检索到或者能够更好地得到分析。     

基于AND／OR图算法的探讨

讨论了图搜索的ＡＮＤ／ＯＲ图算法,着重分析了它们的复杂性、优缺点及其相互关系,提出了改进要点．此外,探讨了类比搜索方法．     

一种新的显式与或图搜索算法

给出了一种新的能找出含圈与或图的最佳解图的算法，证明了其正确性，并分析了其复杂性．     

A~*算法在游戏寻径中的应用

图搜索技术能够从图中寻找一条从起点到目标点的路径.围绕游戏寻径问题,介绍了如何确定启发式函数进行启发式搜索,并把A*算法用程序加以实现,从而证明A*算法可以解决游戏中的寻径问题.     

A~*算法软件构件的研究

提出了一种以软件构件形式实现A 算法的方案 ,用面向对象的方法 ,以状态描述为基础 ,对A 算法数据集进行抽象 ,将A 算法设计成抽象类 ,这一抽象类可通过继承和重写应用于不同的环境 ,从而提高了A 算法软件的可重用性。     

二分图最优匹配算法在任务驱动式教学效果分析中应用

为了提高信息技术课程教学质量,教师在教学中推行各种教学改革,如采用项目教学法,以任务驱动式教学来提高教学效果,培养学生操作技能.通过采用图论中二分图最优匹配算法,分析了网页设计课程中任务驱动式教学效果,以促进教学质量提高.     

基于邻接表的图生成算法探讨

本文详细介绍了几类重要的图及其生成算法,包括随机图、K-邻接图、欧几米德邻接图。对于每一类图都用C语言描述其产生算法,并对算法的性能进行了简单的分析,同时对每一个算法用一组实际数据进行了演示,得到了具体的图。     

基于单元分解的改进D?lite路径规划算法

障碍物分隔搜索空间会隐藏D?lite算法正确的搜索方向,增加算法的计算次数,进而影响搜索效率,针对这一问题提出一种基于单元分解的改进D?lite路径规划算法.在原有Boustrophedon单元分解法的基础上加入了新的分解规则,对环境地图进行单元分解并构建了以单元为节点的图.设计了双向图搜索算法,能够快速计算出最短路径需要依次经过哪些单元.在这些单元中设置核心网格并依照顺序构建搜索链表,引导正确的搜索方向,使规划速度提高.在仿真平台上将算法与其他路径规划算法进行对比实验,实验结果表明,算法规划出的路径长度与其他算法几乎没有差别,并且减少了计算次数、降低了规划时间,验证了算法提高路径规划效率的有效性.     

动态图上的最短路径距离并行算法

设计动态图上最短路径距离查询的并行计算框架。通过构建增量图的方法,实现一个批次内的多个查询在不同数据图版本的多线程并发执行。对于每个查询,使用双向宽度优先搜索算法来减少搜索空间,并提出搜索过程中扩展方向的决策函数。利用BSR对数据图邻接表进行编码,结合SIMD指令和图顶点重标号算法,进一步提升数据级并行度。在真实图数据集下的大量实验验证了所提方法的高效性。     

图论技术在机械系统运动链识别算法中的应用

本文将机械系统中的机构视为图论中的网络系统,用图论概念描述机构的拓扑形态和结构。根据机构约束运动的特点,研究了机构的拓扑网络表示方法,提出了机构有向网络图关联矩阵和回路矩阵的新概念,开发了计算机自动识别机构运动链的算法,利用该算法可快速建立机械系统的数学、力学模型,实现机械系统的计算机辅助分析。本研究成果已成功应用于所开发的机械系统计算机辅助分析软件MSCAA。     

网孔自动搜索算法在水电仿真中的设计与实现

将电路抽象为图论中的图,在验证了网孔和最小独立闭合环一致性的基础上,把求电路中网孔的问题转化为抽象图中搜索最小独立闭合环的问题;然后以图论中图的广度优先搜索算法为基础,给出了基于广度优先搜索的最小独立闭合环自动搜索算法(BSA)的基本原理和算法描述.实验表明,该算法可以准确高效地搜索出图中所有的最小独立闭合环,算法的运行速度快,占用的空间小,完全可以满足实时性和内存空间的需求.     

A算法在游戏地图寻径中的几种改进策略研究

A^＊算法是目前游戏地图寻径中应用最广泛的算法。分析了A^＊算法,针对游戏开发指出了标准A^＊算法的不足,研究并提出了几种改进策略和编程实现的方法。实验结果表明,提出的改进方法确实提高了算法的搜索效率和路径的平滑程度,更加适合游戏开发。     

一种线性比式和问题的对偶界方法

对一般线性比式和问题（P）提出了一种全局优化算法,此方法利用拉格朗日对偶中的弱对偶定理建立原问题（P）的线性松弛规划,运用分枝定界方法只需解一系列线性问题。从理论上证明了算法能收敛到线性比式和问题的全局最优解。数值计算结果表明提出的方法是可行的。