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



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

分类：教育论文网→数理科学和化学论文→数学论文→数理逻辑、数学基础论文→数理逻辑（符号逻辑）论文→命题演算、谓词演算、类演算论文

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

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

本篇论文共80页，点击这进入下载页面。

更多论文
基于μ-演算的局部模型检测算法设计
复杂网络节点重要性与星型网控制研
高秩Virasoro-like代数的自同构群
基于HKUST-1、镍-2-甲基咪唑金属—
石墨烯基纳米薄膜复合材料的制备及
基于苯胺类聚合物/石墨烯复合材料的
C₆₀，C₃₆富
硫酸铬/草酸钠体系中三价铬阴极电沉
基于金属有机框架及其衍生物的电容
玻纤布疵点识别和检测的研究
关于织物疵点的粗定位和检测的研究
高职汽车维修专业学生英语学习需求
高中生学习自我控制、情绪调节策略
初中生父母学习支持与学习自控的关
粤港高中英语教材国际文化及跨文化
转换代价对自闭症谱系障碍儿童的认
高中生在幽默加工中层次现象的行为
自闭症儿童平滑追踪任务中视觉动态
台湾大甲妈祖祭典仪式表演研究
“和平统一、一国两制”方针下的两
香港高中中国语文科校本评核的研究
初中语文综合性学习教学策略研究
安利中国企业文化建设研究
基于标签传播的社区发现算法研究
基于模糊化方法的故障预测研究
一维三态离散时间量子游走及其在聚
新型光纤熔接机高压电源模块及熔接
多光子显微成像技术用于皮肤创伤的
基于激光光镊拉曼光谱技术的人体红
螃蟹对闽江河口互花米草湿地土壤理
武夷山黄山松小枝主要性状及其与海
基于“3S”技术的福建罗源霍口水库
海洋微生物Fulvimarina manganoxyd
负载型纳米铁—蕈状芽孢杆菌复合体
葡萄糖氧化酶在毕赤酵母中的高效表
肾上腺髓质素对小胶质细胞和星形胶
Sumo信号通路对DAPK蛋白表达的调控
小鼠受精卵显微注射技术的优化以及
山仔水库一株黏伪鱼腥藻的分离鉴定
甘蔗果糖激酶基因家族基因组演化及
伯克霍尔德菌脂肪酶LipA盖子结构置
盐度和水淹对闽江河口潮汐湿地短叶
人细胞中CRISPR/Cas9介导的AAVS1位
植物养分吸收模型的解析解和数值分
大型商场及其周边应急疏散过程研究
基于探地雷达图像的台湾海峡西岸海

局部模型检测论文命题μ-演算论文复杂度论文不动点论文
版权申明：目录由用户chengli10**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved