摘要：Fast Downward规划系统是第四届国际规划竞赛的冠军。以高效的串行规划系统Fast Downward为基础,设计并实现了并行规划系统Parallel Downward。首先提出4个并行规划的相关定义;之后提出多值规划任务下动作互斥的定义、充要条件,并实现了动作互斥判断算法;在此基础上设计了候选并行动作集的生成算法;然后为提高系统求解质量重新设计了新的搜索控制策略;最后,给出剪枝策略来抑制并行规划状态空间的指数级膨胀。通过对国际规划竞赛测试问题的实验,Parallel Downward表现出良好的规划效率和规划质量,相比Sapa规划系统Parallel Down-ward具有较好的可扩展性。

摘要：应用Kronecker代数和矩阵微分理论系统发展了一般实矩阵特征值问题的矩阵灵敏度分析方法 ,结构系统特征值和特征向量的导数很方便地排列成二维矩阵 ,所得的结果很容易形成计算机程序。

摘要：采用正交试验的方法对竹叶中黄酮的乙醇提取条件进行了系统研究,同时采用大孔吸附树脂吸附法对纯化条件进行了研究.结果表明:以30倍体积80%的乙醇水溶液在80℃水浴中浸提3 h为最佳,4种大孔吸附树脂中AB-8树脂为纯化的最适树脂.

摘要：近年来,基于可满足性的规划方法研究逐渐成为智能规划研究领域中的热点。提出3种基于Graphplan的编码方式中公理的改进:动作互斥的部分放松、动作互斥的完全放松方法、添加框架公理。基于SATPLAN2006规划系统分别实现上述3种改进的编码方式,并对国际规划竞赛中选用的标准后勤域与积木世界域的问题样例予以测试,分析不同编码方式的编码规模与求解效率,验证了基于Graphplan编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。

摘要：本体类分层关系的确定,使得能够利用不同抽象度本体类之间的抽象映射自动构建物理世界的分层模型。根据本体类型的不同将已有的本体类定义为对象本体类(Object-based Ontology Class),并对流片段(Flow Fragment)的概念加以扩展,提出以系统为中心的流本体类(Flow-based Ontology Class)的概念。定义了流片段的行为不可区分性,从两个不同的方向讨论了流本体类的分层表示:一是对构成流本体类的流片段的不同抽象度分层扩展;二是对构成流本体类的不可区分的流片段的合并分层扩展。给出了流本体类的分层过程,定义了系统级的映射关系,即流片段之间的抽象映射,指出该映射为基于系统中心本体的模型抽象分层过程提供了直接的转换运算。并且,流本体类的分层关系的确定也为基于系统中心本体的模型设计任务提供了可共享和重用的机制。

摘要：刻线密度准确与否直接影响光栅色散及给定波长的衍射方向,进而影响光谱仪器结构设计。为了提高全息光栅刻线密度的制作精度,提出了平面全息光栅刻线密度的倍频式调整方法。将给定刻线密度的基准光栅放在干涉场曝光区域内,调节光束干涉角,干涉场曝光光束经基准光栅衍射后,根据调整光栅刻线密度的不同选择不同的衍射级次相互叠加形成莫尔条纹,以基准光栅刻线密度的倍数来确定待制作光栅的刻线密度。理论证明了基准光栅周期与光栅像周期之间存在倍数关系,指出了基准光栅刻线密度选择在倍频式调整方法中的等效规则,分析了基准光栅宽度不同对光栅刻线密度制作精度的影响。计算结果表明,当基准光栅宽度达到100mm时,制作300line/mm光栅其刻线密度误差小于1nm,刻线密度越大误差越小,故以基准光栅的刻线密度来确定待制作全息光栅刻线密度的倍频式调整方法能够满足全息光栅的制作要求。

摘要：SHOIQ(D)是一种表述能力较强的本体知识表示语言。一致性检测是本体推理的核心任务之一,其它推理任务都可以等效地转换为一致性检测问题。本文在对Tableau演算研究的基础上,通过引入回跳和布尔约束传播优化技术,提高算法推理效率,并以此算法为核心,给出基于SHOIQ(D)语言的本体一致性检测推理机的总体设计方案及实现。

摘要：生物质衍生炭具有结构多样性、物理/化学性质可调、环境友好和经济价值可观等优势,已广泛应用于超级电容器储能领域.介绍生物质衍生炭材料的制备方法及其结构设计(例如零维球形、一维纤维、二维层状和三维空间结构)在超级电容器方面的最新研究进展;提出生物质衍生炭开发的新趋势和面临的挑战,以期进一步合理地设计生物质衍生炭材料的微观结构并用于超级电容器.

摘要：石墨烯薄膜是一种以石墨烯纳米片为基元结构的宏观体,通过合理的结构设计和表面修饰使其具有优异的电学、力学和热学性能,将在电化学储能、电子器件、健康和环保等领域具有潜在的应用。本文主要综述了从石墨烯基元调控到二维宏观膜组装以及石墨烯薄膜在超级电容器应用中的研究进展。主要介绍了石墨烯薄膜的简易制备方法,并详细介绍了通过对石墨烯基元的结构调控和表面修饰来优化石墨烯薄膜电化学性能的两大策略,最后对石墨烯薄膜应用所面临的挑战和未来的发展进行了总结与展望。

摘要：针对C++程序设计中与指针相关的若干问题进行了分析,并结合实例给出了解决方案。