现代电路技术——故障检测D算法.pptxVIP

会计学1 D算法D算法是一种用形式化运算求测试码的多路径敏化法，是在立方体理论基础上实现的路径敏化，是首先出现的完全的测试码生成算法。由于其计算机可操作性和解决问题的通用性而得到广泛的应用。基本思想：同单路径敏化法，使故障点的正常值与故障值形成差异，并将它敏化至输出端。同时确定输入向量和其他信号值以确保各信号值的一致性。采用立方体运算，考虑多路径情况。第1页/共18页 D立方立方体：n变量的二值布尔函数可看成是一个n维单位立方体的2n个顶点。每个顶点对应一个最小项，乘积项（线段、平面等）则表示为奇异立方。D立方： ：正常值为1，故障值为0，用来表示s-a-0; ：正常值为0，故障值为1，用来表示s-a-1。第2页/共18页 立方体的交运算定义两个相同维数的立方体的交运算： 其中每个元素的交运算规则如上表所示，若有一个或几个元素相交结果为?，则表示该立方不存在。第3页/共18页 故障D立方定义：在元件输出处可产生错误信号 的最小输入条件。运算：pdcf交，表明故障元件输入和输出之间的关系。设无故障立方体的集合为G，故障立方体的集合为B。G中输出为0的表示为g0，输出为1的表示为g1；B中输出为0的表示为b0，输出为1的表示为b1。Pdcf交规则：输入部分的规则同一般立方体交运算；输出部分的规则如下表：也即：第4页/共18页 例：设一个与门在故障状