首页--工业技术论文--自动化技术、计算机技术论文--计算技术、计算机技术论文--一般性问题论文--理论、方法论文--自动机理论论文

基于时延Petri网的最优路径研究

摘要第5-6页
ABSTRACT第6-7页
符号对照表第10-12页
缩略语对照表第12-15页
第一章 绪论第15-19页
    1.1 研究背景及意义第15-16页
    1.2 国内外研究现状第16-17页
    1.3 本文的主要工作第17-19页
第二章 Petri网基本理论第19-29页
    2.1 Petri网基本定义第19-22页
    2.2 Petri网的性质第22-23页
        2.2.1 可达性第22页
        2.2.2 有界性第22-23页
    2.3 Petri网分析方法第23-25页
        2.3.1 可达图第23-24页
        2.3.2 关联矩阵和状态方程第24-25页
    2.4 时延Petri网第25-27页
    2.5 本章小结第27-29页
第三章 时延Petri网最优路径算法第29-43页
    3.1 常见路径规划算法第29-31页
        3.1.1 Dijkstra算法第29-30页
        3.1.2 蚁群算法第30-31页
        3.1.3 基于部分可达图搜索算法第31页
    3.2 常见算法分析第31-32页
    3.3 本文算法第32-42页
        3.3.1 本文算法步骤第32-33页
        3.3.2 添加控制库所第33-35页
        3.3.3 计算变迁发射序列第35-39页
        3.3.4 验证序列真实性第39-41页
        3.3.5 求解时延Petri网最优路径算法第41-42页
        3.3.6 证明求解的路径最优第42页
    3.4 本章小结第42-43页
第四章 实例分析第43-67页
    4.1 实例一第43-47页
        4.1.1 添加控制库所第43-46页
        4.1.2 计算变迁发射序列第46-47页
    4.2 实例二第47-52页
        4.2.1 添加控制库所第47-49页
        4.2.2 计算变迁发射序列第49-52页
    4.3 实例三第52-60页
        4.3.1 添加控制库所第52-55页
        4.3.2 计算变迁发射序列第55-57页
        4.3.3 改变变迁发射时延第57-60页
    4.4 实际应用第60-63页
        4.4.1 建模泡茶问题第60-61页
        4.4.2 添加控制库所第61-62页
        4.4.3 计算变迁发射序列第62-63页
    4.5 本文算法计算复杂度第63页
    4.6 算法比较第63-65页
    4.7 本章小结第65-67页
第五章 总结与展望第67-69页
    5.1 论文总结第67页
    5.2 展望第67-69页
参考文献第69-73页
致谢第73-75页
作者简介第75-77页
附录 A第77-90页

论文共90页,点击 下载论文
上一篇:基于SHA-256算法的加密系统的研究与实现
下一篇:基于属性加密的视频监控访问控制研究