自动推理与规划问题最小上界和相变规律研究



自动推理与规划问题最小上界和相变规律研究

分类：教育论文网→工业技术论文→自动化技术、计算机技术论文→自动化基础理论论文→人工智能理论论文

自动推理与规划问题最小上界和相变规律研究

论文目录
摘要	第1-7页
Abstract	第7-12页
第1章绪论	第12-22页
· 自动推理问题	第12-15页
· 自动推理的重要性	第12-13页
· 自动推理问题中最小上界研究的意义	第13-14页
· 自动推理问题中最小上界研究的现状	第14-15页
· 智能规划问题	第15-19页
· 智能规划的重要性	第15页
· 智能规划的类型	第15-17页
· 智能规划相变规律研究的意义	第17-18页
· 智能规划相变规律研究的现状	第18-19页
· 本文工作	第19-22页
第2章 #SAT 算法	第22-32页
· 基本概念	第22-25页
· #SAT 问题求解算法类型	第25-27页
· 基于DPLL 方法	第25-26页
· 基于扩展规则的方法	第26页
· 基于知识编译方法	第26-27页
· 复杂性度量方法	第27-32页
第3章最坏情况下#2-SAT 问题的最小上界	第32-42页
· 基本概念	第32-33页
· 化简规则	第33-35页
· MC_2 算法	第35-38页
· DPLL 算法框架	第35页
· 基本函数	第35-37页
· MC2 算法框架	第37-38页
· MC_2 算法的最小上界分析	第38-40页
· 本章小结	第40-42页
第4章最坏情况下70/26/wz1072696.htm-SAT 问题的最小上界	第42-54页
· 基本概念	第42-43页
· MCDP 算法	第43-46页
· MCDP 算法分析	第46-51页
· MC_3 算法	第51-52页
· 基本函数	第51页
· MC_3 算法框架	第51-52页
· MC_3 算法的最小上界分析	第52-53页
· 本章小结	第53-54页
第5章最坏情况下#SAT 问题的最小上界	第54-66页
· 基本概念	第54-55页
· 基于扩展规则求解#SAT 问题的推理分析算法	第55-62页
· CER 算法框架	第55-57页
· 基于扩展规则的推理分析算法框架	第57-58页
· 预处理过程	第58-61页
· 组件分析过程	第61-62页
· 基于扩展规则求解#SAT 问题的推理分析算法的上界分析	第62页
· 实验比较	第62-64页
· 本章小结	第64-66页
第6章 EXPSPACE 完全问题的相变研究	第66-80页
· 相关概念	第66-68页
· 一致性规划无解算法	第68-72页
· 一致性规划有解算法	第72-76页
· 实验结果	第76-78页
· 目标条件数与求解效率的关系	第77页
· 分布密度与求解效率的关系	第77-78页
· 本章小结	第78-80页
第7章总结与展望	第80-84页
参考文献	第84-98页
作者简介及在学期间所取得的科研成果	第98-99页
致谢	第99 页

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

更多论文
自动推理与规划问题最小上界和相变
Windows环境PCTV高清电视接收系统的
车体钢结构组合优化设计系统
基于协同机制和智能算法的多代理系
我国柑橘产业化中的法律问题研究--
不平衡数据学习的研究
无线局域网加密算法研究及改进
湖北省农村劳动力转移就业法律问题
基于参数化的齿轮传动接触有限元分
多重抽象模型框架研究
丹江口库区土地利用时空变化及生态
当代中国公立高校内部权力结构及运
CA-MARKOV模型与GIS、RS在土地利用
光催化降解水质净化装置的设计与性
一种基于子带最大似然线性回归的鲁
当代功利主义正义观研究
基于3S技术的吕镇村信息管理系统设
吉林省农村居民幸福感研究
虚拟仪器技术在UPS电路板测试中的应
提速机车柴油机轴系动力仿真方法研
基本农田动态监测预警研究
Improving Resource Selection and
神经网络和虚拟仪器技术的在线互动
面向企业网络环境的CAPP关键技术研
随州市建筑业农民工培训问题研究
Effects of High Pressure and Ult
基于WLAN Mesh路由算法的研究与实现
STEP标准与GPS标准相关性研究
受贿罪若干问题研究
量刑情节适用研究
美国“囚犯战争”研究
农村微型企业成长性影响因素研究--
模糊控制理论在后备式UPS中的应用研
PLIB几何图形文件的开发及其参数化
公司法上新股发行制度研究
武汉市湿地生态旅游可持续发展研究
无线并联控制技术在UPS中的研究与应
高原低气压条件下120阀试验标准探讨
投资者法律保护、产品市场竞争与企
鄂西南岩溶洞景的保护与开发研究
S08系列MCU通用写入系统的设计与实
车辆优化调度及物流配送管理系统模
武汉市城市湖泊生态旅游潜力评价研
中韩家族小说比较研究--以巴金《家
我国少数民族文化旅游产业化相关法
基于DSP6000的列车滚动轴承的故障在
凝眸“过渡人”的文化脸谱--辜鸿铭
通用型8位MCU内核设计及应用
基于居民需求的旅游发展对策研究--
古埃及阿玛尔纳时期艺术成就的历史
内燃机爆发压力及转速测量系统的研
基于FameG FS7805的加密优盘的设计
SPS动物疫病管制措施与我国家禽产品
连续挤压生产线收排线机电气控制的
女真建国前社会组织研究
农村金融新政下湖北省小额信贷发展
1Cr17不锈钢表面纳米化组织耐高温氧
《周礼》所见王室起居职官专题研究
我国农村金融资产证券化SPV法律问题
网络热敏打印机控制系统的设计与应
Ni-B纳米晶体箔的制备
北魏后宫制度研究

一致性规划论文模型计数论文 #SAT问题论文相变最小上界论文
版权申明：目录由用户ZKA010080**提供，www.51papers.com仅收录目录，作者需要删除这篇论文目录请点击这里。
\| 设为首页\|\|加入收藏\|\|站内搜索引擎\|\|站点地图\|\|在线购卡\|
版权所有教育论文网 Copyright(C) All Rights Reserved