2(第2章组合电路测试与故障诊断) (2).ppt

2.4.3 求布尔差分的方法 （3）利用定理2 定理2：函数 可用布尔差分特性证明！ 例：求解 y(x)=x1x2+x3 对x1的差分。 解： 与前面结果相同！ 电子科大CAT室 2.卡诺图法 （1）卡诺图逐项异或 例：仍以例说明 解：由定义有： 2.4.3 求布尔差分的方法 x1x2 x3 x1x2 x1x2 x3 x3 0 1 0 0 1 1 00 00 00 01 01 01 11 11 11 10 10 10 1 1 1 1 1 1 1 1 1 1 1 1 电子科大CAT室 2.4.3 求布尔差分的方法 （2）求质蕴涵项的异或 利用卡诺图将y(x)变换成质蕴涵项的异或形式，然后用布尔差分的特性，可方便求出y(x)的布尔差分。 例：求解 y(x)=x1x2+x3 对x1的差分。 解： ( x1x2 x3 x1x2 x1x2 x3 x3 0 0 0 1 1 1 1 1 1 1 1 1 1 1 1 1 00 01 11 10 10 11 01 00 00 11 01 10 电子科大CAT室 2.4.3 求布尔差分的方法 （3）卡诺图旋转法 对xi求差分，即将y(x)的卡诺图绕xi轴旋转，凡是相对于xi对称的1项全部删除，而不对称的1项则补对称。 例：求解 y(x)=x1x2+x3 对x1的差分。 解：y(x)=x1x2+x3 x1x2 x3 00 01 11 10 0 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 1 X1轴 X2轴 X2轴 X3轴 电子科大CAT室 2.4.4 故障测试 1.单故障的测试 （1）主输入端故障 由布尔差分定义可求出测试： 对xi s-a-0故障（xi=1)： 满足上式的（a1,a2,…,1,…an)就是xi a-s-0 的测试矢量； 若上式恒等于零，则该故障无测试； 对于xi a-s-1故障（xi=0）： 满足上式的（a1,a2,…,1,…an)就是xi a-s-1 的测试矢量； 若上式恒等于零，则该故障无测试； 电子科大CAT室 2.4.4 故障测试 例： 解： 故， x1 s-a-1的测试为： 0100，0101，0110，0111 与前面的测试结果相同。 电子科大CAT室 2.4.4 故障测试 （2）内部故障 如果故障不在主输入端，而在内部P，则可假设在P点断开，而引入伪输入XP，然后按布尔差分法处理。 即有： 对xP s-a-0故障（xP=1)，则有： 满足上二式的（a1,a2,…,an)就是xp a-s-0 的测试矢量； 若上式恒等于零，则该故障无测试； X y X xp a-s-0 电子科大CAT室 2.4.4 故障测试 对xP s-a-1故障（xP=0)，则有： 满足上二式的（a1,a2,…,an)就是xp a-s-1 的测试矢量； 若上式恒等于零，则该故障无测试； 电子科大CAT室 2.4.4 故障测试 例：用布尔差分法，求如图所示电路xp的故障测试。 解：（1）求xP s-a-0测试： 测试为： 由：x2+x3+x4=1 x1x2=1 得：x1=1, x2=1, x3=x4=X 测试矢量为：1100,1101,1110,1111, 与前结果相同 y x1 x2 x3 x4 X xp 电子科大CAT室 2.4.4 故障测试 （2）求xP s-a-1的测试 测试为： 上式恒等于零，则该故障无测试；因为，该故障是冗余故障！！！ 电子科大CAT室 2.4.4 故障测试 2.多重故障的测试 当电路同时出现多个故障时，其多重故障的测试用多重布尔差分求解。 多重布尔差分的定义： 有布尔函数 y(x)=x1,x2,…xi,xj,…,xh,…xn) 多重布尔差分定义为： 电子科大CAT室 2.4.4 故障测试 例：求四输入或门 x1 s-a-0 和 x2 s-a-0 两故障同时出现的二重故障测试 解：因为 x1 s-a-0 和 x2 s-a-0 所以 x1x2=1 测试为： 即得测试结果为： T={1100；1} 无故障测试 T={1100；0} x1 s-a-0 和 x2 s-a-0同时存在故障的测试 y x1 x2 x3 x4 电子科大CAT室 2.4.4 复杂电路的分级处理 1.特殊结构电路 一电路为