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

Temperature effects on the mass flow rate in the SBI and similar heat‐release rate test equipment

In various medium‐to‐large‐scale fire test equipments like the ISO room corner test (RC), and more recently, the single burning item test (SBI) the mass flow rate measurement of the combustion gases plays a key role in the determination of the heat‐release rate and smoke‐production rate. With the knowledge of the velocity profile and the temperature of the flow, the mass flow rate is obtained by measuring the velocity on the axis of the duct. This is done by means of a bi‐directional probe based on the pitot principle. However, due to the variation of the mean temperature and the temperature gradient in any cross section of the duct, introduced by ever changing combustion gas temperatures, the velocity nor the density profile are constant in time. This paper examines the resulting uncertainty on the mass flow rate. Copyright © 2006 John Wiley & Sons, Ltd.     

Mass transfer kinetics of neodymium(III) extraction by calix[4]arene carboxylic acid using a constant interfacial area cell with laminar flow

BACKGROUND: Thermodynamics and kinetics data are both important to explain the extraction property. In order to develop a novel separation technology superior to current extraction systems, many promising extractants have been developed including calixarene carboxylic acids. The extraction thermodynamics behavior of calix[4]arene carboxylic acids has been reported extensively. In this study, the mass transfer kinetics of neodymium(III) and the interfacial behavior of calix[4]arene carboxylic acid were investigated. RESULTS: The rate constant (K_ao) becomes constant when the stirring speed was controlled between 250 rpm and 400 rpm. The activation energy (E_a) was calculated to be 21·41 kJ mol^?1 or 88·17 kJ mol^?1 (dependent on temperature) from the slope of log K_ao against 1000/T. The linear relationship between the specific area and the extraction rate is the characteristic of an interfacial reaction control. The minimum bulk concentration of the extractant necessary to saturate the interface (C_min) is lower than 4·19 × 10^?4 mol L^?1. CONCLUSION: The effect of stirring speed, temperature, and species concentration on the extraction rate demonstrates that the extraction regime depends on the extraction conditions. The chemical reaction control governs the extraction regime at temperatures below 303 K and a mixed control regime occurs when the temperature is between 303 K and 318 K. The probable locale for the chemical reaction is at the liquid–liquid interface and the rate equation is deduced to be: ? d[Nd³⁺]_(a)/dt = k_f[Nd³⁺]_(a)[H₄A]_(o)^0·727[H⁺]_(a)^?0·978. The rate‐controlling step was suggested by the analysis of the experimental results. Copyright © 2008 Society of Chemical Industry     

Scanning electron microscope electron detector with a radial type discrete dynode electron multiplier

A discrete dynode electron multiplier with radial flux of electrons was built and tested in the range of low‐voltage scanning electron microscopy as a backscattered electron detector of topographic contrast. The multiplier collects backscattered electron emitted in a specific range of take‐off angles and over the whole azimuth angular range enabling large solid collection angle. Multipliers with different dynode shapes were studied theoretically with the use of the software for particle optics and three assemblies were built and tested experimentally. The gain estimation, assessment of the type of detected electrons (secondary electron or backscattered electron), imaging the spatial collection efficiency and signal‐to‐noise measurements were performed.     

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

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

低温吸附法脱除一氧化碳中甲烷的实验研究

在液氮温度下,采用吸附剂CNA X进行低温脱甲烷动态吸附实验,结果表明CNA X在液氮温度下可以将一氧化碳中0 1%左右的甲烷脱除到10×10-6。     

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

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

Secondary ion emission from Ti and Si targets induced by medium energy Ar ion bombardment - Experiment and computer simulation

The paper presents experimental results of secondary ion energy distributions obtained for Ti and Si targets bombarded by 20-30 keV monoisotope Ar⁺ ion beam. The influence of the extraction voltages between target and a slit of the electrostatic energy analyzer entrance on the energy distributions of secondary ions was investigated. After optimization of the secondary ion extraction system, the mass spectra of secondary ions were also measured. The investigations were done using recently built experimental system. Experimental data are compared with the computer simulation results obtained using TRQR and SATVAL codes.     

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

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