PLC程序中竞态的检测方法研究
| 摘要 | 第3-4页 |
| Abstract | 第4页 |
| 第1章 绪论 | 第9-14页 |
| 1.1 研究背景和意义 | 第9-10页 |
| 1.2 国内外研究现状 | 第10-12页 |
| 1.3 论文研究内容和结构安排 | 第12-14页 |
| 1.3.1 论文研究内容 | 第12-13页 |
| 1.3.2 论文结构安排 | 第13-14页 |
| 第2章 理论基础 | 第14-25页 |
| 2.1 引言 | 第14页 |
| 2.2 梯形图 | 第14-18页 |
| 2.3 关系图介绍 | 第18-21页 |
| 2.3.1 关系图的定义 | 第18-20页 |
| 2.3.2 关系图的简单实例 | 第20-21页 |
| 2.4 Petri网理论 | 第21-24页 |
| 2.4.1 Petri网的定义 | 第21-24页 |
| 2.4.2 Petri网的动态性质 | 第24页 |
| 2.5 本章小结 | 第24-25页 |
| 第3章 梯形图到关系图的建模方法 | 第25-36页 |
| 3.1 引言 | 第25页 |
| 3.2 研究思路 | 第25页 |
| 3.3 梯形图程序到关系图的建模方法 | 第25-29页 |
| 3.4 关系图的化简技术 | 第29-35页 |
| 3.4.1 化简原理 | 第29-31页 |
| 3.4.2 化简方法 | 第31-34页 |
| 3.4.3 实例分析 | 第34-35页 |
| 3.5 本章小结 | 第35-36页 |
| 第4章 关系图检测竞态的方法 | 第36-47页 |
| 4.1 引言 | 第36页 |
| 4.2 梯形图的竞态 | 第36-38页 |
| 4.3 梯形图不存在竞态的充分条件 | 第38-39页 |
| 4.4 环结构的一些结论 | 第39-46页 |
| 4.4.1 简单环形梯形图 | 第39-40页 |
| 4.4.2 定理证明 | 第40-46页 |
| 4.5 本章小结 | 第46-47页 |
| 第5章 带顺序的抑制弧Petri网建模方法 | 第47-58页 |
| 5.1 引言 | 第47页 |
| 5.2 带顺序控制库所的抑制弧Petri网 | 第47-52页 |
| 5.2.1 建模准备 | 第47-49页 |
| 5.2.2 建模方法 | 第49-52页 |
| 5.3 加计数器转化为抑制弧Petri网的方法 | 第52-57页 |
| 5.3.1 建模准备 | 第52-53页 |
| 5.3.2 建模方法 | 第53-57页 |
| 5.4 本章小结 | 第57-58页 |
| 第6章 可达图判断竞态的方法 | 第58-67页 |
| 6.1 引言 | 第58页 |
| 6.2 可达图检测竞态的方法 | 第58-62页 |
| 6.2.1 可达图生成算法 | 第58-60页 |
| 6.2.2 可达图检测竞态方法 | 第60-62页 |
| 6.3 实例分析 | 第62-65页 |
| 6.4 本章小结 | 第65-67页 |
| 第7章 示例 | 第67-72页 |
| 7.1 引言 | 第67页 |
| 7.2 一个梯形图实例 | 第67-68页 |
| 7.3 关系图检测竞态 | 第68-70页 |
| 7.4 可达图检测竞态 | 第70-71页 |
| 7.5 本章总结 | 第71-72页 |
| 第8章 总结 | 第72-74页 |
| 参考文献 | 第74-78页 |
| 致谢 | 第78-79页 |
| 个人简历、在学期间发表的学术论文与研究成果 | 第79-80页 |
