论文部分内容阅读
本文用图论方法进行数字系统的故障模拟。本文提出的故障模拟算法——图形法为在有向图中引入二种节点(一般节点及条件节点)以及二种有向边(敏化边及条件边),这样的图形称之为条件有向图。条件有向图需要二种矩阵(连通矩阵C及条件矩阵D)进行表示。本文给出条件有向图的可达性矩阵的计算方法,在此基础上提出图形法故障模拟的算法。它是一种二遍的模拟算法。该方法的主要优点为节省内存并且内存容量基本固定。图形法在计算机上的实现正在进行中。
This article uses graph theory to simulate the fault of digital system. In this paper, the fault simulation algorithm - graph method is to introduce two kinds of nodes (general nodes and condition nodes) and two kinds of directed edges (sensitization and condition edges) in the directed graph. Such a graph is called conditional To the graph The conditional directed graph requires two kinds of matrices (connected matrix C and conditional matrix D). In this paper, a method of computing the reachability matrix of conditional directed graphs is given. Based on the above, an algorithm of graphical method fault simulation is proposed. It is a two-pass simulation algorithm. The main advantage of this method is to save memory and memory capacity is basically fixed. The implementation of the graphical method on the computer is in progress.