基于回溯开发过程的第三方软件测试模型

在分析研究各种测试技术的基础上,提出了基于回溯软件开发过程的模型。该模型面向软件开发的全过程,力求最大限度地再现软件开发的步骤,从设计、开发、测试等阶段明确开发方的思维过程,能在整体功能、性能上对系统的测试具有指导意义。实践证明,此模型发现缺陷的速度较其他模型快,易发现一些其他模型不易发现的问题,尤其在大型软件的测试上具有其他模型无法取得的测试效果。     

基于BIT位运算的N皇后问题解法

皇后问题是一经典的回溯算法问题,本文使用B IT位运算对非递归的回溯算法进行优化,取得了较好的效果,对其他类似问题的算法的优化有一定指导意义。     

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

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

回溯法在建立测量标准核查控制极限中的应用

标准核查是测量过程控制最常用的方法,建立测量标准核查控制极限是标准核查最重要的环节,需要通过大量的测量并采用统计的方法获得.建立核查控制极限时,在完成m组重复测量的基础上,根据控制极限计算公式从m组测量数据中筛选出n组(m≥n)受控的数据,并利用这n组数据获得控制极限.数据筛选的过程非常繁琐,利用回溯法可以比较简单地实现控制极限测量数据的筛选.     

基于分布式约束满足的产品配置研究

针对分布式网络化产品配置的特点,将产品配置问题抽象为约束满足问题进行研究.为解决配置知识共享及配置知识的语义表达问题,采用本体驱动的面向对象的思想构建产品配置约束网络结构模型,将该模型转化为分布式约束满足问题(Distributed Constraint Satisfaction Problem,DCSP)求解模型,从而可以准确、完全地描述产品零部件的结构及设计知识,并采用异步弱授权回溯算法进行约束求解,大大提高了求解的搜索效率和准确性.最后给出模型在水泵产品配置设计过程中的实际应用.     

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.     

一种改进的CSP算法

针对基于约束满足问题,笔者对其算法进行了详细的论述及分析,并提出一种MRV＋FC改进回溯算法。实验结果表明,问题规模越大,该算法效果越明显。     

修正梯度路径与仿射变换内点法解线性不等式约束的变分不等式问题

基于Peng给出的变分不等式的势函数,提出修正梯度路径与仿射变换内点法解线性不等式约束的变分不等式问题．借助于对称矩阵的特征分解与仿射变换映射,可以构建修正梯度路径．进一步使用路径搜索并结合内点回代线搜索技巧,近似地求解信赖域子问题;最后在合理的假设条件下,证明了算法具有整体收敛性．     

小型图书馆外文图书数据回溯建库的体会

介绍了中国科学院力学研究所图书馆外文图书回溯建库的准备工作、实施方案以及相关的体会。     

带回溯线搜索的新锥模型信赖域算法

结合线搜索方法计算量小的优点和信赖域算法很好的收敛性,将回溯线搜索应用到新锥模型自适应信赖域方法上构造了一类新的算法,并证明了该算法具有全局收敛性。初步的数值实验表明该算法是可行的。