一种约简动作变元的命题规划编码方式
- 期刊名字:计算机研究与发展
- 文件大小:
- 论文作者:吕帅,刘磊,江鸿
- 作者单位:
- 更新时间:2022-04-06
- 下载次数:次
论文简介
基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.
论文截图
上一条:两种M2因子实验测量方法的比较
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2022-04-06
-
煤基聚乙醇酸技术进展 2022-04-06
-
生物质能的应用工程 2022-04-06
-
我国甲醇工业现状 2022-04-06
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2022-04-06
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2022-04-06
-
四喷嘴水煤浆气化炉工业应用情况简介 2022-04-06
-
Lurgi和ICI低压甲醇合成工艺比较 2022-04-06
-
甲醇制芳烃研究进展 2022-04-06
-
精甲醇及MTO级甲醇精馏工艺技术进展 2022-04-06