首页--数理科学和化学论文--数学论文--数理逻辑、数学基础论文--数理逻辑(符号逻辑)论文--命题演算、谓词演算、类演算论文

基于μ-演算的局部模型检测算法设计

摘要第5-6页
Abstract第6-7页
第1章 绪论第10-18页
    1.1 研究背景及意义第10-13页
    1.2 国内外研究现状第13-15页
    1.3 主要工作和结构安排第15-18页
        1.3.1 主要工作第16页
        1.3.2 结构安排第16-18页
第2章 基础知识第18-26页
    2.1 命题 μ-演算第18-20页
    2.2 分区依赖图第20-21页
    2.3 界程演算第21-23页
    2.4 界程逻辑第23-25页
    2.5 三支决策第25-26页
第3章 三支决策视角的局部模型检测第26-36页
    3.1 m -演算局部模型检测过程分析第26-30页
    3.2 三支决策视角的模型检测算法第30-32页
    3.3 算法的对比分析第32-34页
    3.4 本章小结第34-36页
第4章 基于一组偏序关系的局部模型检测第36-50页
    4.1 算法分析第36-43页
    4.2 算法设计第43-45页
    4.3 复杂度分析第45-49页
        4.3.1 时间复杂度第45-48页
        4.3.2 空间复杂度第48页
        4.3.3 复杂度对比第48-49页
    4.4 本章小结第49-50页
第5章 模型检测器MuFPAL-MC的词法语法分析器的开发设计第50-66页
    5.1 MuFPAL-MC模型检测器概述第50-58页
        5.1.1 需求分析第50-53页
        5.1.2 总体结构第53-54页
        5.1.3 界程演算的描述方式第54-55页
        5.1.4 界程逻辑公式的描述方式第55-57页
        5.1.5 系统内部模块第57-58页
    5.2 词法分析器第58-60页
    5.3 语法分析器第60-62页
    5.4 简单实例测试第62-63页
    5.5 本章小结第63-66页
第6章 总结和展望第66-68页
    6.1 总结第66页
    6.2 展望第66-68页
参考文献第68-78页
致谢第78-80页
第I条 攻读学位期间取得的科研成果第80页

论文共80页,点击 下载论文
上一篇:灰色决策模型及其在黄河冰凌灾害风险管理中的应用研究
下一篇:复杂网络重叠社区结构发现的算法研究与实现