Guest Editors' Introduction: Attacking Functional Verification through Hybrid Techniques

Hybrid techniques are effective for exploring interesting corner cases, coverage holes, invariant variations, and so forth, in the general area of directed functional validation. However, despite the emergence of several effective hybrid validation techniques, several questions still remain. The five articles in this special issue help explain some of the different facets of this area.     

High-temperature sensible-heat storage options

Alkali-metal carbonate salts meet the requirements for high-temperature solar central receiver systems, but because of their corrosiveness they present special problems in the design of storage tanks. In order to reduce corrosion and temperature sufficiently to retain strength in the storage containing wall, internal and thermal insulation is required. We present design options and operation criteria for sensible-heat, molten-salt storage with internal insulation.     

La doping effects on intergrowth Bi2WO6–Bi3TiNbO9 ferroelectrics

La doping effects on intergrowth Bi₂WO₆–Bi₃TiNbO₉ ferroelectric ceramics were studied by X-ray diffraction, electron probe microanalysis and dielectric spectroscopy. It was found that the La³⁺ distribution, ferroelectric phase transition and dielectric relaxation behavior are apparently affected by La doping. With increasing La³⁺ content, the site of dopant ion varies, the grain growth of Bi₅TiNbWO₁₅ is restrained, the Curie temperature is reduced and broadened. Furthermore, two dielectric relaxation loss peaks were observed both in temperature and frequency spectra. The calculated relaxation parameters revealed the oxygen vacancy related to the relaxation process.     

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     

氧化铝厂渣浆泵机械密封的失效形式及改进措施

本文介绍了渣浆泵机械密封的失效形式,并根据长期现场工作经验,分析了机械密封泄漏的主要原因,据此提出了改进措施,通过对动静环密封面倒角,改变密封面尺寸及载荷系数后有效地解决了由于径向跳动过大而引起的密封面刮碰擦裂的失效问题。     

Single-Threaded vs. Multithreaded: Where Should We Focus?

Today, with the increasing popularity of multicore processors, one approach to optimizing the processor's performance is to reduce the execution times of individual applications running on each core by designing and implementing more powerful cores. Another approach, which is the polar opposite of the first, optimizes the processor's performance by running a larger number of applications on a correspondingly larger number of cores, albeit simpler ones. The difference between these two approaches is that the former focuses on reducing the latency of individual applications or threads (it optimizes the processor's single-threaded performance), whereas the latter focuses on reducing the latency of the applications' threads taken as a group (it optimizes the processor's multithreaded performance). The panel, from the 2007 Workshop on Computer Architecture Research Directions, discusses the relevant issues.     

钛白粉副产物硫酸亚铁生产硫酸铵和氧化铁红的研究

以硫酸法钛白粉副产物绿矾为原料 ,生产硫酸铵和铁红粉 .用含臭氧 ( 5 0 0mg/h)的空气在5 0℃将FeCO3氧化成Fe2 O3·nH2 O .通过煅烧制铁红产品 ,其质量达HO0 1 - 0 2 一级品要求 ;硫酸铵通过净化、除杂、浓缩、结晶 ,生产一级品硫铵 .实验证明 ,本工艺氧化时间短 ,产品质量稳定     

电信服务营销渠道转型的必要性

分析了电信企业服务营销渠道的特点、旧有的服务营销渠道模式和存在的问题以及今后电信业和市场等方面发展的新需求，对电信服务营销渠道转型的必要性进行了探讨和研究,同时提供了一个可供参考的服务营销渠道价值评估体系架构,从量化服务营销渠道对电信企业贡献价值的角度论述了服务营销渠道转型的必要性。