彩色Petri网状态分析法用于组合逻辑电路故障诊断.pdfVIP

彩色Petri网状态分析法用于组合逻辑电路故障诊断 曾成碧 陈光禚 四川大学电气信息学院 电子科技大学cAT室 捷要本文介纠数字电路的彩色Petri网模型、彩色Petrj嘲的邻接矩阵，邻接矩阵能压缩存 储数字电路的拓扑。用实例分析Pe仃i网的状态分析法在逻辑电路故障诊断中的算法与应用。 美键词彩色Petrj网 状态分析法邻接矩阵故障诊断 一．引言 数字电路故障诊断的主要方法有：布尔差分、D算法、FAN算法、专家系统法、神 经元网络法等。由于测试在集成电路的设计与生产中占有不可缺少的重要地位，随着集 成电路的迅速发展，人门不仅对已有的算法着了进一步的完善，而且提出了若干新的测 试生成算法，如BDD测试生成算法、故障模拟算法、可测性设计等。本文将介绍一种新 的数字电路故障诊断方法一彩色Pe廿i网的状态分析法应用于数字电路故障诊断中的应 用。 彩色Pe研网是异步并发系统建模与分析的有力工具，利用Pem网进行系统建模， 不仅有图形的直观性和结构的层次性，而且还有一套完整的理论和方法支持系统的性能 分析。本文介绍Petri网的邻接矩阵法、逻辑电路的Pe廿i网模型和用实例分析Pem网的 状态分析法在数字电路故障诊断中的算法与应用。 二．彩色Petri网结构 这部份介绍彩色Petri网的一些基本定义，假设您较熟悉彩色petri网，在此给出其 A： 位置的有限集合，P=[p】，p2，…，p。]；T：变迁的有限集合，T=[tj，t2，…，瑚； 非空有限基本颜色集合：x：颜色函数．x对于每一位置给予了一组可能地标记颜色，任 一变迁的颜色函数是一组可能的变量基色代换；w：网中每一个弧所关联的重量函数．每 一个弧的重量描述了它每次所标记个数； K：位置的容量函数；‰：初始标识函数。变 迁t在标识M下能发生iff存在o∈X(t)满足：(1)p∈tw(p，t)≤M(p)：(2)p∈t 邻接矩阵：含n个变迁节点和m个位置节点的Petri网，邻接矩阵A=：a：，]是N×M 矩阵，a、。=a¨．一a0其中a，。’=w(i，j)是从变迁i到其输出位置j的连接弧的重量函数， a．，=w(j，i)是从输入位置j到变迁i的连接弧的重量函数，这样所有的图形信息都压缩 存入邻接矩阵A。状态方程：一个动作(t，o)在标识M一下能发生，它发生后转换M。 到一个直接可达的后继标识Mk。Mk可由下面的状态方程确定：M产M“十A】ttk=l，2，．．．。 假设目标标识M。，可经M。通过点火顺序ot．，1。，．，t。j而得，则其状态方程确定为： d Md=Mo{A1￡tk k=l r 三．基本逻辑电路的Peti网模型 为了诊断逻辑电路故障，逻辑门电路的每一输入和输出信号由Petri网的位置(D)表 为s-a-1或s．a一0。 崴s*0，趸表示与障点相反的值)。也就是说每一位置的基色有两种，要么为0(位置圆圈 标记为0．1，要么为l。 对故障节点任选取一条使主输出的逻辑变化能反应该节点的逻辑变化的敏化通路， 然后由故障传播和通路敏化的条件，也就是：要使故障能传播到主输出端，则通道内一 切与门和与非门的其余输入端均应赋予1值：而一切或门和或非门的其余输入端均应赋 予O值，这样可以确定一些位置(p)的取值。根据路敏化规则，从故障点处传播到主输 出端，称为前向Petri网。故障诊断有必要反方向跟踪到输入端，称为反向pe伍网。在 反向pem网中，故障点取其相反值。前向Pe一网决定输出值，反向Pe埘网决定输入值。 这里各逻辑门对应的变迁存在基色代换，基色代换与初标识相关。 四．Petri网矩阵法在数字电路故障测试中的应用分析 以图1的sclHleider电路为例说明最典型的p：s廿O的测试生成过程。 ————————————呈—二、、，，—二 j—卜■、、．—I—乙／4 】 。! !：————上——_、、，—』：-一、 c_+—4——1_，7 ：；≤三]譬、≥／{一