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.

One step synthesis of monoclinic VO2 (B) bundles of nanorods: Cathode for Li ion battery

One of the metastable phases of vanadium dioxide, VO2(B) bundles of nanorods and microspheres have been synthesized through a simple hydrothermal method by dispersing V2O5 in aqueous quinol. The obtained products were characterized by X-ray diffraction (XRD), Fourier transform infrared (FTIR) spectroscopy, scanning electron microscopy (SEM) and electrochemical discharge-charge test for lithium battery. It was found that the morphologies of the obtained VO2(B) can be tuned by manipulating the relative amount of quinol. The electrochemical test found that the bundles of nanorods exhibit an initial discharge capacity of 171 mAh g(-1) and its almost stabilized capacity was reached to 108 mAh g(-1) after 47 cycles at a current density of 0.1 mA g(-1). The formation mechanism of the VO2(B) bundles of nanorods and microspheres was also discussed. (C) 2012 Elsevier Inc. All rights reserved.

Influence of stack geometry and resonator length on the performance of thermoacoustic engine

Thermoacoustic engines convert heat energy into high amplitude sound waves, which is used to drive thermoacoustic refrigerator or pulse tube cryocoolers by replacing the mechanical pistons such as compressors. The increasing interest in thermoacoustic technology is of its potentiality of no exotic materials, low cost and high reliability compared to vapor compression refrigeration systems. The experimental setup has been built based on the linear thermoacoustic model and some simple design parameters. The engines produce acoustic energy at the temperature difference of 325-450 K imposed along the stack of the system. This work illustrates the influence of stack parameters such as plate thickness (PT) and plate spacing (PS) with resonator length on the performance of thermoacoustic engine, which are measured in terms of onset temperature difference, resonance frequency and pressure amplitude using air as a working fluid. The results obtained from the experiments are in good agreement with the theoretical results from DeltaEc. (C) 2012 Elsevier Ltd. All rights reserved.

Non-covalent functionalization using lithographically patterned polyelectrolyte multilayers for high-density microarrays

We describe a method to fabricate high-density biological microarrays using lithographic patterning of polyelectrolyte multi layers formed by spin assisted electrostatic layer-by-layer assembly. Proteins or DNA can be immobilized on the polyelectrolyte patterns via electrostatic attachment leading to functional microarrays. As the immobilization is done using electrostatically assembled polyelectrolyte anchor, this process is substrate independent and is fully compatible with a standard semiconductor fabrication process flow. Moreover, the electrostatic assembly of the anchor layer is a fast process with reaction saturation times of the order of a few minutes unlike covalent schemes that typically require hours to reach saturation. The substrate independent nature of this technique is demonstrated by functionalizing glass slides as well as regular transparency sheets using the same procedure. Using a model protein assay, we demonstrate that the non-covalent immobilization scheme described here has competitive performance compared to conventional covalent immobilization schemes described in literature. (C) 2012 Elsevier B.V. All rights reserved.

CdSiO3:Pr3+ nanophosphor: Synthesis, characterization and thermoluminescence studies

A series of Pr3+ (1-9 mol%) doped CdSiO3 nanophosphors have been prepared for the first time by a low temperature solution combustion method using oxalyldihydrizide (ODH) as a fuel. The final product was characterized by Powder X-ray diffraction (PXRD), Fourier Transform Infrared Spectroscopy (FTIR), scanning electron microscopy (SEM), and UV-Vis spectroscopy. The average crystallite size was calculated using Debye-Scherrer's formula and Williamson-Hall (W-H) plots and found to be in the range 31-37 nm. The optical energy band gap (E-g) of undoped for Pr3+ doped samples were estimated from Tauc relation which varies from 5.15-5.36 eV. Thermoluminescence (TL) properties of Pr3+ doped CdSiO3 nanophosphor has been investigated using gamma-irradiation in the dose range 1-6 kGy at a heating rate of 5 degrees C s(-1). The phosphor shows a well resolved glow peak at similar to 171 degrees C along with shouldered peak at 223 degrees C in the higher temperature side. It is observed that TL intensity increase with increase of Pr3+ concentration. Further, the TL intensity at 171 degrees C is found to be increase linearly with increase in gamma-dose which is highly useful in radiation dosimetry. The kinetic parameters such as activation energy (E), frequency factor (s) and order of kinetics was estimated by Luschiks method and the results are discussed. (c) 2012 Elsevier B.V. All rights reserved.

Diffusion of pentane isomers in faujasite-type zeolites : NMR and molecular dynamics study

Diffusion of pentane isomers in zeolites NaX has been investigated using pulsed field gradient nuclear magnetic resonance (PFG-NMR) and molecular dynamics (MD) techniques respectively. Temperature and concentration dependence of diffusivities have been studied. The diffusivities obtained from NMR are roughly an order of magnitude smaller than those obtained from MD. The dependence of diffusivity on loading at high temperatures exhibits a type I behavior according to the classification of Karger and Pfeifer 1]. NMR diffusivities of the isomers exhibit the order D(n-pentane) > D(isopentane) > D(neopentane). The results from MD suggest that the diffusivities of the isomers follow the order D(n-pentane) < D(isopentane) < D(neopentane). The activation energies from NMR show E-a(n-pentane) < E-a(isopentane) < E-a(neopentane) whereas those from MD suggest the order E-a(n-pentane) > (isopentane) > E-a(neopentane). The latter follows the predictions of levitation effect whereas those of NMR appears to be due to the presence of defects in the zeolite crystals. The differences between diffusivities estimated by NMR and MD are attributed to the longer time and length scales sampled by the NMR technique, as compared to MD. (C) 2012 Elsevier Inc. All rights reserved.

Safety Assessment of a Masonry Arch Bridge: Field Testing and Simulations

The safety of an in-service brick arch railway bridge is assessed through field testing and finite-element analysis. Different loading test train configurations have been used in the field testing. The response of the bridge in terms of displacements, strains, and accelerations is measured under the ambient and design train traffic loading conditions. Nonlinear fracture mechanics-based finite-element analyses are performed to assess the margin of safety. A parametric study is done to study the effects of tensile strength on the progress of cracking in the arch. Furthermore, a stability analysis to assess collapse of the arch caused by lateral movement at the springing of one of the abutments that is elastically supported is carried out. The margin of safety with respect to cracking and stability failure is computed. Conclusions are drawn with some remarks on the state of the bridge within the framework of the information available and inferred information. DOI: 10.1061/(ASCE)BE.1943-5592.0000338. (C) 2013 American Society of Civil Engineers.

Surface Instabilities and Generation of Multielectron Bubbles Under Pulsed Electric Fields

We studied the development of surface instabilities leading to the generation of multielectron bubbles (MEBs) in superfluid helium upon the application of a pulsed electric field. We found the statistical distribution of the charge of individual instabilities to be strongly dependent on the duration of the electric field pulse. The rate and probability of generation of these instabilities in relation to the temporal characteristics of the applied field was also investigated.

Evidence of novel quasiparticles in a strongly interacting two-dimensional electron system: giant thermopower and metallic behaviour

We report thermopower (S) and electrical resistivity (rho (2DES) ) measurements in low-density (10(14) m(-2)), mesoscopic two-dimensional electron systems (2DESs) in GaAs/AlGaAs heterostructures at sub-Kelvin temperatures. We observe at temperatures a parts per thousand(2)0.7 K a linearly growing S as a function of temperature indicating metal-like behaviour. Interestingly this metallicity is not Drude-like, showing several unusual characteristics: (i) the magnitude of S exceeds the Mott prediction valid for non-interacting metallic 2DESs at similar carrier densities by over two orders of magnitude; and (ii) rho (2DES) in this regime is two orders of magnitude greater than the quantum of resistance h/e (2) and shows very little temperature-dependence. We provide evidence suggesting that these observations arise due to the formation of novel quasiparticles in the 2DES that are not electron-like. Finally, rho (2DES) and S show an intriguing decoupling in their density-dependence, the latter showing striking oscillations and even sign changes that are completely absent in the resistivity.

Influence of steric effect on the structural aspects of N,N `,N `'-triarylguanidine derived six-membered C,N] palladacycles

Guanidine derived six-membered C,N] palladacycles of the types (C,N)Pd(mu-OC(O)R)](2) (1a-d), (C,N)Pd(mu-Br)](2) (2a,b), cis-(C,N)PdBr(L)] (3a-d, 4, and 5), and ring contracted guanidine derived five-membered C,N] palladacycle, (C,N)PdBr(C NXy)] (6) were prepared in high yield following the established methods with a view aimed at understanding the influence of the substituents on the aryl rings of the guanidine upon the solid state structure and solution behaviour of palladacycles. Palladacycles were characterised by microanalytical, IR, NMR and mass spectral data. The molecular structures of 1a, 1c, 2a, 2b, 3a, 3c, 3d, and 4-6 were determined by single crystal X-ray diffraction data. Palladacycles 1a and 1c were shown to exist as a dimer in transoid in-in conformation in the solid state but as a mixture of a dimer in major proportion and a monomer (kappa(2)-O,O'-OAc) in solution as deduced from H-1 NMR data. Palladacycles 2a and 2b were shown to exist as a dimer in transoid conformation in the solid state but the former was shown to exist as a mixture of a dimer and presumably a trimer in solution as revealed by a variable temperature H-1 NMR data in conjunction with ESI-MS data. The cis configuration around the palladium atom in 3a, 3c, and 3d was ascribed to steric influence of the aryl moiety of =NAr unit and that in 4-6 was ascribed to antisymbiosis. The solution behaviour of 3d was studied by a variable concentration (VC) H-1 NMR data.

Design and Evaluation of a Robust Optical Beam-Interruption-Based Vehicle Classifier System

This paper presents the design and development of a novel optical vehicle classifier system, which is based on interruption of laser beams, that is suitable for use in places with poor transportation infrastructure. The system can estimate the speed, axle count, wheelbase, tire diameter, and the lane of motion of a vehicle. The design of the system eliminates the need for careful optical alignment, whereas the proposed estimation strategies render the estimates insensitive to angular mounting errors and to unevenness of the road. Strategies to estimate vehicular parameters are described along with the optimization of the geometry of the system to minimize estimation errors due to quantization. The system is subsequently fabricated, and the proposed features of the system are experimentally demonstrated. The relative errors in the estimation of velocity and tire diameter are shown to be within 0.5% and to change by less than 17% for angular mounting errors up to 30 degrees. In the field, the classifier demonstrates accuracy better than 97.5% and 94%, respectively, in the estimation of the wheelbase and lane of motion and can classify vehicles with an average accuracy of over 89.5%.

Methionine down-regulates TLR4/MyD88/NF-kappa B signalling in osteoclast precursors to reduce bone loss during osteoporosis

Background and PurposeStudies have demonstrated that a moderate intake of amino acids is associated with development of bone health. Methionine, a sulphur-containing essential amino acid, has been largely implicated for improving cartilage formation, however its physiological significance on bone integrity and functionality have not been elucidated. We investigated whether methionine can prevent osteoporotic bone loss. Experimental ApproachThe anti-resorptive effect of methionine, (250mgkg(-1) body wt administered in drinking water for 10 weeks), was evaluated in ovariectomized (OVX) rats by monitoring changes in bone turnover, formation of osteoclasts from blood-derived mononuclear cells and changes in the synthesis of pro-osteoclastogenic cytokines. Key resultsMethionine improved bone density and significantly decreased the degree of osteoclast development from blood mononuclear cells in OVX rats, as indicated by decreased production of osteoclast markers tartarate resistant acid phosphatase b (TRAP5b) and MIP-1. siRNA-mediated knockdown of myeloid differentiation primary response 88 MyD88], a signalling molecule in the toll-like receptor (TLR) signalling cascade, abolished the synthesis of both TRAP5b and MIP-1 in developing osteoclasts. Methionine supplementation disrupted osteoclast development by inhibiting TLR-4/MyD88/NF-B pathway. Conclusions and ImplicationsTLR-4/MyD88/NF-B signalling pathway is integral for osteoclast development and this is down-regulated in osteoporotic system on methionine treatment. Methionine treatment could be beneficial for the treatment of postmenopausal osteoporosis.

Effect of Layered MoS2 Nanoparticles on the Frictional Behavior and Microstructure of Lubricating Greases

Lithium stearate soap and layered MoS2 nanoparticles encapsulated in lithium stearate soap are prepared in the laboratory, and their lubricating properties are compared with respect to the particle and particle concentration. The tribotracks after friction test was investigated with Raman Spectroscopy, scanning electron microscopy (SEM) and 3D optical profilometry to understand the action mechanism. The status of the soap particles on a tribotrack changes with time, contact pressure and sliding speed. At low pressure and speed, individual solid undeformed soap particle stand proud of the surface and the topography shows marginal difference with sliding time. In these conditions, no frictional difference between the performance of grease with and without the nanoparticles is observed. Increasing the contact pressure and temperature (low speed and high speed) has a dramatic effect as the soap particles melt and the liquid soap flows over the track releasing the hitherto encapsulated nanoparticles. Consequently, the soap smears the track like a liquid, and the nanoparticles now come directly into the interface and are sheared to generate a low-friction tribofilm. At high particle concentration, the sliding time required for melting of the soap and release of MoS2 is reduced, and the tribofilm is more substantial and uniform consisting of smeared MoS2 and carboxylate soap as observed by SEM and 3D optical profilometry. A change in the Raman Spectra is observed with particle concentration, and this is related to morphology and microstructure of the tribofilm generated.

Representative seismic hazard map of Coimbatore, India

The seismic hazard value of any region depends upon three important components such as probable earthquake location, maximum earthquake magnitude and the attenuation equation. This paper presents a representative way of estimating these three important components considering region specific seismotectonic features. Rupture Based Seismic Hazard Analysis (RBSHA) given by Anbazhagan et al. (2011) is used to determine the probable future earthquake locations. This approach is verified on the earthquake data of Bhuj region. The probable earthquake location for this region is identified considering earthquake data till the year 2000. These identified locations match well with the reported locations after 2000. The further Coimbatore City is selected as the study area to develop a representative seismic hazard map using RBSHA approach and to compare with deterministic seismic hazard analysis. Probable future earthquake zones for Coimbatore are located considering the rupture phenomenon as per energy release theory discussed by Anbazhagan et at (2011). Rupture character of the region has been established by estimating the subsurface rupture length of each source and normalized with respect to the length of the source. Average rupture length of the source with respect to its total length is found to be similar for most of the sources in the region, which is called as the rupture character of the region. Maximum magnitudes of probable zones are estimated considering seismic sources close by and regional rupture character established. Representative GMPEs for the study area have been selected by carrying out efficacy test through an average log likelihood value (LLH) as ranking estimator and considering the Isoseismal map. New seismic hazard map of Coimbatore has been developed using the above regional representative parameters of probable earthquake locations, maximum earthquake magnitude and best suitable GMPEs. The new hazard map gives acceleration values at bedrock for maximum possible earthquakes. These results are compared with deterministic seismic hazard map and recently published probabilistic seismic hazard values. (C) 2014 Elsevier B.V. All rights reserved.