形式语言的代数模型研究

用统一的基础理论定义形式语言的基本概念是实现软件自动化的重要基石,试图用递归论的术语定义串、序列函词、串等价等程序语言中的基本概念,证明了任何上下文无关语言的串实例都与一个半格系统相对应,对自动化建立语言的代数语义模型做出了有益的尝试.     

再论大斜度定向井的井眼净化问题

从天62-4井井斜角41°～43°井段井眼净化不好引发起钻遇卡、憋泵及消除这一井下复杂情况的实例出发,引申论述定向井及水平井的大井斜角井段井眼不清洁的危害、岩屑床形成的原因及其影响因素,介绍清除岩屑床、提高井眼净化程度的途径,并警示井斜角30°～60°的斜井段是井眼净化危险区;岩屑床形成容易清除较难,预防形成岩屑床需从多方设法,清除岩屑床则需积极主动对待。建议重新定义大斜度定向井,推荐大井斜角井段井眼达净化程度的指标,推荐“融钻进与清除岩屑床为一体”的作业工艺。     

屏蔽暂堵技术设计实施的科学化规范化探讨

在分析确认金湖－来安凹陷一些井实施改性钻井液屏蔽暂堵保护油气储层设计与施工的不科学、不规范而造成储层严重伤害的基础上,指出设计和实施中存在的认识观念的９个误区。基于该区域油气储层岩石孔喉组构特征,结合该技术的原理,提出科学化、规范化的设计与实施意见。     

首次使用WA—1型地锚出现的问题及改进意见

首次使用ＷＡ—１型地锚出现的问题及改进意见ＷＡ—１型地锚（以下简称“地锚”）是集引鞋、浮箍、锚定地层装置于一体的新型工具（图１）。安徽石油勘探开发公司在潘１３井完井作业中首次使用，显示出该“地锚”锚定性能可靠。较双凝水泥或预埋地锚实施预应力完井，有独...