故障诊断

为了故障传播，引入
D
算子 D或D
或门：
D 0 D
或门赋值条件
D1 1
与门：
D 0 0
D1 D
DD 1
DD 0
与门赋值条件
电子科大CAT室
2.1.2 通路敏化法
3.通路敏化法的实施步骤
故障表现--故障赋值
故障传播（通路敏化，前相跟踪）--敏化条件
一致性检查（后相跟踪）---敏化条件能否在主输入端实现
电子科大CAT室
2.1.3 讨论
问题：上面分析的是一维敏化，即每次只敏化一条通路。但一维敏化是不是一种算法 呢？先看几个例子：
例1：无扇出的树形电路
故障：a = x3 = D
x1
0
通路：a b c (一维敏化） 敏化：x4 = 1
x1 = 0 或 x2 = 0 x5 = 0 或 x6 =0 x7 =0 或 x8 =0 一致性检查通过
（4）测试确定 综上可得 x1-s-a-1故障的测试如下： T={（01xx）；0} 无故障测试； T={（01xx）；1} x1,L10,L12-s-a-1故障测试；
优点：简单，存储空间小，有拓扑的直观性。
电子科大CAT室
2.1.2 通路敏化法
自从1966年Armstrong提出一维通路敏化 法以来，数字电路测试矢量自动生成理 论的研究课题经历了一个从雏型到成熟、 从理论到应用、从实用到完备的发展历 程。
– 敏化：a f h 通路上的逻辑变化都能传输到主输出端 y（故障传播或前相跟踪）
赋值条件检查：赋值条件能否在主输入端实现（一致性检查或后相跟踪）
由 g = 0，必须 e = 1 或 c = 1 或二者均为 1
由 d = 1，必须 b = 1 即 e = 1
综上：e = 1 即 x2 = 1 c = x (随意）
第2.4节 布尔差分法 •布尔差分的基本概念 •布尔差分的特性 •求解布尔差分的方法 •故障测试
电子科大CAT室
第2.1节 通路敏化 2.1.1. 通路敏化的基本定义
1.Eldred在1959年提出了第一篇关于组合电路的测试报告，开始 了数字系统故障诊断的研究。
2.D.B.Armstrong根据Eldred的基本思想，在1966年提出了一维通 路敏化的方法，其主要思路是对多级门电路寻找一条从故障点到 可及输出端的敏化通路，使在可及端可以观察到故障信号。
2.数学关系
故障算子D----故障表示
– D 可为 “1”，也可为 “0”。在同一系统中应统一；
– 若 D 0，则 D 1 ; 若 D 1 ，则 D 0 ； – D 故障赋值
为了测试，在故障点应将 D 赋于故障相反值：
在 D = 0 的系统中
对于故障 s-a-0 则故障赋值 D 1
对于故障 s-a-1 则故障赋值 D 0
•主输出端：一条通到电路外部去的信号线称为主输出端，也称原始输出端； •通路：在组合电路中，从一个主输入端经内部信号线通到主输出端而不含有环路
（无反馈线）的通路（定向信流图）； •敏化通路：对一条通路中所有门电路的一切输入适当赋值（与门赋“1”，或门赋 “0”) ，使该通路上的逻辑变化能沿该通路传输到主输出端，这样的通路就称
利用敏化通路进行测试---可测试 a f h 通路上的故障
T={（01x) ; 0} 无故障；
T={(01x) ; 1}
a,f,h-s-a-1 故障测试
T={（11x) ; 1} 无故障
T={(11x) ; 0}
a,f,h-s-a-0 故障测试
电子科大CAT室
2.1.2 通路敏化法
1.基本思想：利用敏化通路原理
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 或 x3 或 x4 为 1； L11=0，则要求 L9=L7=1，即 x2 或 x3 或 x4 为 1； 综上：x2 = 1，x3 = x4 = x，在主输入端可实现敏化条件；
x2
0
பைடு நூலகம்
a
x3
x
b
x4
0
c
x5
0
x6
0
x7 x8
测试：T={00D11111；D} 无故障测试
T={00D11111；D } a,b,c-s-a-1 故障测试
结论：由于无扇出电路输入端是独立的，赋值自由，不相互约束。因此，每条通路的 一维敏化都是成功的，可求出电路的最小完备测试集。
电子科大CAT室
2.1.3 讨论
第2章组合电路测试与故障诊断
什么叫算法？ 第2.1节 通路敏化
基本概念-----什么是敏化通路？ 敏化通路法的实施步骤及举例 关于一维敏化与多维敏化的讨论 第2.2节 d 算法 d 算法的基本思想 d算法的数学工具 d算法的实施步骤及举例 第2.3节 扩展 d 算法 扩展 d 算法的数学工具 扩展 d 算法的实施步骤及举例
测试确定---测试函数的寻求
x1
1D
x
4.举例： 用通路敏化法求 1_s_a_1 的测试
（1）故障表现 系统定义： D = 0
5
x2 2 6
x3 3
x4 4
对于 1_s_a_1 故障， 则 故障表现为 D ；
1_s_a_0 故障， 则 故障表现为 D ；
1 1 8
79
10 D
0 11
12 Dy
电子科大CAT室
例2：有扇出汇聚电路 故障：h-s-a-0 ( D =1) 敏化通路（一维）：h j l x1=a=1 g=0
之为敏化通路；
电子科大CAT室
第2.1节 通路敏化 2.1.1. 通路敏化的基本定义
例：
主输入端：x1,x2,x3
a
x1
f
主输出端：y
d
h
通路：a f h , b d f h , b e g h , c g h
x2 b e
敏化通路：敏化 a f h 通路
c
– 赋值：d = 1 ，g = 0
x3 g
3.1967年Schneidr用例子指出单通路敏化法并不能找出所有的故障。 4.同年Roth提出了多通路敏化法的D算法
电子科大CAT室
第2.1节 通路敏化 2.1.1. 通路敏化的基本定义
算法的定义： 一个问题无二义性解的过程（时间和空间） 是利用计算机解决一切问题的基础！
•主输入端：一条输入线，若不受电路其它任何一条线馈给信号，这个输入端就称 之为主输入端，也称原始输入端；