单组分聚氨酯密封胶贮存稳定性的影响因素

综述了单组分聚氨酯密封胶贮存稳定性的各种影响因素,讨论了预聚体的合成、催化剂和固化剂的选择及填料、脱水剂以及灌装工艺等对单组分密封胶贮存稳定性能的影响,提出了提高单组分聚氨酯密封胶贮存稳定性的措施.     

制冷系统中R407C替代R22技术研究综述

R4 0 7C作为R2 2最有力的替代工质之一 ,因其压力性能与R2 2最为接近而备受关注。国内外厂家和研究学者在R4 0 7C替代技术方面做了大量的工作。本文综合对比了采用R4 0 7C替代R2 2后制冷系统性能的变化 ,对R4 0 7C替代技术进行了综合分析 ,提出了R4 0 7C替代技术目前需要解决的一系列问题。     

小区集中供热热水锅炉运行改造的实践

一、概况介绍伊春市热力公司成立于1985年,有集中锅炉房5处,负责伊春市39.5万m~2建筑面积的供暖任务。几年来,我公司在加强科学化管理,提高供暖水平,降低供热能耗方面下了一些功夫,但由于设备落后及原设计的缺欠,加上多年来形成的不合理的供热制度,使得供热系统的能耗一直居高不下,并时有热用户告状,反映他们的室内温度太低。1992年我     

基于目标演绎距离的一阶逻辑子句集预处理方法

一阶逻辑定理证明是人工智能的核心基础,研究一阶逻辑自动定理证明器的相关理论和高效的算法实现具有重要的学术意义。当前一阶逻辑自动定理证明器首先通过子句集预处理约简子句集规模,然后通过演绎方法对定理进行判定。现有的应用于证明器中的子句集预处理方法普遍只从与目标子句项符号相关性角度出发,不能很好地从文字的互补对关系中体现子句间的演绎。为了在子句集预处理时从演绎的角度刻画子句间的关系,定义了目标演绎距离的概念并给出了计算方法,提出了一种基于目标演绎距离的一阶逻辑子句集预处理方法。首先对原始子句集进行包含冗余子句约简并应用纯文字删除规则,然后根据目标子句计算剩余子句集中的文字目标演绎距离、子句目标演绎距离,并最终通过设定子句演绎距离阈值来实现对子句集的进一步预处理。将该预处理方法应用于顶尖证明器Vampire,以2017年国际一阶逻辑自动定理证明器标准一阶逻辑问题组竞赛例为测试对象,在标准的300 s内,加入提出的子句集预处理方法的Vampire4.1相比原始的Vampire4.1多证明4个定理,能证明10个Vampire4.1未证明的定理,占其未证明定理总数的13.5%;在证明的定理中,提出的子句集预处理方法能对77.2%的子句集进行约简,最大子句集约简规模达到51.7%。实验结果表明,提出的一阶逻辑子句集预处理方法是一种有效的方法,能有效地约简一阶逻辑子句集的规模,提高一阶逻辑自动定理证明器的证明能力。     

史深100沙三段储层酸化增注工艺改进与应用

史深100沙三段储层属于典型的低孔低渗储层,注水井欠注问题突出。本文根据欠注原因分析,对酸化增注的配方和工艺进行了优化,提出了以“缓速土酸”为主体酸的酸液体系和“掏泡洗酸排”五步施工法为主要特点的施工工序,大大提高了酸化增注效果。     

高温热泵用双螺杆压缩机内压力比调节方式

高温工业热泵运行时热源温度波动较大,压缩机外压比变化导致内外压比不相等,压缩机功耗上升,热泵能效下降。本文提出了采用经济器补气过程调节双螺杆压缩机内压力比的调节方式。通过向压缩腔中补充制冷剂气体,调节压缩机运行过程中的内压缩最终压力,使其与排气管道中压力相同,消除欠压缩过程,使压缩机实际压缩过程接近多变过程,降低运行附加功耗,增大热泵能效比。实验得到冷凝器90℃出水工况下不同补气压力时热泵的性能参数,结果表明:在最优补气压力下,压缩机绝热效率与热泵制热能效比同时达到最大,可实现通过调节补气压力调节压缩机内压力比的目的。     

送风温度对车用跨临界CO2制冷系统影响的仿真研究

为研究送风温度对实际车用跨临界CO₂制冷系统综合性能的影响,借助GT-Suite仿真软件,建立了单级跨临界CO₂制冷系统的仿真模型。基于设计的三种工况,在风量设置上限的情况下对比了不同送风温度下系统的性能,提出了有效COP_eff的概念并对此进行研究。结果表明：在其他工况相同的条件下,提高送风温度可以提高系统的COP、有效COP_eff以及带风机功耗的有效COP_{eff, b};在低冷负荷工况下,考虑系统风机功耗后的综合性能COP_b存在最优值为3.819,即系统存在对应的最优送风温度,但当负荷增大至一定水平时,最优送风温度不再存在。     

单螺杆压缩机型线设计及加工技术研究

对一种新型的单螺杆机啮合副型线的设计方法和几何特性进行了探讨，分析了啮合副动态啮合过程，并对单螺杆型线加工技术做了分析和总结。     

双管板换热器设计制造中应注意的问题

介绍双管板换热器的基本结构,结合双管板换热器设计和制造方面的工作,对双管板换热器的制造和设计提出几点应注意和讨论的问题。