多故障测试生成的一种简化算法

针对求解布尔差分要做大量的异或运算,特别是求解高阶布尔差分繁琐的问题,提出一种具有约束条件的布尔差分简化方法。通过对布尔差分算法进行剖析,得出所求测试应该使测试集方程中的布尔函数f(X)随变量的改变而改变,由此可将差分方程表示成恒等式。为保证故障能向输出端传播,需要加入测试矢量生成的约束条件,所以该方法只需通过求解恒等式及约束条件来得到完全测试集。通过采用简化算法和未采用简化算法实例的比较,证明了简化方法的正确性和简化性,仿真验证了所求测试矢量可以检测出设定故障。     

数字电路测试中的关键技术分析

本文首先就数字电路测试中的关键技术进行了简要介绍，如故障模型、故障仿真、故障压缩以及可测试性度量等；之后介绍了布尔生成法、D算法、FAN算法等三种确定型数字电路测试方法；最后作者提出了自己对数字电路测试发展趋势的展望。     

组合逻辑电路多故障测试生成算法的研究

针对布尔差分算法需要进行大量的异或运算,特别是求解多故障测试矢量时,求解高阶布尔差分更是繁琐的问题,依据卡诺图求解异或运算的方法,提出了获得多故障测试矢量的简便算法。该算法对单故障特别是多故障的测试矢量生成,无论故障数为多少,只要函数的变量数不变,就不会因故障数增加而使卡诺图法的求解难度增加,从而减少了多故障测试矢量生成时间。     

产生完全测试集的一种算法

提出了一种算法，用来产生组合逻辑电路中每个“总是０”和“总是１”故障的完全测试集。该算法已编成程序用来处理大规模集成电路，它以布尔差分的某特性为基础，能有效地产生完全测试试集。对透彻了解不可检测故障，可检测单故障的测试以及电路冗余性三者之间的关系，作了讨论。     

测试性能估算的测试集重排序方法

目前在集成电路测试中,测试时间长、测试效率低是影响测试成本的关键问题之一,针对此问题提出了一种基于测试性能估算的测试集重排序方法。首先针对不同的故障类型进行分类建模,然后对每种故障类型进行仿真,通过在每个逻辑门注入故障,统计测试向量命中故障门的面积之和来估算测试向量的测试性能,最后根据测试性能的优劣对测试集进行重新排序。实验表明,对于单固定故障使用排序后的测试集测试可以减少5329%的故障检测时间。该方法是通过对电路的逻辑结构进行分析和统计然后对测试集进行优化,对ISCAS 89标准电路进行试验,与其他测试集重排序对比,有着明显的优化。算法运行完全是基于软件的,不需要增加任何硬件开销,可以直接相容于传统的集成电路测试流程。     

一种数字组合电路多故障测试生成的高效算法

针对求解逻辑门数目比较多的组合电路故障测试矢量问题,特别是求解多故障测试矢量时布尔差分法需要进行大量的布尔表达式化简和求异或运算的问题,提出将复杂的布尔表达式简单划分为一些简短的布尔表达式.用一个树型结构将这些简短表达式组织起来,形成一棵方程树,再根据输出值只依赖于故障点变量的思想来求解测试矢量,避免了布尔表达式繁琐化简和大量求异或运算的问题,使得多故障测试生成问题简化.     

IDDQ测试技术探讨

本文介绍CMOS电路的静态电流IDDQ测试的有关概念，讨论IDDQ阀值的确定方法和几种测试电路的实现，并对IDDQ测试矢量的产生进行简要评价，指出在深亚微米条件下继续运用IDDQ测试方法的可行性和实现方法。     

A/D转换器最小完备测试集生成与故障诊断方法研究

为了减少A/D转换器测试集的冗余度,及其在故障诊断时的工作量大,征兆混淆等问题。文中建立了故障A/D转换器的输入输出模型,并采用最大相异性模型算法生成A/D转换器固定逻辑"0"故障和固定逻辑"1"故障的最小完备测试集。同时,提出了将A/D转换器数字输出向量在二元域GF(2N)空间中正交分解后分别提取特征量的方法来完成无噪声影响位和噪声影响位的故障识别。通过仿真验证表明:输入A/D转换器的测试电平数量减少了99.9%。本文生成的最小完备测试集不仅能够满足紧凑性条件和完备性条件,而且极大降低了测试向量的冗余度。本文提出的故障诊断方法提高了故障诊断的时间效率和准确度,解决了A/D转换器噪声影响位由于征兆混淆而无法完成故障识别的问题。     

基于离散粒子群算法的测试选择

本文将离散粒子群算法(BPSO)首次应用于测试选择,结合测试选择自身的特点,重新定义了粒子及其速度;通过定义带有测试选择指标的适应度函数对粒子进行优化,并根据其容易陷入局部最优的特点,引入了线性惯性权重因子;同时本文将故障发生的概率作为评价测试集优劣的一个重要指标,具有重要的应用价值.文中的实例验证了该算法的有效性,利用该算法不仅可以获得较高的故障检测率、故障隔离率及较小的测试矢量集,而且还可以很快地找到发生概率大的故障.     

可拓关联函数与属性约简相结合的变压器故障诊断方法

鉴于常用的三比值法诊断变压器故障时会出现"无编码"情况,提出了利用可拓学与粗糙集理论对变压器故障进行诊断的方法。以粗糙集属性约简方法对各种故障类型所需要的属性条件进行初步约简分类,然后建立变压器故障诊断的物元模型,以DGA测试数据作为变压器故障诊断属性集,以变压器标准故障模式作为变压器故障诊断决策集,利用可拓关联函数计算各种故障程度,定义故障取舍规则以确定变压器故障。以某台故障变压器为实例进行分析,其诊断结果与实际情况相符;收集76条变压器DGA信息,利用该方法进行故障诊断,诊断正确率较IEC法乐观。     

边界扫描测试向量生成的抗混迭算法

文中在分析改良计数算法和移位“１”算法的基础上,提出了一种新型的边界扫找测试向量生成算法－等权值算法。该算法实现了测试向量集的紧凑性与故障分辨力之间合理的折衷,是一种性能优良的测试向量生成算法,它具备抗征兆混迭的故障诊断能力,测试时间的数量级为Ｏ（Ｎｌｏｇ（Ｎ）。     

基于仿真模型的话音电台故障诊断方法

针对复现困难且缺乏测试数据和先验知识的电子通信设备故障,提出一种基于仿真模型的故障诊断方法。首先,建立故障系统的仿真模型,并尽可能精简该模型;然后利用该模型,对假设的故障原因逐一模拟,同时观察各个关键节点的输出;最后找出与已有测试数据最符合或最相近的结果,并完善仿真模型。在此基础上分析故障产生机理,完成故障诊断工作。该方法是一种正向逻辑推理法,与故障树分析法相反,可作为故障树分析法的补充手段,并在某话音电台的故障诊断过程中发挥了重要作用。     

电子设备诊断规则提取的形式概念分析方法

针对从电子设备历史故障数据中获取诊断知识困难的问题,研究了基于形式概念分析的诊断规则提取方法。首先,定义了诊断形式背景以二值数据表形式化表示故障样本,设计了增量式算法分别构造测试参数集和诊断结果集的概念格;然后,根据两概念格外延包含关系构造广义可辨识矩阵和广义决策辨识函数,通过化简极小析取式对诊断形式背景进行属性约简,得到约简的测试参数集;最后,构造约简的概念格提取最优诊断规则集,用于诊断新的测试样本。该方法用于某型电子对抗系统管理控制计算机的诊断准确率达到83.3%,验证了从故障数据中提取诊断规则的有效性。     

多功能IED距离保护的振荡闭锁功能的测试

传统的的检测方法不能满足新型距离保护功能测试的要求.应用新型录波器及暂态仿真软件模拟同步、异步振荡和异步振荡时的在故障就显得尤为重要.由此提出了基于多功能IED (Intelligent Electronic Device)距离保护检测电力系统振荡的方法以及在振荡发生时再故障的检测方法的研究.首先介绍了一些检测电力系统振荡的方法以及在振荡发生时再故障的检测方法.然后集中讨论了测试其功能的一些要求,并详细介绍了这些测试方法,最后通过与传统测试方法相比较得出了上述测试方法的一些优点.     

新型输电线路故障综合定位系统研究

传统的基于故障稳态量的常规故障定位及基于故障暂态行波的行波定位都存在一定的局限。文中对常规定位模型进行改进,既简化了计算,又提高了精度,同时对行波定位进行改进,采用专用行波传感器,提高ＧＰＳ同步时钟精度与采样频率,并利用小波变换进行行波波头检测,从而提高了定位精度。把常规定位和行波定位有机结合,研制了输电线路故障综合定位系统,动模实验,高压冲击试验和ＲＴＤＳ试验都表明该综合定位系统具有很强的鲁棒性     

交流系统发生不对称故障时直流系统的数字仿真模型

应用布尔代数的理论方法，建立了适合于交流系统发生不对称故障时暂态稳定计算的直流系统仿真模型，该模型根据三相换相电压及相应的换流桥的阀状态，推导了直接计算阀电压、阀电流等电量的计算公式，得出了换流桥的等值电路，从而加快了仿真计算的速度，避免了传统的求解微分方程的过程，并给出了相应的仿真结果。