GTL 工艺技术评述

介绍了1990年以来GTL工艺技术开发的进展情况，其中以Sasol-SSPD和Syntruleum两种工艺最受关注，从现有数据分析。Syntruleum虽采用含氮合成气生产工艺，但并未使装置的单位投资明显改善，因此，近10年来GTL工艺技术开发虽取得了长足的进步，但其装置投资仍偏高，从而又严重影响了产品成本，按南非Sasol公司的经验。开展资源综合利用是降低液体燃料生产成本的有效途径，目前国外GTL工艺技术的开发仍很活跃，我国也已形成大量实验室成果。建议尽快组织力量完成工业性试验。     

转炉煤气风机叶轮故障诊断及处理措施

对转炉煤气风机叶轮故障进行诊断,分析了故障产生的原因,提出了处理措施,延长了设备使用寿命。     

Formation of geothermal resources at lithospheric subduction zones

This paper examines in a very broad fashion the formation of geothermal resources at lithospheric subduction zones. Regions of highly silicic calc-alkaline Quaternary volcanoes and/or plutons have been identified as prime candidates for having high-temperature hydrothermal systems. Regions of large tholeiitic Quaternary volcanoes have been identified as prime candidates for having large moderate-temperature hydrothermal systems. In addition, active magmatic, phreatomagnetic, and/or tectonic fracturing must be occurring in order to keep any moderate to high temperature hydrothermal system from chemically sealing. Connate, meteoric and/or oceanic water sources must also be present. Owing to tectonic and magmatic processes, volcanic arcs of subduction zones represent regions of the crust that have anomalously high mechanical and heat energy. Such arc regions are expected to contain significantly more moderate to high temperature hydrothermal systems than what is presently known. Many of these arcs are briefly discussed with respect to their potential for containing such resources.     

Simulation of Natural Depletion and Miscible Gas Injection Effects on Asphaltene Stability in Petroleum Reservoir Fluids

Natural depletion of petroleum reservoirs as well as gas injection for enhance oil recovery, are unavoidable processes in the oil industry. Foremost, prediction of the problems due to these two processes is very necessary and important. So many field and experimental experiences have shown that heavy organic depositions, especially asphaltene deposition, are principal results during these processes. Results of laboratory simulation of asphaltene deposition during the natural depletion of petroleum reservoirs and also during gas injection and enhanced oil recovery (EOR) processes are reported here. This is achieved through the design of a new experimental setup for the investigation of pressure and composition effects on asphaltene deposition in petroleum fluids at high pressure and high temperature conditions. In this work, asphaltene deposition during decreasing pressure, from pressures greater than reservoir pressure to pressures below the bubble point pressure (natural depletion) and also asphaltene deposition during natural gas injection in reservoir conditions, are studied for three samples—one recombined sample and two bottomhole samples. All of the obtained results from this work conform to theoretical and other experimental works.     

The importance of information localization in scene gist recognition.

People can recognize the meaning or gist of a scene from a single glance, and a few recent studies have begun to examine the sorts of information that contribute to scene gist recognition. The authors of the present study used visual masking coupled with image manipulations (randomizing phase while maintaining the Fourier amplitude spectrum; random image structure evolution [RISE]; J. Sadr & P. Sinha, 2004) to explore whether and when unlocalized Fourier amplitude information contributes to gist perception. In 4 experiments, the authors found that differences between scene categories in the Fourier amplitude spectrum are insufficient for gist recognition or gist masking. Whereas the global 1/f spatial frequency amplitude spectra of scenes plays a role in gist masking, local phase information is necessary for gist recognition and for the strongest gist masking. Moreover, the ability to recognize the gist of a target image was influenced by mask recognizability, suggesting that conceptual masking occurs even at the earliest stages of scene processing. (PsycINFO Database Record (c) 2010 APA, all rights reserved)     

差齿原理在推床同步调整技术中的应用

文章应用差齿原理在冶金设备初轧机推拉床实施转角性微调技术，以达到初轧机机前与机后推拉床同步调整效果．实践证明，效果显著，适用面广，且操作简单、方便经济．     

降低锅炉飞灰可燃物的途径

介绍在发电厂锅炉运行过程中降低燃烧低挥发分高热值燃料飞灰含碳量的途径     

某抽水蓄能电站地下厂房动力特性研究

抽水蓄能电站具有高水头、大容量、快转速的特点导致振动问题特别突出,强烈的振动会导致机组以及厂房薄弱结构部位发生破坏,影响电站的安全稳定运行。结合某在建抽水蓄能电站,分析了可能与厂房结构发生共振的振源,研究了边界条件、材料特性对结构自振特性的影响,结合粘弹性人工边界条件,分析了在机组动荷载作用下厂房各部位的动力响应规律。     

Mechanical procedure for proof construction via closed terms in typed λ calculus

In this paper is presented an algorithm for constructing natural deduction proofs in the propositional intuitionistic and classical logics according to the analogy relating intuitionistic propositional formulas and natural deduction proofs, respectively, to types and terms of simple type theory. Proofs are constructed as closed terms in the simple typed calculus. The soundness and completeness of this method are proved.