基于MACR和CAL启发式的求差知识编译算法

DKCHER算法是基于超扩展规则的求差知识编译算法.本文首先研究了DKCHER算法的执行流程,并定义了互补量的概念,然后设计了启发式策略MACR（maximum complementary amount of clauses with middle result）,用于动态选择与中间结果互补量最大的子句.针对互补展开过程,设计了动态启发式策略CAL（optimal sequence sorted by complementary amount of literals）,将互补展开中的文字按照与输入公式互补量的大小进行排序并展开.将上述两种启发式策略与DKCHER算法相结合,分别设计了MACR_DKCHER算法、CAL_DKCHER算法和MACR_CAL_DKCHER算法.实验结果表明,MACR启发式策略能够提升DKCHER算法的编译效率和编译质量,编译效率最高可提升9倍,编译质量最高可提升1.9倍;CAL启发式策略在子句数和变量数比值较大的实例上,能够提高DKCHER算法的编译效率,但会降低DKCHER算法的编译质量;MACR_CAL启发式最高可将DKCHER算法的编译效率提高12倍,但会导致DKCHER算法的编译质量有所降低.     

基于台达PLC与触摸屏的太阳能供热监控系统设计

太阳能空气源热泵热水机组是一种新型节能产品,它可以帮助太阳能热水系统实现全天候运行。本文以某高校洗浴中心的空气源热泵辅助太阳能热水机组为研究对象,设计空气源热泵辅助太阳能热水机组的自动监控系统,实现了空气源热泵辅助太阳能热水机组全天候自动运行,有效节约了能源。     

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

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

基于天然采光性能的建筑中庭形体设计导则研究

建筑师在进行形体创作时须将良好的技术性能作为重要目标，而直观、形象、非严格定量的设计导则是一种简易有效的辅助手段。然而，运用数字设计方法辅助建筑形体创作中的技术性能问题的既有研究对设计导则的关注较少，不能满足形体创作需求。本研究结合参数化模型、性能模拟等数字方法，以中庭为例、探讨了基于天然采光性能的圆形与方形中庭形体设计导则。研究结果表明，中庭的面积、贯穿层数、平面比例等形体参数对其天然采光性能具有显著影响，故在形体创作中建筑师应结合设计导则将天然采光性能纳入考虑；此外，本研究所采用的技术路线能够揭示建筑的技术性能与其形体特征的关系、是一种有效的设计导则获取方法。     

脉动索道混凝土基础钢结构载荷分析

钢结构是承受索道驱动装置的重要结构,也是重要的受力部件,因此有必要对索道钢结构在不同工况下的受力情况进行详细分析。以脉动索道混凝土基础钢结构为例,首先对钢结构进行简单介绍,然后对钢结构所受的载荷进行分析,并对钢结构所有受力工况进行分析、统计和比较,进而得到钢结构的危险工况,为脉动索道混凝土基础钢结构的强度分析和优化提供便利和重要依据。     

河南油田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驱及其他复配浓度的驱油效率。     

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

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

利用细胞膜演算描述带子句学习的DPLL算法

为了达到推理算法形式化描述的目的,本文采用细胞膜演算的形式化方法描述带子句学习的DPLL算法。分别定义了部分赋值、变元反转、回溯、回跳最大层、细胞膜溶解等反应规则,给出了DPLL的一般过程和冲突分析过程的描述。通过一个算例的求解过程验证了该形式化描述方法的可行性。依赖细胞膜演算可以更直观、简洁地展现推理算法的推理过程,同时展示了膜演算的描述能力和处理能力。     

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

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

动态不确定环境下多目标路径规划方法

提出一种在动态不确定环境下求解多目标问题时快速调整移动路径的方法.首先提出采用逆向多目标启发式搜索进行全局规划,求解问题的最优路径集合;然后提出动态多目标路径规划方法,先根据当前观测进行全局规划,在移动过程中探测到不一致的环境信息时,通过对先前搜索中部分信息的重用,在全局规划的基础上进行增量重规划,调整当前状态与目标状...