琼北福山凹陷大地电磁测深资料地质解释

根据琼北福山凹陷两条大地电磁测深试验剖面，可将凹陷自上而下分为５个电性层，并确定其对应的地质属性。利用大地电磁测深资料可以确定断层和局部构造。文中通过试验说明大地电磁测深法的正确性和可行性。     

低渗透率地层渗透率的确定方法

结合大庆油田外围低渗透率地层的地质特点,根椐渗流理论和岩心分析资料,分析了地层渗透率与孔隙度、组成地层的各种矿物含量以及泥质含量之间的关系,建立了不同矿物组合地层的渗透率计算方程。用本方法计算的和岩心分析的渗透率进行了对比,二者之间具有较好的一致性。     

Simultaneous translation of lectures and speeches

With increasing globalization, communication across language and cultural boundaries is becoming an essential requirement of doing business, delivering education, and providing public services. Due to the considerable cost of human translation services, only a small fraction of text documents and an even smaller percentage of spoken encounters, such as international meetings and conferences, are translated, with most resorting to the use of a common language (e.g. English) or not taking place at all. Technology may provide a potentially revolutionary way out if real-time, domain-independent, simultaneous speech translation can be realized. In this paper, we present a simultaneous speech translation system based on statistical recognition and translation technology. We discuss the technology, various system improvements and propose mechanisms for user-friendly delivery of the result. Over extensive component and end-to-end system evaluations and comparisons with human translation performance, we conclude that machines can already deliver comprehensible simultaneous translation output. Moreover, while machine performance is affected by recognition errors (and thus can be improved), human performance is limited by the cognitive challenge of performing the task in real time.     

用差分色谱法消除气测背景气及外源气干扰的可行性探讨

针对气测录井中外源气、二次循环气对油气显示层解释的干扰问题,该文提出了用差分色谱法来消除其影响,并就其概念和实现方法做了介绍;对差分色谱的测量条件及影响因素进行了分析,文章还列举了差分色谱的录井应用实例。在满足差分色谱测量条件的前提下,该方法有利于气测录井解释和油气水层评价,为气测录井半定量或定量解释提供一种方法和途径。     

一种提高地震速度解释精度的新方法

本以利用速度谱所伴生的叠加能量，采用二次曲线插值方法，寻找最大的叠加能量有所对应时间，然后利用叠加速度进行倾角校正，相位校正和最大炮检距校正，获取比较精确的层速度参数。     

SUN工作站生产测井解释系统（PLASYS）

吕永军,胡亚兵,毕卓新.SUN 工作站生产测井解释系统(PLASYS).测井技术,1993;17(2):114～120Sun 工作站生产测井解释系统,是以 SUN GKS 为基本软环境支持,在 SUN 工作站上开发完成的一套生产测井资料解释与处理系统。本文详细叙述了该系统的构成、解释原理、输入输出等,并通过实例说明了该系统的解释结果。     

The interprocedural analysis and automatic parallelization of Scheme programs

Lisp and its descendants are among the most important and widely used of programming languages. At the same time, parallelism in the architecture of computer systems is becoming commonplace. There is a pressing need to extend the technology of automatic parallelization that has become available to Fortran programmers of parallel machines, to the realm of Lisp programs and symbolic computing. In this paper we present a comprehensive approach to the compilation of Scheme programs for shared-memory multiprocessors. Our strategy has two principal components:interprocedural analysis andprogram restructuring. We introduceprocedure strings andstack configurations as a framework in which to reason about interprocedural side-effects and object lifetimes, and develop a system of interprocedural analysis, using abstract interpretation, that is used in the dependence analysis and memory management of Scheme programs. We introduce the transformations ofexit-loop translation andrecursion splitting to treat the control structures of iteration and recursion that arise commonly in Scheme programs. We propose an alternative representation for s-expressions that facilitates the parallel creation and access of lists. We have implemented these ideas in a parallelizing Scheme compiler and run-time system, and we complement the theory of our work with snapshots of programs during the restructuring process, and some preliminary performance results of the execution of object codes produced by the compiler.This work was supported in part by the National Science Foundation under Grant No. NSF MIP-8410110, the U.S. Department of Energy under Grant No. DE-FG02-85ER25001, the Office of Naval Research under Grant No. ONR N00014-88-K-0686, the U.S. Air Force Office of Scientific Research under Grant No. AFOSR-F49620-86-C-0136, and by a donation from the IBM Corportation.     

涪陵页岩气录井解释评价关键技术

以涪陵页岩气田焦石坝区块首口参数井JY1井页岩岩心实验数据为基础,借鉴传统致密砂岩、碳酸盐岩油气层录井评价方法,形成适用于页岩气储集层的录井解释评价关键技术:钻时比值识别储层、钻时比值与烃对比系数交会图现场快速解释方法;页岩气储层孔隙度、渗透率、地层压力、地层破裂压力、游离气、吸附气及总含气量、脆性矿物含量等关键参数的计算模型;多参数定量类比的完钻综合解释方法。研究成果在涪陵页岩气田推广应用40多口井,效果良好。     

页岩气储层常规测井解释模型与应用实例

为深化建南构造侏罗系东岳庙段陆相页岩气储层认识,对东岳庙段岩心与测井资料进行细致研究,建立东岳庙段泥页岩岩性、储层识别、储层矿物含量、孔隙度、渗透率、饱和度和含气量解释计算模型,建立一套较完善的页岩气储层综合解释评价方法。对2口井的东岳庙段页岩气储层进行精细解释,提出东岳庙段页岩气层解释参考标准。适用建南地区东岳庙段页岩气储层测井评价,可以扩展用于整个建南地区及中扬子地区陆相页岩气储层评价。     

‘<Emphasis Type="Italic">if p then q</Emphasis>’ . . . and all that: Logical Elements in Reasoning and Discourse

In this paper we explore differences in use of the so-called ‘logical’ elements of language such as quantifiers and conditionals, and use this to explain differences in performance in reasoning tasks across subject groups with different educational backgrounds. It is argued that quantified sentences are difficult natural bases for reasoning, and hence more prone to elicit variation in reasoning behaviour, because they are chiefly used with a pre-determined domain in everyday speech. By contrast, it is argued that conditional sentences form natural premises because of the function they serve in everyday speech. Implications of this for the role of logic in modelling human reasoning behaviour are briefly considered.