一种改进D算法测试生成的关键技术研究

数字电路测试的关键在于算出测试向量,本文基于传统D算法思想提出了一种改进型的D算法。与前者相比,新算法的主要优点是：（1）加快测试向量生成的速度;（2）提高了故障覆盖率。研究了新算法的关键技术,包括D立方设计、D立方的读入和初始D路径敏化等。经实例验证,测试程序自动生成了测试向量,说明改进后的D算法是一种有效的测试生成算法,为自动测试生成系统的设计奠定了基础。     

面向自主芯片频率扫描实速测试的扫描链分析

随着芯片工艺的不断升级,芯片设计的频率不断提高,时延故障是引起高速芯片失效的重要因素。在硅后验证阶段,由于缺乏一种对芯片全局路径延时测量的手段,传统构建延时测量电路的方式仅能得到特定关键路径的延时变化情况,在芯片失效时无法进行全面的路径延时分析。本文提出一种基于扫描链的频率扫描实速测试方法对芯片内部大量时序路径的延时进行测量并获取时序裕量。针对生成测试向量时间长,依赖专业测试设备的问题,在自研硬件平台上通过自生成多频率测试向量以及改进数据校验算法成功实现了频率扫描实速测试,对芯片测量的路径延时误差在8 ps左右。通过对不同芯片在不同温度下的实验验证了该方法对路径延时表征的有效性,为今后通过延时参数对高速芯片进行环境适应性分析、寿命预测等研究提供了一种快捷有效的方法。     

一种CPU测试程序的开发方法与实现

如何科学有效地生成CPU测试图形,是困扰测试程序开发人员的一个难题.以N80C196KB为例,系统地介绍了一种基于ATE开发CPU测试图形程序(测试向量)的新方法,即学习法.通过验证,该方法可极大地提高CPU测试图形的生成效率,彻底解决了长期以来CPU及其他复杂数字集成电路的测试图形生成的难题.     

关于序贯电路的一个测试生成程序

本文给出了一处基于代数学和拓扑学技术的自动测试向量生成系统。其中采用了电路分块，可测性度量，ｑ值函数，修正试探法，交互性故障模拟等方法以提高序贯Ｄ算法的一个改进型的性能。文中给出了ＩｓｃＡｓ’８９的一些电路的测试生成结果。     

一种基于混沌神经网络的测试生成算法

基于组合电路测试生成的Hopfield神经网络模型，提出了一种利用混沌神经网络的全局搜索能力进行测试生成的有效算法。该算法综合了随机性和确定性算法的优点，通过对有关参数的调节，使网络逐渐由混沌神经网络向Hopfield神经网络过渡。实验结果验证了该测试生成算法的有效性与相关性能。     

一种基于UUTs模型的并行测试任务调度算法

基于Task Scheduler算法提出了TSU（Task Scheduler based on UUTs model）算法。与前者相比,TSU算法的主要优点是：（1）把UUTs作为固定资源,减少了所需分析资源的数量;（2）生成的任务调度序列可以直接应用于并行自动测试系统的UUTs模型,具有更高的可读性和工程应用价值。经实例验证,TSU算法是一种有效的并行测试任务调度算法。     

拖拽鼠标快速生成数字系统中的仿真或故障诊断测试信号

针对数字系统仿真、故障诊断中对测试向量的特殊要求,利用VB5．0开发出了拖拽鼠标快速生成测试向量的软件包。本文讨论了数字信号模型,详细阐述了拖拽鼠标生成测试波形和数据文件的原理和步骤,给出了画“波形”子程序实例。最后归纳了软件包的功能及总体流程图。     

基于蚂蚁算法的NoC互连测试研究

针对NoC(network on chip)互连测试,提出一种结合蚂蚁算法来进行互连测试的方案。方案采用NoC重用测试访问机制,在功耗约束下,运用蚂蚁算法进行寻优,获取最优矢量集,并使测试代价更小。本文以SoCIN结构电路为平台,分别对不同规模的NoC进行模拟。实验结果表明,在NoC互连测试问题上,蚂蚁算法能快速收敛到最优解,测试生成时间较短。     

一个关于并行测试完成时间的定理及其应用

为了检验和改进并行测试的任务调度算法,在充分研究多UUT（Unit Under Test,被测单元）并行测试问题规律的基础上,提出了并行测试完成时间的极限定理（Limit Theorem of the over time in Parallel Test）。该定理能够确定并行测试完成时间所能达到的极限最小值,以此为极限时间可以检验任务调度算法生成的测试序列的正确与否和优劣程度,并对算法进行改进和完善。     

基于粒子群算法的故障测试集优化

为加速测试进程和减少测试开销,数字集成电路在生成测试矢量后必须进行故障测试集的优化。文中利用粒子群优化算法生成最小完备测试集,根据故障测试集优化问题的具体特点,构造粒子的表达方式和编码规则,建立粒子群的速度一位置模型;同时为提高优化效率,引入混沌优化算法来初始化粒子群。实验结果表明,在测试生成后,该方法能在较短的时间内生成最小完备测试集,验证了它的实用性和有效性。     

MC/DC Test Data Generation Algorithm Based on Whale Genetic Algorithm

The automatic generation of test data is a key step in realizing automated testing. Most automated testing tools for unit testing only provide test case execution drivers and cannot generate test data that meets coverage requirements. This paper presents an improved Whale Genetic Algorithm for generating test data required for unit testing MC/DC coverage. The proposed algorithm introduces an elite retention strategy to avoid the genetic algorithm from falling into iterative degradation. At the same time, the mutation threshold of the whale algorithm is introduced to balance the global exploration and local search capabilities of the genetic algorithm. The threshold is dynamically adjusted according to the diversity and evolution stage of current population, which positively guides the evolution of the population. Finally, an improved crossover strategy is proposed to accelerate the convergence of the algorithm. The improved whale genetic algorithm is compared with genetic algorithm, whale algorithm and particle swarm algorithm on two benchmark programs. The results show that the proposed algorithm is faster for test data generation than comparison methods and can provide better coverage with fewer evaluations, and has great advantages in generating test data.     

一种基于结构和行为描述的数字电路专家系统测试方法的研究

本文提出了一种数字电路专家系统的测试方法,本测试方法以扩展D算法的立方表为基础,建立了基于结构和行为描述的知识表示方法和推理机制,并用LISP语言予以实现,使数字电路的测试简单、方便,且具有较强的适应性。     

Efficient Computation of Multivariable Transfer Function Dominant Poles Using Subspace Acceleration

This paper describes a new algorithm to compute the dominant poles of a high-order multiple-input multiple-output (MIMO) transfer function. The algorithm, called the Subspace Accelerated MIMO Dominant Pole Algorithm (SAMDP), is able to compute the full set of dominant poles efficiently. SAMDP can be used to produce good modal equivalents automatically. The general algorithm is robust, applicable to both square and nonsquare transfer function matrices, and can easily be tuned to suit different practical system needs     

SOC测试矢量压缩技术

为了减少SOC芯片的测试容量和缩短测试时间,可以在下载前压缩测试数据.文中利用SOC测试矢量间的相关性,提出基于矢量间编码的压缩算法,在有很好的压缩效率的同时,它的解压缩算法能够很简单地在嵌入式微处理器上用软件实现.     

Cuckoo Search algorithm based load frequency controller design for nonlinear interconnected power system

A new optimization technique called Cuckoo Search (CS) algorithm for optimum tuning of PI controllers for Load Frequency Control (LFC) is suggested in this paper. A time domain based-objective function is established to robustly tune the parameters of PI-based LFC which is solved by the CS algorithm to attain the most optimistic results. A three-area interconnected system is investigated as a test system under various loading conditions where system nonlinearities are taken into account to confirm the effectiveness of the suggested algorithm. Simulation results are introduced to show the enhanced performance of the developed CS based controllers in comparison with Genetic Algorithm (GA), Particle Swarm Optimization (PSO) and conventional integral controller. These results denote that the proposed controllers offer better performance over others in terms of settling times and various indices.     

基于量子粒子群算法的电力系统无功优化

本文提出了一种量子粒子群算法解决电力系统无功优化问题。量子粒子群算法采用实数编码,融合了量子进化算法的概率性并进行计算和粒子群算法的更新策略,在全局寻优能力和保持种群多样性方面表现出了较大优势,而且寻优速度快。另外,为了避免大量不可行初始解,本文采用倾斜分布式启发方法得到初始种群。IEEE-30系统证明了量子粒子群算法的高效性和鲁棒性。     

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

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

大型电力系统静态电压稳定极限的求解

提出适用于大型电力系统电压稳定分析的改进连续潮流法,该算法能很好地克服大型电力系统的雅可比矩阵在照办点附近奇异的现象,从而使寻找电压临界点的工作变得迅速、准确、并且具有较好的收敛性;阐述发电机无功越限对静态电压稳定性的影响;试验验证取得了满意的结果。     

HDTV图像清晰度复合测试图

文中设计、生成HDTV图像清晰度复合测试图.按在极坐标系建立的数学模型,由计算机逐像素编程计算、生成的该测试图,精度高,便于修改,已在定量测定数字图像清晰度中得到应用.     

空气透平试验台风源能力计算

通过空气透平级试验台,可研究试验级的效率与速比变化关系曲线、根顶部反动度与速比的变化关系曲线和级反动度、出口角度、出口速度、能量损失系数、级相对内效率等沿叶高分布等,并通过详细流场测试,研究不同叶型及不同流型对二次流的影响,进而研究叶栅通道内的流动损失。阐述了建立空气透平试验台所需风源的能力和试验级功率等的计算方法,并以600MW及1000MW机组的中压末级、高压末级作为模型试验级,计算了单级空气透平试验强所需风机的流量和压头,以及水力测功器的转速及测功范围。