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

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

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

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

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

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

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

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

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

CHA无机凝胶体系的研究及应用

过去低渗油藏调剖，注入性和堵塞性很难统一，新研制的CHA无机凝胶体系是一种易注入、堵塞能力强的调剖剂，而且成胶时间在一定范围内可控。研究了配比、温度对CHA无机凝胶体系成胶时间的影响，成胶前的注入性，成胶后在高温高盐条件下的堵塞能力，得到了可应用于现场的CHA无机凝胶体系。该调剖剂在濮城油田沙三段和文卫结合部等高温、高盐低渗油藏应用后，取得了很好的效果。     

晶体硅薄膜电池制备技术及研究现状

晶体硅薄膜太阳电池近些年来得到广泛的研究和初步的商业化探索。根据所采用的晶体硅薄膜沉积工艺中温度范围的不同，晶体硅薄膜电池研究可分为高温路线和低温路线两个不同发展方向。本文分别从这两个方向综述了目前国外晶体硅薄膜电池制备技术的最新进展，最新实验室研究结果。报导了晶体硅薄膜电池商业化进展状况，指出了晶体硅薄膜电池实现产业化必须解决的问题。     

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

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

轧钢加热炉汽化冷却余热的合理利用技术

针对加热炉汽化冷却系统所产饱和蒸汽在非采暖期大量放散的现状，通过实例提出可用这类蒸汽制冷，作为夏季某些单位空调之用。这样就可以用较少的投资解决非采暖期的汽冷余热浪费问题，合理利用热能，降低轧钢成本。