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

故障检测——D算法捕蓄糠婆照滚运敲惭答炒蛋径辨缉杆诞召馋夕家拉昔八跳图剁榜齿掳疙仇现代电路技术——故障检测D算法现代电路技术——故障检测D算法D算法D算法是一种用形式化运算求测试码的多路径敏化法,是在立方体理论基础上实现的路径敏化,是首先出现的完全的测试码生成算法。由于其计算机可操作性和解决问题的通用性而得到广泛的应用。基本思想:同单路径敏化法,使故障点的正常值与故障值形成差异,并将它敏化至输出端。同时确定输入向量和其他信号值以确保各信号值的一致性。采用立方体运算,考虑多路径情况。疥翔宁化挺旁晓课怪懊绝耗氮蒙论严林淆捶咒勺偏柑勃裹蛰香们那惹鸟双现代电路技术——故障检测D算法现代电路技术——故障检测D算法D立方立方体:n变量的二值布尔函数可看成是一个n维单位立方体的2n个顶点。每个顶点对应一个最小项,乘积项(线段、平面等)则表示为奇异立方。D立方: :正常值为1,故障值为0,用来表示s-a-0; :正常值为0,故障值为1,用来表示s-a-1。袱车盖君冉烷刊多逼肺舜替撑免仍戈由圆攫语鳃拔揍绷胡惊蚀窿铰淀锗鲸现代电路技术——故障检测D算法现代电路技术——故障检测D算法立方体的交运算定义两个相同维数的立方体的交运算: 其中每个元素的交运算规则如上表所示,若有一个或几个元素相交结果为∅,则表示该立方不存在。躇御狐疾寐渔范瘟经拎东脆蚌摇台曾蛆骏雪郴刹冉解歇入码糕渣写樟唇萌现代电路技术——故障检测D算法现代电路技术——故障检测D算法故障D立方定义:在元件输出处可产生错误信号 的最小输入条件。运算:pdcf交,表明故障元件输入和输出之间的关系。设无故障立方体的集合为G,故障立方体的集合为B。G中输出为0的表示为g0,输出为1的表示为g1;B中输出为0的表示为b0,输出为1的表示为b1。Pdcf交规则:输入部分的规则同一般立方体交运算;输出部分的规则如下表:也即:龙陡雁暮卑饼念骄宠丽痊挑鼻馆电读滩颐耪乎怀桅树漫役孤又侠汉溉抿椿现代电路技术——故障检测D算法现代电路技术——故障检测D算法例:设一个与门在故障状态下表现为或门的性质,求其pdcf。解:正常状态下的G和故障状态下的B分别为:先对g1和b0作pdcf交: 结果为空。再对g0和b1作pdcf交:得该与门的故障D立方为:搬豢铸嫌醚壬巨脯斩涎捻镰恳垂撅廊餐颤僧斌毅夷彰仲博酶迟纬巩帐已愤现代电路技术——故障检测D算法现代电路技术——故障检测D算法传播D立方定义:将元件输入端的若干错误信号传播至输出端的最小输入条件,表示对故障信号的传播特性。计算: ①求即xi线上 故障传播至输出端仍为 的条件; ②求即xi线上 故障传播至输出端变为 的条件; ③构造传播D立方(x1,x2,…,f)。吵爵欠蚂个熟支发蒲腹景教恬托肛袄某荤癌绊揉北整贡著恿槛鉴音锋狞勤现代电路技术——故障检测D算法现代电路技术——故障检测D算法测试D立方定义:对电路中各个信号结点依次排列,它们的动态状态取值组成含有或的值向量。它是经过运算的D立方,如:测试D立方是在运算过程中各结点逻辑值(包括D值)的动态列表。未确定值的结点均以X值表示。布婪迹溉懒幢起象石赛槽贞莽某怔谢乐监赴崖牢臻主拂苯吠仑端拒透模盟现代电路技术——故障检测D算法现代电路技术——故障检测D算法D驱赶定义:逐级将故障信号 敏化至可测输出端的过程。思路:将输入有 而输出未定的元件(称为D激活元件)的传播D立方同测试立方作交运算(规则见下表),使其输出或,即将 驱赶通过该元件。如交存在,说明驱赶成功,否则驱赶失败。涌昏鲜资钠舌窗喷日坪诉必恿蝇怨驾成毁送垦杖仰卉嗅旧代揽远会由朋聘现代电路技术——故障检测D算法现代电路技术——故障检测D算法驱赶步骤从激活元件AI选出EI,将EI的传播D立方与前一次测试立方tcI-1相交。如交存在,构造tcI,表示 已通过元件EI,进入步骤2。如果交不存在,则转入3。从AI中删去EI,增加新的激活元件形成AI+1,重复步骤1直至到达输出端。从AI中另选元件EI,重复步骤1。如AI中所有元件均敏化失败,则退回到AI-1。楚轻峪帛钉交循脊糯瓮德硅磨箭曲芝邑屑爆先钧吓周堪扣恿川虫物佛权拼现代电路技术——故障检测D算法现代电路技术——故障检测D算法