基于三值神经网络的组合电路测试生成算法

针对集成电路的规模和复杂度不断增加而相应的测试却越来越困难问题,提出了一种基于三值神经网络的组合电路测试生成算法．该算法不需要传播,也不需要回退,而是利用三值神经网络把组合电路表示成双向的神经网络,并构造网络的能量函数,用遗传算法求解能量函数的最小值点来求得测试矢量,这样就把组合电路的测试生成问题转化为数学问题．在一些基准电路上的实验结果表明,本算法具有较高的故障覆盖率和较短的测试时间．     

基于神经网络的MCM互连故障模拟器研究

故障模拟器是基于模拟算法的测试生成系统的重要组成部分，其性能优劣直接影响测试集的各项指标。在基本互连结构的二值Hopfield神经网络模型基础上，提出了一种利用神经网络技术实现MCM互连故障模拟的方法。该方法以能量函数值反映故障状态的原理为基础，将判定测试矢量为故障的检测能力问题转化为能量函数值求解问题，简化了故障模拟的处理过程，提高了模拟效率。实验结果表明，用这一方法实现的验证性互连故障模拟器ICFSim，可以有效地对互连网络中的固定型故障和两两短路型故障进行快速模拟。     

基于神经网络的MCM互连故障模拟器研究

故障模拟器是基于模拟算法的测试生成系统的重要组成部分,其性能优劣直接影响测试集的各项指标。在基本互连结构的二值Hopfield神经网络模型基础上,提出了一种利用神经网络技术实现MCM互连故障模拟的方法。该方法以能量函数值反映故障状态的原理为基础,将判定测试矢量对故障的检测能力问题转化为能量函数值求解问题,简化了故障模拟的处理过程,提高了模拟效率。实验结果表明,用这一方法实现的验证性互连故障模拟器ICFSim,可以有效地对互连网络中的固定型故障和两两短路型故障进行快速模拟。     

组合电路测试生成的PODEM算法及实现

详细讨论了在已知组合电路结构，对多输入器件，根据组合电路的等效性，附加虚拟器件，将电路的树形数据结构化为二叉树结构，采用ＰＯＤＥＭ算法，按最难／最易原则回溯，在计算机上实现电路中的单一恒定故障的测试矢量生成。     

一个基于神经网络的测试生成系统

介绍了一个基于组合电路的Hopfield神经网络模型的测试生成系统,系统中运用概率松驰搜索算法求解给定故障的测试矢量。实验结果表明了该系统的可行性。     

神经网络在组合优化问题中的应用

目的 研究神经网络在组合最优化问题中的应用。方法 通过讨论Ｈｏｐｆｉｅｌｄ神经网络模型,建立最优化问题的计算能量函数。结果和结论 给出组合数字中八皇后问题的计算能量函数,使八皇后问题的解对应计算能量函数的最小值,并用Ｃ语言进行计机模拟,得到其全部解。     

动态系统参数估计的一种新方法

分析了利用Ｈｏｐｆｉｅｌｄ神经网络进行系统参数估计的基本原理，把参数估计问题转化为Ｈｏｐｆｉｅｌｄ网络的能量函数的最小化问题，当能量函数达到最小值时，Ｈｏｐｆｉｅｌｄ网络的输出即为待估计的参数值，仿真实验证明了该方法的有效性。     

神经网络在组合优化问题中的应用

目的研究神经网络在组合最优化问题中的应用.方法通过讨论 Hopfield 神经网络模型,建立最优化问题的计算能量函数.结果和结论给出组合数学中八皇后问题的计算能量函数,使八皇后问题的解对应计算能量函数的最小值,并用 C 语言进行计机模拟,得到其全部解.     

基于MCPSO算法的BP神经网络训练

基于多群体协同进化粒子群算法,提出一种用于BP神经网络训练的新型学习算法.将网络中需要调整权值与偏差组成的矢量看成MCPSO算法中粒子,通过粒子间的竞争与合作,完成网络训练过程.将基于 MCPSO训练的BP网络分别应用于函数逼近和模式分类问题.结果表明,基于MCPSO的神经网络学习算法在收敛速度和学习效率等方面优于其他方法.     

一种新的模拟电路故障诊断小波神经网络方法

结合小波变换和神经网络二者之间的优点，提出基于小波神经网络的模拟电路故障诊断方法。采用能量分布特征提取方法和改进BP算法，用正弦信号仿真模拟电路，应用小波变换对模拟电路的采样信号进行多尺度分解，再进行能量分布特征提取，然后利用神经网络对各种状态下的特征向量进行分类识别，实现模拟电路故障诊断。相对于传统的故障诊断方法，用小波变换对故障信号进行预处理，大大减少了神经网络的输入数目，从而简化了神经网络的结构和减少了它的训练时间，并提高了辨识故障类别的能力。对实例电路仿真结果表明，该方法能正确识别各种故障状态，准确率高。     

A new approach to test generation for combinational circuits

Aimed at the generation of high-quality test set in the shortest possible time, the test generation for combinational circuits (CC) based on the chaotic particle swarm optimization (CPSO) algorithm is presented according to the analysis of existent problems of CC test generation, and an appropriate CPSO algorithm model has been constructed. With the help of fault simulator, the test set of ISCAS’85 benchmark CC is generated using the CPSO, and some techniques are introduced such as half-random generation, and simulation of undetected faults with original test vector and inverse test vector. Experimental results show that this algorithm can generate the same fault coverage and small-size test set in short time compared with other known similar methods, which proves that the proposed method is applicable and effective.     

组合电路伪穷举测试的一种生成算法

提出一种基于电路结构的伪穷举测试生成算法,通过对待测电路的逐步二块划分和对各个子电路的穷举测试,形成待测电路的伪穷举测试集.本算法从实际应用出发,基于电路结构进行选优划分,算法简单,运行速度快.通过这一算法,伪穷举测试能够实现机器自动生成,并充分发挥了伪穷举测试的各项优点,因此具有一定的实用价值.     

基于MSCA的符号网络函数模拟器

提出了一种改进的用于产生模拟电路符号网络函数的符号编码算法MSCA。与原符号编码算法(SCA)相比,该算法具有更简洁的编码单元,更为准确的编码定理,从而能明显地提高算法的效率和应用范围。基于MSCA用于模拟电路的符号网络函数模拟器SNSAC已经开发完成,还介绍了SNSAC的基本结构和特点。最后给出了程序应用的两个例子。     

一种非同步时序电路的测试生成方案

分析了非同步时序电路测试生成所面临的问题。根据测试状态下非同步时序电路的时序特点,结合同步时序电路测试生成算法,提出和论证了一种解决非同步时序电路测试生成问题的方案,通过为时序元件建立完全模型,将时序电路中的时钟信号引入,为非同步时序电路构建出用于测试的单时钟同步电路模型,从而直接用同步时序电路测试生成算法解决非同步电路的测试生成问题。     

序列对递增生成的SOC测试调度算法

提出了一种确定性的片上系统 (SOC) 测试调度算法。在对测试环采取最优分配和平衡优化的基础上,构造包含四种序列对递增生成方法的循环迭代过程。该过程同时考虑测试访问机制的宽度、空隙面积、IP核测试面积等因素,可在较短的迭代步数得到有效的测试调度方案。对ITC’02 基准电路进行了实验。结果表明,在得到近似解的前提下,该算法较传统的模拟退火算法具有更快的运行速度。     

Class hierarchical test case generation algorithm based on expanded EMDPN model

A new model of event and message driven Petri network（EMDPN） based on the characteristic of class interaction for messages passing between two objects was extended. Using EMDPN interaction graph, a class hierarchical test-case generation algorithm with cooperated paths （copaths） was proposed, which can be used to solve the problems resulting from the class inheritance mechanism encountered in object-oriented software testing such as oracle, message transfer errors, and unreachable statement. Finally, the testing sufficiency was analyzed with the ordered sequence testing criterion（OSC）. The results indicate that the test cases stemmed from newly proposed automatic algorithm of copaths generation satisfies synchronization message sequences testing criteria, therefore the proposed new algorithm of copaths generation has a good coverage rate.     

一种适用于UHF无源电子标签的电源产生电路

首先基于电荷泵原理提出了一种新的无源电子标签电源产生电路结构，并提出了结构简化的算法。然后基于提出的电路结构和算法，给出特高频无源电子标签电源产生电路的设计实例。设计实例结果表明，提出的电路结构和算法在产生相同输出电压情况下，简化了电路结构，提高了电源产生电路的整流效率。     

时延故障低成本单跳变测试序列生成器

为了避免时延故障测试因额外测试器插入导致过高的硬件成本和性能降低,本文提出了一种内建自测试测试向量生成器设计.该方案通过对累加器结构作低成本的设计改进,并通过一种高效的单跳变序列生成算法设计了时延故障测试序列生成器.该设计改动微乎其微,通过将原有加法单元替换为一种改进的加法单元,对加法器原有关键通路无任何额外的时延影响.该累加器可执行通常的累加运算,在测试时又可担当测试器.与以往的方法相比,具有两个显著优点:低的硬件成本及低的时间开销.由于累加器在VLSI电路中普遍存在,本文的复用设计节省硬件成本,可有效用于强健时延故障的测试序列生成.