| 一种可编程逻辑控制程序的竞态检测方法 |
| |
| 引用本文： | 黄颖坤,罗继亮.一种可编程逻辑控制程序的竞态检测方法[J].华侨大学学报(自然科学版),2015,36(2):175-178. |
| |
| 作者姓名： | 黄颖坤 罗继亮 |
| |
| 作者单位： | 华侨大学信息科学与工程学院,福建厦门,361021 |
| |
| 基金项目： | 福建省自然科学基金计划资助项目，福建省高校杰出青年科研人才培育基金计划资助项目，福建省高等学校新世纪优秀人才计划资助项目 |
| |
| 摘 要： | 针对可编程逻辑控制器中竞态检测的高计算复杂性,提出一种基于梯形图程序的特征结构用于检测竞态的方法.提出关系图的概念,并给出梯形图到关系图的转化方法.通过关系图的环形结构与可编程逻辑控制器的竞态之间的必然关系,给出梯形图中无竞态的判据.结果表明:该方法可以快速判断梯形图无竞态,并具有多项式级计算复杂度.
|
| 关 键 词： | 竞态 梯形图 关系图 可编程逻辑控制器 |
A Race Detection Method for Programs in Programmable Logic Controllers |
| |
| HUANG Ying-kun,LUO Ji-liang.A Race Detection Method for Programs in Programmable Logic Controllers[J].Journal of Huaqiao University(Natural Science),2015,36(2):175-178. |
| |
| Authors: | HUANG Ying-kun LUO Ji-liang |
| |
| Institution: | HUANG Ying-kun;LUO Ji-liang;College of Information Science and Engineering,Huaqiao University; |
| |
| Abstract: | |
| |
| Keywords: | race ladder diagram relation graph programmable logic controller |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
