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

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

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

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

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

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

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

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

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

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

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

炼油化工装置技术改造的决策与实施

针对炼油和石化工业装置技术改造的特点，系统地总结了技术改造的类型和改造方案的制定、决策及实施的原则、程序和方法，指出对炼化装置实施技术改造是一项极其复杂、极具难度的系统工程，必须结合实际情况，以投资回报最大化为原则，通过深入细致地研究和反复比选优化改造方案，并结合现场情况制定切实、可靠、安全的实施方案。