燕山石化巨型塔器整体液压连续平移技术

北京燕山石化两巨型塔器在国内首次使用整体液压连续平移技术安装成功。该项技术可缩短工期,降低费用,提高安装的平稳性。     

Scale Transition in Steel-Concrete Interaction. II:?Applications

The proposed mode of consideration of the steel-concrete interaction (Part I) is applied to real-life engineering structures. Two structures recently investigated numerically at Vienna University of Technology are considered: (1) the reinforced concrete (RC) cooling tower III Ptolema?s SES (Greece) and (2) a part of the shotcrete tunnel lining installed at the Lainzer tunnel (Austria). In both examples, the uniaxial fracture criterion used in Part I is replaced by the maximum stress (Rankine) criterion. Together with the Drucker-Prager criterion, which is used for the simulation of compressive failure of concrete/shotcrete, it defines the space of admissible stress states in the framework of multisurface plasticity. For the simulation of early-age fracture of shotcrete, consideration of the steel-concrete interaction presented in Part I of this paper is extended towards young shotcrete. Similar to the benchmark problem investigated in Part I of this paper, several analyses with different degrees of consideration of the steel-concrete interaction are performed. The obtained results give insight into the influence of the steel-concrete interaction on the load-carrying behavior of the investigated structures.     

优化甲醇工艺操作 提高产品质量

本文介绍了甲醇三塔精馏的产品质量控制及其影响因素 ,并提出了常压塔负压的处理方法。     

索塔式风力发电机塔架优化设计

提出一种索塔式新型风力发电塔架,确定了纤绳锚固点高度、初张力及纤绳与地面夹角等参数;以实际工程为背景,根据ANSYS一阶优化方法,编制了索塔式风电塔架和单管塔的APDL优化程序,对两种塔架分别进行截面优化和结构优化.对比结果表明,索塔式塔架具有比单管塔基础工程量小﹑运输方便、施工难度小等优点.就索塔式塔架而言,增大纤绳初张力可有效减小塔底弯矩,在一定范围内增大纤绳初张力可有效提高塔架稳定性.     

表面扩渗Al,Zn处理对ZM5镁合金性能的影响

通过铝锌(Al,Zn)混合粉对ZM5镁合金进行了表面固态扩渗铝锌(Al,Zn)处理,在衬底形成了Mg-Al-Zn合金层.研究结果表明:Mg-Al-Zn合金层主要由Mg-Al-Zn固溶体和Mg-Al-Zn金属间化合物(Al6Mg10Zn,Al5MgllZn4)组成,该合金层不仅使ZM5镁合金表面合金层显微硬度显著提高,而且在盐水浸泡腐蚀过程中,在衬底与腐蚀介质之间起到了良好的屏障作用,从而赋予试样良好的腐蚀性能.     

稀土Y和Nd对ZM5合金组织和性能的影响

以ZM5镁合金为基体材料，应用铸造方法制备了4种不同稀土含量和比例的稀土镁合金。考察分析了稀土Y和Nd对ZM5合金组织结构、力学性能和腐蚀性能的影响。结果表明，铸态合金中出现了新相Ti2Mg3Al3，它对于减少晶界处第二相的析出有积极作用。ZM5合金的组织结构、力学性能和腐蚀性能随稀土Y和Nd的比例不同而有比较大的差异，在所有考察的ZM5合金中，添加2％Y和1％Nd稀土的合金综合效果最好。     

Laser Cladding of an Al-11.7Wt%Si Alloy on ZM5 Magnesium Alloy to Enhance the Corrosion Resistance

MG and its alloys are widely used in aerospace andautomotive in industry.Its poor corrosion resistancerestricts application of Mg alloy.Laser cladding andlaser surface melting are advantageous processes forimprovement of the corrosion resistance of themagnesium alloy[1-2].In the present study,lasercladding of an Al-11.7Wt%Si alloy with two differentthickness on ZM5die cast alloy was performed withCC>2laser with different powder thickness.1.Experimental ProcedureDie cast plates of ZM5Mg a…     

富Y重稀土对ZM5合金组织和性能影响的研究

以ZM5镁合金为基体材料，以富Y重稀土为添加原料，应用铸造方法制备了稀土镁合金。利用光学金相显微镜（OM）、X衍射分析、拉伸试验和腐蚀试验等方法，考察分析了稀土Y对ZM5合金铸造组织结构、力学性能和腐蚀性能的影响。结果表明，铸态合金中出现了新相Al3La、MgY，它对于减少晶界处第2相的析出、晶粒的细化以及力学性能的提高起着积极作用。同时，稀土的加入明显地改善了合金的腐蚀性能。     

酒精五塔蒸馏工艺过程模拟

针对典型的酒精蒸馏五塔工艺流程及蒸馏过程各物流的组成、压力、温度等工艺条件,分析模拟计算的热力学方法和热力学数据,结果表明,本文所选用的热力学方法SRKM、IDEAL、NRTL及物流组分交互作用参数均适用于酒精蒸馏五塔工艺流程,各工艺物流的模拟数据与设计数据最大误差均小于4.5%,模拟值与设计值比较吻合,不超出设计误差(10%)的限度.     

A semantics of introspection in a reflective prototype-based language

In Malenfant et al. [19], we have described a reflective model for a prototype-based language based on thelookup o apply reflective introspection protocol. In this paper, we augment our previous protocol by converting it to handle continuations reified as first-class objects. First-class continuations provide much more control over the current computation; during the introspection phase fired by message sending, they make it possible not only to change the behavior of the program for that message but also for the entire future computation. In this paper, we provide this introspection protocol with a formal semantics. This result is obtained by exhibiting a mapping from program configurations to priority rewrite systems (PRS) as well as a mapping from message expressions to ground first-order terms used to query the PRS. Other advantages of this approach are: to ensure the termination of the introspection using the smallest set of formally justified conditions and to provide a clear declarative account of this reflective protocol. The PRS also appears as a meta-level to the base language, independent of the implementation, but from which we derive fundamental clues to obtain an efficient language processor. By our new model, we finally highlight the link between reflection in object-oriented languages and the one originally proposed by 3-Lisp [24], although object-orientation provides reusability to reflection, making it easier to use.