Null Dereference Verification via Over-approximated Weakest Pre-conditions Analysis

Null dereferences are a bane of programming in languages such as Java. In this paper we propose a sound, demand-driven, inter-procedurally context-sensitive dataflow analysis technique to verify a given dereference as safe or potentially unsafe. Our analysis uses an abstract lattice of formulas to find a pre-condition at the entry of the program such that a null-dereference can occur only if the initial state of the program satisfies this pre-condition. We use a simplified domain of formulas, abstracting out integer arithmetic, as well as unbounded access paths due to recursive data structures. For the sake of precision we model aliasing relationships explicitly in our abstract lattice, enable strong updates, and use a limited notion of path sensitivity. For the sake of scalability we prune formulas continually as they get propagated, reducing to true conjuncts that are less likely to be useful in validating or invalidating the formula. We have implemented our approach, and present an evaluation of it on a set of ten real Java programs. Our results show that the set of design features we have incorporated enable the analysis to (a) explore long, inter-procedural paths to verify each dereference, with (b) reasonable accuracy, and (c) very quick response time per dereference, making it suitable for use in desktop development environments.

Pre-emptive queue processing scheme for handovers in mobile cellular communication systems

A new scheme for minimizing handover failure probability in mobile cellular communication systems is presented. The scheme involves a reassignment of priorities for handover requests enqueued in adjacent cells to release a channel for a handover request which is about to fail. Performance evaluation of the new scheme carried out by computer simulation of a four-cell highway cellular system has shown a considerable reduction in handover failure probability

Saccharomyces cerevisiae NineTeen Complex (NTC)-associated Factor Bud31/Ycr063w Assembles on Precatalytic Spliceosomes and Improves First and Second Step Pre-mRNA Splicing Efficiency

Pre-mRNA splicing occurs in spliceosomes whose assembly and activation are critical for splice site selection and catalysis. The highly conserved NineTeen complex protein complex stabilizes various snRNA and protein interactions early in the spliceosome assembly pathway. Among several NineTeen complex-associated proteins is the nonessential protein Bud31/Ycr063w, which is also a component of the Cef1p subcomplex. A role for Bud31 in pre-mRNA splicing is implicated by virtue of its association with splicing factors, but its specific functions and spliceosome interactions are uncharacterized. Here, using in vitro splicing assays with extracts from a strain lacking Bud31, we illustrate its role in efficient progression to the first catalytic step and its requirement for the second catalytic step in reactions at higher temperatures. Immunoprecipitation of functional epitope-tagged Bud31 from in vitro reactions showed that its earliest association is with precatalytic B complex and that the interaction continues in catalytically active complexes with stably bound U2, U5, and U6 small nuclear ribonucleoproteins. In complementary experiments, wherein precatalytic spliceosomes are selected from splicing reactions, we detect the occurrence of Bud31. Cross-linking of proteins to pre-mRNAs with a site-specific 4-thio uridine residue at the -3 position of exon 1 was tested in reactions with WT and bud31 null extracts. The data suggest an altered interaction between a similar to 25-kDa protein and this exonic residue of pre-mRNAs in the arrested bud31 null spliceosomes. These results demonstrate the early spliceosomal association of Bud31 and provide plausible functions for this factor in stabilizing protein interactions with the pre-mRNA.

In-situ measurements of concentration and temperature during transient solidification of aqueous solution of ammonium chloride using laser interferometry

The variation in temperature and concentration plays a crucial role in predicting the final microstructure during solidification of a binary alloy. Most of the experimental techniques used to measure concentration and temperature are intrusive in nature and affect the flow field. In this paper, the main focus is laid on in-situ, non-intrusive, transient measurement of concentration and temperature during the solidification of a binary mixture of aqueous ammonium chloride solution (a metal-analog system) in a top cooled cavity using laser based Mach-Zehnder Interferometric technique. It was found from the interferogram, that the angular deviation of fringe pattern and the total number of fringes exhibit significant sensitivity to refractive index and hence are functions of the local temperature and concentration of the NH4Cl solution inside the cavity. Using the fringe characteristics, calibration curves were established for the range of temperature and concentration levels expected during the solidification process. In the actual solidification experiment, two hypoeutectic solutions (5% and 15% NH4Cl) were chosen. The calibration curves were used to determine the temperature and concentration of the solution inside the cavity during solidification of 5% and 15% NH4Cl solution at different instants of time. The measurement was carried out at a fixed point in the cavity, and the concentration variation with time was recorded as the solid-liquid interface approached the measurement point. The measurement exhibited distinct zones of concentration distribution caused by solute rejection and Rayleigh Benard convection. Further studies involving flow visualization with laser scattering confirmed the Rayleigh Benard convection. Computational modeling was also performed, which corroborated the experimental findings. (C) 2011 Elsevier Ltd. All rights reserved.

Fourier transform infrared microspectroscopy identifies protein propionylation in histone deacetylase inhibitor treated glioma cells

Histone deacetylase inhibitors (HDIs) have attracted considerable attention as potential drug molecules in tumour biology. In order to optimise chemotherapy, it is important to understand the mechanisms of regulation of histone deacetylase (HDAC) enzymes and modifications brought by various HDIs. In the present study, we have employed Fourier transform infrared microspectroscopy (FT-IRMS) to evaluate modifications in cellular macromolecules subsequent to treatment with various HDIs. In addition to CH3 (methyl) stretching bands at 2872 and 2960 cm1, which arises due to acetylation, we also found major changes in bands at 2851 and 2922 cm1, which originates from stretching vibrations of CH2 (methylene) groups, in valproic acid treated cells. We further demonstrate that the changes in CH2 stretching are concentration-dependent and also induced by several other HDIs. Recently, HDIs have been shown to induce propionylation besides acetylation [1]. Since propionylation involves CH2 groups, we hypothesized that CH2 vibrational frequency changes seen in HDI treated cells could arise due to propionylation. As verification, pre-treatment of cells with propionyl CoA synthetase inhibitor resulted in loss of CH2 vibrational changes in histones, purified from valproic acid treated cells. This was further proved by western blot using propionyl-lysine specific antibody. Thus we demonstrate for the first time that propionylation could be monitored by studying CH2 stretching using IR spectroscopy and further provide a platform for monitoring HDI induced multiple changes in cells. (C) 2012 WILEY-VCH Verlag GmbH & Co. KGaA, Weinheim)

Influence of the Methane-Zeolite A Interaction Potential on the Concentration Dependence of Self-diffusivity

Studies on the diffusion of methane in a zeolite structure type LTA (as per IZA nomenclature) have indicated that different types of methane zeolite potentials exist in the literature in which methane is treated within the united-atom model. One set of potentials, referred to as model A, has a methane oxygen diameter of 3.14 angstrom, while another set of potential parameters, model B, employs a larger value of 3.46 angstrom. Fritzsche and co-workers (1993) have shown that these two potentials lead to two distinctly different energetic barriers for the passage of methane through the eight-ring window in the cation-free form of zeolite A. Here, we compute the variation of the self-diffusivity (D) with loading (c) for these two types of potentials and show that this slight variation in the diameter changes the concentration dependence qualitatively: thus, D decreases monotonically with c for model A, while D increases and goes through a maximum before finally decreasing for model B. This effect and the surprising congruence of the diffusion coefficients for both models at high loadings is examined in detail at the molecular level. Simulations for different temperatures reveal the Arrhenius behaviour of the self-diffusion coefficient. The apparent activation energy is found to vary with the loading. We conclude that beside the cage-to-cage jumps, which are essential for the migration of the guest molecules, at high concentrations migration within the cage and guest guest interactions with other molecules become increasingly dominant influences on the diffusion coefficient and make the guest zeolite interaction less important for both model A and model B.

Cd concentration sensor based on fiber grating technology

Fiber Bragg grating (FBG) and Long Period Grating (LPG) chemical sensors are one of the most exciting developments in the field of optical fiber sensors. In this paper we have proposed a simple and effective chemical sensor based on FBG and LPG techniques for detecting the traces of cadmium (Cd) in drinking water at ppm level. The sensitiveness of these two has been compared. Also, these results have been compared with the results obtained by sophisticated spectroscopic atomic absorption and emission spectrometer instruments. For proper designing of FBG to act as a concentration sensor, the cladding region of the grating has been etched using HF solution. We have characterized the FBG concentration sensor sensitivities for different solutions of Cd concentrations varying from 0.01 ppm to 0.04 ppm and observed reflected spectrum in FBG and transmitted spectrum in LPG using Optical Spectrum Analyzer. Proper reagents have been used in the solutions for detection of the Cd species. The overall shift in wavelength is 10 nm in case of LPG and the shift of Bragg wavelength is 0.07 nm in case of FBG for 0.01-0.04 ppm concentrations. (C) 2011 Elsevier B.V. All rights reserved.

Dimethyl sulfoxide induced structural transformations and non-monotonic concentration dependence of conformational fluctuation around active site of lysozyme

Experimental studies have observed significant changes in both structure and function of lysozyme (and other proteins) on addition of a small amount of dimethyl sulfoxide (DMSO) in aqueous solution. Our atomistic molecular dynamic simulations of lysozyme in water-DMSO reveal the following sequence of changes on increasing DMSO concentration. (i) At the initial stage (around 5% DMSO concentration) protein's conformational flexibility gets markedly suppressed. From study of radial distribution functions, we attribute this to the preferential solvation of exposed protein hydrophobic residues by the methyl groups of DMSO. (ii) In the next stage (10-15% DMSO concentration range), lysozome partially unfolds accompanied by an increase both in fluctuation and in exposed protein surface area. (iii) Between 15-20% concentration ranges, both conformational fluctuation and solvent accessible protein surface area suddenly decrease again indicating the formation of an intermediate collapse state. These results are in good agreement with near-UV circular dichroism (CD) and fluorescence studies. We explain this apparently surprising behavior in terms of a structural transformation which involves clustering among the methyl groups of DMSO. (iv) Beyond 20% concentration of DMSO, the protein starts its final sojourn towards the unfolding state with further increase in conformational fluctuation and loss in native contacts. Most importantly, analysis of contact map and fluctuation near the active site reveal that both partial unfolding and conformational fluctuations are centered mostly on the hydrophobic core of active site of lysozyme. Our results could offer a general explanation and universal picture of the anomalous behavior of protein structure-function observed in the presence of cosolvents (DMSO, ethanol, tertiary butyl alcohol, dioxane) at their low concentrations. (C) 2012 American Institute of Physics. [http://dx.doi.org/10.1063/1.3694268]

Carrier concentration dependence of donor activation energy in n-type GaN epilayers grown on Si (111) by plasma-assisted MBE

The n-type GaN layers were grown by plasma-assisted MBE and either intentionally doped with Si or unintentionally doped. The optical characteristics of a donor level in Si-doped, GaN were studied in terms of photoluminescence (PL) spectroscopy as a function of electron concentration. Temperature dependent PL measurements allowed us to estimate the activation energy of a Si-related donor from temperature-induced decay of PL intensity. PL peak positions, full width at half maximum of PL and activation energies are found to be proportional to the cube root of carrier density. The involvement of donor levels is supported by the temperature-dependent electron concentration measurements. (C) 2012 Elsevier Ltd. All rights reserved.

Thermo-physical and structural studies of sodium zinc borovanadate glasses in the region of high concentration of modifier oxides

This paper reports investigation of Na2O and ZnO modified borovanadate glasses in the highly modified regime of compositions. These glasses have been prepared by microwave route. Ultraviolet (UV) and visible, infrared (IR), Magic Angle Spinning Nuclear Magnetic Resonance (MAS NMR) and Electron Paramagnetic Resonance (EPR) spectroscopies have been used to characterize the speciation in the glasses. Together with the variation of properties such as molar volume and glass transition temperatures, spectroscopic data indicate that at high levels of modification, ZnO tends to behave like network former. It is proposed that the observed variation of all the properties can be reasonably well understood with a structural model. The model considers that the modification and speciation in glasses are strongly determined by the hierarchy of group electronegativities. Further, it is proposed that the width of the transitions of glasses obtained under same condition reflects the fragility of the glasses. An empirical expression has been suggested to quantify fragility on the basis of width of the transition regions. (C) 2012 Elsevier Ltd. All rights reserved.

Vaporization and collision modeling of liquid fuel sprays in a co-axial fuel and air pre-mixer

Droplet collision occurs frequently in regions where the droplet number density is high. Even for Lean Premixed and Pre-vaporized (LPP) liquid sprays, the collision effects can be very high on the droplet size distributions, which will in turn affect the droplet vaporization process. Hence, in conjunction with vaporization modeling, collision modeling for such spray systems is also essential. The standard O'Rourke's collision model, usually implemented in CFD codes, tends to generate unphysical numerical artifact when simulations are performed on Cartesian grid and the results are not grid independent. Thus, a new collision modeling approach based on no-time-counter method (NTC) proposed by Schmidt and Rutland is implemented to replace O'Rourke's collision algorithm to solve a spray injection problem in a cylindrical coflow premixer. The so called ``four-leaf clover'' numerical artifacts are eliminated by the new collision algorithm and results from a diesel spray show very good grid independence. Next, the dispersion and vaporization processes for liquid fuel sprays are simulated in a coflow premixer. Two liquid fuels under investigation are jet-A and Rapeseed Methyl Esters (RME). Results show very good grid independence in terms of SMD distribution, droplet number distribution and fuel vapor mass flow rate. A baseline test is first established with a spray cone angle of 90 degrees and injection velocity of 3 m/s and jet-A achieves much better vaporization performance than RME due to its higher vapor pressure. To improve the vaporization performance for both fuels, a series of simulations have been done at several different combinations of spray cone angle and injection velocity. At relatively low spray cone angle and injection velocity, the collision effect on the average droplet size and the vaporization performance are very high due to relatively high coalescence rate induced by droplet collisions. Thus, at higher spray cone angle and injection velocity, the results expectedly show improvement in fuel vaporization performance since smaller droplet has a higher vaporization rate. The vaporization performance and the level of homogeneity of fuel-air mixture can be significantly improved when the dispersion level is high, which can be achieved by increasing the spray cone angle and injection velocity. (C) 2012 Elsevier Ltd. All rights reserved.

Effect of carrier concentration of InN on the transport behavior of InN/GaN heterostructure based Schottky junctions

We present the study involving the dependence of carrier concentration of InN films, grown on GaN templates using the plasma assisted molecular beam epitaxy system, on growth temperature. The influence of InN carrier concentration on the electrical transport behavior of InN/GaN heterostructure based Schottky junctions is also discussed. The optical absorption edge of InN film was found to be strongly dependent on carrier concentration, and was described by Kane's k.p model, with non-parabolic dispersion relation for carrier in the conduction band. The position of the Fermi-level in InN films was modulated by the carrier concentration in the InN films. The barrier height of the heterojunctions as estimated from I-V characteristic was also found to be dependent on the carrier concentration of InN. (C) 2012 Elsevier Ltd. All rights reserved.

Effect of doping concentration on the structural and optical properties of pure and tin doped zinc oxide thin films by nebulizer spray pyrolysis (NSP) technique

Pure and tin doped zinc oxide (Sn:ZnO) thin films were prepared for the first time by NSP technique using aqueous solutions of zinc acetate dehydrate, tin (IV) chloride fendahydrate and methanol. X-ray diffraction patterns confirm that the films are polycrystalline in nature exhibiting hexagonal wurtzite type, with (0 0 2) as preferred orientation. The structural parameters such as lattice constant ('a' and `c'), crystallite size, dislocation density, micro strain, stress and texture coefficient were calculated from X-ray diffraction studies. Surface morphology was found to be modified with increasing Sn doping concentration. The ZnO films have high transmittance 85% in the visible region, and the transmittance is found to be decreased with the increase of Sn doping concentration. The corresponding optical band gap decreases from 3.25 to 3.08 eV. Room temperature photoluminescence reveals the sharp emission of strong UV peak at 400 nm (3.10 eV) and a strong sharp green luminescence at 528 nm (2.34 eV) in the Sn doped ZnO films. The electrical resistivity is found to be 10(6) Omega-cm at higher temperature and 10(5) Omega-cm at lower temperature. (C) 2012 Elsevier Ltd. All rights reserved.