彩色PDP用玻璃基板

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

徐淮地区煤矿井筒破裂机理研究

从徐淮地区井筒破裂的特点出发，分析引起井壁破裂的根本原因，据此提出井筒的破裂机理，为选择防治井筒破裂的方法提供依据     

智能压力传感器

讨论了压阻式智能传感器的设计,并以80C31单片机为核心构成了一个能检测压力、温度的智能传感器,它能实现量程的自动变换、故障的自诊断及数据的处理,通过软件实现了对半导体传感器的零点修正、非线性修正及温度补偿。实验表明,传感器的智能化改善了传感器的性能。     

A semi-analytic boundary element method for parabolic problems

A new semi-analytic solution method is proposed for solving linear parabolic problems using the boundary element method. This method constructs a solution as an eigenfunction expansion using separation of variables. The eigenfunctions are determined using the dual reciprocity boundary element method. This separation of variables-dual reciprocity method (SOV-DRM) allows a solution to be determined without requiring either time-stepping or domain discretisation. The accuracy and computational efficiency of the SOV-DRM is found to improve as time increases. These properties make the SOV-DRM an attractive technique for solving parabolic problems.     

利用独立分量分析法去除地震噪声

 独立分量分析（ICA）作为盲源分离（BSS）的一种新方法,是分解观测数据中独立信息的有力工具。以往的ICA算法一般假设噪声可以忽略不计，而实际的观测数据中又常常包含一些加性噪声。对于加性噪声的影响不能忽略的情况下，改进的ICA算法首先利用非零时间滞后协方差，应用两步特征值分解法(EVD)可成功地去除部分加性噪声的影响；再利用ICA算法就能更好地分离出原信号。本文通过对地震理论模型和实际资料的试验，说明改进的ICA算法能够有效地克服加性噪声对常规ICA算法的影响，能够分离出地震资料中的有效信号，从而实现利用独立分量分析压制地震资料噪声的目的。     

非标准工况下空分设备增产氩的研究与实践

文章对非标准工况下的空分设备增产氩措施进行了研究。以宝钢6#60000m3/h空分设备为例,通过设计型算法和校核型算法,建立了空分设备精馏的数学模型,通过改变数学模型的参数,分析了在非标准工况下精馏塔内的组分浓度分布,并提出了优化后的操作方案和操作参数,实施后提高了空分设备的氩提取率,取得了显著的经济效益。     

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.