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.     

Modeling phosphorus in the upper Etowah River basin: identifying sources under uncertainty.

The Uniform Covering by Probabilistic Rejection (UCPR) algorithm was used, in conjunction with the Soil and Water Assessment Tool (SWAT) model, to identify P loads from point source and nonpoint source polluters in the upper Etowah River basin (UERB) in Georgia. The key findings of the research are as follows. The mean absolute error was preferred over the root mean square error as a search criterion for the UCPR algorithm when water quality observations are scarce. The undocumented P load from point sources in the UERB was consistently estimated as about 43 kg/d by the proposed method; but the method was not able to identify the broiler litter application rate to the poultry/beef operation pastures. Point sources (both documented and undocumented), poultry/beef operation pastures, and forests are the three major contributors of P. During 1992-1996, on average they accounted for 36.4, 31.7, and 17.2% of P load from the UERB, respectively.     

Nucleation of copper on an assembly of carbon microelectrodes

The initial stage of copper electrodeposition on the electrochemically activated assembly of carbon microelectrodes from an acid solution of copper sulfate was investigated using cyclic voltammetry, potentiostatic pulse technique and electrochemical impedance spectroscopy. Analysis of the experimental current transients has been carried out using a non-linear fitting procedure according to the model that takes into account spherical diffusion towards a disc-shaped microelectrode. The higher values of diffusion coefficient in comparison with those observed on planar electrodes were explained with an increased diffusion caused by the electrode geometry. Impedance spectra showed two time constants, the high-frequency related to the charge transfer process and the low-frequency corresponded to the deposit morphology.     

Calcium Phosphate Biomaterials: An Update

1Introduction Archaeologicalfindingsdatingbacktothe4thcentury BCshowedthatmissinghumanteethhavebeenreplaced bymaterialswhichincluded:animalteeth,coral,shells,ivory(elephanttusk),wood,andmetals[1].Inmodern times,autografts(boneobtainedfromanothersiteinthe …     

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

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

Programmable group-delay module using binary polarization switching

We demonstrate the first programmable group-delay module based on polarization switching. With a unique binary tuning mechanism, the device can generate any differential group delay value from -45 to +45 ps with a resolution of 1.40 ps, or any true-time-delay value from 0 to 45 ps with a resolution of 0.7 ps. The delay varying speeds for both applications are under 1 ms and can be as fast as 0.1 ms. We evaluate both the dynamic and static performances of the device while paying special attention to its dynamic figures of merit for polarization-mode dispersion emulation and compensation applications. Our experiment shows that the device exhibits a negligible transient-effect induced power penalty (<0.2 dB) in a 10-Gb/s nonreturn-to-zero system.