轧后穿水冷却工艺对棒材组织性能的影响

针对轧机产量提高后冷床冷却能力不足的问题 ,研制开发了棒材轧后穿水冷却技术。通过对小规格 2 0MnSiV热轧带肋钢筋进行轧后穿水冷却 ,钢材上冷床温度降低了 90～ 110℃ ,提高了产品质量 ,改善了各项力学性能 ,抗拉强度平均提高了 3 5～ 40MPa ,钢材性能合格率由 97.5 %提高到了 99.6% ,解决了冷床冷却能力不足、制约生产的瓶颈问题。     

轻便、操作方便自适应控制的MIG焊机——MinarcMig^TM

Kemppi公司的新型MinarcMig^TM自适应逆变器是重量很轻、功能强大、使用方便的焊机。     

变频器的常见故障分析

本文阐述了变频器的常见故障，并针对常见故障提出了解决措施。     

浅谈变频器供电条件下电动机的温升与对策

随着变频调速技术的蓬勃发展，变频器供电电机的温升问题已引起人们的广泛关注。本文首先讨论了电动机的温升限度；然后结合感应电机温升实验的相关数据分析了变频器供电对电动机温升的影响及其原因；最后从降低发热量和提高散热能力两方面提出缓解电机温升的措施，并指出了实际应用中应注意的问题。     

后浇带质量控制的措施

后浇带起着超长建筑的温度伸缩、高层建筑高层部分与裙房间沉降缝的作用,已普遍采用,但有些工程由于施工不当,设了后浇带起不到应有作用,本文就施工中如何采取有效措施,对后浇带的质量进行控制,作了探讨,以期能真正发挥后浇带的作用。     

Thermal Radiative Properties of Xonotlite Insulation Material

Introduction Xonotlite-type calcium silicate (6CaO?6SiO2?H2O) is synthesized porous insulation material by hydrothermal processing with quartz powder and limestone as the raw material (with CaO/ SiO2≈1:1). Compared with fire- retardant fibre, xonotlite has more excellent insulating performance, such as low thermal conductivity, environment friendly, high intension, and wide applying temperature range, which has been emphasized in recent years by many scholars and widely used in many indu…     

陶瓷材料高速高效磨削温度研究的进展

介绍了陶瓷材料磨削温度理论的研究现状；阐述了几种热源模型，总结了磨削参数与表面磨削温度的关系，分析了几种磨削热分配系数模型，讨论了到目前为止的几种温度测量及其后处理技术，展望了磨削温度研究的发展趋势。     

塔巴庙区块气层录井参数分析研究

塔巴庙区块气藏属于低压、低渗气藏,储集层物性差异大、含气级别高,但含气非均质性强,录井解释评价困难。针对这一问题,开展了综合判断储集层物性和含气性方面的研究,分别探讨了钻时与全烃、钻井液性能与全烃、钻井液粘度与全烃、气测显示与测井参数和烃组分与气显示之间的关系,分析了其相关性及其在塔巴庙区块气层解释评价中的意义及作用。通过相关性研究,不但摸索出定性解释评价气层的方法,同时为今后深入研究录井相关参数关系,探索其内在规律,为实现准确解释评价储集层奠定了基础。     

油藏流体变化的直接成像：一种新的生产管理工具

如果能够将油藏的流体运移和变化情况制成图件的话,对于油田的优化生产,特别是对提高采收率具有十分重要的意义.然而,常规的监测技术,例如测井、压力分析或者地面地震等技术都不能详细地揭示油藏内部的变化情况.在很多情况下,采收率的效果和主要的生产过程都要通过井的生产数据来推断.流体管线、地层间隔等特殊问题仍没有得到解决.最新开发的井间成像技术可以产生高分辨率的二维和三维油藏变化图像,这一技术已用于油田提高采收率过程中.对实际的油藏结构及流体性质的进一步了解有助于优化生产.文章介绍了循环注汽操作技术在加利福尼亚的应用情况.     

A criterion for atomicity revisited

Concurrent and reactive programs are specified by their behaviours in the presence of a nondeterministic environment. In a natural way, this gives a specification (ARW) of an atomic variable in the style of Abadi and Lamport. Several implementations of atomic variables by lower level primitives are known. A few years ago, we formulated a criterion to prove the correctness of such implementations. The proof of correctness of the criterion itself was based on Lynch’s definition of atomicity by serialization points. Here, this criterion is reformulated as a specification HRW in the formal sense. Simulations from HRW to ARW and vice versa are constructed. These now serve as a constructive proof of correctness of the criterion. Eternity variables are used in the simulation from HRW to ARW. We propose so-called gliding simulations to deal with the problems that appear when occasionally the concrete implementation needs fewer steps than the abstract specification.