Interdependent cache analyses for better precision and safety

One of the challenges for accurately estimating Worst Case Execu-tion Time(WCET) of executables is to accurately predict their cache behaviour. Various techniques have been developed to predict the cache contents at different program points to estimate the execution time of memory-accessing instructions. One of the most widely used techniques is Abstract Interpretation based Must Analysis, which de-termines the cache blocks guaranteed to be present in the cache, and hence provides safe estimation of cache hits and misses. However,Must Analysis is highly imprecise, and platforms using Must Analysis have been known to produce blown-up WCET estimates. In our work, we propose to use May Analysis to assist the Must Analysis cache up-date and make it more precise. We prove the safety of our approach as well as provide examples where our Improved Must Analysis provides better precision. Further, we also detect a serious flaw in the original Persistence Analysis, and use Must and May Analysis to assist the Persistence Analysis cache update, to make it safe and more precise than the known solutions to the problem.

Current rectification by a single ZnS nanorod probed using a scanning tunneling microscopic technique

We report on the rectification properties from a single ZnS nanorod measured using the UHV-SPM technique. The rectification behavior is evidenced from the current-voltage characteristics measured on a single ZnS nanorod. We propose a tunneling mechanism where the direct tunneling mechanism is dominant at lower applied bias voltages followed by resonant tunneling through discrete energy levels of the nanorod. A further increase in the bias voltage changes the tunneling mechanism to the Fowler-Nordheim tunneling regime enabling rectification behavior. Realizing rectification from a single ZnS nanorod may provide a means of realizing a single nanorod based miniaturized device.

Studies on microscopic structure of diesel sprays under atmospheric and high gas pressures

In the present work, the spray structure of diesel from a 200-mu m, single-hole solenoid injector is studied using microscopic imaging at injection pressures of 700, 1000 and 1400 bar for various gas pressures. A long-distance microscope with a high resolution camera is used for spray visualization with a direct imaging technique. This study shows that even at very high injection pressures, the spray structure in an ambient environment of atmospheric pressure reveals presence of entangled ligaments and non-spherical droplets during the injection period. With increase in the injection pressure, the ligaments tend to get smaller and spread radially. The spray structure studies are also conducted at high gas pressures in a specially designed high pressure chamber with optical access. The near nozzle spray structure at the end of the injection shows that the liquid jet breakup is improved with increase in gas density. The droplet size measurement is possible only late in the injection duration when the breakup appears to be complete and mostly spherical droplets are observed. Hence, droplet size measurements are performed after 1.3 ms from start of the injection pulse. Spatial and temporal variation in Sauter Mean `Diameter (SMD) is observed and reported for the case corresponding to an injection pressure of 700 bar. Overall, this study has highlighted the importance of verifying the extentof atomization and droplet shape even in dense sprays before using conventional dropsizing methods such as PDPA.

Microscopic description of the evolution of the local structure and an evaluation of the chemical pressure concept in a solid solution

Extended x-ray absorption fine-structure studies have been performed at the Zn K and Cd K edges for a series of solid solutions of wurtzite Zn1-xCdxS samples with x = 0.0, 0.1, 0.25, 0.5, 0.75, and 1.0, where the lattice parameter as a function of x evolves according to the well-known Vegard's law. In conjunction with extensive, large-scale first-principles electronic structure calculations with full geometry optimizations, these results establish that the percentage variation in the nearest-neighbor bond distances are lower by nearly an order of magnitude compared to what would be expected on the basis of lattice parameter variation, seriously undermining the chemical pressure concept. With experimental results that allow us to probe up to the third coordination shell distances, we provide a direct description of how the local structure, apparently inconsistent with the global structure, evolves very rapidly with interatomic distances to become consistent with it. We show that the basic features of this structural evolution with the composition can be visualized with nearly invariant Zn-S-4 and Cd-S-4 tetrahedral units retaining their structural integrity, while the tilts between these tetrahedral building blocks change with composition to conform to the changing lattice parameters according to the Vegard's law within a relatively short length scale. These results underline the limits of applicability of the chemical pressure concept that has been a favored tool of experimentalists to control physical properties of a large variety of condensed matter systems.

Finite size scaling in crossover among different random matrix ensembles in microscopic lattice models

Using numerical diagonalization we study the crossover among different random matrix ensembles (Poissonian, Gaussian orthogonal ensemble (GOE), Gaussian unitary ensemble (GUE) and Gaussian symplectic ensemble (GSE)) realized in two different microscopic models. The specific diagnostic tool used to study the crossovers is the level spacing distribution. The first model is a one-dimensional lattice model of interacting hard-core bosons (or equivalently spin 1/2 objects) and the other a higher dimensional model of non-interacting particles with disorder and spin-orbit coupling. We find that the perturbation causing the crossover among the different ensembles scales to zero with system size as a power law with an exponent that depends on the ensembles between which the crossover takes place. This exponent is independent of microscopic details of the perturbation. We also find that the crossover from the Poissonian ensemble to the other three is dominated by the Poissonian to GOE crossover which introduces level repulsion while the crossover from GOE to GUE or GOE to GSE associated with symmetry breaking introduces a subdominant contribution. We also conjecture that the exponent is dependent on whether the system contains interactions among the elementary degrees of freedom or not and is independent of the dimensionality of the system.

A new microscopic insight into membrane penetration and reorganization by PETIM dendrimers

Dendrimers are highly branched polymeric nanoparticles whose structure and topology, largely, have determined their efficacy in a wide range of studies performed so far. An area of immense interest is their potential as drug and gene delivery vectors. Realizing this potential, depending on the nature of cell surface-dendrimer interactions, here we report controlled model membrane penetration and reorganization, using a model supported lipid bilayer and poly(ether imine) (PETIM) dendrimers of two generations. By systematically varying the areal density of the lipid bilayers, we provide a microscopic insight, through a combination of high resolution scattering, atomic force microscopy and atomistic molecular dynamics simulations, into the mechanism of PETIM dendrimer membrane penetration, pore formation and membrane re-organization induced by such interactions. Our work represents the first systematic observation of a regular barrel-like membrane spanning pore formation by dendrimers, tunable through lipid bilayer packing, without membrane disruption.

Multidimensional free energy surface of unfolding of HP-36: Microscopic origin of ruggedness

The protein folding funnel paradigm suggests that folding and unfolding proceed as directed diffusion in a multidimensional free energy surface where a multitude of pathways can be traversed during the protein's sojourn from initial to final state. However, finding even a single pathway, with the detail chronicling of intermediates, is an arduous task. In this work we explore the free energy surface of unfolding pathway through umbrella sampling, for a small globular a-helical protein chicken-villin headpiece (HP-36) when the melting of secondary structures is induced by adding DMSO in aqueous solution. We find that the unfolding proceeds through the initial separation or melting of aggregated hydrophobic core that comprises of three phenylalanine residues (Phe7, Phe11, and Phe18). This separation is accompanied by simultaneous melting of the second helix. Unfolding is found to be a multistage process involving crossing of three consecutive minima and two barriers at the initial stage. At a molecular level, Phe18 is observed to reorient itself towards other hydrophobic grooves to stabilize the intermediate states. We identify the configuration of the intermediates and correlate the intermediates with those obtained in our previous works. We also give an estimate of the barriers for different transition states and observe the softening of the barriers with increasing DMSO concentration. We show that higher concentration of DMSO tunes the unfolding pathway by destabilizing the third minimum and stabilizing the second one, indicating the development of a solvent modified, less rugged pathway. The prime outcome of this work is the demonstration that mixed solvents can profoundly transform the nature of the energy landscape and induce unfolding via a modified route. A successful application of Kramer's rate equation correlating the free energy simulation results shows faster rate of unfolding with increasing DMSO concentration. This work perhaps presents the first systematic theoretical study of the effect of a chemical denaturant on the microscopic free energy surface and rates of unfolding of HP-36. (C) 2014 AIP Publishing LLC.

Interactome analyses of Salmonella pathogenicity islands reveal SicA indispensable for virulence

Background: Serovars of Salmonella enterica, namely Typhi and Typhimurium, reportedly, are the bacterial pathogens causing systemic infections like gastroenteritis and typhoid fever. To elucidate the role and importance in such infection, the proteins of the Type III secretion system of Salmonella pathogenicity islands and two component signal transduction systems, have been mainly focused. However, the most indispensable of these virulent ones and their hierarchical role has not yet been studied extensively. Results: We have adopted a theoretical approach to build an interactome comprising the proteins from the Salmonella pathogeneicity islands (SPI) and two component signal transduction systems. This interactome was then analyzed by using network parameters like centrality and k-core measures. An initial step to capture the fingerprint of the core network resulted in a set of proteins which are involved in the process of invasion and colonization, thereby becoming more important in the process of infection. These proteins pertained to the Inv, Org, Prg, Sip, Spa, Ssa and Sse operons along with chaperone protein SicA. Amongst them, SicA was figured out to be the most indispensable protein from different network parametric analyses. Subsequently, the gene expression levels of all these theoretically identified important proteins were confirmed by microarray data analysis. Finally, we have proposed a hierarchy of the proteins involved in the total infection process. This theoretical approach is the first of its kind to figure out potential virulence determinants encoded by SPI for therapeutic targets for enteric infection. Conclusions: A set of responsible virulent proteins was identified and the expression level of their genes was validated by using independent, published microarray data. The result was a targeted set of proteins that could serve as sensitive predictors and form the foundation for a series of trials in the wet-lab setting. Understanding these regulatory and virulent proteins would provide insight into conditions which are encountered by this intracellular enteric pathogen during the course of infection. This would further contribute in identifying novel targets for antimicrobial agents. (C) 2014 Elsevier Ltd. All rights reserved.

Combined toxicity of two crystalline phases (anatase and rutile) of Titania nanoparticles towards freshwater microalgae: Chlorella sp

In view of the increasing usage of anatase and rutile crystalline phases of titania NPs in the consumer products, their entry into the aquatic environment may pose a serious risk to the ecosystem. In the present study, the possible toxic impact of anatase and rutile nanoparticles (individually and in binary mixture) was investigated using freshwater microalgae, Chlorella sp. at low exposure concentrations (0.25, 0.5 and 1 mg/L) in freshwater medium under UV irradiation. Reduction of cell viability as well as a reduction in chlorophyll content were observed due to the presence of NPs. An antagonistic effect was noted at certain concentrations of binary mixture such as (0.25, 0.25), (0.25, 0.5), and (0.5, 0.5) mg/L, and an additive effect for the other combinations, (0.25, 1), (0.5, 0.25), (0.5, 1), (1, 0.25), (1, 0.5), and (1, 1) mg/L. The hydrodynamic size analyses in the test medium revealed that rutile NPs were more stable in lake water than the anatase and binary mixtures at 6 h, the sizes of anatase (1 mg/L), rutile NPs (1 mg/L), and binary mixture (1, 1 mg/L) were 948.83 +/- 35.01 nm, 555.74 +/- 19.93 nm, and 1620.24 +/- 237.87 nm, respectively]. The generation of oxidative stress was found to be strongly dependent on the crystallinity of the nanoparticles. The transmission electron microscopic images revealed damages in the nucleus and cell membrane of algal cells due to the interaction of anatase NPs, whereas rutile NPs were found to cause chloroplast and internal organelle damages. Mis-shaped chloroplasts, lack of nucleus, and starch-pyrenoid complex were noted in binary-treated cells. The findings from the current study may facilitate the environmental risk assessment of titania NPs in an aquatic ecosystem. (C) 2015 Elsevier B.V. All rights reserved.

Evolutionary and structural analyses of heterodimeric proteins composed of subunits with same fold

Heterodimeric proteins with homologous subunits of same fold are involved in various biological processes. The objective of this study is to understand the evolution of structural and functional features of such heterodimers. Using a non-redundant dataset of 70 such heterodimers of known 3D structure and an independent dataset of 173 heterodimers from yeast, we note that the mean sequence identity between interacting homologous subunits is only 23-24% suggesting that, generally, highly diverged paralogues assemble to form such a heterodimer. We also note that the functional roles of interacting subunits/domains are generally quite different. This suggests that, though the interacting subunits/domains are homologous, the high evolutionary divergence characterize their high functional divergence which contributes to a gross function for the heterodimer considered as a whole. The inverse relationship between sequence identity and RMSD of interacting homologues in heterodimers is not followed. We also addressed the question of formation of homodimers of the subunits of heterodimers by generating models of fictitious homodimers on the basis of the 3D structures of the heterodimers. Interaction energies associated with these homodimers suggests that, in overwhelming majority of the cases, such homodimers are unlikely to be stable. Majority of the homologues of heterodimers of known structures form heterodimers (51.8%) and a small proportion (14.6%) form homodimers. Comparison of 3D structures of heterodimers with homologous homodimers suggests that interfacial nature of residues is not well conserved. In over 90% of the cases we note that the interacting subunits of heterodimers are co-localized in the cell. Proteins 2015; 83:1766-1786. (c) 2015 Wiley Periodicals, Inc.

Comparative sequence analyses of genome and transcriptome reveal novel transcripts and variants in the Asian elephant Elephas maximus

The Asian elephant Elephas maximus and the African elephant Loxodonta africana that diverged 5-7 million years ago exhibit differences in their physiology, behaviour and morphology. A comparative genomics approach would be useful and necessary for evolutionary and functional genetic studies of elephants. We performed sequencing of E. maximus and map to L. africana at similar to 15X coverage. Through comparative sequence analyses, we have identified Asian elephant specific homozygous, non-synonymous single nucleotide variants (SNVs) that map to 1514 protein coding genes, many of which are involved in olfaction. We also present the first report of a high-coverage transcriptome sequence in E. maximus from peripheral blood lymphocytes. We have identified 103 novel protein coding transcripts and 66-long non-coding (lnc)RNAs. We also report the presence of 181 protein domains unique to elephants when compared to other Afrotheria species. Each of these findings can be further investigated to gain a better understanding of functional differences unique to elephant species, as well as those unique to elephantids in comparison with other mammals. This work therefore provides a valuable resource to explore the immense research potential of comparative analyses of transcriptome and genome sequences in the Asian elephant.

Origin of giant dielectric constant and conductivity behavior in Zn1-xMgxO (0 <= x <= 0.1) ceramics

Zn1-xMgxO ( <= x <= 0.1) ceramics were fabricated by conventional solid-state reaction of co-precipitated zinc oxide and magnesium hydroxide nanoparticles. Structural and morphological properties of the fabricated ceramics were studied using X-ray diffraction and scanning electron microscopic analysis. The dielectric measurements of the ceramics were carried out as a function of frequency and temperature respectively. Interestingly, Mg doped ZnO (MZO) samples exhibited colossal dielectric response (similar to 1 x 10(4) at 1 kHz) with Debye like relaxation. The detailed dielectric studies and thermal analyses showed that the unusual dielectric response of the samples were originated from the defected grain and grain boundary (GB) conductivity relaxations due to the absorbed atmospheric water vapor (moisture). Impedance spectroscopy was employed to determine the defected grain and GB resistances, capacitances and which supported Maxwell-Wagner type relaxation phenomena. (C) 2015 Elsevier Ltd. All rights reserved.

Molecular Mechanism Underlying ATP-Induced Conformational Changes in the Nucleoprotein Filament of Mycobacterium smegmatis RecA

RecA plays a central role in bacterial DNA repair, homologous recombination, and restoration of stalled replication forks by virtue of its active extended nucleoprotein filament. Binding of ATP and its subsequent recognition by the carboxamide group of a highly conserved glutamine (GIn196 in MsRecA) have been implicated in the formation of active RecA nucleoprotein filaments. Although the mechanism of ATP-dependent structural transitions in RecA has been proposed on the basis of low-resolution electron microscopic reconstructions, the precise sequence of events that constitute these transitions is poorly understood. On the basis of biochemical and crystallographic analyses of MsRecA variants carrying mutations in highly conserved Gln196 and Arg198 residues, we propose that the disposition of the interprotomer interface is the structural basis of allosteric activation of RecA. Furthermore, this study accounts, for the contributions of several conserved amino acids to ATP hydrolysis and to the transition from collapsed to extended filament forms in Mycobacterium smegmatis RecA (MsRecA). In addition to their role in the inactive compressed state, the study reveals a role for GIn196 and Arg198 along with Phe219 in ATP hydrolysis in the active extended nucleoprotein filament. Finally, our data suggest that the primary, but not secondary, nucleotide binding site in MsRecA isomerizes into the ATP binding site present in the extended nucleoprotein filament.

Numerical Analyses of Discrete Gust Response for an Aircraft

Based on Navier-Stokes equations and structural and flight dynamic equations of motion, dynamic responses in vertical discrete gust flow perturbation are investigated for a supersonic transport model. A tightly coupled method was developed by subiterations between aerodynamic equations and dynamic equations of motion. First, under the assumption of rigid-body and single freedom of motion in the vertical plunging, the results of a direct-coupling method are compared with the results of quasi-steady model method. Then, gust responses for the one-minus-cosine gust profile arc analyzed with two freedoms of motion in plunging and pitching for the airplane configurations with and without the consideration of structural deformation.