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.

C-H functionalization of tertiary amines by cross dehydrogenative coupling reactions: solvent-free synthesis of alpha-aminonitriles and beta-nitroamines under aerobic condition

A solvent-free synthesis of alpha-aminonitriles and beta-nitroamines by oxidative cross-dehydrogenative coupling under aerobic condition is reported. A catalytic amount of molybdenum(VI) acetylacetonoate was found to catalyze cyanation of tertiary amines to form alpha-aminonitriles, whereas vanadium pentoxide was found to promote aza-Henry reaction to furnish beta-nitroamines. Both of these environmentally benign reactions are performed in the absence of solvents using molecular oxygen as an oxidant.

Effect of Grain Size on Structural and Magnetic Properties of CuFe2O4 Nanograins Synthesized by Chemical Co-Precipitation

CuFe2O4 nanograins have been prepared by the chemical co-precipitation technique and calcined in the temperature range of 200-1200 degrees C for 3 h. A wide range of grain sizes has been observed in this sintering temperature range, which has been determined to be 4 to 56 nm. Formation of ferrite has also been confirmed by FTIR measurement through the presence of wide band near 600 and 430 cm(-1) for the samples in the as-dried condition. Systematic variation of wave number has been observed with the variation of the calcination temperature. B-H loops exhibit transition from superparamagnetic to ferrimagnetic state above the calcination temperature of 900 degrees C. Coercivity of the samples at lower calcination temperature of 900 degrees C reduces significantly and tends towards zero coercivity, which is suggestive of superparamagnetic transition for the samples sintered below this temperature. Frequency spectrum of the real and imaginary part of complex initial permeability have been measured for the samples calcined at different temperature, which shows wide range of frequency stability. Curie temperature, T-c has been measured from temperature dependence initial permeability at a fixed frequency of 100 kHz. Although there is small variation of T-c with sintering temperature, the reduction of permeability with temperature drastically reduce for lower sintering temperature, which is in conformity with the change of B-H loops with the variation of sintering temperatures.

Modeling and optimization of a natural convection-based agricultural dryer

This study presents development of a computational fluid dynamic (CFD) model to predict unsteady, two-dimensional temperature, moisture and velocity distributions inside a novel, biomass-fired, natural convection-type agricultural dryer. Results show that in initial stages of drying, when material surface is wet and moisture is easily available, moisture removal rate from surface depends upon the condition of drying air. Subsequently, material surface becomes dry and moisture removal rate is driven by diffusion of moisture from inside to the material surface. An optimum 9-tray configuration is found to be more efficient than for the same mass of material and volume of dryer. A new configuration of dryer, mainly to explore its potential to increasing uniformity in drying across all trays, is also analyzed. This configuration involves diverting a portion of hot air before it enters over the first tray and is supplied directly at an intermediate location in the dryer. Uniformity in drying across trays has increased for the kind of material simulated.

Tight co-degree condition for perfect matchings in 4-graphs

We will give a tight minimum co-degree condition for a 4-uniform hypergraph to contain a perfect matching.

Catalysis of tRNA Aminoacylation: Single Turnover to Steady-State Kinetics of tRNA Synthetases

Aminoacyl-tRNA synthetases (aaRS) catalyze the bimolecular association reaction between amino acid and tRNA by specifically and unerringly choosing the cognate amino acid and tRNA. There are two classes of such synthetases that perform tRNA-aminoacylation reaction. Interestingly, these two classes of aminoacyl-tRNA synthetases differ not only in their structures but they also exhibit remarkably distinct kinetics under pre-steady-state condition. The class I synthetases show initial burst of product formation followed by a slower steady-state rate. This has been argued to represent the influence of slow product release. In contrast, there is no burst in the case of class H enzymes. The tight binding of product with enzyme for class I enzymes is correlated with the enhancement of rate in presence of elongation factor. EF-TU. In spite of extensive experimental studies, there is no detailed theoretical analysis that can provide a quantitative understanding of this important problem. In this article, we present a theoretical investigation of enzyme kinetics for both classes of aminoacyl-tRNA synthetases. We present an augmented kinetic scheme and then employ the methods of time-dependent probability statistics to obtain expressions for the first passage time distribution that gives both the time-dependent and the steady-state rates. The present study quantitatively explains all the above experimental observations. We propose an alternative path way in the case of class II enzymes showing the tRNA-dependent amino acid activation and the discrepancy between the single-turnover and steady-state rate.

A LOWER INITIAL ABUNDANCE OF SHORT-LIVED Ca-41 IN THE EARLY SOLAR SYSTEM AND ITS IMPLICATIONS FOR SOLAR SYSTEM FORMATION

The short-lived radionuclide Ca-41 plays an important role in constraining the immediate astrophysical environment and the formation timescale of the nascent solar system due to its extremely short half-life (0.1 Myr). Nearly 20 years ago, the initial ratio of Ca-41/Ca-40 in the solar system was determined to be (1.41 +/- 0.14) x 10(-8), primarily based on two Ca-Al-rich Inclusions (CAIs) from the CV chondrite Efremovka. With an advanced analytical technique for isotopic measurements, we reanalyzed the potassium isotopic compositions of the two Efremovka CAIs and inferred the initial ratios of Ca-41/Ca-40 to be (2.6 +/- 0.9) x 10(-9) and (1.4 +/- 0.6) x 10(-9) (2 sigma), a factor of 7-10 lower than the previously inferred value. Considering possible thermal processing that led to lower Al-26/Al-27 ratios in the two CAIs, we propose that the true solar system initial value of Ca-41/Ca-40 should have been similar to 4.2 x 10(-9). Synchronicity could have existed between Al-26 and Ca-41, indicating a uniform distribution of the two radionuclides at the time of CAI formation. The new initial Ca-41 abundance is 4-16 times lower than the calculated value for steady-state galactic nucleosynthesis. Therefore, Ca-41 could have originated as part of molecular cloud materials with a free decay time of 0.2-0.4 Myr. Alternative possibilities, such as a last-minute input from a stellar source and early solar system irradiation, could not be definitively ruled out. This underscores the need for more data from diverse CAIs to determine the true astrophysical origin of Ca-41.

Is saccade averaging determined by visual processing or movement planning?

Bhutani N, Ray S, Murthy A. Is saccade averaging determined by visual processing or movement planning? J Neurophysiol 108: 3161-3171, 2012. First published September 26, 2012; doi:10.1152/jn.00344.2012.-Saccadic averaging that causes subjects' gaze to land between the location of two targets when faced with simultaneously or sequentially presented stimuli has been often used as a probe to investigate the nature of computations that transform sensory representations into an oculomotor plan. Since saccadic movements involve at least two processing stages-a visual stage that selects a target and a movement stage that prepares the response-saccade averaging can either occur due to interference in visual processing or movement planning. By having human subjects perform two versions of a saccadic double-step task, in which the stimuli remained the same, but different instructions were provided (REDIRECT gaze to the later-appearing target vs. FOLLOW the sequence of targets in their order of appearance), we tested two alternative hypotheses. If saccade averaging were due to visual processing alone, the pattern of saccade averaging is expected to remain the same across task conditions. However, whereas subjects produced averaged saccades between two targets in the FOLLOW condition, they produced hypometric saccades in the direction of the initial target in the REDIRECT condition, suggesting that the interaction between competing movement plans produces saccade averaging.

Stability of Adult Emergence and Activity/Rest Rhythms in Fruit Flies Drosophila melanogaster under Semi-Natural Condition

Here we report the results of a study aimed at examining stability of adult emergence and activity/rest rhythms under seminatural conditions (henceforth SN), in four large outbred fruit fly Drosophila melanogaster populations, selected for emergence in a narrow window of time under laboratory (henceforth LAB) light/dark (LD) cycles. When assessed under LAB, selected flies display enhanced stability in terms of higher amplitude, synchrony and accuracy in emergence and activity rhythms compared to controls. The present study was conducted to assess whether such differences in stability between selected and control populations, persist under SN where several gradually changing time-cues are present in their strongest form. The study revealed that under SN, emergence waveform of selected flies was modified, with even more enhanced peak and narrower gate-width compared to those observed in the LAB and compared to control populations in SN. Furthermore, flies from selected populations continued to exhibit enhanced synchrony and accuracy in their emergence and activity rhythms under SN compared to controls. Further analysis of zeitgeber effects revealed that enhanced stability in the rhythmicity of selected flies under SN was primarily due to increased sensitivity to light because emergence and activity rhythms of selected flies were as stable as controls under temperature cycles. These results thus suggest that stability of circadian rhythms in fruit flies D. melanogaster, which evolved as a consequence of selection for emergence in a narrow window of time under weak zeitgeber condition of LAB, persists robustly in the face of day-to-day variations in cycling environmental factors of nature.

Full Chemical Kinetic Simulation of Biogas Early Phase Combustion in SI Engines

This paper presents computational work on the biogas early phase combustion in spark ignition (SI) engines using detailed chemical kinetics. Specifically, the early phase combustion is studied to assess the effect of various ignition parameters such as spark plug location, spark energy, and number of spark plugs. An integrated version of the KIVA-3V and CHEMKIN codes was developed and used for the simulations utilizing detailed kinetics involving 325 reactions and 53 species The results show that location of the spark plug and local flow field play an important role. A central plug configuration, which is associated with higher local flow velocities in the vicinity of the spark plug, showed faster initial combustion. Although a dual plug configuration shows the highest rate of fuel consumption, it is comparable to the rate exhibited by the central plug case. The radical species important in the initiation of combustion are identified, and their concentrations are monitored during the early phase of combustion. The concentration of these radicals is also observed to correlate very well with the above-mentioned trend.Thus, the role of these radicals in promoting faster combustion has been clearly established. It is also observed that the minimum ignition energy required to initiate a self-sustained flame depends on the flow field condition in the vicinity of the spark plug.Increasing the methane content in the biogas has shown improved combustion.

Accelerated multistress aging of polymer nanocomposites and its condition monitoring

In recent years, the time dependant maintenance of expensive high voltage power equipments is getting replaced by condition based maintenance so as to detect apriori an impending failure of the equipment. For condition based maintenance, most monitoring systems concentrate on the electrical quantities such as measurement and evaluation of partial discharges, tan delta, tip-up test, dielectric strength, insulation resistance, polarization and depolarization current. However, in the case of equipments being developed with novel nanodielectric insulating materials, the variation in these parameters before an impending failure is not available. Hence in this work, accelerated electrothermal aging studies have been conducted on unfilled epoxy as well as epoxy nanocomposite samples of 5 wt% filler loading, and the tan d values were continuously monitored to obtain the condition of the samples under study. It was observed that those samples whose tan d increased at a rapid rate failed first.

Deformation mechanisms during superplastic testing of Ti-6Al-4V-0.1B alloy

Superplastic tensile tests on warm rolled and optimally annealed boron modified alloy Ti-6Al-4V-0.1B at a temperature of 850 degrees C and initial strain rate of 3 x 10(-4) s(-1) results in a higher elongation (similar to 500%) compared to the base alloy Ti-6Al-4V (similar to 400%). The improvement in superplasticity has been attributed to enhanced contribution from interfacial boundary sliding to the overall deformation for the boron modified alloy. The boundary sliding was facilitated by the starting microstructure which predominantly contains small equiaxed primary a grains with narrow size distribution. Dynamic processes such as coarsening and globularization of primary a phase occur under the test condition but do not significantly contribute to the observed difference in superplasticity between the two alloys. In spite of cavitation takes place around the TiB particles during deformation, they do not cause macroscopic cracking and early fracture by virtue of the cavities being extremely localized. Localized cavitation is found to correlate with increased material transfer due to faster diffusion.

Antioxidant and oxidative stress parameters in brain of Heteropneustes fossilis under air exposure condition; role of mitochondrial electron transport chain

Many fishes are exposed to air in their natural habitat or during their commercial handling. In natural habitat or during commercial handling, the cat fish Heteropneustes fossilis is exposed to air for > 24 h. Data on its oxidative metabolism in the above condition are not available. Oxidative stress (OS) indices (lipid and protein oxidation), toxic reactive oxygen species (ROS: H2O2) generation, antioxidative status (levels of superoxide dismutase, catalase, glutathione peroxidase and reductase, ascorbic acid and nonprotein sulfhydryl) and activities of electron transport chain (ETC) enzymes (complex I-IV) were investigated in brain tissue of H. fossilis under air exposure condition (0, 3, 6, 12 and 18 h at 25 degrees C). Decreased activities of antioxidant (except catalase) and ETC enzymes (except complex II) with increased H2O2 and OS levels were observed in the tissue under water deprivation condition. Positive correlation was observed for complex II activity and non-protein thiol groups with time period of air exposure. The critical time period to induce OS and to reduce most of the studied antioxidant level in brain was found to be 3-6 h air exposure. The data can be useful to minimize the stress generated during commercial handling of the live fishes those exposed to air in general and H. fossilis in particular. (C) 2013 Elsevier Inc. All rights reserved.

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.