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

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

Verification of wind resource study of a Scottish region

In a survey of the practical wind energy resource present in the Tayside Region of Scotland it was estimated that over 1500 km² of land is suitable for wind energy development in the Region after consideration of a range of physical, technical and institutional factors. Wind speed data for this survey was obtained from the Energy Technology Support Unit (ETSU) UK Wind Speed Data Package. To verify the wind speeds obtained from the ETSU package a representative sample of sites in and around the identified areas of potential in Tayside were modelled for mean annual wind speed using the Wind Atlas Analysis and Application Program (WA^sP). The wind speeds for the sites obtained from the WA^sP analysis were compared with those obtained from the ETSU UK Wind Speed Data Package and conclusions drawn as to the reliability of the Tayside wind energy survey and the general applicability of the ETSU package for broad wind energy resource assessment.     

智能压力传感器

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

宝钢余能回收及其前景

在分析了宝钢余能资源与回收状况的基础上，展望了宝钢余能回收的发展前景，并提出了今后将要实施的８个节能项目．     

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.     

油气资源丰度预测的人工神经网络方法——以济阳坳陷为例

通过相关分析,筛选出济阳坳陷控制成藏体系资源丰度的主要地质参数,把成藏体系的资源丰度及其主控地质参数作为神经网络的训练样本,建立了具有预测功能的神经网络结构.与多元线性和多元非线性回归模型预测结果的比较表明,神经网络模型在预测精度上要远高于2种回归预测模型.     

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

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