矿用扁平接链环静态电测实验及有限元分析

对φ30的矿用扁平接链环进行静态拉伸电测实验，分析并得出产生最大强度的位置。同时应用ANSYS有限元分析软件对接链环的力学简化模型进行分析，与实验结果相比较，有助于找出齿部破坏规律，对齿形的改进及今后的疲劳分析具有重要意义。     

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

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

堆载预压法加固软基土体稳定性的有限元分析

堆载预压过程中,进行相应的稳定分析对于控制加载速率、确定加载高度是必须进行的一项工作,采用有限单元法对此进行了探讨,详细阐述了有限元理论分析边坡稳定的几种重要因素,并考虑分步堆载的特点,模拟堆载过程,具有一定的工程实际意义。     

弹药包装冲击强度试验方法的改进研究

介绍一种新的弹药包装冲击强度试验方法，应用该试验方法可以防止冲击强度试验时出现与期望值相反的现象。     

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以上，为川中丘陵区小流域径流输沙过程的预测预报提供了一个新方法。     

天楼地枕水电站的综合自动化改造

天楼地枕水电公司为实现水电站"无人值班,少人值守"的目标,对水电站进行了综合自动化改造,论述了该自动化系统的结构特点及实施情况.     

加氢联合装置压缩机组的防喘振控制

阐述了喘振的发生、危害及其控制。介绍了加氢联合装置Triconex的TS-3000控制系统防喘振控制器的特性和各种控制线、防喘振控制的算法和操作。采用该系统后可以有效地实现防喘振控制，提高机组的控制灵敏度、稳定性及工艺生产过程的安全性和可靠性。     

大型空分设备循环冷却水处理方法的对比研究

武钢氧气公司在大型空分设备循环冷却水系统中,采用化学法和物理法进行水处理效果的实践探索,从原理和监测数据上进行了对比、分析研究,确认物理法具有高效除垢、防垢、杀菌灭藻、缓蚀以及净化等功能,可以取代化学法进行循环水处理。     

空分设备的氪氙预浓缩技术

大型空分设备的工艺流程不同，采取的氪、氙预浓缩技术也不同。介绍了适用于不同流程的从液氧中提取氪-氙浓缩物和从富氧液空中提取氪-氙浓缩物的氪、氙预浓缩工艺原理、技术参数和特点。