一种约简动作变元的命题规划编码方式

基于动作的编码方式是2006年国际规划竞赛中著名的最优规划系统SATPLAN2006采用的一种基于约简状态变元的命题规划编码方式.依据基于动作的编码方式,提出一种基于约简动作变元的自动命题规划编码方式:基于命题的编码方式.首先分析构造新编码方式的理论依据,提出基于命题的编码方式的编码组成,证明其有效性,并描述某些公理的具体实现细节,最后分析其与已有几种编码方式的不同之处.在SATPLAN2006中实现了基于命题的编码方式,利用国际规划竞赛选用的标准测试问题予以测试,并分析其与基于动作的编码方式等两种极端编码方式的求解特性.实验结果表明:对于顺序规划问题域,基于命题的编码方式更有效,而对于并发规划问题域,基于动作的编码方式更有效.     

海量信息分级存储数据迁移策略研究

以数据为中心的计算模式对存储系统的性能和可靠性提出了新的更高的要求。目前,PB量级的存储系统需要数千甚至上万块磁盘,高并行性、高可靠性和高性价比是海量磁盘存储系统的三项关键要求。本文提出由性能和可靠性不同的两级磁盘阵列组成二级海量存储系统,通过数据自动迁移,可在保证存储系统高性价比的条件下,获得更高的并行访问速率和可靠性。本文基于分级存储管理的思想,提出了FC—SAS和SATAII两级存储模型,设计了FV数据价值评定模型和迁移过程控制策略,实现对数据价值的精确判定,在尽量减小对系统访问性能影响的基础上,实现数据在两级设备间的高效迁移和用户的透明访问。     

智能规划的逻辑编码方式研究

逻辑编码方式的设计和实现是基于转换的规划方法有效处理的关键.对几种智能规划方法中的逻辑编码方式予以分析,分别介绍线性编码、基于Graphplan的编码、基于状态的编码、基于动作的编码、基于命题的编码、基于转移的编码、提升的因果编码、基于多值变元的编码、基于有向二元决策图的编码以及基于约束可满足的编码等,并结合国际规划竞赛和相关论文等的实验结论,说明上述编码方式的有效性和可行性,分析该类编码方式在其他领域的应用前景.最后,提出目前智能规划方法中逻辑编码方式研究所面临的挑战、可能的处理方法,以及与之相关的研究热点与趋势.     

基于残余瓦斯含量的顺层钻孔抽采有效半径阶梯式测定法

为确定瓦斯抽采合理钻孔间距,有效减少或消除抽采空白带,基于瓦斯抽采相关标准与行业规范,以突出煤层采煤工作面瓦斯含量临界值、采煤工作面回采前煤体可解吸瓦斯含量、采煤工作面瓦斯抽采率和预抽率作为抽采达标的4项基本指标,根据4项基本指标计算得出残余瓦斯含量最小值,将其作为考察指标,对顺层钻孔瓦斯抽采有效半径测定方法进行探索,提出阶梯式测定法.使用该测定法对山西霍尔辛赫煤业有限责任公司3号煤层瓦斯抽采有效半径进行现场测试,同时基于含瓦斯煤的流固耦合动态模型对测试结果进行数值模拟验证.结果表明:阶梯式测定法现场测试结果与数值模拟结果基本吻合,在该矿合理预抽期内,抽采有效半径为1.52 m,合理钻孔间距为2.50 m.研究结果对于完善瓦斯抽采有效半径测定方法、确保瓦斯抽采达标具有参考作用.     

EPCCL理论的并行知识编译算法

基于超扩展规则，证明了EPCCL（Each Pair Contains Complementary Literal）理论的合并过程是可并行执行的，并设计了针对多个EPCCL理论的并行合并算法PUAE（Parallel computing Union of Any number of EPCCL）.通过对EPCCL理论原始子句集的利用，提出了另一种高效的EPCCL理论并行合并算法imp-PUAE（improvement of PUAE）.UKCHER（computing Union sets of maximum terms for Knowledge Compilation based on Hyper Extension Rule）是一种可并行的EPCCL理论编译算法，分别利用PUAE和imp-PUAE设计了两个并行知识编译算法P-UKCHER（UKCHER with PUAE）和impP-UKCHER（UKCHER with imp-PUAE）.实验结果表明：P-UKCHER算法虽然没有提升UKCHER算法的效率，但能够提升UKCHER算法编译结果的质量，最好情况下可提升4倍；而impP-UKCHER算法能够提高UKCHER算法的效率，同时也能够提升编译结果的质量，同样最好情况下可提升4倍.     

基于格局检测的并行模型计数方法

在经典的可满足性问题求解中,针对处理模型数较少的实例,SWcc迭代法和SWcc优化增量法与完备的模型计数方法相比,求解适用性更高,但SWcc迭代法和SWcc优化增量法均为串行求解方法,没有对解空间进行剪枝、化简等处理。本文基于此设计了基于格局检测的并行模型计数算法。该算法以化简解空间和启发式为核心,将原解空间分解成为若干子空间并对原子句集进行化简后,并行处理各个子空间。实验结果表明:对于模型个数较少、公式规模较大的问题,该算法比原算法更具有适用性。     

某型制导火箭弹控制系统设计与仿真

为了设计某型制导火箭弹的控制系统,并仿真验证其动态性能,文中首先由火箭弹运动方程建立其运动数学模型,在小扰动前提下,采用系数冻结法对运动方程进行线性化,求解出弹体传递函数。利用Simulink控制系统工具箱,建立控制系统仿真模型,由Signal Constraint模块优化出控制系统的参数。仿真结果表明该控制系统结构及参数设计合理,动态性能良好,为下一步研究奠定了良好的基础。     

基于机器学习的建筑形体性能评价与修改辅助方法

结合形体设计的特点提出了一种建筑形体性能评价与修改辅助方法构想,并给出了结合参数化模型、性能模拟、机器学习的技术路线;而后以音乐厅及其音质性能为例开发了工具雏形、实现了构想的方法;最后对工具雏形进行了应用测试。结果表明,给出的方法和工具雏形,具有较好的可靠性和反馈实时性;适用于形体设计,能够帮助建筑师在不了解技术知识且没有顾问辅助下,将形体从性能不理想逐步改进至理想,有助于提高形体设计的性能及建筑师的工作效率。     

印尼褐煤湿煤末(煤泥)流化床中试燃烧试验研究

为解决国华印尼电厂燃用印尼褐煤的干燥,及干燥后衍生的湿煤末(煤泥)的回用问题,在0.5m×0.5m异重循环流化床中试试验炉上燃用印尼褐煤湿煤末制备的煤泥浆,并进行污染物排放和燃烧效率分析,为褐煤湿煤末(煤泥)的回用提供中试试验数据支撑.结果表明:印尼褐煤湿煤末(煤泥)浆液在循环流化床锅炉中能稳定燃烧,燃烧效率达到98％以上,燃烧过程中无需添加其他燃料,焚烧污染物排放均能达到《GB13223-2011》火电厂大气污染物排放标准.     

基于小波变换去噪预处理的EMD谐波检测方法

将经验模式分解(empirical mode decomposition,EMD)作为电网谐波的检测方法。通过EMD法分解,把含谐波的正弦信号分解成为包含各阶次谐波的IMF分量和工频分量,从而检测出电网中的谐波分量。研究发现采样信号中的噪声会对EMD的分解产生较大影响,提出了一种基于小波变换去噪预处理的EMD谐波检测方法。此方法首先用小波变换减少随机白噪声对信号的影响,随后对含少量白噪声的信号进行EMD分解。经MATLAB仿真分析,所提方法可以有效地消除随机噪声对谐波检测的影响,提高了EMD谐波检测的精度与适用性。