{企业管理诊断}故障诊断

《{企业管理诊断}故障诊断》由会员分享，可在线阅读，更多相关《{企业管理诊断}故障诊断（89页珍藏版）》请在金锄头文库上搜索。

1、第2章组合电路测试与故障诊断,什么叫算法？ 第2.1节 通路敏化 基本概念-什么是敏化通路？ 敏化通路法的实施步骤及举例 关于一维敏化与多维敏化的讨论 第2.2节 d 算法 d 算法的基本思想 d算法的数学工具 d算法的实施步骤及举例 第2.3节 扩展 d 算法 扩展 d 算法的数学工具 扩展 d 算法的实施步骤及举例,第2.4节 布尔差分法 布尔差分的基本概念 布尔差分的特性 求解布尔差分的方法 故障测试,电子科大CAT室,第2.1节 通路敏化2.1.1. 通路敏化的基本定义,1.Eldred在1959年提出了第一篇关于组合电路的测试报告，开始 了数字系统故障诊断的研究。 2.D.B.Arm

2、strong根据Eldred的基本思想，在1966年提出了一维通 路敏化的方法，其主要思路是对多级门电路寻找一条从故障点到可及输出端的敏化通路，使在可及端可以观察到故障信号。 3.1967年Schneidr用例子指出单通路敏化法并不能找出所有的故障。 4.同年Roth提出了多通路敏化法的D算法,电子科大CAT室,第2.1节 通路敏化2.1.1. 通路敏化的基本定义,算法的定义： 一个问题无二义性解的过程（时间和空间） 是利用计算机解决一切问题的基础！ 主输入端：一条输入线，若不受电路其它任何一条线馈给信号，这个输入端就称之为主输入端，也称原始输入端； 主输出端：一条通到电路外部去的信号线称为主

3、输出端，也称原始输出端； 通路：在组合电路中，从一个主输入端经内部信号线通到主输出端而不含有环路 （无反馈线）的通路（定向信流图）； 敏化通路：对一条通路中所有门电路的一切输入适当赋值（与门赋“1”，或门赋“0”)，使该通路上的逻辑变化能沿该通路传输到主输出端，这样的通路就称之为敏化通路；,电子科大CAT室,第2.1节 通路敏化2.1.1. 通路敏化的基本定义,例： 主输入端：x1,x2,x3 主输出端：y 通路：a f h , b d f h , b e g h , c g h 敏化通路：敏化 a f h 通路 赋值：d = 1 ，g = 0 敏化：a f h 通路上的逻辑变化都能传输到主输

4、出端 y（故障传播或前相跟踪） 赋值条件检查：赋值条件能否在主输入端实现（一致性检查或后相跟踪） 由 g = 0，必须 e = 1 或 c = 1 或二者均为 1 由 d = 1，必须 b = 1 即 e = 1 综上：e = 1 即 x2 = 1 c = x (随意） 利用敏化通路进行测试-可测试 a f h 通路上的故障 T=（01x) ; 0无故障；T=(01x) ; 1a,f,h-s-a-1 故障测试 T=（11x) ; 1无故障T=(11x) ; 0a,f,h-s-a-0 故障测试,x1,x2,x3,a,b,c,f,g,h,d,e,电子科大CAT室,2.1.2 通路敏化法,1.基本思

5、想：利用敏化通路原理 2.数学关系 故障算子D-故障表示 D 可为 “1”，也可为 “0”。在同一系统中应统一； 若 ，则 ;若 ，则； D 故障赋值 为了测试，在故障点应将 D 赋于故障相反值： 在 D = 0 的系统中 对于故障 s-a-0 则故障赋值 对于故障 s-a-1 则故障赋值 为了故障传播，引入 算子 或门： 或门赋值条件与门： 与门赋值条件,电子科大CAT室,2.1.2 通路敏化法,3.通路敏化法的实施步骤 故障表现-故障赋值 故障传播（通路敏化，前相跟踪）-敏化条件 一致性检查（后相跟踪）-敏化条件能否在主输入端实现 测试确定-测试函数的寻求 4.举例： 用通路敏化法求 1_

6、s_a_1 的测试 （1）故障表现 系统定义： D = 0 对于 1_s_a_1 故障， 则 故障表现为 D ； 1_s_a_0 故障， 则 故障表现为 ；,x1,x2,x3,x4,1,2,3,4,5,6,8,7,9,10,11,12,y,x,D,D,D,1,1,0,电子科大CAT室,2.1.2 通路敏化法,（2）故障传播 通路 L1-L10-L12 敏化（见图）：与门赋“1”，即 L5 和 L8 赋 “1”； 或门赋“0”，即 L11 赋 “0”； D 传播到主输出端，仍为 D； （3）一致性检查 由赋值：L5=1，则要求 L2 = x2 = 1； L8=1，则要求 L7=1，即 x2 或

7、x3 或 x4 为 1； L11=0，则要求 L9=L7=1，即 x2 或 x3 或 x4 为 1； 综上：x2 = 1，x3 = x4 = x，在主输入端可实现敏化条件； （4）测试确定 综上可得 x1-s-a-1故障的测试如下： T=（01xx）；0 无故障测试； T=（01xx）；1 x1,L10,L12-s-a-1故障测试； 优点：简单，存储空间小，有拓扑的直观性。,电子科大CAT室,2.1.2 通路敏化法,自从1966年Armstrong提出一维通路敏化法以来，数字电路测试矢量自动生成理论的研究课题经历了一个从雏型到成熟、从理论到应用、从实用到完备的发展历程。,电子科大CAT室,2.

8、1.3 讨论,问题：上面分析的是一维敏化，即每次只敏化一条通路。但一维敏化是不是一种算法呢？先看几个例子： 例1：无扇出的树形电路 故障：a = x3 = D 通路：a b c (一维敏化） 敏化：x4 = 1 x1 = 0 或 x2 = 0 = 0 或 =0 =0 或 =0 一致性检查通过 测试：T=00D11111；D 无故障测试 T=00D11111； a,b,c-s-a-1 故障测试 结论：由于无扇出电路输入端是独立的，赋值自由，不相互约束。因此，每条通路的一维敏化都是成功的，可求出电路的最小完备测试集。,x1,x2,x3,x4,a,b,c,0,0,x,0,0,0,电子科大CAT室,2

9、.1.3 讨论,例2：有扇出汇聚电路 故障：h-s-a-0 ( =1) 敏化通路（一维）：h j l x1=a=1 g=0 x2=b=1 c=0 h= =1 d=0 h j l 敏化不成功！ 敏化通路（一维）：h k m 敏化成功！ 结论：对有扇出汇聚电路，一维敏化可能成功，也可能不成功！,x1,x2,x3,x4,a,b,c,d,e,f,g,h,j,k,l,m,y1,y2,x,1,1,0,0,0,0,0,0,矛盾,电子科大CAT室,2.1.3 讨论,例3：Schneider电路 故障表现：6-s-a-0 敏化通路（一维）：L6-L9-L12 敏化条件： 由 6-s-a-0， 有：x2=0 ,x

10、3=0 ; 由L10=0 及 L6=0，必须 x4=1； 由L11=0 及 x3=0，必须 L7=1， 即必须，x2=0,x4=0 x4矛盾，敏化不成功！ 敏化通路（一维）：L6-L10-L12 由于电路是完全对称的， x3矛盾，敏化也不成功！,x1,x2,x3,x4,x,6,10,9,11,8,7,0,0,0,D,12,D,5,电子科大CAT室,2.1.3 讨论,多维敏化：同时对多条通路进行敏化。 上例：同时对L6-L9-L12 及L6-L10-L12 两 条通路进行敏化， 故障表现： 6-s-a-0( )-x2=0，x3=0； 敏化条件： L11=0，因 x3=0，所以 L7=1-x2=0

11、，x4=0； L8=0， 因 x2=0，所以 L5=1-x1=0，x3=0； 多维敏化成功！ 测试： T=（0000）；1 无故障测试； T=（0000）；06-s-a-0故障测试；,x1,x2,x3,x4,x,6,10,9,11,8,7,0,0,0,D,12,D,5,电子科大CAT室,2.1.3 讨论,结论：通路敏化是数字系统测试的基础，但一维敏化不是一种算法， 而多维敏化才是一种算法。 多维敏化的实施：多路同时敏化有多种组合，因此，需要遍历，反复搜索和计算。用人工的方法是十分困难的，甚至是不可能的，必须借助于计算机进行测试，即利用算法进行计算机辅助测试（CAT）：组合电路测试算法有： *d

12、 算法 *扩展d 算法 *布尔差分法 *等效笵式法-ENF *SPOOF法 等等。,电子科大CAT室,2.2 d算法,1966年提出的算法，可以认为是拓扑结构测试中最经典的方法，也是最早实现自动化的测试生成算法之一。它是完备的测试算法，它可以检测非冗余电路中所有可以检测的故障。虽然它是在世纪年代提出的，而且被该经过多次，但是，许多新的测试方法都是在它的基础上发展起来的。而且一直沿用至今。 D算法在具体应用时，计算工作量很大，尤其是对大型的组合电路计算时间很长,原因是在作敏化通路的选择时其随意性太大，特别是在考虑多通路敏化时各种组合的情况太多，然而真正“有效”的选择往往较少，做了大量的返回操作。

13、 改进的算法，如PODEM和FAN算法，有效地减小了返回次数，提高了效率。,电子科大CAT室,2.2 d算法,d 算法又称为多维敏化，其基本思想： 从故障位置到电路的一切输出端的全部通路进行多维敏化！,电子科大CAT室,2.2.1 基本数学关系,1.简化表-d 算法的基础(电路描述） 简化表是由真值表求质蕴涵项的方法整理出来的一种形式比真值表更紧奏的一个表，但不能丢失任何信息。 例：一或门 质蕴涵项 真值表简化表 x1 x2 y1 2 3 _ 0 0 01 x 1 0 1 1x 1 1 1 0 10 0 0 1 1 1,x1,x2,1,2,3,y,电子科大CAT室,2.2.1 基本数学关系,可

14、见： 简化表比真值表简单，且电路愈复杂，简化愈多； 简化表中每一行称为一个矢量，表示电路的输入/输出的因果关系； 用同样方法可以求出其它基本电路的简化表：,1,2,3,1,2,3,1,2,3,1 2 3 1 2 3 1 2 3 1 x 0 0 x 0 0 x 1 x 1 0 x 0 0 x 0 1 0 0 1 1 1 1 1 1 0,电子科大CAT室,2.2.1 基本数学关系,组合电路简化表： 方法：是简单门电路简化表的简单叠加。 注意： 每一个门用它的信号输出点的代号命名； 一个门输出点的标号应大于其它一切输入线的标号，以便作相容性运算； 对于每一个顶点与其无关且标号比它小的项均为随意项（x

15、)； 例：,1,2,3,4,5,6,简化表： 1 2 3 4 5 6 1 1 x 1 x 0 x 0G4 0 x x 0 1 1 x 1 x 0 x 0G5 0 x x 0 0 0 0 x 1 1G6 1 x 1,电子科大CAT室,2.2.1 基本数学关系,2.传递d矢量 概念：是迫使门电路的一个输入承担确定该门电路输出的全部责任。也就是说迫使门电路的输出唯一地取决于一个输入。-敏化的赋值条件 方法：用Roth算法中的交运算为工具，从简化表中具有不同输出值的二个矢量相交得到。 布尔交运算Roth交运算 0 1 x 0 1 x _ 0 0 0 0 0 0 1 1 1 1 d 1 1 x 0 1 x x 0 1 x,定义： d=1 0 =0 1,电子科大CAT室,2.2.1 基本数学关系,利用Roth交运算，可以方便求出