潜油螺杆泵采油系统设计与应用技术分析

潜油螺杆泵采油技术在某些方面具有其他人工举升技术不可比拟的优点，特别适合于我国渤海湾一带粘油区、海上平台的采油作业，但这项技术在我国实际开发应用的时间还比较短，人们对这项技术的了解还不够深入，很多单项技术还有待于更多的人去关注和研究.介绍了潜油螺杆泵采油系统的结构，总结了该项采油技术与其他常用采油技术相比较的特点，系统地阐述了国内外的发展状况，分析了以往投入生产试运行时系统失效的原因并提出了相应的解决办法，最后探讨了系统设计技术的发展趋势.     

Impact of dams on point bar habitat: a case for the extirpation of the Sacramento Valley Tiger Beetle,C. hirticollis abrupta

Quantitative analyses of flow and stage data, remote sensing and geographic information systems analysis, and field studies were used to assess the impact of dams and diversions on the point bar habitat of the Sacramento Valley Tiger Beetle (Cicindela hirticollis abrupta). The reaches of interest include sites of known historic populations of C. h. abrupta along the Sacramento River from approximately 8 km north of Colusa southward to the confluence with the Feather River and along the Feather River between Yuba City and its confluence with the Sacramento River. The results from this study show that construction of two major dams has altered flows such that prolonged and increased flows during summer, fall, and early winter have most likely disrupted life cycles, flooded larvae, drowned overwintering adults and led to high mortality. Additionally, habitat availability has decreased over time because point bars have decreased in number and area causing increased distances between populations and isolation of populations. Moreover, point bar armouring, channel scouring, altered flows, redirected flows through weirs, and lithologic controls have produced a bimodal distribution of mean grain sizes in the Sacramento River in which the more northern bars contain gravel deposits and more southern bars possess fine sands. These conditions negatively alter moisture retention and sediment compaction and, consequently, burrowing conditions needed by this tiger beetle. Additionally, more stabilized flows (reduced variability) and increased fine‐grained deposition have enabled development and encroachment of vegetation onto the sand bars. Finally, human stresses, such as foot traffic and vehicular traffic may have interfered with burrowing, ovipositing, and foraging. The combination of these stress factors has most likely led to a reduction in source populations and, ultimately, the apparent extirpation of the entire metapopulation. Copyright © 2006 John Wiley & Sons, Ltd.     

Effect of reliability of grounding of the shaft of a turboset on the operation of devices for control and protection of exciting circuits

Disturbance of the grounding of the shaft of a turboset or its absence for technical reasons can result in failure, misoperation, limitation of the operating zone, errors or limitation of the sensitivity of devices for control and protection of exciting circuits from single-point leakage, and electroerosion of elements of the turboset structure. Measures for increasing the reliability of the grounding of the shaft are discussed. __________ Translated from élektricheskie Stantsii, No. 3, March 2006, pp. 61–66.     

成形磨削中砂轮修整精度的研究

成形磨削一般采用金刚石笔来修整所需要的砂轮形状，金刚石笔在安装中的位置误差将影响被加工工件的精度，本文对此误差的大小进行了分析。     

关于最远点判定及直径的唯一性

给出了点到有界集最远点的一些必要或充分条件，然后对直径的唯一性也给出了一些判定条件。     

通用雷达故障诊断专家系统的设计

目的：为了提高雷达装备故障诊断的效率和可靠性。方法：通过对雷达装备综合测试和故障诊断要求和方法的分析。介绍一种适用于雷达装备的故障智能诊断专家模型，探讨了该模型的基本结构和相应的推理机制及故障诊断策略。结果：结论雷达故障诊断的特点，研究了该模型及诊断方法在雷达装备中的具体应用，证实了该方法是有效的。结论：将自动测试技术和专家系统相结合，可以提高故障诊断的效率和可靠性。     

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.     

提高曲面近似展开精度的方法与实现

通过对不可展曲面近似展开精度的研究，提出了根据曲面曲率的大小对曲面自动进行网格划分，通过对综合展开误差数据场进行数据拟合来选取最优展开基点，基于空间曲面与其展开图间近似的等距变换关系进行展开样形的误差矫正等3种方法，这几种方法的实现在不同程度上有效地减小了曲面的近似展开误差，提高了曲面的近似展开精度。     

同杆并架双回线基于电流突变量的综合选相

相电流差突变量选相元件在单回线故障中具有良好的选相性能，但在同杆双回线跨线故障中可能误选相。利用六序故障分量的分析方法，分析了相电流突变量在同杆双回线跨线故障中的幅值和相位特征，给出了其相位比相方程。在此基础上，提出了一种运用测量阻抗和方向元件相结合的综合选相方法，并给出了选相流程图。仿真结果表明，在双回线简单故障和跨线故障时，基于单回线单端电气量的同杆并架双回线综合选相方法具有较理想的选相性能。     

黄河下游稳定主槽之节点整治

稳定主槽是当前黄河下游河道治理的关键。窄深河槽具有很强的泄洪能力与输沙能力,是主槽整治追求的目标。黄河下游均是顺直微弯河道,河道水流最基本的主导机理是沿着阻力最小的方向流动,走直路、走近路,主槽整治设计流路应以顺直为上策。当前有必要对微弯整治方案进行再认识,实现对其否定之否定的提高。控制性弯道整治、对口丁坝整治、节点整治都属于双岸整治的范畴,对双岸整治的方向应予肯定。今后的整治应从微弯整治向节点整治发展,逐步过渡到以节点整治为主,最终达到稳定河势流路、高效排洪输沙之目的。