False Error Study of On-line Soft Error Detection Mechanisms

With technology scaling, vulnerability to soft errors in random logic is increasing. There is a need for on-line error detection and protection for logic gates even at sea level. The error checker is the key element for an on-line detection mechanism. We compare three different checkers for error detection from the point of view of area, power and false error detection rates. We find that the double sampling checker (used in Razor), is the simplest and most area and power efficient, but suffers from very high false detection rates of 1.15 times the actual error rates. We also find that the alternate approaches of triple sampling and integrate and sample method (I&S) can be designed to have zero false detection rates, but at an increased area, power and implementation complexity. The triple sampling method has about 1.74 times the area and twice the power as compared to the Double Sampling method and also needs a complex clock generation scheme. The I&S method needs about 16% more power with 0.58 times the area as double sampling, but comes with more stringent implementation constraints as it requires detection of small voltage swings.

Mechanisms of formation of the Arabian Sea mini warm pool in a high-resolution Ocean General Circulation Model

An Ocean General Circulation Model of the Indian Ocean with high horizontal (0.25 degrees x 0.25 degrees) and vertical (40 levels) resolutions is used to study the dynamics and thermodynamics of the Arabian Sea mini warm pool (ASMWP), the warmest region in the northern Indian Ocean during January-April. The model simulates the seasonal cycle of temperature, salinity and currents as well as the winter time temperature inversions in the southeastern Arabian Sea (SEAS) quite realistically with climatological forcing. An experiment which maintained uniform salinity of 35 psu over the entire model domain reproduces the ASMWP similar to the control run with realistic salinity and this is contrary to the existing theories that stratification caused by the intrusion of low-salinity water from the Bay of Bengal into the SEAS is crucial for the formation of ASMWP. The contribution from temperature inversions to the warming of the SEAS is found to be negligible. Experiments with modified atmospheric forcing over the SEAS show that the low latent heat loss over the SEAS compared to the surroundings, resulting from the low winds due to the orographic effect of Western Ghats, plays an important role in setting up the sea surface temperature (SST) distribution over the SEAS during November March. During March-May, the SEAS responds quickly to the air-sea fluxes and the peak SST during April-May is independent of the SST evolution during previous months. The SEAS behaves as a low wind, heat-dominated regime during November-May and, therefore, the formation and maintenance of the ASMWP is not dependent on the near surface stratification.

In vitro protection of umbilical cord blood–derived primitive hematopoietic stem progenitor cell pool by mannose-specific lectins via antioxidant mechanisms

BACKGROUND: Earlier we reported that an oral administration of two mannose-specific dietary lectins, banana lectin (BL) and garlic lectin (GL), led to an enhancement of hematopoietic stem and progenitor cell (HSPC) pool in mice. STUDY DESIGN AND METHODS: Cord blood–derived CD34+ HSPCs were incubated with BL, GL, Dolichos lectin (DL), or artocarpin lectin (AL) for various time periods in a serum- and growth factor–free medium and were subjected to various functional assays. Reactive oxygen species (ROS) levels were detected by using DCHFDA method. Cell fractionation was carried out using lectin-coupled paramagnetic beads. RESULTS: CD34+ cells incubated with the lectins for 10 days gave rise to a significantly higher number of colonies compared to the controls, indicating that all four lectins possessed the capacity to protect HSPCs in vitro. Comparative analyses showed that the protective ability of BL and GL was better than AL and DL and, therefore, further experiments were carried out with them. The output of long-term culture-initiating cell (LTC-IC) and extended LTC-IC assays indicated that both BL and GL protected primitive stem cells up to 30 days. The cells incubated with BL or GL showed a substantial reduction in the ROS levels, indicating that these lectins protect the HSPCs via antioxidant mechanisms. The mononuclear cell fraction isolated by lectin-coupled beads got enriched for primitive HSPCs, as reflected in the output of phenotypic and functional assays. CONCLUSION: The data show that both BL and GL protect the primitive HSPCs in vitro and may also serve as cost-effective HSPC enrichment tools.

Singularity and controllability analysis of parallel manipulators and closed-loop mechanisms

This paper presents a study of kinematic and force singularities in parallel manipulators and closed-loop mechanisms and their relationship to accessibility and controllability of such manipulators and closed-loop mechanisms, Parallel manipulators and closed-loop mechanisms are classified according to their degrees of freedom, number of output Cartesian variables used to describe their motion and the number of actuated joint inputs. The singularities in the workspace are obtained by considering the force transformation matrix which maps the forces and torques in joint space to output forces and torques ill Cartesian space. The regions in the workspace which violate the small time local controllability (STLC) and small time local accessibility (STLA) condition are obtained by deriving the equations of motion in terms of Cartesian variables and by using techniques from Lie algebra.We show that for fully actuated manipulators when the number ofactuated joint inputs is equal to the number of output Cartesian variables, and the force transformation matrix loses rank, the parallel manipulator does not meet the STLC requirement. For the case where the number of joint inputs is less than the number of output Cartesian variables, if the constraint forces and torques (represented by the Lagrange multipliers) become infinite, the force transformation matrix loses rank. Finally, we show that the singular and non-STLC regions in the workspace of a parallel manipulator and closed-loop mechanism can be reduced by adding redundant joint actuators and links. The results are illustrated with the help of numerical examples where we plot the singular and non-STLC/non-STLA regions of parallel manipulators and closed-loop mechanisms belonging to the above mentioned classes. (C) 2000 Elsevier Science Ltd. All rights reserved.

Identification of corona discharge-induced SF6 oxidation mechanisms using SF6/18O2/H216O and SF6/16O2/H218O gas mixtures

The absolute yields of gaseous oxyfluorides SOF2, SO2F2, and SOF4 from negative, point-plane corona discharges in pressurized gas mixtures of SF6 with O2 and H2O enriched with18O2 and H2 18O have been measured using a gas chromatograph-mass spectrometer. The predominant SF6 oxidation mechanisms have been revealed from a determination of the relative18O and16O isotope content of the observed oxyfluoride by-product. The results are consistent with previously proposed production mechanisms and indicate that SOF2 and SO2F2 derive oxygen predominantly from H2O and O2, respectively, in slow, gas-phase reactions involving SF4, SF3, and SF2 that occur outside of the discharge region. The species SOF4 derives oxygen from both H2O and O2 through fast reactions in the active discharge region involving free radicals or ions such as OH and O, with SF5 and SF4.

Design of Single-Input-Single-Output Compliant Mechanisms for Practical Applications Using Selection Maps

We present an interactive map-based technique for designing single-input-single-output compliant mechanisms that meet the requirements of practical applications. Our map juxtaposes user-specifications with the attributes of real compliant mechanisms stored in a database so that not only the practical feasibility of the specifications can be discerned quickly but also modifications can be done interactively to the existing compliant mechanisms. The practical utility of the method presented here exceeds that of shape and size optimizations because it accounts for manufacturing considerations, stress limits, and material selection. The premise for the method is the spring-leverage (SL) model, which characterizes the kinematic and elastostatic behavior of compliant mechanisms with only three SL constants. The user-specifications are met interactively using the beam-based 2D models of compliant mechanisms by changing their attributes such as: (i) overall size in two planar orthogonal directions, separately and together, (ii) uniform resizing of the in-plane widths of all the beam elements, (iii) uniform resizing of the out-of-plane thick-nesses of the beam elements, and (iv) the material. We present a design software program with a graphical user interface for interactive design. A case-study that describes the design procedure in detail is also presented while additional case-studies are posted on a website. DOI:10.1115/1.4001877].

Influence of cross-correlation between dipolar and chemical shift anisotropy relaxation mechanisms upon the transverse relaxation rates of 15N in macromolecules

Heteronuclear multiple-quantum coherence relaxation rate are calculated for the individual transitions of the S spin in an AIS nuclear spin system assuming that the heteronucleus (S spin) has relaxation contributions from both intramolecular dipole-dipole and chemical shift anisotropy relaxation. The individual multiplet components of the heteronuclear zero- and double-quantum coherences are shown to have different transverse relaxation rates. The cross-correlation between the two relaxation mechanisms is shown to be the dominant cause of the calculated differential line broadening. Experimental data are presented using as an example a uniformly 15N labelled sample of human epidermal growth factor.

In vitro protection of umbilical cord blood-derived primitive hematopoietic stem progenitor cell pool by mannose-specific lectins via antioxidant mechanisms.

BACKGROUND: Earlier we reported that an oral administration of two mannose-specific dietary lectins, banana lectin (BL) and garlic lectin (GL), led to an enhancement of hematopoietic stem and progenitor cell (HSPC) pool in mice. STUDY DESIGN AND METHODS: Cord blood derived CD34+ HSPCs were incubated with BL, GL, Dolichos lectin (DL), or artocarpin lectin (AL) for various time periods in a serum- and growth factor free medium and were subjected to various functional assays. Reactive oxygen species (ROS) levels were detected by using DCHFDA method. Cell fractionation was carried out using lectin-coupled paramagnetic beads. RESULTS: CD34+ cells incubated with the lectins for 10 days gave rise to a significantly higher number of colonies compared to the controls, indicating that all four lectins possessed the capacity to protect HSPCs in vitro. Comparative analyses showed that the protective ability of BL and GL was better than AL and DL and, therefore, further experiments were carried out with them. The output of long-term culture-initiating cell (LTC-IC) and extended LTC-IC assays indicated that both BL and GL protected primitive stem cells up to 30 days. The cells incubated with BL or GL showed a substantial reduction in the ROS levels, indicating that these lectins protect the HSPCs via antioxidant mechanisms. The mononuclear cell fraction isolated by lectin-coupled beads got enriched for primitive HSPCs, as reflected in the output of phenotypic and functional assays.CONCLUSION: The data show that both BL and GL protect the primitive HSPCs in vitro and may also serve as cost-effective HSPC enrichment tools.

A finite element analysis of dynamic fracture initiation by ductile failure mechanisms in a 4340 steel

In some recent dropweight impact experiments [5] with pre-notched bend specimens of 4340 steel, it was observed that considerable crack tunneling occurred in the interior of the specimen prior to gross fracture initiation on the free surfaces. The final failure of the side ligaments happened because of shear lip formation. The tunneled region is characterized by a flat, fibrous fracture surface. In this paper, the experiments of [5] (corresponding to 5 m/s impact speed) are analyzed using a plane strain, dynamic finite element procedure. The Gurson constitutive model that accounts for the ductile failure mechanisms of micro-void nucleation, growth and coalescence is employed. The time at which incipient failure was observed near the notch tip in this computation, and the value of the dynamic J-integral, J d, at this time, compare reasonably well with experiments. This investigation shows that J-controlled stress and deformation fields are established near the notch tip whenever J d , increases with time. Also, it is found that the evolution of micro-mechanical quantities near the notch root can be correlated with the time variation of J d .The strain rate and the adiabatic temperature rise experienced at the notch root are examined. Finally, spatial variations of stresses and deformations are analyzed in detail.

On measurement of top polarization as a probe of t(t)over-bar production mechanisms at the LHC

In this note we demonstrate the use of top polarization in the study of t (t) over bar resonances at the LHC, in the possible case where the dynamics implies a non-zero top polarization. As a probe of top polarization we construct an asymmetry in the decay-lepton azimuthal angle distribution (corresponding to the sign of cos phi(l)) in the laboratory. The asymmetry is non-vanishing even for a symmetric collider like the LHC, where a positive z axis is not uniquely defined. The angular distribution of the leptons has the advantage of being a faithful top-spin analyzer, unaffected by possible anomalous tbW couplings, to linear order. We study, for purposes of demonstration, the case of a Z' as might exist in the little Higgs models. We identify kinematic cuts which ensure that our asymmetry reflects the polarization in sign and magnitude. We investigate possibilities at the LHC with two energy options: root s = 14TeV and root s = 7TeV, as well as at the Tevatron. At the LHC the model predicts net top quark polarization of the order of a few per cent for M-Z' similar or equal to 1200GeV, being as high as 10% for a smaller mass of the Z' of 700GeV and for the largest allowed coupling in the model, the values being higher for the 7TeV option. These polarizations translate to a deviation from the standard-model value of azimuthal asymmetry of up to about 4% (7%) for 14 (7) TeV LHC, whereas for the Tevatron, values as high as 12% are attained. For the 14TeV LHC with an integrated luminosity of 10 fb(-1), these numbers translate into a 3 sigma sensitivity over a large part of the range 500 less than or similar to M-Z' less than or similar to 1500GeV.

A functional style of programming with CSP-like communication mechanisms

This paper introduces CSP-like communication mechanisms into Backus’ Functional Programming (FP) systems extended by nondeterministic constructs. Several new functionals are used to describe nondeterminism and communication in programs. The functionals union and restriction are introduced into FP systems to develop a simple algebra of programs with nondeterminism. The behaviour of other functionals proposed in this paper are characterized by the properties of union and restriction. The axiomatic semantics of communication constructs are presented. Examples show that it is possible to reason about a communicating program by first transforming it into a non-communicating program by using the axioms of communication, and then reasoning about the resulting non-communicating version of the program. It is also shown that communicating programs can be developed from non-communicating programs given as specifications by using a transformational approach.

Dynamic growth of tensile cracks by ductile and brittle fracture mechanisms in a viscoplastic material

In this paper, a finite element analysis of steady-state dynamic crack growth under Mode I, plane strain, small-scale yielding conditions is performed in a rate dependent plastic material characterized by the over-stress model. The main objective of the paper is to obtain theoretically the dependence of dynamic fracture toughness on crack speed. Crack propagation due to a ductile (micro-void) mechanism or a brittle (cleavage) mechanism, as well as transition from one mode to another are considered. The conversion from ductile to brittle has been observed experimentally but has received very little attention using analytical methods. Local fracture criteria based on strains and stresses are used to describe ductile and brittle fracture mechanisms. The results obtained in this paper are in general agreement with micro-structural observations of mode conversion during fracture initiation. Finally, the particular roles played by material rate sensitivity and inertia are examined in some detail.