摘要

本文通过定义合取布尔网络的邻接矩阵与状态变量之间的运算,利用邻接矩阵将合取布尔网络代数化,进而将状态变量随时间变化的信息转移到矩阵的幂与状态变量的运算上,根据网络在[0,N]上能观的定义,提出了一种判断合取布尔网络在[0,N]上能观的方法,又讨论了具有强连通图的合取布尔网络,给出判断其能观性的方法。