资源列表
排序选择:
[电子书籍] DIRECX中文手册
说明:DIRECX中文手册 DIRECX中文手册<feixue861224@126.com> 在 2011-12-06 上传 | 大小:270.75kb | 下载:0
[源码下载] visual c++通用范例开发金典(上)(1).rar
说明:visual c++通用范例开发金典(上)(1).rar<feixue861224@126.com> 在 2011-12-06 上传 | 大小:18.11mb | 下载:0
[编程文档] msm7225 datasheet
说明:msm7225 datasheet<zhongcheng1985@163.com> 在 2011-12-06 上传 | 大小:2.5mb | 下载:2
[编程文档] K524G2GACB datasheet
说明:K524G2GACB datasheet<zhongcheng1985@163.com> 在 2011-12-06 上传 | 大小:1.32mb | 下载:0
[文档资料] 基于自动推理技术的智能规划方法研究
说明: 本文主要针对基于自动推理技术的规划方法予以研究,分别考虑经典规划问题基于命题逻辑的规划方法和规划问题基于模态逻辑的规划方法,主要包括如下工作: 1)综述基于自动推理技术的规划方法的研究现状。 2)提出基于Graphplan的编码和基于状态的编码中重叠公理的判定策略和冗余公理的删除策略;在基于Graphplan的编码方式的基础上,通过压缩动作互斥公理和添加框架公理设计并实现两种新的编码方式:基于PMA的编码方式和基于FA的编码方式。 3)在基于动作的编码方式的基础上,提出一种新的利用约简动作变元<xinhua123> 在 2011-12-06 上传 | 大小:3.19mb | 下载:0