PLC梯形图输出元件网络设计法探讨

PLC是当今电气自动化领域中不可替代的中心控制器件,它的广泛应用在一定程度上取决于应用程序的开发和编制。为简便快速编制PLC应用程序,构思了一种输出元件网络设计法。由于此设计法能简便快捷地完成大多数PLC控制程序的编制,因此在PLC应用程序的开发和编制方面具有一定的使用价值。在对这种方法进行简单介绍的基础上,结合一个实例对其编制的关键步骤进行了探讨。

结合故障输出结构特征的极小冲突求解算法

基于模型诊断(model-based diagnosis)是人工智能领域中的重要研究方向,而基于极小冲突求诊断是求解诊断问题的经典方法,因此求解极小冲突是诊断中的一个重要步骤.通过对电路模型特征的研究,结合CSRDSE极小冲突集求解算法,提出结合故障输出结构特征的极小冲突求解算法MCSSFFO:首先对CSRDSE算法的剪枝规则进行了改进,避免对集合枚举树SE-Tree中非冲突集叶节点对应子叶节点的访问;其次,提出故障输出无关元件集与故障输出相关元件集等相关概念,并根据系统描述和观测给出求解故障输出无关元件集的方法;最后,提出非冲突集定理,即故障输出无关元件集的子集不是冲突集,并根据非冲突集定理,给出极小冲突集求解算法MCS-SFFO.MCS-SFFO算法在基于CSRDSE算法求冲突集方法的基础上对无解空间进一步剪枝,减少了调用SAT求解器的次数.实验结果表明:与CSRDSE算法相比,MCS-SFFO算法求解效率明显提升.

结合故障逻辑关系的极小冲突集求解方法

基于模型诊断是人工智能研究与发展中的重要方向之一,而求解极小冲突集(minimal conflict set, MCS)是模型诊断的关键步骤.MCS-SFFO(minimal conflict set-structural feature of fault output)方法以反向深度的方式遍历集合枚举树(set enumeration tree, SE-Tree),然后针对故障输出无关元件的组合进行剪枝.在MCS-SFFO方法的基础上,结合电路的故障逻辑关系提出求解极小冲突集的进一步剪枝方法MCS-FLR(minimal conflict set-fault logic relationship):首先提出单元件非冲突集定理,对单元件集合进行剪枝,避免了对无解空间中单元件节点的访问;其次,提出非极小冲突集定理,推证得出故障输出相关元件集的超集都是冲突集,故对有解空间中的非极小解进行剪枝.MCS-FLR方法在MCS-SFFO方法基础上减少了大量有解空间和部分无解空间调用SAT求解器的次数,节省了求解时间.实验结果表明:相比于MCS-SFFO方法,MCS-FLR方法求解效率有显著提高.

东风电厂计算机监控系统可靠性的提高

讲述了在电厂计算机监视控制的实施过程中,通过设备的合理选择和改造,体会到提高基础数据采集和控制执行元件的可靠性是计算机监控系统使用率和可靠性提高的关键,并简要介绍了东风电厂计算机监控系统及其数据传输。