一种新的多模式快速匹配算法

提出了一种针对多模式的快速模式匹配算法。算法分为预处理阶段和匹配阶段两个部分，预处理阶段对所有待匹配的模式进行分析，构造一个关于这些模式的树型有限状态自动机，匹配阶段利用这个模式自动机．对文本串进行一次性的搜索，查找文本是否包含模式集中的模式。为了提高了匹配速度，算法利用已匹配的字符串信息实行跳跃式的比较，避免了文本扫描指针的回溯。     

截断谓词的研究与分析

回溯机制是Visual Prolog程序运行的重要机制,是获取所有可能解的一种方法.但在实际问题的解决过程中,有时却不需要回溯.Visual Prolog提供的内部谓词-截断谓词“!”可以用来阻止回溯,而且从某种意义上讲,只有学会了截断谓词的使用,才能自由驾驭Prolog.文章主要结合实例对截断谓词的作用以及使用方法进行了详细介绍,并指出了截断谓词的作用本质上是删除满足一定条件的回溯点。     

基于启发式搜索算法的无人机航迹快速规划

基于无人机导航系统的自身特点，无人机在导航过程中会出现无法精确定位的情况，从而产生定位误差。如果不能及时校正随时间累积的定位误差，会使无人机无法到达预定目的地，从而导致飞行任务失败。为避免这种情况的发生，本文研究了考虑定位误差的无人机航迹快速规划问题。以航迹距离最短为目标，考虑定位误差校正约束与航迹约束，建立了混合整数规划模型。根据深度优先搜索算法与回溯算法的特点，设计了启发式深度优先搜索+回溯算法来求解问题，并在此算法基础上加入模拟退火机制对解的质量进行优化。以某飞行区域的数据为例进行仿真实验，结果表明启发式深度优先搜索+回溯算法可以快速有效地求解考虑定位误差的无人机航迹规划问题。     

平面布局专家系统的自学习智能回溯搜索策略

本文研究了一种基于方图用于平面布局设计的搜索控制机——SARM.阐述了状态节点(方图)的扩充操作规则,制订了选择扩充节点的启发式原则,提出了处理搜索失败的自学习智能回溯搜索控制策略.     

基于扩展有限元和改进海豚回声优化算法的损伤识别方法

提出了一种基于扩展有限元和改进海豚回声算法的方法,对结构中损伤的位置和尺寸进行识别。该方法在获得实际结构测量响应后,运用改进海豚回声算法对实际响应与扩展有限元模拟结构响应之差进行最小化,优化损伤参数,实现对损伤的估计和识别。在改进的海豚回声算法中,提出了一种搜索范围动态变化的寻优机制,增加了初搜索、精搜索、平移搜索、回溯搜索和重搜索等五个过程,相比原算法有较高的效率和较好的收敛性能。通过数值仿真方法验证了所提出的改进算法以及损伤识别方法的合理性和有效性。     

机器翻译中的一种状态空间搜索方法

在机器翻译中出现一类相关对象组合．将这些组合与规则匹配时,因出现“组合爆炸”使搜索失败．提出一种递阶智能搜索方法,根据先验知识先用闭环消除法消去对象中不满足相关约束条件的数据,再采用简单的顺序搜索就可以获得问题解．该方法避免了回溯,显著地减少了时间和空间上的开销．     

一种视频编码的遗传块匹配算法

块匹配算法是视频编码的关键技术，算法的效率直接影响了视频传输的质量。目前有许多较好的搜索算法提高了块匹配算法的效率。而遗传算法是一种随机化搜索算法，它能在搜索过程中自动获取和积累有关搜索空间的知识，并自适应地控制搜索过程以求得最优解。文中通过对遗传 算法进行改进，将其应用于低比特率视频编码的块匹配算法中，经过实验仿真，在保持较好性能的基础上提高了搜索效率。     

一个多重约束目标的问题求解——物理题库智能组卷系统

本文介绍高校工科物理试题库智能组卷系统的结构,提出了一种对分目标进行回溯的松驰搜索法,叙述了系统实现中使用的规划、启发式算法和松弛指标决定原则等一些人工智能技术和方法。     

带有匹配估计方法物联网基于内容的实体搜索机制

提出了实体状态预测方法,基于传感器采集的实体状态原始数据,预测实体在用户搜索时刻的状态,设计了实体匹配估计方法,依据实体的预测状态对实体的匹配状态进行分类,并估计其与搜索需求的匹配概率,返回匹配概率较高的实体作为搜索结果.结果表明,所提机制在物联网中基于内容的实体搜索的查全率与查准率方面均有较大的性能增益.     

多尺度匹配的分形近似编码

将哆尺度分析的思想引入到值域块与定义域块匹配过程中，预先剔除掉在粗尺度下与值域块不匹配的定义域块，相对减少了细尺度下与值域匹配的定义域块。该方法为缩短分形编码的搜索时间提供了一条新途径。与全局搜索匹配分形块编码相比，大大地缩短了编码时间。     

基于MAC的动态回溯算法优化

针对基于MAC的动态回溯算法在求解约束满足问题时,不仅需要大量空间存储删除解释,而且回溯机制过于复杂,对经典的删除解释及动态回溯算法的回溯机制进行优化,优化后的动态回溯算法减少了存储删除解释的空间,并可仅使用一次回溯操作返回到可能导致冲突的关键变量.在最差情况下,存储删除解释的空间复杂度由O(n2 d)改进为O(nd+n2).通过结合restart技术使优化后的动态回溯算法成为完备算法.实验结果表明,优化后的完备动态回溯算法在大部分问题求解中,整体效率明显优于标准回溯算法.     

钢铁企业合同匹配多目标优化模型与算法

针对钢铁企业中存在的合同对库存余材的优化匹配问题,建立了实现余材利用量最大化和匹配损失费用最小化的多目标0-1规划模型·采用模糊决策方法处理两个目标函数,尝试基于群体的增量学习(Population BasedIncreasedLearning,简称PBIL)算法进行求解·结合模型的特点,利用自然数编码表示合同的匹配结果,按照学习概率大小修复不可行个体·通过对应用实例的计算,以及与遗传算法结果的比较,证明该模型和算法是解决合同优化匹配问题较为理想的方式·     

基于Dice系数的弱选择回溯匹配追踪算法

为进一步提高压缩感知重构算法的重构成功率和重构精度,从原子匹配准则和预选阶段原子选择方式的角度出发,提出一种基于Dice系数的弱选择回溯匹配追踪(weak-selection backtracking matching pursuit based on Dice coefficient, DWBMP)算法.首先,采用Dice系数匹配准则度量两个向量之间的相似性,选出最匹配的原子,以优化支撑集;然后,结合回溯思想和弱选择思想剔除相似性较小的原子,完成预选阶段原子的二次筛选.MATLAB仿真结果显示,相同条件下,DWBMP算法较经典的压缩感知重构算法具有更优的重构精度和重构成功率.     

Backtracking Routing Mechanism for Improving Link Failure Recovery

Failure-insensitive routing is a good mechanism to avoid packet dropping and disconnection of forwarding when some links fail,but multiple failure links may bring routing loop for the mechanism. Backtracking routing algorithm based on inverse shortest path tree rooted at destination is presented. The feasible restoration routing is obtained through searching from the start of the failure link and tracing back to the leaves of the shortest path tree with the destination as the root. The packets are forwarded from the mounted point with smaller sequence to the mount point with bigger sequence to decrease the possible of loop in case of multi-failures. The simulations and analysis indicate that backtracking routing algorithm improves the network survivability especially for large network,at the cost of the computation complexity in the same order as failure insensitive routing.     

基于小波及动态规划的相位匹配

提出了一种新的基于小波变换及动态规划的相位匹配算法。该算法采用金字塔式的多尺度匹配结构，顶层和中间层利用小波相位信息建立扫描线对的视差空间图，并引入动脉规划的方法，在获得全局最优化的匹配路径的同时有效地解决了遮挡问题。为提高匹配结果的置信度，该算法结合特征匹配确定了一系列高置信度的匹配点对作为匹配路径的控制点。金字塔底层则直接利用小波相位差和瞬时频率更新由上层由插得到的视差图，保持了相位匹配的亚像素精度。立体像对测试结果表明：该算法改进了现有的相位匹配算法；在匹配时间和区配精度上优于包含动态规划的区域匹配算法。     

一种时间序列曲线形态的描述方法及其在车型识别中的应用

提出时间序列曲线形态的一种新的描述方法。首先根据曲线段类型定义了5个语素和1个通配符，进而定义语素向量及通配符向量，使得对曲线的描述具有层次性。据此可将任意时间序列曲线转变为对应的二维表，二维表表头组成的字符串能够进行初级的模板匹配，二维表表列所代表的语素向量增强了语素关系运算的能力，可实现较深入的模式识别。为使所提出的描述方法能应用于曲线形态辨识，在经典回溯法的启发下设计了一种属性约束下的带通配符字符串匹配算法。最后，以基于感应线圈信号曲线的车型分类为例，验证了所提出的方法的有效性和合理性。     

CSP逻辑编程中一种约束评价的动态控制方法

在一些约束满足问题（ＣＳＰ）中，使需要进行的约束评价的数目减到最低限度是一个十分重要的问题。本文提出了一种改进的回溯算法，它借助基于假设的正确性维护系统ＡＴＭＳ达到了上述目的。