螺杆泵采油提产增效技术研究

螺杆泵采油会受到一系列外在因素的干扰,严重影响螺杆泵在采油工程中的作用效果。本文将对螺杆泵采油的影响因素实施相应分析,并按照分析结果制定合理的增效技术,实现螺杆泵采油提产增效目标。     

并行面向对象语言综述

近年来,面向对象语言的并行化技术取得了许多重要进展.以Mentat,CC++,pC++,HPC++和ICC++等几个典型系统为代表,从并行执行模型、语言并行设施、优化技术和运行时支持等几个方面归纳、总结了近年来这些语言和编译器支持并行的新技术.同时,还给出了对这些技术的分析和评价,总结了需要进一步研究和解决的问题.     

程序正确性测试的相关技术进展

本文介绍了程序正确性测试的基本原理,并讨论了有关的测试技术,包括以程序规约为基准的黑箱测试和以程序实现结构为基准的白箱测试两个方面。随后探讨了相关技术向分布式程序的拓展问题。     

富马酸二甲酯的合成研究

以富马酸和甲醇为原料,以硫酸氢钠为催化剂采用直接酯化法制备富马酸二甲酯,考察了酸醇比、催化剂种类、催化剂用量、反应温度等对产品收率的影响。由实验确定了直接酯化法合成富马酸二甲脂的最佳合成条件。当酸醇比为1:12,以硫酸氢钠为催化剂且用量为原料量的12.93%,反应温度为75℃,产品的收率最高。     

JAVA并行化编译器JAPS-II

JAPS-II(Java automatic parallelizing system version 2)是一个Java源代码重构编译器,用来发现和实现串行Java程序中对象内和对象间的并行性.其目标体系结构为基于工作站网络环境的分布式存储器计算机系统.介绍了JAPS-II的体系结构和实现JAPS-II的关键技术,包括用于对象并行性分析的数据流分析技术、提高对象并行性和减少运行开销的优化技术以及类重构和代码生成技术.测试结果表明,JAPS-II能够有效地发现循环中和对象内、对象间的并行性,获得加速比.这     

基于事件约束的分布式程序正确性测试

由于并发的存在和不确定性,在以规约为基础来测试分布式程序的正确性时,必须考虑程序 执行时的内部状态.这些内部状态通过端口显示为事件序列,程序规约需要对序列中各事件间 的依赖关系作约定,即定义事件约束集.该文提出了E-CSPE(extended-constraints on suc ceeding and preceding events),以形式化描述这类事件约束,它由3个基本描述规则组成, 分别对应于3种不同类型的事件约束.通过判断程序执行时所产生的事件序 列集同这些事件约束集的一致性以及对约束集覆盖程     

分注分采井下工具及配套工艺技术探究

针对油层动用程度低,部分油层未动用是蒸汽吞吐阶段主要问题,研制开发了分注分采系列工艺技术,通过该系列技术的实施来改进注汽井的注汽方式,调整吸汽剖面,改善注汽效果。该系列技术适用于油层渗透率错综复杂且符合射孔完井、油层井段固井质量合格、套管无重大变形、吸汽剖面资料比较明显的油井。并根据各油层或各组油层的不同特性进行配汽,同时也就大大平衡了油层纵向吸汽不均的矛盾。     

基于方法调用一般化模型的并行性分析

该文给出了一种考虑了面向对象语言的多态和对象引用别名问题的对象方法间并行性的分析方法，这种方法用于面向对象语言并行化中的并行性分析，文中首先给出了一般化的方法调用模型，然后基于该模型给出了表达式化简，过程和过程间分析的算法，该算法可以求出变量的定义和使用集合，由于并行性分析，该文给出的简单例子即可以将该文的和相关的工作加以区别。其技术已经在作者研制的Java并行化编译器JAPS－Ⅱ中实现。     

按需式ad hoc移动网络路由协议的研究进展

Ad hoc移动网络是一种完全由移动主机构成的网络，网络拓扑易变，带宽，能源有限是ad hoc移动网络的主要特点，针对这些特点，目前设计的ad hoc路由协议大多采用按需查找方式，该文介绍了这方面研究的最新进展，对几种典型的按需路由协议进行了说明，分析和综合比较，文中分析了目前协议存在的一些问题并提出了相应的改进方法，最后指出了下一步研究方向。     

单向ad—hoc移动网络路由协议UAOR

单向ad-hoc移动网络是一种完全由移动主机构成的网络,传统的路由协议由于基于DBF方式其路由更新开销大,对网络拓扑结构改变收敛慢,不适合ad-hoc移动网络拓扑变化快和带宽有限等特点。文中提出了一种支持单向ad-hoc移动网络的路由协议UAOR,它采用按需方式查找路由,并根据主机之间的邻接关系和距离矢量来选择相对最稳定且最短的路由,具有路由更新开销小,快速适应网络拓扑结构改变等特点。