2敏化通路法和D算法 电子测量原理 ④D交运算规则 ◆对 Roth D交操作规则的补充说明 +符号φ和ψ分别表示D交为空和未定义 如果不出现φ和ψ,但出现和μ,则D交未定义 +如果D交中只出现入而不出现μ,则在第二个因子 中,所有的D变为D,D变为D +如果D交中只出现μ而不出现入,则DnD=D D∩D=D 第26页
电子测量原理 第26页 2 敏化通路法和D算法 ④ D交运算规则 ◆对Roth D交操作规则的补充说明 符号φ和ψ分别表示D交为空和未定义 如果不出现φ和ψ，但出现λ和μ，则D交未定义 如果D交中只出现λ而不出现μ，则在第二个因子 中，所有的D变为D，D变为D 如果D交中只出现μ而不出现λ，则D∩D=D， D∩D=D
2敏化通路法和D算法 电子测量原理 ④D交运算规则 ◆D激活元件--输入端有D(D)信号而输出值尚未确 定的元件 ◆活跃矢量-D激活元件编号的集合 ◆D驱赶的过程 将D激活元件的传递D立方同测试立方作D交运算, 使元件输出D或D信号 若D交存在,本次驱赶成功,得到新的测试立方。 若D交结果为空,则选择另一个传递D立方进行 如果该元件的传递D立方都被选择而D交结果为 空,则从活跃矢量中另选一元件进行D驱赶 第27页
电子测量原理 第27页 2 敏化通路法和D算法 ④ D交运算规则 ◆D激活元件 ---输入端有D（D）信号而输出值尚未确 定的元件 ◆活跃矢量---D激活元件编号的集合 ◆D驱赶的过程 将D激活元件的传递D立方同测试立方作D交运算， 使元件输出D或D信号 若D交存在，本次驱赶成功，得到新的测试立方。 若D交结果为空，则选择另一个传递D立方进行 如果该元件的传递D立方都被选择而D交结果为 空，则从活跃矢量中另选一元件进行D驱赶
2敏化通路法和D算法 电子测量原理 ④D交运算规则 ◆D驱赶的过程 +若活跃矢量中所有元件都不能实现D交,则后退到 前一活跃矢量,甚至退到最初阶段另选一个故障 原始D立方重新进行 +重复上述过程,直至将D或D驱赶到某主输出为止 第28页
电子测量原理 第28页 2 敏化通路法和D算法 ④ D交运算规则 ◆D驱赶的过程 若活跃矢量中所有元件都不能实现D交，则后退到 前一活跃矢量，甚至退到最初阶段另选一个故障 原始D立方重新进行 重复上述过程，直至将D或D驱赶到某主输出为止
2)敏化通路法和D算法 电子测量原理 ⑤线确认和一致性检查 一致性检查是指在一次D驱赶成功之后,检查所获 得的测试立方是否与各元件的简化表中的原始立方相 一致,以便及早发现矛盾而及早返回 ◆线确认是一致性检查的一种,是指在D驱赶全部结束 后(在主输出端出现了D或D信号),对测试立方中仍 未赋值的元素赋值的过程 第29页
电子测量原理 第29页 2）敏化通路法和D算法 ⑤线确认和一致性检查 ◆一致性检查是指在一次D驱赶成功之后，检查所获 得的测试立方是否与各元件的简化表中的原始立方相 一致，以便及早发现矛盾而及早返回 ◆线确认是一致性检查的一种，是指在D驱赶全部结束 后（在主输出端出现了D或D信号），对测试立方中仍 未赋值的元素赋值的过程
2)敏化通路法和D算法 电子测量原理 ⑥D算法求解组合电路的测试矢量的步 骤 第一步,初始化。包括:写出被测电路的简化表 由简化表得到传递D立方 第二步,D驱赶。用RthD交运算完成多路敏化 第三步,进行一致性检查 第四步,形成确定的测试矢量 第五步,对故障集形成完备测试集 最后,建立故障字典 第30页
电子测量原理 第30页 2）敏化通路法和D算法 ⑥D算法求解组合电路的测试矢量的步 骤 第一步，初始化。包括：写出被测电路的简化表； 由简化表得到传递D立方 第二步，D驱赶。用Roth D交运算完成多路敏化 第三步，进行一致性检查 第四步，形成确定的测试矢量 第五步，对故障集形成完备测试集 最后，建立故障字典