Detecting nondeterminacy in parallel programs

Methods and tools for detecting nondeterminacy in programs for shared-memory multiprocessors are discussed. The approach described divides the debugging chore into two phases. The first phase uses tools that automatically detect nondeterminacy to debug synchronization errors, assuming it is decided at the outset to make the parallel program determinate. At the end of this phase, it is known that the program is determinate, that timing differences will not affect results, and the debugging sessions are repeatable. In the second phase, an interactive break-point debugger is used to find arithmetic and logical errors. The proposed tools fall into two groups: those that statically analyze the source program and those that analyze an execution trace of the program     

Choice of design of cryogenic vessels with minimal weight

Translated from Khimicheskoe i Neftyanoe Mashinostroenie, No. 3, pp. 20–22, March, 1991.     

Comparison between the effects of positive noncatastrophic HBM ESDstress in n-channel and p-channel power MOSFETs

The effect of noncatastrophic positive human body model (HBM) electrostatic discharge (ESD) stress on n-channel power MOSFETs is radically different from that on p-channel MOSFETs. In n-channel transistors, the stress causes negative shifts of the current-voltage characteristics indicative of positive charge trapping in the gate oxide. In p-channel transistors, the stress increases the drain-to-source leakage current, probably due to localized avalanche electron injection from the p-doped drain     

Conformational effects in the reversed-phase chromatographic behavior of recombinant human growth hormone (rhGH) and N-methionyl recombinant human growth hormone (Met-hGH).

This paper examines the retention behavior of recombinant DNA-derived human growth hormone (rhGH) in reversed-phase chromatography and its separation from the closely related N-methionyl variant (Met-hGH). It is first shown that retention for rhGH decreases with increasing column temperature when 1-propanol (1-PrOH) is used as organic modifier. On the other hand, retention increases with temperature when acetonitrile (CH3CN) is employed. The differences in behavior for the two organic modifiers could be related to conformational changes in the protein as determined by solution and adsorption intrinsic fluorescence spectroscopy. Specifically, desorption and elution of rhGH using 1-PrOH could be correlated with a solvent-induced conformational change, with retention decreasing with increasing temperature due to the increasing ease of structural alteration. On the other hand for CH3CN the increase in retention correlated with temperature rise was related to a partial structural change yielding a more hydrophobic species. In this case, a surface-driven process is suggested. The work then turned to the separation of rhGH and Met-hGH where it was found for both organic modifiers optimum separation occurred at 45 degrees C and pH 6.5. Separate studies revealed that during the conformational change Met-hGH appeared more hydrophobic than rhGH since protein-protein aggregation was observed at a lower 1-PrOH concentration. It is suggested that this hydrophobic difference, which was optimized under the conditions cited above, resulted in the separation. The study demonstrates the importance of conformational changes in retention behavior and separation of protein samples.     

Municipal solid waste conversion to energy

In recent years it has been recognised by an increasing number of nations that there is considerable energy potential within MSW. As a result many countries have established R,D& D programmes to examine methods of exploiting this potential. The IEA's MSW Conversion Activity was set up in 1986 to provide an infrastructure for sharing information and co-ordinating work in this area internationally. This Activity was extended in 1989 and currently a total of 9 nations participate in it.

To cope with the wide scope of the area (encompassing both biological and thermal processing of MSW) the Activity was divided into three subgroups or Expert Working Groups (EWGs). Each of these dealt with a distinct area of expertise:

1. •Downstream effects of source separation and screening of MSW

2. •Sampling and analytical protocols

3. •Landfill gas

In addition to these groups a central secretariat based at Harwell (UK) has provided guidance, established and administered databases of contacts and produced a series of national reports.

This paper describes the achievements of the Activity and discusses work proposed for the future.     

DETERMINATION of the MIXING INDEX of PADDY GRAINS UNDER VIBRATING CONDITIONS

Mixing of ingredients is an important operation in processing of food for obtaining the better quality product. A laboratory set‐up capable of modulating both frequency and amplitude of vibration of the grain bed was used to determine the mixing indices of paddy grains under varied experimental conditions. the mixing indices of three different types of paddy grain for three different grain bed depths were determined. the parameters varied were the vibration amplitude, frequency and the mixing time, respectively from 2 to 10 mm, 10 to 50 Hz and 5 to 120 s. Three varieties of paddy (short bold, medium slender and long slender) were used in the experiments with different length‐breadth ratio (slenderness ratio, μ, of 5.77, 4.48 and 2.70). Response surface methodology was adopted to optimize the amplitude and frequency of vibration of the mixing device. the results revealed that, the optimum frequency and amplitude of vibration for the medium slender (μ= 4.48) variety of paddy were 20–22 Hz and 8–9 mm, respectively for all the three grain bed depths of 25, 12 and 6 mm. Irrespective of grain bed depth, all the three different types of paddy showed maximum mixing indices value after 1 min of mixing. Extending the mixing time did not have any effect on mixing indices. the effect of bed depth was found to be insignificant for short bold variety of paddy.     

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.     

Equitone Predicate Algebras and Their Applications

Predicates that preserve their values on a larger (extended) body of data are called equitone. An algebra of such predicates is constructed, a system of its generators is specified, and a complete system of transformations of identities is defined. The results obtained are used for construction and investigation of complete classes of compositions of various types and levels of abstractions that are used in logics of partial predicates.     

Theoretical investigation of penetration characteristics in gas metal-arc welding using finite element method

In the modeling of the gas metal-arc (GMA) welding process, heat inputs to the workpiece by the arc and the metal transfers have been considered separately. The heat energy delivered due to the metal transfer has been approximated in the form of a cylindrical volumetric heat source, whose dimensions of the radius and the height are dependent on the molten metal droplet characteristics. The pinch instability theory (PIT) and the static force balance theory (SFBT) of drop detachment have independently been used to obtain the expressions for various characteristics of the drop,i.e., the drop radius, the drop velocity, and the drop frequency at various welding parameters. The occurrence or the nonoccurrence of finger penetration, routinely found in the GMA welding at high welding currents, has been satisfactorily explained by the cylindrical heat source model. The effect of various welding parameters,e.g., the welding current, the wire radiusetc., on the weld bead penetration characteristics has been investigated. In this modeling effort, the heat conduction equation has been solved in three dimensions.