%0 Journal Article
%T 一种可编程逻辑控制程序的竞态检测方法
%A 黄颖坤
%A 罗继亮
%J 华侨大学学报(自然科学版)
%P 175-178
%D 2015
%R 10.11830/ISSN.1000-5013.2015.02.0175
%X 针对可编程逻辑控制器中竞态检测的高计算复杂性,提出一种基于梯形图程序的特征结构用于检测竞态的方法.提出关系图的概念,并给出梯形图到关系图的转化方法.通过关系图的环形结构与可编程逻辑控制器的竞态之间的必然关系,给出梯形图中无竞态的判据.结果表明:该方法可以快速判断梯形图无竞态,并具有多项式级计算复杂度.
%K 竞态
%K 梯形图
%K 关系图
%K 可编程逻辑控制器
%U http://www.hdxb.hqu.edu.cn/oa/DArticle.aspx?type=view&id=201502012