一种可编程逻辑控制程序的竞态检测方法

• 作者: 罗继亮 黄颖坤
• 来源期刊: 华侨大学学报（自然科学版）
• 关键词: 竞态 梯形图 关系图 可编程逻辑控制器
• 年，卷（期）: 2015,（2）
• 页码范围: 175-178
• 页数: 4页
• 分类号: TP271.8
• 语种: 中文
• DOI: 10.11830/ISSN.1000-5013.2015.02.0175

摘要

针对可编程逻辑控制器中竞态检测的高计算复杂性,提出一种基于梯形图程序的特征结构用于检测竞态的方法.提出关系图的概念,并给出梯形图到关系图的转化方法.通过关系图的环形结构与可编程逻辑控制器的竞态之间的必然关系,给出梯形图中无竞态的判据.结果表明:该方法可以快速判断梯形图无竞态,并具有多项式级计算复杂度.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	罗继亮	华侨大学信息科学与工程学院	29	77	5.0	7.0
2	黄颖坤	华侨大学信息科学与工程学院	2	2	1.0	1.0