摘要：为判断给定系统是否存在潜在通路,研究了潜在通路存在的判定方法。用图论模型对电路建模,利用图论的邻接矩阵找到在某一开关组合状态下电源到地的所有路径,通过路径和功能之间的一一对应关系确定电路实现的功能数。提出了一种求短路屏蔽路径数算法,可以求得短路屏蔽的功能数。通过比较在某一开关状态下的设计功能数和实现的功能数,确定是否存在潜在通路以及潜在通路存在数目。仿真实例验证了方法的有效性。

摘要：针对SSA技术存在的缺陷,根据软件系统与Petri网的相似之处,提出了基于Petri网的SSA技术。首先概述了SSA技术的发展现状,然后定义了一类扩展时间Petri网,定义了软件的设计矩阵和Petri网的可达状态矩阵,通过比较设计矩阵与可达状态矩阵找到软件潜在状态。仿真分析证实了方法的有效性和可行性,最后提出了SSA技术有待解决的问题。

摘要：DCS控制系统产生与发展的基础是单回路微机控制系统,该系统对通讯技术、计算机技术、过程控制技术以及CRT显示技术进行了全面综合,通过分层分级形式与集中操作、分散控制、分而自治以及分级管理设计原则对以往计算机控制危险、复杂的人机联系及模拟仪表功能单一等存在的不足进行了有效解决,DCS控制系统本身所具有的通用灵活性与安全可靠性等特征,使其被广泛应用于工业控制领域。本研究首先分析与探讨电子控制系统,并阐述PLC型DCS控制系统,对自动化生产线电子控制系统设计进行重点论述,进而分析自动化生产线电子控制系统中PLC型DCS控制系统的应用,以期能够实现自动化生产线电子控制系统的全面、科学发展。