概率空间中的一个不等式

设｛Ｚ，（Ｗ）｝是定义在概率空间上的独立的随机变量序列，Ｚ（Ｗ）具有方差为期望Ｅ（Ｚｎ）＝０．本文证明了对任意算数序列｛ｂｎ｝及任意的存在充分大的整数Ｎ＞０使当Ｎ＇＞Ｎ″＞Ｎ时．有此不等式在随机级数研究中有重要作用．     

《周培德三角剖分不是最小权三角剖分》一文商榷——反例不成立

周培协三角剖分是否能得到最小权三角剖分，周培德在《周培德三角部分不是最小权三角剖分》一文撰写之前已有新的结论，本文还指出《周培德三角剖分不是最小权三角剖分》一文所举反例不成立。     

在柔性变焦系统中的压力变焦镜

从理论上和实验上对水冷镜的镜面曲率半径随压力变化的规律作了研究。对压力变形后镜面相对于球面作了波像差分析，分析表明压力变焦镜用于中红外激光系统是合适的     

长25-29井卡钻事故的处理

长２５－２９井在完井阶段通井过程中发生粘附卡钻事故，在处理卡钻过程中又发生卡套铣筒、井漏、溢流等事故及复杂情况。通过对井下情况的认真分析，采取先堵漏后循环再解卡的处理方案，顺利地解除了该次卡钻事故，大大地减少了经济损失。     

起重机吊钩拖动绕线电动机他励双高调速系统

本文提出励磁电流可自动控制的他励式双高调速系统设计方案。系统在提升特别是在下放重物时，具有较硬的机械性；在负载１０－１００％的变化范围内，可实现最大偏差Δｎｍａｘ／ｎｍｉｎ１００％≤１０％，调速范围Ｄ≥１０；在满载运行条件下，可节约电能８０％以上。     

原料扩重的中压加氢改质装置投产

介绍燕山石化公司为扩大1Mt／a中压加氢改质装置的原料来源，改用大庆减二线油和重油催化裂化柴油组成的混合料开工投产的经验以及装置初期的运行条件。中压加氢改质技术可以生产优质柴油和蒸汽裂解制乙烯的原料，还可增产喷气燃料。     

彩色PDP用玻璃基板

本文讨论了彩色ＰＤＰ现用钠钙玻璃的热稳定性，指出由于这种玻璃在热处理过程中易变形和收缩，因而不适合作大面积彩色ＰＤＰ基板材料，介绍了彩色ＰＤＰ基板玻璃的制造方法和特点。最后介绍了日本旭硝子公司和美国康宁公司各自为彩色ＰＤＰ新开发的玻璃基板材料ＰＤ２００和ＣＳ２５。     

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.     

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

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

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.