Dataflow analysis for data-race free programs

Memory models for shared-memory concurrent programming languages typically guarantee sequential consistency (SC) semantics for datarace-free (DRF) programs, while providing very weak or no guarantees for non-DRF programs. In effect programmers are expected to write only DRF programs, which are then executed with SC semantics. With this in mind, we propose a novel scalable solution for dataflow analysis of concurrent programs, which is proved to be sound for DRF programs with SC semantics. We use the synchronization structure of the program to propagate dataflow information among threads without requiring to consider all interleavings explicitly. Given a dataflow analysis that is sound for sequential programs and meets certain criteria, our technique automatically converts it to an analysis for concurrent programs.

Thermoelectric properties of Bi-added Co4Sb12 skutterudites

Void filling in (I) Bi-x-added Co4Sb12 or (II) Sb/Bi substitution of Co4Sb12-xBix has been investigated for structural and thermoelectric properties evaluation. X-ray powder data Rietveld refinements combined with electron probe microanalyses showed a polycrystalline and practically Bi-free CoSb3 skutterudite phase as the major constituent as well as a secondary Bi phase in the grain boundaries. For series I alloys, the electrical conductivity, Seebeck coefficient and thermal conductivity were measured as a function of temperature in the range from 450 to 750 K. The electrical conductivity of all the samples increased with increasing temperature, showing a semiconducting nature with smaller values of the Seebeck coefficient for higher Bi fractions. Conduction over the entire temperature range was found to arise from a single p-type carrier. Thermal conductivity showed a reduction with Bi added in all the samples, except for Bi0.75Co4Sb12, and the lowest lattice thermal conductivity was found for a Bi-added fraction of 0.5. The maximum zT value of 0.53 at 632 K is higher than that of Co4Sb12.

Correlation between enhanced lattice polarizability and high piezoelectric response in BiScO3-PbTiO3

Piezoelectric and ex situ electric-field induced structural studies were carried out on closely spaced compositions in the morphotropic phase boundary region of (1 - x) PbTiO3-(x)BiScO3. While the common approach of zero field structural analysis failed to provide a unique relationship between the anomalous piezoresponse of x = 0.3725 and structural factor(s), ex situ study of electric-field induced structural changes revealed that the composition exhibiting the highest piezoelectric response is the one which also exhibits significantly enhanced polarizability of the lattices of both coexisting (monoclinic and tetragonal) phases. The enhanced lattice polarizability manifests as a significant fraction of the monoclinic phase transforming irreversibly to the tetragonal phase after electric poling. DOI: 10.1103/PhysRevB.87.064106

Lexicon-free, novel segmentation of online handwritten indic words

Research in the field of recognizing unlimited vocabulary, online handwritten Indic words is still in its infancy. Most of the focus so far has been in the area of isolated character recognition. In the context of lexicon-free recognition of words, one of the primary issues to be addressed is that of segmentation. As a preliminary attempt, this paper proposes a novel script-independent, lexicon-free method for segmenting online handwritten words to their constituent symbols. Feedback strategies, inspired from neuroscience studies, are proposed for improving the segmentation. The segmentation strategy has been tested on an exhaustive set of 10000 Tamil words collected from a large number of writers. The results show that better segmentation improves the overall recognition performance of the handwriting system.

Tensile behavior of a free-standing Pt-aluminide (PtAl) bond coat

The tensile behavior of a high activity stand-alone Pt-aluminide (PtAl) bond coat was evaluated by the micro-tensile test method at various temperatures (room temperature to 1100 degrees C) and strain rates (10(-5) s(-1)-10(-1) s(-1).) At all strain rates, the stress strain behavior of the stand-alone coating was significantly affected by the variation in temperature. The stress strain response was linear, indicating brittle behavior, at temperatures below the brittle ductile transition temperature (BDTT). The coating exhibited appreciable ductility (up to 2%) above the BDTT. The strength (both yield stress and ultimate tensile strength) of the coating decreased and its ductility increased with increasing temperature above the BDTT. The tensile behavior of the coating was sensitive to strain rate in the ductile regime, with its strength increasing with increasing strain rate at any given temperature. The BDTT of the coating was found to increase with increasing with increasing strain rate. The coating exhibited two distinct mechanisms of deformation above the BDTT. The transition temperature for the change of deformation mechanism also increased with increasing strain rate. (C) 2012 Acta Materialia Inc. Published by Elsevier Ltd. All rights reserved.

Effect of compressibility on the velocity gradient tensor at free shear flow boundaries

Analyses of the invariants of the velocity gradient ten- sor were performed on flow fields obtained by DNS of compressible plane mixing layers at convective Mach num- bers Mc=0:15 and 1.1. Joint pdfs of the 2nd and 3rd invariants were examined at turbulent/nonturbulent (T/NT) boundaries—defined as surfaces where the local vorticity first exceeds a threshold fraction of the maximum of the mean vorticity. By increasing the threshold from very small lev-els, the boundary points were moved closer into the turbulent region, and the effects on the pdfs of the invariants were ob-served. Generally, T/NT boundaries are in sheet-like regions at both Mach numbers. At the higher Mach number a distinct lobe appears in the joint pdf isolines which has not been ob-served/reported before. A connection to the delayed entrain-ment and reduced growth rate of the higher Mach number flow is proposed.

Thermal Rearrangement of Azido Ketones into Oxazoles via Azirines: One-Pot, Metal-Free Heteroannulation to Functionalized 1,3-Oxazoles

alpha-Azidoacetophenones were converted into 2-aryl-1,3-oxazole-4-carbaldehydes through rearrangement of the carbon framework upon exposure to DMF/POCl3. The unprecedented rearrangement occurs via alkenyl azides and 2H-azirines. A mechanism for this unusual reaction was proposed and evidenced.

Simulation of Deformation Texture Evolution During Multi Axial Forging of Interstitial Free Steel

Bulk texture measurement of multi-axial forged body center cubic interstitial free steel performed in this study using x-ray and neutron diffraction indicated the presence of a strong {101}aOE (c) 111 > single texture component. Viscoplastic self-consistent simulations could successfully predict the formation of this texture component by incorporating the complicated strain path followed during this process and assuming the activity of {101}aOE (c) 111 > slip system. In addition, a first-order estimate of mechanical properties in terms of highly anisotropic yield locus and Lankford parameter was also obtained from the simulations.

Interaction between a notch and cylindrical voids in aluminum single crystals: Experimental observations and numerical simulations

A combined 3D finite element simulation and experimental study of interaction between a notch and cylindrical voids ahead of it in single edge notch (tension) aluminum single crystal specimens is undertaken in this work. Two lattice orientations are considered in which the notch front is parallel to the crystallographic 10 (1) over bar] direction. The flat surface of the notch coincides with the (010) plane in one orientation and with the (1 (1) over bar1) plane in the other. Three equally spaced cylindrical voids are placed directly ahead of the notch tip. The predicted load-displacement curves, slip traces, lattice rotation and void growth from the finite element analysis are found to be in good agreement with the experimental observations for both the orientations. Finite element results show considerable through-thickness variation in both hydrostatic stress and equivalent plastic slip which, however, depends additionally on the lattice orientation. The through-thickness variation in the above quantities affects the void growth rate and causes it to differ from the center-plane to the free surface of the specimen. (c) 2012 Elsevier Ltd. All rights reserved.

Sex and physiological state influence the rate of resource acquisition and monopolisation in urban free-ranging dogs, Canis familiaris

In animal populations, the constraints of energy and time can cause intraspecific variation in foraging behaviour. The proximate developmental mediators of such variation are often the mechanisms underlying perception and associative learning. Here, experience-dependent changes in foraging behaviour and their consequences were investigated in an urban population of free-ranging dogs, Canis familiaris by continually challenging them with the task of food extraction from specially crafted packets. Typically, males and pregnant/lactating (PL) females extracted food using the sophisticated `gap widening' technique, whereas non-pregnant/non-lactating (NPNL) females, the relatively underdeveloped `rip opening' technique. In contrast to most males and PL females (and a few NPNL females) that repeatedly used the gap widening technique and improved their performance in food extraction with experience, most NPNL females (and a few males and PL females) non-preferentially used the two extraction techniques and did not improve over successive trials. Furthermore, the ability of dogs to sophisticatedly extract food was positively related to their ability to improve their performance with experience. Collectively, these findings demonstrate that factors such as sex and physiological state can cause differences among individuals in the likelihood of learning new information and hence, in the rate of resource acquisition and monopolization.

Chapman-Enskog analysis for finite-volume formulation of lattice Boltzmann equation

The classical Chapman-Enskog expansion is performed for the recently proposed finite-volume formulation of lattice Boltzmann equation (LBE) method D.V. Patil, K.N. Lakshmisha, Finite volume TVD formulation of lattice Boltzmann simulation on unstructured mesh, J. Comput. Phys. 228 (2009) 5262-5279]. First, a modified partial differential equation is derived from a numerical approximation of the discrete Boltzmann equation. Then, the multi-scale, small parameter expansion is followed to recover the continuity and the Navier-Stokes (NS) equations with additional error terms. The expression for apparent value of the kinematic viscosity is derived for finite-volume formulation under certain assumptions. The attenuation of a shear wave, Taylor-Green vortex flow and driven channel flow are studied to analyze the apparent viscosity relation.

Model-free simulations for compressible mixing layer

Confined supersonic mixing layer is explored through model-free simulations. Both two- and three-dimensional spatio-temporal simulations were carried out employing higher order finite difference scheme as well as finite volume scheme based on open source software (OpenFOAM) to understand the effect of three-dimensionality on the development of mixing layer. It is observed that although the instantaneous structures exhibit three-dimensional features, the average pressure and velocities are predominantly two-dimensional. The computed wall pressures match well with experimental results fairly well, although three-dimensional simulation underpredicts the wall pressure in the downstream direction. The self-similarity of the velocity profiles is obtained within the duct length for all the simulations. Although the mixing layer thicknesses differ among different simulations, their growth rate is nearly the same. Significant differences are observed for species and temperature distribution between two- and three-dimensional calculations, and two-dimensional calculations do not match the experimental observation of smooth variations in species mass fraction profiles as reported in literature. Reynolds stress distribution for three-dimensional calculations show profiles with less peak values compared to two-dimensional calculations; while normal stress anisotropy is higher for three-dimensional case.

Surfactant free, non-aqueous method, for the deposition of ZnO nanoparticle thin films on Si(100) substrate with tunable ultraviolet (UV) emission

We report, strong ultraviolet (UV) emission from ZnO nanoparticle thin film obtained by a green synthesis, where the film is formed by the microwave irradiation of the alcohol solution of the precursor. The deposition is carried out in non-aqueous medium without the use of any surfactant, and the film formation is quick (5 min). The film is uniform comprising of mono-disperse nanoparticles having a narrow size distribution (15-22 nm), and that cover over an entire area (625 mm(2)) of the substrate. The growth rate is comparatively high (30-70 nm/min). It is possible to tune the morphology of the films and the UV emission by varying the process parameters. The growth mechanism is discussed precisely and schematic of the growth process is provided.

Free energy barriers for homogeneous crystal nucleation in a eutectic system of binary hard spheres

In this study, the free energy barriers for homogeneous crystal nucleation in a system that exhibits a eutectic point are computed using Monte Carlo simulations. The system studied is a binary hard sphere mixture with a diameter ratio of 0.85 between the smaller and larger hard spheres. The simulations of crystal nucleation are performed for the entire range of fluid compositions. The free energy barrier is found to be the highest near the eutectic point and is nearly five times that for the pure fluid, which slows down the nucleation rate by a factor of 10(-31). These free energy barriers are some of highest ever computed using simulations. For most of the conditions studied, the composition of the critical nucleus corresponds to either one of the two thermodynamically stable solid phases. However, near the eutectic point, the nucleation barrier is lowest for the formation of the metastable random hexagonal closed packed (rhcp) solid phase with composition lying in the two-phase region of the phase diagram. The fluid to solid phase transition is hypothesized to proceed via formation of a metastable rhcp phase followed by a phase separation into respective stable fcc solid phases.

Cl-35 NQR frequency and spin lattice relaxation time in 3,4-dichlorophenol as a function of pressure and temperature

The pressure dependences of Cl-35 nuclear quadrupole resonance (NQR) frequency, temperature and pressure variation of spin lattice relaxation time (T-1) were investigated in 3,4-dichlorophenol. T-1 was measured in the temperature range 77-300 K. Furthermore, the NQR frequency and T-1 for these compounds were measured as a function of pressure up to 5 kbar at 300 K. The temperature dependence of the average torsional lifetimes of the molecules and the transition probabilities W-1 and W-2 for the Delta m = +/- 1 and Delta m = +/- 2 transitions were also obtained. A nonlinear variation of NQR frequency with pressure has been observed and the pressure coefficients were observed to be positive. A thermodynamic analysis of the data was carried out to determine the constant volume temperature coefficients of the NQR frequency. An attempt is made to compare the torsional frequencies evaluated from NQR data with those obtained by IR spectra. On selecting the appropriate mode from IR spectra, a good agreement with torsional frequency obtained from NQR data is observed. The previously mentioned approach is a good illustration of the supplementary nature of the data from IR studies, in relation to NQR studies of compounds in solid state.