Research of the test generation algorithm based on search state dominance for combinational circuit

PODEM,FANandSOCRATESalgorithmsallpresentafewstrategiesacceleratingthetestpatterngenerationbasedoncircuitstructure.PODEMalgo rithm[1]introducesbacktrackingtechnology,anditre ferstestgenerationtoanimplicitenumerationprobleminn dimensionalspacesuchthatitbrea…     

基于Reed-Muller模式的组合电路故障定位方法

针对组合电路的测试生成算法种类繁多,但对所检测到的故障进行定位的方法却很少的问题,阐明了一种基于Reed-Muller模式的组合电路的故障定位方法.该方法在减少测试开销的同时,不但可以方便检测出电路中的单固定型故障,且可以对故障进行定位.此方法还可应用于其他相关电路的可测性设计中.     

基于故障仿真确定测试矢量最小测试集方法的研究

为了减少测试矢量，有必要对电路中的故障加以分析，寻找各类故障之间的关系，以求压缩测试矢量。本文提出了一种通过并行故障仿真来确定测试矢量最小故障集的方法。该方法将并行故障仿真与布尔约简法相结合，利用并行故障仿真结果确定出故障点和测试矢量的对应关系。然后根据布尔约简法即可求出测试矢量的最小故障集。     

基于神经网络的数字电路多故障测试生成算法

针对数字电路中多故障测试生成效率较低的问题,提出了基于神经网络的数字电路多故障测试生成算法。依据故障转换方法把数字电路多故障测试生成问题转换成为单故障测试生成问题,采用神经网络的方法对单故障电路构造故障的约束网络,通过使用遗传算法求解故障约束网络能量函数的最小值点获得故障的测试矢量。在ISCAS’85国际标准电路上的实验结果表明,故障平均测试生成时间在0．017s以下,故障覆盖率在96％以上。与其他算法相比,测试生成效率明显提高。     

基于搜索状态控制的组合电路测试生成算法

EST算法第一次提出了测试码搜索状态的概念,并采用E-前沿来描述测试码搜索的不同状态,通过引入状态等价的概念,缩小了测试码搜索空间．本文通过对搜索状态等价的研究,得出了基于搜索状态控制的测试生成算法．该方法应用E-前沿的控制关系可以减少搜索空间,大大减少了测试生成的时间．     

基于脊线模态法和RRT算法的蛇形机械臂避障控制研究

相较于传统机械臂,蛇形机械臂具有高灵活性的优势,尤为适合各类非结构化的工作环境。但非结构环境要求蛇形机械臂具有更强的避障能力和适应性。为解决蛇形机械臂的避障轨迹规划问题,提出了一种基于脊线模态法和快速扩展随机树(RRT)的控制算法。分析并建立其运动学模型,研究了机械臂各关节角度变化与绳索长度变化的关系。采用脊线模态法得到了机械臂末端满足期望位姿的空间脊线,并利用二分法拟合空间脊线,由此获得蛇形机械臂的逆解。与经典的雅可比迭代法相比,脊线模态法具有计算简单、效率高、充分反映机械臂几何特征的优点。在脊线模态法的基础之上,对于存在碰撞的空间脊线,进行部分关节调整,生成一条新的无碰撞的期望空间脊线。采用无需建立空间模型的RRT算法生成绕过障碍的轨迹。最后在Matlab环境下进行仿真,分析角度绳长变化关系,对脊线模态法和避障轨迹生成进行验证。