首页--工业技术论文--自动化技术、计算机技术论文--自动化技术及设备论文--自动化系统论文--自动生产作业线论文

125I自动化生产线PLC程序设计及形式化验证方法研究

摘要第4-5页
Abstract第5页
第1章 绪论第8-16页
    1.1 课题来源及背景第8-10页
    1.2 PLC技术概况第10-11页
        1.2.1 PLC的定义第10页
        1.2.2 PLC的主要特点第10-11页
        1.2.3 PLC的发展状况第11页
    1.3 形式化方法第11-14页
        1.3.1 形式化方法定义第12页
        1.3.2 形式化方法的特点第12-13页
        1.3.3 形式化方法的发展状况第13-14页
    1.4 本文主要研究内容及章节安排第14-16页
第2章 ~(125)I生产线硬件环境第16-24页
    2.1.~(125)I自动化生产线功能简介第16-17页
    2.2 ~(125)I自动化生产线硬件环境第17-23页
        2.2.1 PLC介绍第17-19页
        2.2.2 气动系统介绍第19-22页
        2.2.3 其余主要执行机构第22-23页
    2.3 本章小结第23-24页
第3章 ~(125)I生产线控制系统程序设计第24-36页
    3.1 PLC的工作原理第24-25页
    3.2 开发环境和编程语言第25-27页
        3.2.1 STEP7集成开发环境第25页
        3.2.2 编程语言第25-27页
    3.3 PLC硬件组态第27-29页
    3.4 ~(125)I生产线控制程序设计第29-35页
        3.4.1 PLC控制系统的设计分析第29-30页
        3.4.2 ~(125)I自动化生产线控制程序设计第30-33页
        3.4.3 控制程序仿真测试第33-35页
    3.5 本章小结第35-36页
第4章 Event-B原理及方法第36-47页
    4.1 形式化理论第36-37页
    4.2 Event-B方法第37-44页
        4.2.1 Event-B方法第37-38页
        4.2.2 Event-B模型结构第38-44页
    4.3 Rodin Platform第44-46页
    4.4 本章小结第46-47页
第5章 ~(125)I生产线控制程序形式化建模及验证第47-69页
    5.1 Event-B模型的需求文档第47-48页
    5.2 Event-B模型的精化策略第48-49页
    5.3 生产线Event-B模型的建立和验证第49-68页
        5.3.1 初始模型mac0第50页
        5.3.2 第一次精化mac1第50-54页
        5.3.3 第二次精化至第七次精化mac2--mac7第54-62页
        5.3.4 第八次精化至第十次精化模型mac8--mac10第62-65页
        5.3.5 第十一次精化至第十三次精化mac11--mac13第65-68页
    5.4 本章小结第68-69页
结论第69-70页
参考文献第70-72页
攻读硕士学位期间发表的学术论文第72-73页
致谢第73页

论文共73页,点击 下载论文
上一篇:山西发展(网络)智库现状及对策研究
下一篇:新世纪中国女性电影的转型研究