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.     

Effect of exponentially graded base doping on the performance ofGaAs/AlGaAs heterojunction bipolar transistors

The authors have fabricated n-p-n GaAs/AlGaAs heterojunction bipolar transistors (HBTs) with base doping graded exponentially from 5×10¹⁹ cm^-3 at the emitter edge to 5×10¹⁸ cm^-3 at the collector edge. The built-in field due to the exponentially graded doping profile significantly reduces base transit time, despite bandgap narrowing associated with high base doping. Compared to devices with the same base thickness and uniform base doping of 1×10¹⁹ cm^-3 , the cutoff frequency is increased from 22 to 31 GHz and maximum frequency of oscillation is increased from 40 to 58 GHz. Exponentially graded base doping also results ill consistently higher common-emitter current gain than uniform base doping, even though the Gummel number is twice as high and the base resistance is reduced by 40%     

Effect of precyclic loading on stress-corrosion-cracking initiation in an X-65 pipeline steel exposed to near-neutral pH soil environment

A study was carried out to understand the effect of precyclic loading on stress-corrosion-crack initiation in an X-65 pipeline steel exposed to a near-neutral-pH soil environment. The test specimens were precyclically loaded before corrosion exposure to represent a service history of up to about 20 years, depending on the severity of pressure fluctuation. Microcracks had initiated on the polished surface of the X-65 pipeline steel after long-time exposure at open-circuit potential (OCP) in a near-neutral-pH synthetic soil solution. These microcracks were mostly initiated from pits at metallurgical discontinuities such as grain boundaries, pearlitic colonies, and banded phases in the steel. Strong preferential dissolution was observed along planes of the banded structures in the steel. The selective corrosion attack at these metallurgical discontinuities is attributed to the galvanic nature of those areas to their neighbors. Cyclic loading prior to corrosion exposure had significant effects on microcrack initiation and propagation during subsequent corrosion exposure. Cyclic loading prior to corrosion exposure either reduced or increased the probability of crack initiation and the rate of crack propagation, depending upon the magnitude of the stress cycles. The largest reduction was seen at a peak cyclic stress of about 0.8 of the yield strength. This cyclic-loading-dependent cracking behavior might be related to the alteration of the substructures and the residual stress in the steel as a result of precyclic loading.     

Low cycle fatigue and creep behavior of recrystallized Molybdenum near room termperature

The deformation behavior of pure recrystallized molybdenum under cyclic and static loads was investigated in the temperature range between 30°C and 10O°C, for stress amplitudes between 100 MPa and 250 MPa and for static loads up to 200 MPa. The results show that in spite of the low test temperatures and stress levels the Mo material exhibits considerable plastic strains which depend sensitively on frequenez and small changes in temperature.The activation energy deduced for the static and dynamic deformation is less than 0.98 eV which indicates thermally activated processes, to be explained by a dislocation kink model as described in the literature. The low-temperature fatigue behavior appears strongly influenced by creep-fatigue interaction phenomena.     

分割电极片状压电致动器——(二)位移特性及狭缝宽度对其影响的实验研究

研究了悬臂梁式分割电极片状压电致动器的位移特性。理论分析表明，分割电极狭缝宽度会减小致动器自由端的位移输出，但当狭缝宽度小于致动器电极宽度的１０％时，可忽略狭缝宽度的影响。致动器端部位移的测试结果大于理论计算值。与现有磁头悬浮臂尺寸相近的致动器，在２０Ｖ～５０Ｖ的电压驱动下均可获得１μｍ～２μｍ的致动位移。对９８５０道／厘米的密度磁盘，该位移能覆盖至少一个磁道宽度，满足磁头定位两级伺服系统对第二级致动器位移的基本要求。     

铁磁偶合的Gd（Ⅲ）Cu（Ⅱ）配合物──组装分子基铁磁体的一种重要元件

铁磁偶合的Ｇｄ（Ⅲ）Ｃｕ（Ⅱ）配合物──组装分子基铁磁体的一种重要元件缪明明，廖代正，王耕霖（南开大学化学系天津３０００７１）摘要分子基磁体的设计是自然界向化学家挑战的一个热点课题。铁磁偶合的Ｇｄ（Ⅲ）Ｃｕ（Ⅱ）配合物是组装分子基磁体的一种重要元件。...     

Two bit correlation-an adaptive time delay estimation

Time delay estimation is a very important operation in ultrasound time-domain flow mapping and correction of phase aberration of an array transducer. As the interest increases in the application of one and a half-dimensional (1.5-D) and two-dimensional (2-D) array transducers to improving image quality and three-dimensional (3-D) imaging, the need of simple, fast, and sufficiently accurate algorithms for real-time time delay estimation becomes exceedingly crucial. In this paper, we present an adaptive time-delay estimation algorithm which minimizes the problem of noise sensitivity associated with the one bit correlation while retaining simplicity in implementation. This algorithm converts each sample datum into a two bit representation including the sign of the sample and an adaptively selected threshold. A bit pattern correlation operation is applied to find the time delay between two engaged signals. By using the criterion of misregistration as an indicator, we are able to show that the proposed algorithm is better than one bit correlation in susceptibility to noise level. Analytical results show that the improvement in reducing misregistration of the two bit correlation over its counterpart is consistent over a wide range of noise level. This is achieved by an adaptive adjustment of the threshold to accommodate signal corruption due to noise. The analytical results are corroborated by results from simulating the blood as a random distribution of red blood cells. Finally, we also present a memory-based architecture to implement the two bit correlation algorithm whose computation time does not depend upon the time delay of the signals to be correlated