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.

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.

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.

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.

Lead-free piezoelectric system (Na0.5Bi0.5)TiO3-BaTiO3: Equilibrium structures and irreversible structural transformations driven by electric field and mechanical impact

The structure-property correlation in the lead-free piezoelectric (1 - x)(Na0.5Bi0.5)TiO3-(x)BaTiO3 has been systematically investigated in detail as a function of composition (0 < x <= 0.11), temperature, electric field, and mechanical impact by Raman scattering, ferroelectric, piezoelectric measurement, x-ray, and neutron powder diffraction methods. Although x-ray diffraction study revealed three distinct composition ranges characterizing different structural features in the equilibrium state at room temperature: (i) monoclinic (Cc) + rhombohedral (R3c) for the precritical compositions, 0 <= x <= 0.05, (ii) cubiclike for 0.06 <= x <= 0.0675, and (iii) morphotropic phase boundary (MPB) like for 0.07 <= x < 0.10, Raman and neutron powder diffraction studies revealed identical symmetry for the cubiclike and the MPB compositions. The cubiclike structure undergoes irreversible phase separation by electric poling as well as by pure mechanical impact. This cubiclike phase exhibits relaxor ferroelectricity in its equilibrium state. The short coherence length (similar to 50A degrees) of the out-of-phase octahedral tilts does not allow the normal ferroelectric state to develop below the dipolar freezing temperature, forcing the system to remain in a dipolar glass state at room temperature. Electric poling helps the dipolar glass state to transform to a normal ferroelectric state with a concomitant enhancement in the correlation length of the out-of-phase octahedral tilt.

Polymorphic phase boundaries and enhanced piezoelectric response in extended composition range in the lead free ferroelectric BaTi1-xZrxO3

Neutron powder diffraction study of Ba(Ti1-xZrx)O-3 at close composition intervals has revealed coexistence of ferroelectric phases: orthorhombic (Amm2) + tetragonal (P4mm) for 0.02 <= x <= 0.05 and rhombohedral (R3m) + orthorhombic (Amm2) for 0.07 <= x < 0.09. These compositions exhibit relatively enhanced piezoelectric properties as compared to their single phase counterparts outside this composition region, confirming the polymorphic phase boundary nature of the phase coexistence regions. (C) 2013 AIP Publishing LLC.

Efficient gradient-free simplex method for estimation of optical properties in image-guided diffuse optical tomography

Typical image-guided diffuse optical tomographic image reconstruction procedures involve reduction of the number of optical parameters to be reconstructed equal to the number of distinct regions identified in the structural information provided by the traditional imaging modality. This makes the image reconstruction problem less ill-posed compared to traditional underdetermined cases. Still, the methods that are deployed in this case are same as those used for traditional diffuse optical image reconstruction, which involves a regularization term as well as computation of the Jacobian. A gradient-free Nelder-Mead simplex method is proposed here to perform the image reconstruction procedure and is shown to provide solutions that closely match ones obtained using established methods, even in highly noisy data. The proposed method also has the distinct advantage of being more efficient owing to being regularization free, involving only repeated forward calculations. (C) 2013 Society of Photo-Optical Instrumentation Engineers (SPIE)

Rotating beams and non-rotating beams with shared eigenpair for pinned-free boundary condition

In this paper we look for a rotating beam, with pinned-free boundary conditions, whose eigenpair (frequency and mode-shape) is same as that of a uniform non-rotating beam for a particular mode. It is seen that for any given mode, there exists a flexural stiffness function (FSF) for which the ith mode eigenpair of a rotating beam with uniform mass distribution, is identical to that of a corresponding non-rotating beam with same length and mass distribution. Inserting these derived FSF's in a finite element code for a rotating pinned-free beam, the frequencies and mode shapes of a non-rotating pinned-free beam are obtained. For the first mode, a physically realistic equivalent rotating beam is possible, but for higher modes, the FSF has internal singularities. Strategies for addressing these singularities in the FSF for finite element analysis are provided. The proposed functions can be used as test functions for rotating beam codes and also for targeted destiffening of rotating beams.

Closed-form solutions for non-uniform Euler-Bernoulli free-free beams

In this paper, the free vibration of a non-uniform free-free Euler-Bernoulli beam is studied using an inverse problem approach. It is found that the fourth-order governing differential equation for such beams possess a fundamental closed-form solution for certain polynomial variations of the mass and stiffness. An infinite number of non-uniform free-free beams exist, with different mass and stiffness variations, but sharing the same fundamental frequency. A detailed study is conducted for linear, quadratic and cubic variations of mass, and on how to pre-select the internal nodes such that the closed-form solutions exist for the three cases. A special case is also considered where, at the internal nodes, external elastic constraints are present. The derived results are provided as benchmark solutions for the validation of non-uniform free-free beam numerical codes. (C) 2013 Elsevier Ltd. All rights reserved.