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

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

某电点火系统短路电阻值超差分析及工艺改进

电点火系统是武器系统不可缺少的一部分,是整个系统既保证工作启动又保证安全的一把关键钥匙,其可靠性关乎使用者的生命财产安全。随着武器系统应用环境的不断变化,对其电点火系统电路连接提出了很高的要求,促使产品在结构设计、工艺设计及生产过程中进一步精益求精。以案例为切入点,分别从产品结构设计、实际工艺设计及生产过程控制等方面分析了某电点火系统短路电阻值超差的原因,提出了针对性改进措施,使某电点火系统彻底解决了短路电阻值超差问题,有效消除了故障带来意外点火的安全隐患。     

基于模态逻辑D公理系统的Conformant规划方法

2006年,conformant规划问题成为国际规划竞赛不确定性问题域中的标准测试问题,得到研究人员的广泛关注.目前,conformant规划系统都是将其看成信念状态空间上的启发式搜索问题予以求解.通过分析conformant规划问题的语法和语义,提出新的基于模态逻辑的规划框架.将其转换为模态逻辑D公理系统的一系列定理证明问题.提出2种基于模态逻辑的编码方式.构造相应的公理与推理规则形成模态公式集,保证对于D系统的定理证明过程等同于原问题的规划过程.并通过问题实例验证该方法的有效性.继基于SAT、CSP、线性规划、模型检测等求解技术的规划方法后,该规划框架是基于转换的规划方法的一种新的尝试.     

河南油田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编码方式的改进在绝大多数情况下是有效的。最后,实现基于状态的编码方式,并对上述两个域进行测试,比较约简动作与约简状态这两种极端方式的求解效率和编码规模。实验结果表明,在后勤域的某些问题上基于状态的编码方式比基于动作的编码方式有效得多。上述的改进策略表明,可根据问题域的特性等来考虑该问题最适宜哪些公理组合的编码方式,而不固定使用某种特定的编码方式。