通用搜索算法的设计

问题求解系统常常涉及到多种形式的搜索方法,搜索方法的关键是搜索算法设计.这里给出一个简捷的通用搜索算法,算法采用结点指针和搜索指针对关系矩阵进行双重处理的方法,搜索过程中不断改变结点指针和搜索指针,进行推进和回退处理,最终找出问题的全部解.     

基于单向指针链表的快速搜索算法的实现

本文通过对单向指针链表数据的存贮和快速搜索的研究，结合一些成熟的搜索算法，在VC和TC语言中实现了基于单向指针链表的快速搜索算法，并给出了算法相关的具体原理和实现代码。本算法摈弃了单向指针链表数据的逐点循序搜索算法的缺点，加快了搜索速度。进一步发挥了单向指针链表数据的优势。     

聚集系数在对等网路由搜索算法中的应用

针对对等网搜索技术结构化拓扑中不支持复杂查询以及非结构化拓扑中搜索的可扩展性差等问题,该文提出一种新的搜索算法,将现有的对等网拓扑结构进行改良,让结点以flood方式与DHT方式结合起来进行信息搜索。该算法以域为基础,域内根据聚集度来提高对普通结点进行搜索的命中率,域间使用Chord协议来完成搜索。通过这样的结合提高搜索的效率以及响应的速度。实验结果验证了搜索算法的有效性。为进一步的研究提供了有力的理论分析基础。     

进化树拓扑路网构建及多停靠点路径规划方法研究

针对多停靠点线路优化问题,提出一种基于邻接矩阵网络拓扑树构建的路径寻优方法,借鉴系统生物学中进化树分类的思想,引入路网结点间邻接关系评价标准邻接值的概念,将路网按照其结点邻接关系归类划分为以路网结点间邻接值为表征的路网拓扑进化树,同时对线路路径寻优问题中目标结点进行动态回溯分类,在限定路网搜索区域同时采用分支定界搜索策略进行搜索优化,降低了搜索算法时间复杂度.最后依据国家基础地理信息系统网站提供的国界、省会城市及主要公路基础地理数据进行系统实现,证明该算法的有效性.     

Inherit/Feedback:一种新的Web主题挖掘方法

经典链接分析方法(如PageRank和HITS)更多地关注的是网页的权威度，而不是其主题相关度，所以在引导主题搜索的过程中，很快就发生主题漂移．为此，在构建主题关联拓扑模型的基础上，提出了Inherit／Feedback方法，以用于Web主题挖掘．基本思想是：在搜索路径上，一个结点继承其父辈结点的主题相关度，并且将其主题相关度反馈给父辈结点．同时，提出了基于Inhefit／feedback的主题搜索算法(IFC)．实验结果表明，这种方法能有效地引导主题搜索，适用于对领域型网站做深层次的搜索和挖掘．     

基于中介逻辑的模糊知识推理的搜索处理

中介逻辑是一种区分矛盾否定与对立否定、肯定一些对立知识间存在中介对象的逻辑系统。基于中介谓词逻辑描述模糊知识,合理修改与或图,将每一谓词表达式视为状态结点,把逻辑规则集合表示为状态搜索空间。在传统与或图搜索算法的基础上,修改启发函数,将模糊知识的推理问题转化为状态空间中的搜索问题,并给出了一种否定信息的处理方法。     

基于重叠区域的高性能近似kD树算法

kD树是近邻搜索中应用最广泛的算法之一,针对其性能随着空间维度的增加而迅速降低的问题,提出一种可应用到高维空间的kD树搜索算法——okD树.在该okD树的创建过程中,左右子结点之间保留重叠区域,重叠区域不参与后续的划分而是直接传递到子结点;在搜索过程中,对于存在重叠区域的子结点不进行回溯,以提高okD树的搜索效率,不进行回溯的子结点中包含的重叠区域扩大了搜索范围,从而提高了搜索精度.实验结果表明okD树算法的性能优于当前主流的近似kD树算法.     

基于混合负载平衡的并行启发式搜索算法

在分析了迭代加深启发式搜索(Iterative Deepening A*)算法及其可并行性后,提出了一种新的基于混合负载平衡的并行迭代加深启发式搜索算法。该算法综合了静态负载平衡和动态负载平衡的优点,可以在多结点的并行搜索计算中获得很高的加速比和效率。给出了该算法的Java RMI实现。通过在72个结点的并行机上的试验表明,该算法可以极大地提高并行搜索算法的加速度和效率。     

分布式博弈树搜索算法

本文提出了分布式博弈树搜索ＤＤＳ算法，从通信开销、存储开销、加速比等方面分析了算法性能，并与ＳＳＳ和α－β算法在搜索结点个数方面作了比较，模拟实验表明ＤＤＳ是一种高效实用的分布式搜索算法。     

基于Silverlight网页游戏的寻径优化算法

为了解决A*路径搜索算法在Silverlight网页游戏中的搜索费时和路径曲折等问题,在结合光线跨越算法和引入父结点指针的二叉堆存储开启列表的A*算法的基础上,提出了一种基于Silverlight网页游戏的寻径优化算法。该算法在现有研究的基础上使用光线跨越算法减小A*算法搜索规模,同时将动态关键点技术与光线跨越算法结合来优化算法返回的路径。将该算法在游戏所使用的网格地图中进行实验,实验结果表明,该算法能够有效地根据系统设定的通行条件寻找出一条最优的实际可行的路径,同时缩短寻路的时间消耗和所寻的路径长度,提高游戏的可玩性。     

谈利用指针处理动态链表

本文讲述了利用指针处理动态链表,即如何建立链表、输出链表以及如何插入一个结点和删除一个结点,通过实例来说明这些操作。     

C语言指针的综合应用研究

C语言是一门优秀的语言,其在多个领域都有着很好的应用。指针是C语言的精华所在。本文阐述了指针的概念,对指针的常见类型进行了分析,并对指针的运算和相关应用做了详细的实例讲解,有效引入了指针对数组和函数的调用,对具体问题进行了讲解。     

基于指向与数值抽象的带指针算术程序的分析方法

带指针算术的程序往往包含数组越界、缓冲区溢出等运行时错误。单纯的指针分析技术和数值分析技术都无法有效处理指针算术。为了将指针分析与数值分析相结合,首先提出一种新的指针内存模型,然后基于该模型设计了一个刻画指针指向关系和指针偏移量的抽象域。最后在抽象解释框架下,设计并实现了一个面向带指针算术C程序的静态分析工具原型PAA。实验结果表明,PAA能够有效地分析指针程序的指向关系和数值性质,并能够在效率和精度间取得合理的权衡。     

Automatically Proving Termination and Memory Safety for Programs with Pointer Arithmetic

While automated verification of imperative programs has been studied intensively, proving termination of programs with explicit pointer arithmetic fully automatically was still an open problem. To close this gap, we introduce a novel abstract domain that can track allocated memory in detail. We use it to automatically construct a symbolic execution graph that over-approximates all possible runs of a program and that can be used to prove memory safety. This graph is then transformed into an integer transition system, whose termination can be proved by standard techniques. We implemented this approach in the automated termination prover AProVE and demonstrate its capability of analyzing C programs with pointer arithmetic that existing tools cannot handle.     

A Simple Optimal Solution for the Temporal Precedence Problem on Pure Pointer Machines

In this paper we propose an optimal solution to the Temporal Precedence problem—i.e., the problem of managing the dynamic insertion of elements in a collection and the ability to determine, given two elements, which one has been inserted first. The problem is studied on pure pointer machines, i.e., pointer machines with no arithmetic capabilities. We provide an optimal solution (i.e., O(lg lg n) worst case time per operation, if n is the number of insertions) for this problem that is considerably simpler than the solutions previously presented in the literature. We also show how the solution can be improved to allow worst case O(1) insertions and linear space complexity.     

基于优化组合的遗传算子的研究与应用

本文就遗传算法的位串编码方案进行分析,充分利用遗传算法局部较强的优化操作方法, 提出基于Gray编码和锦标赛选择策略的采用全局搜索算子和局部搜索算子优化组合解决非线性优化问题的方案.经用C++编程对经典的Shubert与Banana测试函数进行实验测试.结果表明用该方案解非线性优化问题十分有效.     

分枝限界法的实现及改进方案

分枝限界算法是一种组合搜索的常用方法，本文以具体实例介绍了该方法的基本原理，并对其加以改进，使该算法的效率得到提高。     

基于约束满足搜索算法的测试用例生成策略

针对约束系统中非线性谓词函数、指针、数组等复杂运算的求解问题,运用约束满足搜索算法,通过减少约束方程组中参数变量的个数,逐步缩小参数变量的取值范围,提出基于符号法求解约束的改进算法。对含有非线性谓词、数组的程序实例进行实验,结果表明改进算法能有效生成测试用例。     

基于混合信息的粒子群优化算法

针对非线性优化问题讨论一种基于混合信息的粒子群优化算法,该算法考虑了最优个体和最差个体获取信息,结合自适应变异算子确定下一步搜索方向。自适应变异依据适应值大小调整速度惯性因子、改变搜索方向。仿真实验结果表明,新的算法收敛,具有很高的搜索效率和求解精度。     

实时控制系统中的数据结构

本文根据实时控制系统中的数据特点，讨论了实时数据结构的组合方式以及数据结构的指针运算和链接，文中介绍的方法增加了实时程序的效率。