二值网络故障测试与三值代数.pdfVIP

黑 龙 江 太 学 自然 科 学 学 报 第8卷 第 3期 JOURNAL OF NATURAL SCIENCE Vd 8No．3 1991卑 9月 Of HEILC~GIIANG UNIVERSITY Septen~e,r,1991 二值 网络故障测试与三值代数 方 振 贤 l韵 理 幕) 摘要 本文采用三值代数所推出的指数运算的规则去研究二值鹧磐的故障测试．首先， 单故障测试生成算法I用于冗奈鹧烙(初级输入践有多扇出分支)．算法Ⅱ解决有冗奈和多 扇出元竞争式单故障测试。最后，本文定了△运算，并用于一般化冗余和多扇出单故障测试 生成算法Ⅲ ． 关键词 三值代数 指数运算 故障测试 1 引言 至今三值逻辑应用很广，不同场合采用不同的三值逻辑系统，因而五花八门，各不相容． 文献 [I]提出的三值代数可以兼顾各方面的应用，故是一个通用三值代数系统． 1．1 应用于二值网络，如二值逻辑阿络的动态行为圈，二值网络故障诊断等～． 1．2 应用三值逻辑阿络，如三值网络故障诊断[，多变量三值时序电路设计，三值触发器的设 计，以及三值代数定理的证明均是很方便的。 1．3 兼容其它三值逻辑，特别是对称三值逻辑的基本运算可归结为为它的导出运算。对称三 值逻辑诸定量均可在该三值代数基础上很方便 的推出” 也易考虑二个三值代数系统定理 的 推广，及其网络设计的统一性 按文献 [I]指数运算定义： fx， 当X≠ 1Y，当x= 可 以看 出：当a= 时，x a，且有 x’= 因而 )I【代表信号 x输人到线a，而x’和x0和 )．【 各自代表故障a s—a一1，a s—a一0和线 a无故障。文献Ell已经证 明了指效运算规则 和有关定理 ．本文试图以这种指数运算讨论单固定故障检测问题。 在单故障和偏 0故障响应的假设下，任意电路即可化为)I【 yI 十… “ vd 收祷 目期 1991—04—01 第 3期 方振瞥：二值玛蟮故障剥试与三值代数 并可以简写为有效的指数与或式(xy) ‘… 。。一+…+(uv) … “ ，或一般写成 ∑IiE。其中I为蕴台项，而Ei为相应指数积项，无论有几阶指数，全都能化为一阶指数乘积 的形式写出．利用指数积项运算的方便性，即可 以考虑无冗余 电路，也可 以考虑有冗余 电路， 即可 以考虑单扇出，也可 以考虑多扇出． ’ 2 测试生成 算法 ● 首先考虑无冗余电路(仅输入线有多扇出)单故障测试，测试生成算法 I描述如下： 2’1求出故障函数F(和 )的等效与或式∑I．‘ 2’2 对每-一蕴台项I求本质真项点V 即仅 复盖，而不被所有非 I，的蕴台项 Ij≠i)复 盖的项点，记k为全部蕴台项集，也 计算I￡Ij．或者Ii#(K—I)。所求V，相应的测试码 可澳i【Ei=0)的任一单故障。 … i a l 二 I 翻1 例 1 求图1所示 电