聚丙烯酰胺类絮凝剂在矿业领域的研究进展

聚丙烯酰胺在矿业领域中有着重要地位,广泛用于尾水处理和矿物絮凝.对聚丙烯酰胺类絮凝剂的种类、合成方法、絮凝机理及相关应用进行了综述,分析了此类絮凝剂在矿业领域应用面临的主要问题,指出聚丙烯酰胺应该朝着高效、高选择性、环保、安全和经济的方向深入发展.     

河南油田MD膜剂与聚合物复配技术提高采收率实验研究

介绍了聚合物和MD（分子沉积）膜剂筛选方法和主要指标,考察了MD膜剂与聚合物复配液对体系粘度、稳定性及驱油率的影响。结果表明,聚合物HPAM1与MD-3膜剂常温复配后粘度基本保持不变;聚合物HPAM1浓度1700mg／L与MD-3膜剂浓度1000mg／L复配液经85℃老化90d后,复配液体系粘度仍达58．1mPa·s,说明体系热稳定性好;MD-3膜剂浓度1000mg／L与聚合物HPAM1浓度1700mg／L复配液室内岩芯驱油实验结果表明,驱油率达到22．6％,高于相同浓度单纯MD-3膜剂驱、单纯聚合物HPAM1驱及其他复配浓度的驱油效率。     

河南油田低浓度交联调剖体系的研究及评价

以聚丙烯酰胺为主剂,用无机铬和有机醛作交联剂,分别制备了低浓度交联调剖体系,确定了其最佳配方。双岩心并联模拟封堵试验结果表明,此低浓度调剖体系即能封堵高渗层,又启动低渗层,可以有效堵塞大孔道,扩大后续水驱的波及体积,提高采收率。     

基于SQL Server和Abaqus的关节轴承数据查询与性能分析系统

该系统的研制是为方便轴承使用人员对关节轴承进行选型、数据查询和受力变形分析。简述了系统的功能特点、功能模块划分和包括关节轴承数据库的建立、多种查询方式界面的设计和通过脚本接口实现与Abaqus有限元软件集成的系统研制过程。该系统基于Visual Studio+SQL Server+Abaqus平台开发,可以实现关节轴承数据多方式查询,以及经简单的参数数据输入从而获取基于Abaqus有限元仿真分析后的关节轴承的应力分布和位移分布图。该系统具有极高的实用性,可推广运用到其他机械领域的研究开发。     

智能规划的通用问题描述进展

规划领域定义语言是第一届国际规划竞赛提出的问题定义语言,随着两年一次的国际规划竞赛的举办,其语言的描述方式和能力也在不断扩展。本文将现有规划问题的通用描述予以综述,通过形式化地描述智能规划在不同发展阶段的通用描述方法,对其语法和语义以实例进行剖析,为后续的研究者提供精准的规划描述,并提出了未来的发展趋势。     

基于量化布尔公式的条件规划编码方式

介绍条件规划问题及其相关的求解系统,着重分析以逻辑为基拙的编码方式。针对基于量化布尔公式的转换方法进行详细分析,给出3种不同形式的量化布尔公式编码。最后,对这3种编码进行比较,分析基于命题逻辑公式与量化布尔公式这两种不同转换方式的优劣,讨论基于量化布尔公式的规划方法未来的研究方向和发展趋势。     

命题编码中公理的组合与设计

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

路标计数启发式引导的分解规划方法

路标信息能够准确描述智能规划问题解空间的基本形态.提出由路标信息引导的分解规划方法,求解过程由路标计数启发式引导增强爬山算法向目标方向进行,根据路标的完成情况分段求出规划解.从全局范围上看,爬山过程逐渐实现更多的路标,路标计数启发式估值的降低引发规划任务的分解,当搜索过程遇到估值更低的状态时,提取一段爬山路径.如此反复执行“搜索-提取”过程,直至路标计数启发式的估值降低为0,各段爬山路径构成最终的规划解.采用最新国际通用的标准测试问题进行实验测试,结果表明:由路标计数启发式引导的分解规划方法能够更好地发挥路标信息的优势,实现了搜索范围的压缩,可更快地生成规划解.     

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

模型计数是指求出给定命题公式的模型数,是SAT问题的泛化.模型计数在人工智能领域取得了广泛应用,很多现实问题都可以规约为模型计数进行求解.目前,常用的模型计数求解器主要有Cachet与sharpSAT,它们均采用完备方法且具有高效的求解能力,但其求解效率对模型数不敏感.有理由猜测：当给定问题的模型较少时,不完备算法可能发挥其效率优势而更适合模型计数.局部搜索是求解SAT问题的高效不完备方法,Cai等人提出了格局检测策略,并将其应用到局部搜索方法中,提出了SWcc算法,具有很高的求解效率.对SWcc算法进行扩充,分别得到了迭代法与优化后的增量法两种效率较高的不完备模型计数方法,给出了两种方法的思路和具体实现.最后给出了大量测试样例的实验结果,以验证当给定合取范式的模型较少时,该迭代法与优化后的增量法的求解效率有所提升.     

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

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