D 算法.pptVIP

D 算 法 * D立方 D算法的思想 D算法的实现 1. 定义 对于任意一个具有n个输入变量的逻辑函数，我们称该逻辑函数的最小项为D立方，非最小项为奇异D立方。任意逻辑函数都可以用若干（奇异）立方来描述。例： 该函数由立方（1，1，1）和奇异立方（0，0，?）（?，1，0）组成。 一 D算法中的几个D立方 函数的D立方 α1立方定义为使f=1的立方，α0立方定义为使f=0的立方。 2. α1立方和α0立方 3. 立方的求交运算 有两个具有相同维数的立方： 则定义它们的交 如果有一个或几个元素的求交运算结果为φ，则该立方不存在，这两个立方的求交结果为φ。 ? 0 1 ? 0 0 ? 0 1 ? 1 1 ? 0 1 ? 求交运算规律 α立方和β立方之间的求交运算就是取α 和β之间相同的立方，也就是该立方既要符合α 立方的约束又要符合β立方的约束。 例1： 求 解： 例2： 求 解： 故障D立方 1. 定义 对某一含有故障的逻辑电路（可以是一个元件，也可以是一复杂电路）： 由于存在故障，对于某一输入向量X，在输出端有两种错误情况： 正常输出为1，故障输出为0。这种错误情况称为：D=1/0; 正常输出为0，故障输出为1。这种错误情况称为：/D=0/1。 由于故障的存在，在输入X条件下在输出端产生了错误的信号（D,/D），故障D立方就是使得在输出端产生错误信号的输入所组成的函数的立方。 定义：在输出端可产生错误信号D(/D)的最小输入条件叫做故障D立方。 2. 故障D立方的求解 正常电路：g 故障电路：f 令：α为故障电路(f)的奇异立方；β为正常电路(g)的奇异立方。 错误情况D 在故障D立方中任取一输入向量X:既要满足正常输出为1（ β1），又要满足故障输出为0（ α0）。所以X应等于 错误情况/D 在故障D立方中任取一输入向量X:既要满足正常输出为0（ β0），又要满足故障输出为1（ α1）。所以X应等于 例：求逻辑函数 f=(x1+x2)x3 在x3(s-a-1)时的故障D立方。 解：1. 写出α1， α0，β1， β0 2. 求故障D立方 所以，故障D立方为： （1，?，0），（?，1，0） 传播D立方 1. 定义 对某一组合逻辑电路（可以是一个元件，也可以是一复杂电路），X为一向量，在y信号线上有错误信号D(/D)。 传播D立方描述的就是求X输入，使得： 也就是说当X输入满足一定条件时，在输出端可以把y线上的错误信号表现出来。 定义：把输入端的错误信号能传播至输出端的最小输入条件叫做传播D立方。 2. 求传播D立方 有四种情况： 1). 因此，传播D立方为： 2). 因此，传播D立方为： 求传播D立方的方法： 3. 传播D立方的表示方法 其中：X为输入条件 y为y信号线上的信号 f为输出 例：求逻辑函数 f=(x1+x2)x3 在x3上有错误信号的传播D立方。 解：1. 写出β1， β0 2. 求传播D立方 所以，传播D立方为： 二 D算法中的几个操作 故障激活 1. 定义 使得故障信号线上产生D或/D的过程叫做故障激活。 2. 故障激活 利用故障D立方可以激活故障。 D驱赶 1. 定义 逐级将故障信号D(/D)敏化至可及端的过程叫做D驱赶。 2. D驱赶 当X满足一定条件时，输出f就可以由y决定。因此只要输入向量满足传播D立方的条件就可以将输入端的故障信号驱赶至输出端。因此，对于一个测试立方能否驱赶故障信号，只要将该测试矢量与传播D立方进行求交运算。 如果该交运算存在，则T可以驱赶故障信号； 如果该交不存在，则不能驱赶故障信号。 3. 含有D,/D立方的求交运算 ? /D D 1 0 ? /D φ φ φ /D /D D 1 0 ? φ D φ φ D φ φ 1 φ 1 φ φ φ 0 0 /D D 1 0 前向蕴涵：先确定输入端的值，然后可以确定输出值； 后向蕴涵：先确定输出端的值，然后可以确定输入值。 蕴涵 1. 定义 在D驱赶过程中唯一确定信号值的过程叫做蕴涵。 2. 蕴涵 蕴涵操作就是将测试立方与其奇异立方进行求交运算 相容性检查 定义 指在每一次的D驱赶之后，检查所确定的值之间是否有矛盾。 线确认 定义 指在D驱赶全部结束后，测试立方中可能仍有某些值未被赋值，给他们确定值的过程。 课堂练习： 1）求x处产生