Running programs backwards: The logical inversion of imperative computation

Imperative programs can be inverted directly from their forward-directed program code with the use of logical inference. The relational semantics of imperative computations treats programs as logical relations over the observable state of the environment, which is taken to be the state of the variables in memory. Program relations denote both forward and backward computations, and the direction of the computation depends upon the instantiation pattern of arguments in the relation. This view of inversion has practical applications when the relational semantics is treated as a logic program. Depending on the logic programming inference scheme used, execution of this relational program can compute the inverse of the imperative program. A number of nontrivial imperative computations can be inverted with minimal logic programming tools.     

结构性黄土湿陷性指标室内测定方法的探讨

对黄土湿陷性指标的室内测定，国内外都借助标准压密仪，采用单线法或双线法进行。由于多种原因，我国各部委编制的试验规程，对采用何种方法，意见尚未统一。本文首先从人工制备结构性黄土的试验成果出发，讨论了黄土的湿陷线问题，认为非饱和结构性黄土存在湿陷线，且该线与饱和结构性黄土的压密曲线重合。从而说明在此简单应力路径下，单线法和双线法是等价的。接着，从日本大阪海成粘土不同室内压密方法得出的试验结果出发，就天然结构黄土，探讨了常规标准压密试验方法的不足，提议采用等应变压密双线法，来测定结构性黄土的湿陷性指标，从而有利于实际工程应用。     

用试井方法确定注水后地层渗透率的变化

大港油田已进入开发中后期，高含水油田占73％，开发初期的一些参数已不适合现在开发的需要。研究出一套用试井方法确定注水以后地层渗透率变化的方法，对大港油田的增储上产具有重要意义。     

致密低渗透气田的试井特征分析--以新场气田为例

经对新场气田的试井资料处理,建立了不同类型储层典型井试井解释范例,得出低渗透试井判别式和判别图版,对该区具有低渗透特征的试井曲线进行了讨论。根据试井结果,可识别气藏(气层)储集类型,确定产层物性参数,为气藏动态分析提供基础资料。为开发致密低渗砂岩气藏、保持稳产高产奠定基础。     

浅谈水泥基渗透结晶型防水材料标准及性能指标

针对GB18445-2001《水泥基渗透结晶型防水材料》标准在使用过程中发现的一些问题，对标准中的部分性能指标的确定及试验方法提出修改意见。     

高频超声波在氧化皮中传播性能标定

对高频超声小在12Cr2MoWVTiB(G102钢）和12Cr1MoV钢钢管运行所产生氧化皮中的传播速度进行了定量标定，并对标定误差进行了统计计算，结果表明，12Cr1MoV钢氧化皮测厚标定点最大偶然误差值为0．050mm,G102钢为0．030mm，并指明了误差来源。     

硅尖阵列-敏感薄膜复合型阴极真空微电子压力传感器特性的测试

封装、测试了硅尖阵列-敏感薄膜复合型阴极的真空微电子压力传感器，在计算机模拟计算的基础上，对封装好的真空微电子压力传感器进行了实物测试，得出实物测试场发射电流曲线（开启电压低，发射电流曲线与计算机模拟曲线一样，电压45V时发射电流可达到86mA，平均每个硅尖为21μA）、压力特性曲线（呈线性变化，与计算机模拟计算的曲线相近）及灵敏度数据。电压1.5V即可测试并且其压力特性成线性变化，灵敏度为0.3μA/kPa。     

工业锅炉热效率测试方法与实践

本从测试原理、测试仪器及测试计算等方面系统介绍了利用ENERAC942－XP型燃烧效率计算机测试工业锅炉效率的一种方法。     

河口探区核销探井再评价

通过对河口探区内370口已经核销的老探井进行重新评价,认为受地质认识和采油工艺局限性的影响有21口已经核销的老探井初次试油不彻底。随着地质认识的不断完善和采油工艺的不断改进,对其中的17口井进行了重新试油均获得成功,产油量由8.94t/d增加到73.9t/d,新增探明石油地质储量6063×104t。实施核销探井再评价,不仅深化了地质认识,盘活了闲置资产,缩短了增储周期,降低了勘探成本,而且通过出油井点的突破,找到了一条高勘探成熟地区油气勘探的路子。