一种约简动作变元的命题规划编码方式
Journal Title: Science Paper Online - Year 2010, Vol 5, Issue 2
Abstract
依据基于动作的编码方式，提出一种基于约简动作变元的自动命题规划编码方式：基于命题的编码方式。首先分析构造新编码方式的理论依据，提出基于命题的编码方式的编码组成，证明其有效性，并描述某些公理的具体实现细节，最后分析其与已有几种编码方式的不同之处。在SATPLAN2006规划系统中实现了基于命题的编码方式，利用国际规划竞赛选用的Benchmark问题予以测试，分析其与基于动作的编码方式等2种极端的编码方式的求解特性。实验结果表明：对于顺序规划问题域，基于命题的编码方式更有效；对于并发规划问题域，基于动作的编码方式更有效。
Authors and Affiliations
Shuai Lu, Lei Liu, Hong Jiang
Keywords
Related Articles
- EP ID EP129192
- DOI -
- Views 113
- Downloads 0
针刺结合组织工程学治疗周围神经<br /> 缺损的可能性探讨<br />
组织工程学是目前神经修复领域的前沿学科，但组织工程生物材料在体内往往不能满足完全修复的要求，主要原因是神经因子的缺乏、血液供应的不足；针刺能促进周围神经损伤的修复已被证明是确切的，许多研究发现，针刺在促进神经因子的分泌以...
Research on the method of medium-long baseline solution only using Fr(φ)
Because of the lack of cycle slips detection and restoration as well as integer ambiguity determination, dual-frequency observation can not be adopted in the method of baseline solution only using Fr(φ) to correct ionosp...
Computational fluid dynamic (CFD) simulation of micromixing in a rotating packed bed
Rotating packed bed (RPB), known as HIGEE, an acronym for high gravity has been widely used in absorption, desorption, distillation, oxidation, crystallization, precipitation, polymerization, production of nanoparticles....
回波平面成像中ghost伪影的校正
EPI技术基于方向相反的频率读出梯度交替采集MR信号的奇、偶回波。但是，由于成像物体的磁敏感性、化学位移及磁场B0不均匀性等因素的影响会导致奇、偶回波之间产生相位移动，因而会产生ghost伪影。本文首先用混合空间投影的方法消除部分伪...
化学镀制备Ni包覆SiC核壳<br /> 纳米颗粒及其介电响应<br />
采用简单的化学镀方法，在相对低的温度下制备了具有核-壳结构的SiC-Ni纳米复合颗粒。XRD和TEM分析结果表明,纳米Ni晶吸附在SiC颗粒表面，可以形成一层连续且致密的Ni包覆层。基于化学镀和催化理论，初步分析了化学镀核壳结构形成机理。利...