集成电路高层故障模型间关系分析方法

集成电路的测试变得日益重要,传统的门级测试虽然效果很好,但是随着电路规模的增大而面临着测试时间太长的困境·高层测试可以很好地缓解测试时间过长的问题,但最大的困难是缺少恰当的故障模型·通过对高层故障模型与门级固定型故障模型间关系可以建立高层故障模型的评估规则,在该规则下可以再对高层故障模型间关系进行分析,以确定彼此间的覆盖关系·归纳模型间的互相覆盖以确定彼此是否包含,这有助于对高层故障模型进行评估,寻找能够对应逼近门级固定型(stuck-at)故障模型的高层故障模型序列,该模型序列有望指导新的测试生成·最后,以对ITC99中标准时序电路的实验来说明该理论方法·

输变电设备典型故障模型及综合维修策略探究

本文分析了输变电设备故障的演化规律,以及故障特征参数与输变电设备故障的相关性,建立了设备故障特征参数的多因素预测模型和故障诊断模型,实现了输变电设备故障概率故障定位的实时准确预测。

基于Chwa&Hakimi故障模型的集团诊断

提出了基于Chwa＆Hakimi故障模型的集团诊断,定义了绝对故障集和最终诊断图,由此能找到所有的基于Chwa＆Hakimi故障模型的相容故障模式。从仿真结果看大大减少了系统级故障诊断的复杂度,特别是对强t-可诊断系统,具有较大的实际意义。

基于精确隐性故障模型的输电系统连锁故障风险评估

针对继电保护隐性故障进行研究,改进了现有的隐性故障模型,并在此基础上评估了保护隐性故障造成连锁故障的运行风险。首先根据不同隐性故障造成保护不正确动作概率的不同,将隐性故障详细分类,建立了隐性故障概率模型;其次应用置信规则库,建立考虑环境和系统潮流影响的保护系统马尔可夫模型,将隐性故障概率模型和马尔可夫模型结合,建立精确隐性故障模型。再次,根据隐性故障造成连锁故障的传播机理,建立连锁故障模型,并从概率、网络结构、能量损失3个角度建立相关的严重度指标。最后,将模型应用于IEEE-118系统,通过对比传统隐性故障模型和文中所提精确隐性故障模型所得风险评估结果,验证了所提精确隐性故障模型更加贴合实际,其风险评估结果更加真实可靠。

基于故障模型的广域故障定位新方法

提出一种利用广域测量信息进行故障定位的新方法。该方法在系统正常运行时,形成网络关联系数矩阵。故障发生后,对每条支路计算定位函数在每个步长点的值,并据此确定故障位置。该方法在故障定位过程中,无需修改网络矩阵,能同时确定故障线路和故障位置,计算量小,易于实现;不受过渡电阻和故障类型的影响,可靠性高。算例结果验证了该方法的有效性和可行性。

U/f控制微电源的故障控制策略和故障模型分析

逆变型微电源的控制策略对其故障响应具有重要的影响。为了解决微电网的保护问题,有必要对这类微电源的故障控制策略进行深入研究。该文根据U/f控制微电源(U/f controlled micro source,U/f-MS)在故障条件下必须满足的电流和电压约束推导出U/f-MS的理想参考电压,能够在保证设备安全的前提下尽可能高地提升微电网的正序电压。考虑到实际应用可能对负序电压提出的要求,文章进一步给出了参考电压幅值的修正步骤。为了使U/f-MS快速平稳地度过故障暂态从而实现预期的控制目标,该文提出了一种分阶段的控制策略并通过Matlab仿真验证了该策略的有效性。最后,建立了U/f-MS的故障稳态模型,结合对称分量法可迭代计算其故障稳态响应,计算与仿真结果对比验证了模型的正确性。

PMC故障模型的方程诊断

首次建立起PMC方程模型的定义 (即PMC模型的方程描述 ) .PMC模型是一种最常见的系统级故障模型 ,针对传统的图论诊断算法离不开“t 可诊断性”和“相信大多数”(即假定系统中故障机的台数少于处理机总台数的一半 )的特点 ,文中引入“绝对故障基”等概念 ,并充分运用“集团”工具 ,在不以“t 可诊断性”和“相信大多数”作前提假设的情况下 ,找到了求PMC模型全体相容故障模式的具体方法———方程诊断算法 .

RAM的故障模型及自测试算法

通过对ＲＡＭ故障情况的全面、深入分析，建立了ＲＡＭ的功能故障模型。并在此基础上，提出一种全面、实用的故障自测试算法。该算法分三步完成测试：（１）测试ＲＡＭ中的固定为１（０）故障、固定开路故障、状态转换故障、数据保持故障及第一类耦合故障中的不相关耦合等故障；（２）测试第一类耦合故障中的相关耦合故障；（３）测试第二类耦合故障。对ＲＡＭ的故障注入试验验证了该算法的有效性。并将此算法应用于航空电子模拟器的ＢＩＴ（Ｂｕｉｌｔｉｎｔｅｓｔ）的设计中。

基于系统功能-结构-故障模型的FMMEA分析方法

针对传统故障模式及影响分析(failure mode and effects analysis,简称FMEA)不能识别装备或零部件的故障机理,其故障原因分析、故障影响推理及潜在故障模式识别能力较弱,故障信息描述不规范等导致的分析效率低、可信度差、分析结果重复使用性差等问题,提出一种新的故障机理、模式及影响分析(failure mode,mechanism and effects analysis,简称FMMEA)方法。首先,根据系统结构、功能及其内部物质流、能量流、信号流、部件故障等信息建立系统的功能-结构-故障模型;其次,采用模糊认知图推理分析各故障模式的传播途径及影响,得到规范化的故障模式及影响分析表格,可为系统的可靠性、测试性设计与分析提供基础数据;最后,以某燃油供给系统为例进行了FMMEA分析,验证了该方法的可行性和有效性。

基于多功能故障模型的多信号流图建模及分析方法

多信号流图是在系统功能分析的基础上,利用有向图表征系统故障和测试依赖关系的一种建模方法.基于传统故障模型的多信号流图建模方法需要确切得知组元各功能间的传播关系,因而给模型的建立带来了不便.介绍了组元的一种多功能故障模型,通过将组元的功能故障进一步细化,允许建模人员可以不考虑组元各功能间的传播关系,自顶向下、逐步细化的进行建模.进一步,给出了基于多功能故障模型的相关矩阵的实现算法及测试性分析方法.最后以一个实例对建模和分析的整个流程进行了说明.这种基于多故障模型的多信号流图建模方法已经在装备测试性分析软件平台TADS上得到应用.

考虑灵活控制策略及电流限幅的逆变型分布式电源故障模型

随着分布式电源(distributed generator,DG)的大规模接入以及并网规约对DG低电压穿越能力的要求,分析DG对故障电网的影响成为一个十分重要的问题。为了得到采用恒功率控制模式的逆变型DG在电网故障条件下的故障模型,首先对DG的控制原理进行了简要分析,然后根据瞬时功率理论和DG输出电流的基本约束推导出DG的通用电流参考信号表达式,调节其中的参数即可实现灵活的控制策略,同时保持DG瞬时功率的平均值对功率参考值的跟踪。在通用电流参考信号表达式的基础上,文章进一步提出了在DG电流限幅条件下功率参考值的计算方法,最后通过Simulink仿真验证了所提出的DG故障模型和限流算法的正确性。

片上网络互连串扰故障模型的研究及改进

片上网络NoC(network-on-chip)做为微系统芯片SoC(system-on-chip)的一种拓展,结构规模巨大,内部互连复杂,在高速通信时的线间串扰故障也越来越严重。对NoC的通讯模型和结构做了介绍,阐述了包括NoC在内的高速互连电路串扰型故障的基本测试原理,并使用HSPICE仿真验证了相关机理和MA故障模型的正确性,对MT故障模型在上升态和下降态攻击线互为奇模串扰时受害线受到的串扰影响提出质疑,并对HT故障模型进行了改进。改进后的HT故障模型去掉了冗余项,使其在原有基础上更加简化。

基于故障模型的环状直流系统暂态量计算方法

多端柔性直流系统线路上发生极间短路时,不同换流站共同作用,导致故障电流上升迅速,故障特性复杂,工程实际中要求在电容放电阶段将故障进行切除,更增加了求解的难度。针对此问题,首先提出将n端系统电容放电过程分解为n个单端电容单独作用过程,简化了计算量。然后,根据分解前后多端模型与单端模型的参数关系表达式计算出最终结果,并分析参数的变化对故障特性的影响。最后,利用MATLAB/Simulink软件搭建了3端环状直流系统的故障模型,验证了方法的可靠性,为保护方案的设计提出了建议。该方法为直流保护中整定值的计算提供了理论依据。

测试性模拟故障注入试验中的故障模型研究

针对测试性模拟故障注入试验中,故障模型精确性低和模型有效性差造成的故障潜伏现象,建立了基于贝叶斯网络和面向对象技术的用于模拟故障注入试验的故障模型。从测试性验证试验的机理分析入手,对模拟故障注入试验中的故障模型提出了要求,建立了七元组故障模型;基于贝叶斯正向推理算法得出了故障特征状态向量,基于贝叶斯反向推理算法得出了关联故障向量,同时,贝叶斯推理算法可以对模型的精确性和有效性进行自检查。应用实例说明,基于该故障模型进行故障注入的有效性为100%,有效地避免了模拟故障注入试验中的组合爆炸问题。

基于单元故障模型的树型加法器的测试

首先分析了树型加法器的原理 ,总结了其运算特性 .其次在介绍单元故障模型的基础上分析了树型加法器的测试向量生成 .分析结果表明 ,5n - 1个测试向量可以实现树型加法器中所有单元故障的检测 .这些测试向量具有很好的规则性 ,能够利用片上测试向量生成器实现 ,适合于应用内建自测试技术测试 .基于此 ,作者提出了一种内建自测试的测试结构 ,测试时只需存储 7个籽测试向量 ,其它测试向量可以在这 7个籽测试向量的基础上通过循环移位实现 .最后给出了实验分析结果 .

采用数据流图的故障模型生成算法及其应用

为有效地解决系统级故障注入试验建模困难问题,提出语言级生成数据流图,并以此构造动态故障树的故障模型建立方法.通过对故障过程数据流分析,找出数据依赖关系并构造了故障模型生成算法.与其他方法比较,本算法具有动态性,提高了故障覆盖率,减少了系统开销,使故障注入试验更易实现.

软件测试中故障模型的建立

在软件测试中,会碰到各种类型的软件故障,而且这些故障的灵活性很强。这篇文章旨在建立不同类型的故障模型,以便于管理和标准化这些故障。该文建立了6种故障模型,可以覆盖相当数量的软件故障。而且在文章的附录部分给出了试验数据,有效地证明了这些故障模型的建立是非常有意义的。

管脚级故障模型的分析与生成技术的研究

管脚级故障注入技术被广泛应用于容错系统工程原型的测评试验中，其应用效果直接取决于试验中所采用的管脚级故障模型的精确性．文中首先介绍了一种通用的ＩＣ模型，并一般性地分析了故障传播过程．然后提出故障映射函数以及用于描述管脚级故障模型的管脚级故障映射函数的概念，并定义了构成管脚级故障模型的３种属性．文章着重讨论了利用试验方法获取管脚级故障模型的推算过程，从而最终形成用于管脚级故障注入试验中的全局管脚级故障模型．最后，文章以一个实例说明该方法的应用过程，其实验结果证明了该方法用于管脚级故障模型生成的有效性．

数组越界的故障模型及其检测方法研究

数组越界是C程序中的常见故障,该类故障可能造成系统的崩溃。首先针对常见的数组越界故障进行了分析,提出了检测数组越界的判定准则,建立了故障模型。根据该故障模型,采用程序控制流图和路径条件,并结合静态分析思想,给出了可有效地检测出程序中存在的数组越界故障的方法。最后通过实例分析了该方法的应用过程。

基于Chwa & Hakimi故障模型的二分诊断算法

在对Chwa&Hakimi故障模型的诊断中,目前相对成熟的算法有t-可诊断性算法和方程诊断算法两大类。然而,上述两类算法各有其优缺:前者要求故障处理机的数目小于处理机总数的一半;后者则希望故障处理机的数目多多亦善。不仅指出何时采用t-可诊断性算法或方程诊断算法,而且建立了所谓的二分诊断算法,即当故障处理机数量占处理机总数一半左右时将原测试系统拆分为两部分:相对正常机集合和相对故障机集合,从而对各个处理机集合采用各自适合的算法去诊断。