Comprehensive Path-sensitive Data-flow Analysis

Data-flow analysis is an integral part of any aggressive optimizing compiler. We propose a framework for improving the precision of data-flow analysis in the presence of complex control-flow. W initially perform data-flow analysis to determine those control-flow merges which cause the loss in data-flow analysis precision. The control-flow graph of the program is then restructured such that performing data-flow analysis on the resulting restructured graph gives more precise results. The proposed framework is both simple, involving the familiar notion of product automata, and also general, since it is applicable to any forward data-flow analysis. Apart from proving that our restructuring process is correct, we also show that restructuring is effective in that it necessarily leads to more optimization opportunities. Furthermore, the framework handles the trade-off between the increase in data-flow precision and the code size increase inherent in the restructuring. We show that determining an optimal restructuring is NP-hard, and propose and evaluate a greedy strategy. The framework has been implemented in the Scale research compiler, and instantiated for the specific problem of Constant Propagation. On the SPECINT 2000 benchmark suite we observe an average speedup of 4% in the running times over Wegman-Zadeck conditional constant propagation algorithm and 2% over a purely path profile guided approach.

Multi-time scale analysis applied to long time simulation of power systems

The results are presented of applying multi-time scale analysis using the singular perturbation technique for long time simulation of power system problems. A linear system represented in state-space form can be decoupled into slow and fast subsystems. These subsystems can be simulated with different time steps and then recombined to obtain the system response. Simulation results with a two-time scale analysis of a power system show a large saving in computational costs.

The scale-invariance of spatial patterning in a developing system

Regulating systems, that is, those which exhibit scale-invariant patterns in the adult, are supposed, to do so on account of interactions between cells during development. The nature of these interactions has to be such that the system of positional information (ldquomaprdquo) in the embryo also regulates. To our knowledge, this supposition regarding a regulating map has not been subjected to a direct test in any embryonic system. Here we do so by means of a simple and novel criterion and use it to examine tip regeneration in the mulicellular stage (slug) ofDictyostelium discoideum. When anterior, tip-containing fragments of slugs are amputated, a new tip spontaneously regenerates at the cut surface of the (remaining) posterior fragment. The time needed for regeneration to occur depends on the relative size of the amputated fragment but is independent of the total size of the slug. We conclude from this finding that there is at least one system underlying positional information in the slug which regulates.

Reaction product of lime and silica from rice husk ash

Rice husk ash (about 95% silica) with known physical and chemical characteristics has been reacted with lime and water. The setting process for a lime-excess and a lime-deficient mixture has been investigated. The product of the reaction has been shown to be a calcium silicate hydrate, C-S-H(I)+ by a combination of thermal analysis, XRD and electron microscopy. Formation of C-S-H(I) accounts for the strength of lime-rice husk ash cement.

A concise synthesis of the bioactive meroterpenoid natural product (+/-)-liphagal, a potent PI3K inhibitor

A short, diversity-oriented synthesis that follows a biomimetic route to the marine natural product liphagal, from a commercially available building block, is delineated.

The sensitivity of the northern hemisphere summer mean meridional circulation to changes in the large scale eddy forcing

A zonally averaged version of the Goddard Laboratory for Atmospheric Sciences (GLAS) climate model is used to study the sensitivity of the northern hemisphere (NH) summer mean meridional circulation to changes in the large scale eddy forcing. A standard solution is obtained by prescribing the latent heating field and climatological horizontal transports of heat and momentum by the eddies. The radiative heating and surface fluxes are calculated by model parameterizations. This standard solution is compared with the results of several sensitivity studies. When the eddy forcing is reduced to 0.5 times or increased to 1.5 times the climatological values, the strength of the Ferrel cells decrease or increase proportionally. It is also seen that such changes in the eddy forcing can influence the strength of theNH Hadley cell significantly. Possible impact of such changes in the large scale eddy forcing on the monsoon circulation via changes in the Hadley circulation is discussed. Sensitivity experiments including only one component of eddy forcing at a time show that the eddy momentum fluxes seem to be more important in maintaining the Ferrel cells than the eddy heat fluxes. In the absence of the eddy heat fluxes, the observed eddy momentum fluxes alone produce subtropical westerly jets which are weaker than those in the standard solution. On the other hand, the observed eddy heat fluxes alone produce subtropical westerly jets which are stronger than those in the standard solution.

Knoevenagel condensation of 2-carbethoxycyclohexanone and malononitrile: Synthesis of 4-cyano-3-ethoxy-1-hydroxy-5,6,7,8-tetrahydroisoquinoline, an isomer of the abnormal product

The structure of the abnormal product 1a formed in the Knoevenagel condensation of 2-carbethoxycyclohexanone and malononitrile has been further confirmed. Oxidation of the tetrahydroisoquinoline 3b using Na2Cr2O-AcOH-H2SO4 gave the keto isoquinoline 3d and the isoquinoline-1-carboxylic acid 5a. The acid chloride of 5a was condensed with diethyl ethoxymagnesiomalonate to afford after decarbethoxylation the methyl ketone 5d which on Baeyer-Villiger oxidation gave a mixture of the acetate 1g and the title compound 1b. The unambiguous synthesis of 1b confirms the structure assigned earlier to the title compound also formed during the partial hydrolysis of the diethoxy compound 1c. Condensation of 2-acetylcyclohexane-1,3-dione with malononitrile gave the quinoline derivative 4c which on ethylation yielded the ketoquinoline 4d. The present studies have confirmed that the quinoline compound 4a is also formed in the condensation of 2-acetylcyclohexanone and cyanoacetamide.

A simple method for large-scale preparation of chick embryo tRNA

A simple method for preparing bulk quantities of tRNA from chick embryo has been developed. In this method chick embryos were homogenized in a buffer of pH 4.5, followed by deproteinization with phenol. The aqueous layer was allowed to separate under gravity. The resulting aqueous layer, after two more phenol treatments, was directly passed through a DEAE-cellulose column and the tRNA eluted therefrom with 1 Image NaCl. The tRNA prepared by this method was as active as the one prepared at neutral pH.

Oxidation of bis-(2-hydroxy-1-naphthyl)methane with 2,3-dichloro-5,6-dicyano-1,4-benzoquinone. X-Ray crystal structure of a novel product

A novel compound obtained by the oxidation of the title compound with 2,3-dichloro-5,6-dicyano-1,4-benzoquinone has been assigned structure (5) on the basis of spectral data and X-ray crystal structure analysis.

An FETI-preconditioned conjuerate gradient method for large-scale stochastic finite element problems

In the spectral stochastic finite element method for analyzing an uncertain system. the uncertainty is represented by a set of random variables, and a quantity of Interest such as the system response is considered as a function of these random variables Consequently, the underlying Galerkin projection yields a block system of deterministic equations where the blocks are sparse but coupled. The solution of this algebraic system of equations becomes rapidly challenging when the size of the physical system and/or the level of uncertainty is increased This paper addresses this challenge by presenting a preconditioned conjugate gradient method for such block systems where the preconditioning step is based on the dual-primal finite element tearing and interconnecting method equipped with a Krylov subspace reusage technique for accelerating the iterative solution of systems with multiple and repeated right-hand sides. Preliminary performance results on a Linux Cluster suggest that the proposed Solution method is numerically scalable and demonstrate its potential for making the uncertainty quantification Of realistic systems tractable.

Tryst with a molecular and supramolecular oddity: an anti-Furst-Plattner epoxide opening product as a designer additive for accessing an elusive polymorph

Additive induced polymorphism of a conformationally locked tetraacetate 3 in presence of its diastereomer 4 is described. The ester 3 was specially crafted on a trans-decalin backbone to relegate the O-H center dot center dot center dot O H-bond donors to the molecular interior and have the peripheral H-bond acceptors in 1,3-syndiaxial relationship. The supramolecular assembly of 3 was destined to evolve along two mutually exclusive pathways, namely one, which employs intermolecular O-H center dot center dot center dot O H-bonds (pathway 1) and the other that sacrifices these for intramolecular O-H center dot center dot center dot O H-bonds and settles for a crystal packing dictated by weak intermolecular interactions alone (pathway 2). Exploiting the similarity between the self-assemblies of 4 and the two recently reported dimorphs of 3, the ester 3 has been stimulated to follow the elusive non-hierarchical pathway 2 through preferential inhibition of pathway 1. Interestingly, the inhibitor 4 was obtained serendipitously en route 3 via an apparent breakdown of Furst-Plattner rule.

Nonlocal scale effects on wave propagation in multi-walled carbon nanotubes

This paper represents the effect of nonlocal scale parameter on the wave propagation in multi-walled carbon nanotubes (MWCNTs). Each wall of the MWCNT is modeled as first order shear deformation beams and the van der Waals interactions between the walls are modeled as distributed springs. The studies shows that the scale parameter introduces certain band gap region in both flexural and shear wave mode where no wave propagation occurs. This is manifested in the wavenumber plots as the region where the wavenumber tends to infinite (or group speed tends to zero). The frequency at which this phenomenon occurs is called the ``Escape frequency''. The analysis shows that, for a given N-walled carbon nanotube (CNT). the nonlocal scaling parameter has a significant effect on the shear wave modes of the N - 1 walls. The escape frequencies of the flexural and shear wave modes of the N-walls are inversely proportionl to the nonlocal scaling parameter. It is also shown that the cut-off frequencies are independent of the nonlocal scale parameter. (C) 2009 Elsevier B.V. All rights reserved.

Influence of tool rake angle on the quality of pure magnesium chip-consolidated product

Chips were produced by orthogonal Cutting of cast pure magnesium billet with three different tool rake angles viz., -15 degrees, -5 degrees and +15 degrees on a lathe. Chip consolidation by solid state recycling technique involved cold compaction followed by hot extrusion. The extruded products were characterized for microstructure and mechanical properties. Chip-consolidated products from -15 degrees rake angle tools showed 19% increase in tensile strength, 60% reduction ingrain size and 12% increase in hardness compared to +15 degrees rake chip-consolidated product indicating better chip bonding and grain refinement. Microstructure of the fracture specimen Supports the abovefinding. On the overall, the present work high lights the importance of tool take angle in determining the quality of the chip-consolidated products. (C) 2009 Elsevier B.V. All rights reserved.

Nano-meter scale plasticity in KBr studied by nanoindenter and force microscopy

The early stages of plasticity in KBr single crystals have been studied by means of nano-meter-scale indentation in complementary experiments using both a nanoindenter and an atomic force microscope. Nanoindentafion experiments precisely correlate indentation depth and forces, while force microscopy provides high-resolution force measurements and images of the surface revealing dislocation activity. The two methods provide very similar results for the onset of plasticity in KBr. Upon loading we observe yield of the surface in atomic layer units which we attribute to the nucleation of single dislocations. Unloading is accompanied by plastic recovery as evident from a non-linear force distance unloading curve and delayed discrete plasticity events.