首页--工业技术论文--自动化技术、计算机技术论文--自动化技术及设备论文--自动化系统论文--自动控制、自动控制系统论文

符合工控IEC 61131-3国际标准的结构化文本程序的验证方法研究

摘要第5-6页
Abstract第6页
第一章 绪论第11-19页
    1.1 研究背景第11-12页
    1.2 研究现状第12-15页
        1.2.1 工业控制领域中模型检查技术的研究现状第13-14页
        1.2.2 工控编程语言形式化语义的研究现状第14-15页
    1.3 本文研究内容及主要贡献第15-16页
        1.3.1 研究内容第15-16页
        1.3.2 主要贡献第16页
    1.4 本文组织结构第16-19页
第二章 预备知识第19-33页
    2.1 工业控制系统简介第19-21页
        2.1.1 典型体系结构第19-20页
        2.1.2 基本运行方式第20-21页
    2.2 IEC61131-3标准概述第21-25页
        2.2.1 标准软件模型第21-23页
        2.2.2 标准编程语言第23-25页
    2.3 模型检查技术概述第25-29页
        2.3.1 相关术语第26页
        2.3.2 使用模型检查的一般步骤第26-28页
        2.3.3 优缺点分析第28-29页
    2.4 K框架简介第29-32页
        2.4.1 语法定义第30-31页
        2.4.2 语义定义第31-32页
    2.5 本章小结第32-33页
第三章 结构化文本程序的形式化验证方法概述第33-37页
    3.1 基于模型检查的形式化验证方法概述第34-35页
    3.2 基于K框架的形式化操作语义概述第35-36页
    3.3 本章小结第36-37页
第四章 基于模型检查的结构化文本程序形式化验证方法第37-53页
    4.1 行为模型的形式化定义第37-39页
        4.1.1 定义第37-38页
        4.1.2 相关概念第38-39页
    4.2 形式化建模方法第39-46页
        4.2.1 ST程序的图形化表示方式第39-40页
        4.2.2 从ICFG中构建形式化模型BM第40-42页
        4.2.3 变量状态分析第42-46页
    4.3 LTL性质验证方法第46-51页
        4.3.1 线性时态逻辑第46-48页
        4.3.2 基于自动机的LTL验证方法第48-51页
    4.4 本章小结第51-53页
第五章 基于K框架的结构化文本语言形式化操作语义第53-67页
    5.1 形式化操作语义KST第53-64页
        5.1.1 语法第55页
        5.1.2 形式化操作语义第55-62页
        5.1.3 IEC61131-3标准中存在的二义性描述第62-64页
    5.2 KST的正确性测试第64-66页
    5.3 本章小结第66-67页
第六章 结构化文本程序形式化验证方法在实际生产中的应用第67-73页
    6.1 工具实现第67-70页
    6.2 齿轮生产线上的质检工位第70-72页
    6.3 本章小结第72-73页
第七章 总结第73-75页
    7.1 工作总结第73-74页
    7.2 未来工作展望第74-75页
参考文献第75-79页
致谢第79-81页
作者在学期间所取得的科研成果第81页

论文共81页,点击 下载论文
上一篇:基于激光扫描测距仪的移动机器人室内探索与导航的研究
下一篇:可复用ANN节点IP在物联网中的应用研究