GTL 工艺技术评述

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

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.     

鄂尔多斯盆地南部加里东期岩溶古地貌与天然气成藏条件分析

认识鄂尔多斯盆地南部地区岩溶古地貌和成藏条件是加快该地区勘探步伐面临的重要问题。鄂尔多斯盆地南部加里东期风化壳储集层的分布主要受岩溶古地貌、风化壳层位及沉积相控制。马五段为云坪相带，溶蚀孔洞较为发育；平凉组为深水斜坡相带，多形成断裂、裂缝及洞穴储集空间。中央古隆起西侧古地貌为岩溶斜坡，地表岩溶作用较弱，但断裂发育，洞穴系统较发育；中央古隆起南侧古地貌为岩溶台地，断裂、洞穴系统和风化裂隙相对较为发育；中央古隆起区古地貌为岩溶台地，地层较老，岩性致密，风化壳顶部垂直裂隙带发育，岩溶孔洞不发育；中央古隆起东侧古地貌多属于岩溶阶地或鞍地，风化壳多位于云坪及含膏云坪相带，溶蚀孔洞较为发育。岩溶古地貌天然气成藏主控因素主要为生烃中心、岩溶古地貌、风化壳的层位和沉积相带，有利区带主要在耀县、旬邑、淳化平凉组生烃中心和中央古隆起东侧马五段有利沉积相带。图9表1参13     

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)     

A sequential quadratic programming-based algorithm for optimization of gas networks

British Gas uses a complex, heavily looped network of pipes and controllable units (compressors and regulators) to transmit gas from coastal supply terminals to regional demand points. Computer algorithms are required for efficient management of the system. This paper describes an algorithm for optimal control over periods of up to a day. The problem is large scale and highly nonlinear in both objective function and constraints. The method is based on Sequential Quadratic Programming and takes account of the structure of the pipeflow equations by means of a reduced gradient technique which eliminates most of the variables from the quadratic subproblems. The latter involve only simple bound constraints, which are handled efficiently by a conjugate gradient-active set algorithm. Trust region techniques permit use of the exact Hessian, preserving sparsity. More general constraints are handled at an outer level by a truncated augmented Lagrangian method. Results are included for some realistic problems. The algorithm is generally applicable to problems with a control structure.     

制备低硫可膨胀石墨的研究

研究了以过二硫酸铵作氧化剂低硫可膨胀石墨的制备，找到了在较低温度下，制备低硫可膨胀石墨的最佳条件。即过二硫酸铵和石墨的重量比为１５％；反应温度为５５℃；反应时间为４０ｍｉｎ；硫酸浓度为９８％；硫酸与石墨的重量比为４∶１，草酸和硝酸（浓度为６５％）的重量比为７．５％时，所制得的可膨胀石墨含硫量为０．６５％，膨胀容积为２００ｍＬ／ｇ可膨胀石墨。并且，其终端产品柔性石墨具有优良的力学性能和抗氧化性能。     

真空阴极弧离子镀类金刚石碳（DLC）膜的碳弧稳定性研究

选用氩气、氩气加氢气、氩气加乙炔等气体作为介质，石墨作为靶材进行真空阴极弧离子镀来制备类金刚石碳膜。石墨电弧有其独特的电弧特性曲线，不同气体介质对碳弧特性的影响不同，磁场的大小对电弧的稳定性有很大作用，碳弧下基片偏流随电弧电压的增加而减小，试验得到表面光滑的类金刚石碳（DLC）膜，对膜的表面进行了SEM分析。     

基于Transformer实现文本导向的图像编辑

为方便非专业用户修图,提出一种基于Transformer的图像编辑模型TMGAN,使用户可通过自然语言描述自动修改图像属性。TMGAN整体框架采用生成对抗网络,生成器采用Transformer编码器结构提取全局上下文信息,解决生成图像不够真实的问题;判别器包含基于Transformer的多尺度判别器和词级判别器两部分,给生成器细粒度的反馈,生成符合文本描述的目标图像且保留原始图像中与文本描述无关的内容。实验表明,此模型在CUB Bird数据集上,IS（inception score）、FID（Fréchet inception distance）以及MP（manipulation precision）度量指标分别达到了9.07、8.64和0.081。提出的TMGAN模型对比现有模型效果更好,生成图像既满足了给定文本的属性要求又具有高语义性。     

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

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

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.