排序方式: 共有102条查询结果,搜索用时 0 毫秒
1.
2.
气体钻井在钻井提速、缩短建井周期和保护储层方面具有明显的优势,但钻井过程中也容易发生一些复杂情况,如若气体钻井导致地层出水,会引起携岩规律复杂化、井壁失稳等状况,影响钻井速度、质量及成本。通过对气体在环空中携水机理的研究,建立环空液滴大小模型,并对影响因素进行分析。同时提出环空气体携水量计算模型,利用MATHCAD编程计算出的理论数据与环空气体携水模拟实验数据基本吻合。 相似文献
3.
4.
Lustre是一种广泛应用于工业界核心安全级控制系统的同步数据流语言,采用形式化验证的方法实现Lustre到C的编译器可以有效地提高编译器的可信度.基于这种方法,开展了从Lustre*(一种类Lustre语言)到C子集Clight的可信编译器的研究.由于Lustre*与Clight之间巨大的语言差异,整个编译过程划分为多个层次,每个层次完成特定的翻译工作.阐述了其中高阶运算消去的翻译算法,翻译过程采用辅助定理证明工具Coq实现,并进行严格的正确性证明. 相似文献
5.
6.
7.
公路隧道施工是一项系统性的工程,为了提高公路隧道建设项目的施工质量,结合实际,在分析公路隧道施工特点的同时,总结了公路隧道施工过程中存在的难点问题,同时对公路隧道施工技术进行研究,另外,提出相关的质量控制措施,通过分析研究可知,在不同的隧道条件下施工,合理的选择施工技术与质量控制措施,对提高隧道工程的施工效率、质量有促进作用。 相似文献
8.
9.
随着硬盘技术的不断提高,新式硬盘在容量和数据传输率上相比老式产品有巨大的提高,希捷在其7200.8系列硬盘上实现的133GB单碟容量便是一例。 相似文献
10.
为提高试卷分析的自动化管理水平,降低试卷分析管理成本,通过对试卷分析现状的分析,阐述了目前在人工试卷分析方面所面临的问题,实现了一种基于Web的试卷分析系统。与传统的人工试卷分析方式相比,该方案利用Web在线试卷管理,易于系统集成。重点研究了系统的通用性、扩展性、方案的总体结构、系统架构;系统的核心模块的设计与应用程序的实现。应用结果表明,该方案可有效地集成和管理实现试卷分析系统的网络化,系统实施之后,试卷分析的工作效率得到了明显的提高。 相似文献