连续重整装置仿真系统的设计开发

为提高操作人员对连续重整装置开停工及事故处理的熟练程度，并对生产进行指导，采用半机理模型结合设计和现场数据介发的连续重整装置仿真系统已在现场成功投用。介绍了该仿真系统的软硬件结构、动态模型及仿真功能。     

区熔单晶硅生产操作指导专家系统

本文介绍区熔单晶硅生产操作指导专家系统。首先，系统实现了连续图象的自动变周期、定瞬间采样，并提出一种新的区域扩张增量图象处理算法．其次，叙述了知识的获取过程及类规则，提出分布的多库结构，并实现了不确定性推理．最后，开发了区熔单晶硅生产操作指导专家系统，实现了从数据和图象采集、处理、事实获取、推理到给出操作指导一体化。     

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

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

彩色PDP用玻璃基板

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

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

文章对非标准工况下的空分设备增产氩措施进行了研究。以宝钢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.     

川中丘陵区一种新型小流域径流输沙模型的建立与应用

径流输沙模型对定量评价水沙的输出响应具有重要的意义。本研究在已有研究成果的基础上，通过对四川盐亭县林山西沟小流域的径流、泥沙进行现场观测与分析，提出含沙量单位线的定义及其确定方法，建立了适应该小流域的径流输沙模型。并应用实测资料进行比较，表明模型的模拟结果可靠，模拟过程确定性系数达0．8以上，为川中丘陵区小流域径流输沙过程的预测预报提供了一个新方法。     

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

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