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

广义可能线性时序逻辑的自动机方法

摘要第3-4页
Abstract第4页
前言第7-10页
第1章 模型检测预备知识第10-17页
    1.1 经典模型检测基础知识第10-13页
        1.1.1 Kripke结构第10-11页
        1.1.2 经典线性时序逻辑第11-13页
    1.2 广义可能模型检测基础知识第13-17页
        1.2.1 广义可能Kripke结构第13-17页
第2章 自动机理论与基础第17-29页
    2.1 模糊集合理论第17-18页
    2.2 交替Buchi自动机和模糊交替Buchi自动机第18-21页
        2.2.1 交替Buchi自动机第18-19页
        2.2.2 模糊交替Buchi自动机第19-21页
    2.3 非确定性Buchi自动机和模糊Buchi自动机第21-24页
        2.3.1 非确定性Buchi自动机第21-22页
        2.3.2 模糊Buchi自动机第22-24页
    2.4 经典线性时序逻辑自动机方法第24-29页
        2.4.1 经典模型检测思想第24页
        2.4.2 经典模型检测算法第24页
        2.4.3 φ的闭包第24-25页
        2.4.4 φ的基本集合第25-26页
        2.4.5 线性时序逻辑自动机方法第26-28页
        2.4.6 交替Buchi自动机转换非确定性Buchi自动机第28-29页
第3章 广义可能线性时序逻辑的自动机方法第29-42页
    3.1 广义可能线性时序逻辑第29-30页
    3.2 广义可能线性时序逻辑模糊交替Buchi自动机方法第30-33页
    3.3 广义可能线性时序逻辑模糊Buchi自动机方法第33-37页
    3.4 广义可能线性时序逻辑模型检测及算法复杂度分析第37-42页
        3.4.1 广义可能线性时序逻辑模型检测第37-39页
        3.4.2 算法复杂度第39-42页
第4章 结束语第42-43页
    4.1 总结第42页
    4.2 展望第42-43页
参考文献第43-47页
致谢第47-48页
攻读硕士学位期间科研成果第48页

论文共48页,点击 下载论文
上一篇:基于电网络的半监督图像分类
下一篇:基于混合式分解技术的学生表现预测方法研究