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控制系统防喘振控制器的特性和各种控制线、防喘振控制的算法和操作。采用该系统后可以有效地实现防喘振控制，提高机组的控制灵敏度、稳定性及工艺生产过程的安全性和可靠性。     

Preparation of ultra-fine copper powder and its lead-free conductive thick film

In this paper, non-agglomerated monodispersed ultra-fine copper metallic powders have been synthesized with chemical reduction method. Fine lead-free glass powders were also prepared by solid synthesis process. Thick film paste prepared by above-mentioned copper metallic powders and lead-free glass powders was applied as conductive paste of MLCC. Mixture of glass and zinc oxide give the thick film a high adhesion strength which is attributed to the rough interface from interfacial reaction between glass and chip, and a good densification. Diffusion of metal between copper thick film and nickel thick film is clear. Ni-Cu solid solution appears under high temperature firing.     

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

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

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

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

透平膨胀机转速波动异常分析及处理

介绍了透平膨胀机转速表显示转速大幅度波动的情况,分析了原因并提出了处理方案。     

基于物元分析和层次分析的选厂综合性能评估

利用物元分析法和层次分析法的特点，将物元分析和层次分析法有机的结合起来建立选厂性能综合评估模型，建立的评估模型表明该评估方法能够克服传统方法中参评人员的主观不确定性和认识上的模糊性，可用于选厂有关指标的综合评估。     

润滑油型常减压蒸馏装置扩能改造

通过对中国石油大连石化分公司Ⅱ套蒸馏装置扩能改造的设计实践，总结归纳了在老工艺装置上采用立体传质塔盘等新技术、新设备的应用成果。改造后的标定数据表明，改造后装置处理能力可达5．1Mt／a，常、减压系统主要产品质量满足设计要求，装置能耗在386.94—406.60MJ／t，低于设计值。