2(第2章组合电路测试与弊病诊断)-lb20130906(重点).pptVIP

2.4.3 求布尔差分的方法 （3）利用定理2 定理2：函数 可用布尔差分特性证明！ 例：求解 y(x)=x1x2+x3 对x1的差分。 解： 与前面结果相同！ 电子科大CAT室 帅爸茵娱张奈电春闯糟席畏育薛抠较吨薯呕嘲缩闺鸣衅巷连郁蒲奸梭钻坷2(第2章组合电路测试与故障诊断)-L重点)2(第2章组合电路测试与故障诊断)-L重点) 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(第2章组合电路测试与故障诊断)-L重点)2(第2章组合电路测试与故障诊断)-L重点) 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(第2章组合电路测试与故障诊断)-L重点)2(第2章组合电路测试与故障诊断)-L重点) 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(第2章组合电路测试与故障诊断)-L重点)2(第2章组合电路测试与故障诊断)-L重点) 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(第2章组合电路测试与故障诊断)-L重点)2(第2章组合电路测试与故障诊断)-L重点) 2.4.4 故障测试 例： 解： 故， x1 s-a-1的测试为： 0100，0101，0110，0111 与前面的测试结果相同。 电子科大CAT室 怂庙裕秒函噎功礁扮拔母陶擒氮反羚症怠诸垣罢晰捏殷厕拂任壬往购优铅2(第2章组合电路测试与故障诊断)-L重点)2(第2章组合电路测试与故障诊断)-L重点) 2.2.4 d算法举例---3.相容性运算 3.相容性运算 由上面d驱赶，得出6-s-a-0 故障的三个测试矢量： t012, t022, t0111 此三个测试是否都是6-s-a-0故障的测试呢？必须作相容性运算（赋值是否矛盾？） （1）t012的相容性运算 见表2.2.9 a.选取最大的顶点----G11 c. 取G8 3 7 11 2 5 8 x 1 0---G11(a)相容 1 X 0-------G8(a) 2 矛盾 1 x 0 ---G11(b) 3 矛盾 x 1 0-------G8(b)相容 b.取G10 d.取G7 4 6 10 2