齿轮磨前滚刀的齿形研究

本文介绍了磨前滚刀滚切齿轮的最大根切量和磨后的渐开线长度计算,并建立了数学模型。为更加直观起见,还建立了模拟滚齿的数学模型。并在实验的基础上提出了参考标准。     

多级脉冲深穿透射孔技术

目前国内较先进的射孔工艺是增效射孔和三相流射孔,这2种射孔工艺均存在射孔深度和造缝深度浅的问题,尤其是对低渗油藏和纵向渗透率远大于横向渗透率的油藏,此造缝深度并不能满足油田生产的需要.介绍了一种新型的射孔技术,它是一种能进行深度射孔造缝的多级射孔技术,利用三级推进剂燃爆时产生峰值不连续的高温、高压气流,形成多级脉冲,多次冲击射孔孔眼前沿的裂缝,使其有效延伸至地层深处,从而较单独的射孔更能有效地增加油气产量.通过地面水泥靶的试验,证明了该射孔器的延缝功能和安全性;通过塘32等井的现场试验,证明该射孔技术对污染地层解堵有显著效果,可明显地降低地层破裂压力.     

通过室内实验及同位素测井技术评价高分子聚合物驱油效果

2500万超高分聚合物室内驱油实验研究了聚合物分子量、浓度、粘度、聚用量、段塞组合等各项性能指标对驱油效果的影响。本文根据室内实验结果,在北一区断西注聚后期开展矿场试验,取得了较好的开发效果。试验前后对比,注入粘度明显增大,月含水上升速度得到有效控制,吸入剖面有了新的动用,有63.1%的油井出现了明显的二次受效特征,取得了显著的经济效益。同时对驱油效果进行系统分析。驱油效果表明:应用2500万超高分聚合物是进一步提高聚驱采收率的有效途径。     

齿轮减速器造型设计与模态分析

讨论复杂结构的建模方法,建立齿轮减速器三维实体模型并进一步建立了齿轮减速器的三维有限元模型,分析系统的固有特性,从而获得了设计所需的必要数据。     

美国食品安全管理法规与举措

以美国国会研究服务部对第107届国会就食品安全方面的一份报告为基础,主要对美国的公共健康问题现状、美国食品安全的联邦规范框架组成、美国食品安全控制最新进展和国会对食品安全提出的新议题做了综述,对我国的食品安全控制和管理体系的建设发挥一点借鉴作用。     

聚苯胺电化学性能的改性研究

改善聚苯胺的电化学性能是聚苯胺研究中的一个重点，介绍了对聚苯胺的取代，共聚，复合和掺杂等几种改性方法，及其对聚苯胺电化学性能和其他性能的影响。     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

贯彻《水文条例》加强水文科研工作

水文是水利工作乃至国民经济社会发展的基础性和公益性工作。环境的变化、社会的发展、新时期水利工作治水思路转变等均向水文工作提出了新的要求，也提出了许多新的水文科学技术问题。我们应该认真学习贯彻《中华人民共和国水文条例》，加强水文监测工作，加强水文资料的汇交、管理和共享．进一步推进水文现代化建设，推进水文事业的健康发展。     

The problem of definition expansion and contraction

This article is the fourth of a series of articles discussing various open research problems in automated reasoning. The problem proposed for research focuses on finding criteria that would enable an automated reasoning program to expand or contract definitions wisely. For evaluating a proposed solution to this research problem, we include suggestions concerning possible test problems.This work was supported by the Applied Mathematical Sciences subprogram of the Office of Energy Research, U.S. Department of Energy, under contract W-31-109-Eng-38.     

智能钻井电缆信号传输的研究现状及难点

目前，钻井中井下检测信号的传输主要运用泥浆脉冲、电磁波等方式。随着井深的增加、复杂结构井和欠平衡井的增多以及对传输速度要求的提高，电缆信号传输必然是今后智能钻井的发展方向。通过对半个多世纪来各类电缆信号传输的设计进行归类，详细介绍了其设计原理，提出了电缆信号传输设计的基本要求与难点。