Resolution calculus for the first order linear logic

This paper presents a formulation and completeness proof of the resolution-type calculi for the first order fragment of Girard's linear logic by a general method which provides the general scheme of transforming a cutfree Gentzen-type system into a resolution type system, preserving the structure of derivations. This is a direct extension of the method introduced by Maslov for classical predicate logic. Ideas of the author and Zamov are used to avoid skolomization. Completeness of strategies is first established for the Gentzen-type system, and then transferred to resolution. The propositional resolution system was implemented by T. Tammet.     

分析卤化银微晶的EDS方法探讨

本文探讨了用Ｘ射线能谱仪（ＥＤＳ）分析卤化银微晶的空间分辨率和吸收修正问题。对ＳＥＭ－ＥＤＳ和ＳＴＥＭ－ＥＤＳ两种不同分析模式的空间分辨率进行计算，表明ＳＴＥＭ－ＥＤＳ是研究单个卤化银微晶内碘的含量及分布的有效方法。并对定量分析数据和吸收修正参数进行了讨论，结果证明微晶不同区域厚度的差异，对碘含量的定量测定的影响可以忽略。     

塔里木盆地塔中沙漠区高分辨率地震勘探效果

塔中沙漠区地表被北东—南西向条带状沙层所覆盖,地形起伏剧烈,松散沙层厚度变化巨大,给地震资料采集、处理、解释带来了很大的困难。通过联合攻关,从地震波激发能量下传和反射波接收的研究入手,实现了全部潜水面以下激发,因地制宜、避高就低埋置检波器优化观测系统;针对该区石炭系和志留系低幅度构造、薄储层圈闭难以落实,奥陶系内幕地震资料反射波能量弱、信噪比低、叠加成像困难等问题,开展了沙丘对地震波吸收衰减分析和补偿技术、地表一致性处理技术、多域迭代静校正技术、精细速度场模型确立和偏移成像等配套技术的研究开发与应用。从而极大地改善了塔中沙漠区地震资料的品质,使中深层的石炭系、志留系、奥陶系对应的地震剖面主频从18～20Hz提高到36～40Hz;形成了塔中沙漠区油气勘探技术系列,精细刻画了塔中Ⅰ号带,锁定了油气勘探目标,推动了台盆区油气勘探再掀新高潮。     

鄂尔多斯西缘前陆盆地巨厚黄土地区地震采集技术

鄂尔多斯西缘前陆盆地表层地质地貌极其复杂，有巨厚黄土区、黄土-沙漠区及山前砾石-黄土区，独特的黄土地貌使得地震采集面临着诸多技术难题。根据以往巨厚黄土地区地震采集经验，采用多种方法系统地开展黄土表层结构精细调查，深入研究黄土地球物理特征及激发因素与表层黄土结构之间的关系，优选激发井位和井深，确保了激发效果；采用小道距、三线小线距、高密度空间采样技术，获得了高信噪比、高分辨率地震资料。研究表明，巨厚黄土地区地震采集时应优选激发井位和岩性，合理选择激发井深；坚持多深井组合激发、单井药量不宜过大总药量要大两项基本原则；采用高密度采样技术，提高采集资料的覆盖次数和信噪比。图10表1参15     

On the improvement of detection characteristics of trans-stilbene crystals by improving crystal perfection

Organic molecular scintillating crystals are noted for their good timing and particle discrimination process. Trans-stilbene is one such candidate noted for its good particle detection characteristics for the past five decades. Progressive strengthening of detection characteristics of trans-stilbene has been attempted by improving crystal perfection. A series of timing resolution studies have been carried out for the Bridgman grown trans-stilbene crystals under different experimental conditions. The results were compared with the previously reported values. Pulse shape discrimination process has been carried out for ²⁴¹Am and ²⁵²Cf sources and good discrimination has been obtained for gamma-alpha and gamma-neutron sources from the grown organic phosphor crystal. Electronic Publication     

高分辨率地震资料层位标定

高分辨率三维地震资料解释过程中层位标定是关键,标定过程中有误差,会相位源移,影响储层构造与构造解释的准确性。通过对泌阳凹陷赵凹地区高分辨三维地震资料层位标定的分析与研究,阐述了层位标定的方法,分析了标定效果,为构造断层解释及储层横向预测打下基础。     

Facile optical resolution of amino acid esters via hydrolysis by an industrial enzyme in organic solvents

Racemic amino acid esters were optically resolved via hydrolysis in organic solvents by the catalysis of an industrial alkaline protease, “Alcalase”. The products which were composed mainly of L-amino acids were insoluble and easily separated by filtration. The activity of the enzyme and enantiomeric excess of the products were significantly dependent on the nature of solvent and the water content in the reaction media. Generally, high values of enantiomeric excess were obtained at low water contents. Many natural and unnatural amino acids were resolved by this method.     

原油轻烃反吹色谱分析

利用程序升温进样(PTV)和切割反吹色谱分析技术对原油C₁₅及以前的轻烃组分分析方法进行了研究。通过对压力(P₁,P₂)、变压时间和变压速率等进行优化选择,在切除中—重质烃类物质、保护分析柱的同时实现了轻烃组分的快速分离分析,几个难分离物质对的分离度都优于GB/T18430.1—2001和美国1998ASTM:D5134—98的要求,分析结果稳定可靠,轻烃指纹参数和正常色谱分析结果有很好的可比性。应用此方法对准噶尔盆地部分原油样品进行了分析,轻烃地球化学参数特征清晰地反映了油样的同源性和运移方向。      

叠后高分辨率资料处理方法及应用效果

高分辨率勘探是一项系统工程，它由多个环节组成。甚至叠后高发辨率资料处理也是由多个环节组成。本文介绍的叠后高分辨率资料处理流程主要包括Ｌｐ模自适应预测统计反褶积，高频成分补偿，振幅补偿及有色成分校正。文中还就处理流程中各种方法的合理组合，各种方法自身参数的合理选取作了试验和探讨，最后给出了处理实例。     

高频等参数感应(ВИКИЗ)测井技术应用

介绍了高频等参数感应的基本原理。以胜利油田比较典型的 3口井为例 ,详细分析了高频感应资料在划分薄夹层、确定储层流体饱和类型、评价储层电阻率空间分布等方面的应用。研究结果表明 ,高频感应具有极高的纵向分辨率和较好的径向探测特性 ,能够准确计算地层真电阻率、侵入带电阻率及侵入半径 ,通过与常规感应及薄层测井资料的对比 ,论证了高频等参数感应在测井技术应用上的优越性