Race Detection for Android Applications

Programming environments for smartphones expose a concurrency model that combines multi-threading and asynchronous event-based dispatch. While this enables the development of efficient and feature-rich applications, unforeseen thread interleavings coupled with non-deterministic reorderings of asynchronous tasks can lead to subtle concurrency errors in the applications. In this paper, we formalize the concurrency semantics of the Android programming model. We further define the happens-before relation for Android applications, and develop a dynamic race detection technique based on this relation. Our relation generalizes the so far independently studied happens-before relations for multi-threaded programs and single-threaded event-driven programs. Additionally, our race detection technique uses a model of the Android runtime environment to reduce false positives. We have implemented a tool called DROIDRACER. It generates execution traces by systematically testing Android applications and detects data races by computing the happens-before relation on the traces. We analyzed 1 5 Android applications including popular applications such as Facebook, Twitter and K-9 Mail. Our results indicate that data races are prevalent in Android applications, and that DROIDRACER is an effective tool to identify data races.

Codoping Effect of Zn and Pr in YBa2Cu3O7-delta

In this paper we present the resistivity data for Pr and Zn codoped compound Y1-xPrxBa2[Cu1-yZny](3)O7-delta with 0 < y < 0.1 and x = 0.0, 0.1 and 0.2. The data is analysed in terms of the superconducting critical temperature T-c, residual resistivity rho(0) and the resistivity slope d rho/dT corresponding to the linear rho-T region. It is found that for x = 0.1 Pr has a minimal influence on the in-plane processes for Zn impurity alone affecting slightly T-c and rho(0). The slope dp/dT becomes larger for 0.03 < y < 0.06 leading to larger depining effect and hence slower fall of T, as a function of y. For x = 0.2 there is a drastic change, rho(0) becomes abnormally large, d rho/dT becomes negative implying absence of depinning and a totally pinned charge stripes. Superconductivity vanishes at y = 0.03. It is concluded that for x = 0.2 Pr converts the system from overdoped to underdoped region leading to the universal superconductor-insulator transition.

Cl-35 NQR study of cation polarizability in metal salts of monochloro acetic acid

Various metal salts (Na, K, Rb, and NH4) of monochloro acetic acid were prepared and the Cl-35 nuclear quadrupole resonance frequencies were measured at room temperature. A comparative study of nuclear quadrupole resonance frequencies of monochloro acetic acid and its metal salts is carried out. The frequency shifts obtained in the respective metal chloroacetates are used to estimate the changes in the ionicity of C-Cl bond. Further, the changes in the ionicity of C-Cl bond were used to estimate the percentage of intra-molecular charge transfer between respective cation-anion of the metal salts of chloro acetic acid. The nuclear quadrupole resonance frequency is found to decrease with increasing ionicity of the alkali metal ion.

Polymer–filler interactions in hydroxy-terminated polybutadiene–ammonium perchlorate system in the presence of a bonding agent

Bonding between ammonium perchlorate (AP) and hydroxy-terminated polybutadiene (HTPB), constituting a nonreinforcing filler system, has been studied in the presence of a unique bonding agent (BA)–a switter ion molecule, 2,4-dinitrophenylhydrazone derivative of 1,1′-bisacetylferrocene (DNPHD AF). Extensive conjugation and a permanent ionic character makes the DNPHD AF to bond strongly with the ionic oxidizer AP. Through its terminal OH group, HTPH bonds with the NO2 groups of DNPHD AF. Bonding sites in the molecules have been located from IR studies and from the first-order rate constant measurements of the bonding of DNPHD AF and other model BAs with HTPB and AP. The bonding ability of DNPHD AF is further evidenced from SEM micrographs.

A novel fiber-coated strong base-type anion exchanger with superfast kinetics. Removal and recovery of silver thiosulfate from aqueous solutions

A commercial acrylic fiber with 92% (w/w) acrylonitrile content was partially hydrolyzed converting a fraction of the nitrile (-CN) groups to carboxylic acid (-COOH) groups, to coat the fiber with polyethylenimine (PEI) resin, which was then crosslinked with glutaraldehyde and further quaternized with ethyl chloroacetate to produce a novel strong-base anionic exchanger in the form of fiber. Designated as PAN(QPEI.XG)(Cl-), the fibrous sorbent was compared with a commercial bead-form resin Amberlite IRA-458(Cl-) in respect of sorption capacity, selectivity, and kinetics for removal of silver thiosulfate complexes from aqueous solutions. Though the saturation level of [Ag(S2O3)(2)](3-) on PAN(QPEI.XG)(Cl-) is considerably less than that on IRA-458(Cl-), the gel-coated fibrous sorbent exhibits, as compared to the bead-form sorbent, a significantly higher sorption selectivity for the silver thiosulfate complex in the presence of excess of other anions Such as S2O32-, SO42-, and Cl-, and a remarkably faster rate of both sorption and stripping. The initial uptake of the sorbate by the fibrous sorbent is nearly instantaneous, reaching up to similar to 80% of the saturation capacity within 10 s, as compared to only similar to 12% on the bead-form sorbent. The high initial rate of uptake fits a shell-core kinetic model for sorption on fiber of cylindrical geometry. With 4M HCl, the stripping of the sorbed silver complex from the fibrous sorbent is clean and nearly instantaneous, while, in contrast, a much slower rate of stripping on the bead-form sorbent leads to its fouling due to a slow decomposition of the silver thiosulfate complex in the acidic medium.

Studies on LDPE-cyanoethylated lignocellulosics blends using epoxy functionalized LDPE as compatibilizer

Rubberwood flour and cellulose have been plasticized by cyanoethylation and then blended with low-density polyethylene (LDPE). A small quantity of epoxy functionalized polyethylene i.e., polyethylene-co-glycidyl methacrylate (PEGMA) has been added to further enhance the mechanical properties. The mechanical properties were measured according to the standard ASTM methods. SEM analysis was performed for both fractured and unfractured blend specimens. The mechanical properties were improved by the addition of PEGMA compatibilizer. LDPE blends with cyanoethylated wood flour (CYWF) showed higher tensile strength and modulus than cyanoethylated cellulose CYC-LDPE blends. However CYC-LDPE blends exhibited higher relative elongation at break values as compared with the former. The TGA analysis showed lowering of thermal stability as the filler content is increased and degradation temperature of LDPE is shifted slightly to lower temperature. DSC analysis showed loss of crystallinity for the LDPE phase as the filler content is increased for both types of blends. Dielectric properties of the blends were similar to LDPE, but were lowered on adding PEGMA. (c) 2006 Wiley Periodicals, Inc.

Thermogravimetric and mass-spectrometric study of the thermal decomposition of PBCT resins

The thermal decomposition of three commercial samples of carboxy-terminated polybutadiene (PBCT) resins was studied by thermogravimetric analysis (TGA) at heating rates varying from 2° to 100°C/min. Kinetic parameters of the decomposition process at different heating rates were evaluated by means of the Fuoss method.1 The decomposition process and the activation energy values are found to be dependent on heating rate. Mass-spectrometric analysis of the decomposition products shows that the pyrolysis products of PBCT resins are mainly low molecular weight hydrocarbons: ethylene, acetylene, butadiene, propadiene, vinylcyclohexene, etc. The rates of evolution of these hydrocarbon products vary with the carboxy content of the PBCT resin. Based on this, a carbonium ion mechanism has been suggested for the thermal decomposition. The data generated from this work are of importance for a consideration of the mechanism of combustion of composite solid propellants based on PBCT binders.

A kinetic investigation of thermal degradation of poly(vinyl formals)

Several samples of poly(vinyl formal) having the same vinyl alcohol content (8–9%) but varying contents of vinyl acetate (6–22%) and vinyl formol (70–85%) were prepared and subjected to thermogravimetric analysis, in air and nitrogen atmospheres, employing both isothermal and dynamic methods. Kinetic parameters determined from both the isothermal and dynamic TGA data are compared. The activation energy is seen to be largely dependent on the degree of conversion, implying a complex degradation reaction. The activation energy is also much less for degradation in air than in nitrogen, which can be explained by a reaction with oxygen-producing structures favoring degradation. The activation energy is less sensitive to variation in polymer composition for degradation in air than in nitrogen. Thus, in the dynamic process, the activation energy value decreases (from 36 to 23 kcal/mole) with increasing acetate content (from 6 to 22%) in nitrogen atmosphere, while in air the activation energy value increases only moderately (from 21 to 27 kcal/mole) with increasing acetate content (from 6 to 22%). The order of reaction is nearly unity, irrespective of the composition of the polymer, both in air and nitrogen.

Curing reactions in plastic prepolymers and propellants. I. Polystyrene

Curing reactions of the viscous PS prepolymer and PS/AP propellant slurry have been studied. The molecular weight of the binder (separated from the propellant) and the prepolymer was found to increase to a maximum value, remain constant for some time, and then fall off between 50–125°C. The molecular weight of the binder was found to be less than corresponding prepolymer between 100–150°C but at lower temperatures (50–75°C) the reverse was found to be true. The increase in the molecular weight during curing at lower temperatures has been explained on the basis of Trommsdorff effect which gets support from the estimated activation energy (9 kcal mole−1) for the curing process. Curing was recognized as chain extension where the rate of polymerization becomes diffusion controlled below 75° C.

A kinetic investigation of thermal degradation of poly(vinyl formals)

Several samples of poly(vinyl formal) having the same vinyl alcohol content (8–9%) but varying contents of vinyl acetate (6–22%) and vinyl formol (70–85%) were prepared and subjected to thermogravimetric analysis, in air and nitrogen atmospheres, employing both isothermal and dynamic methods. Kinetic parameters determined from both the isothermal and dynamic TGA data are compared. The activation energy is seen to be largely dependent on the degree of conversion, implying a complex degradation reaction. The activation energy is also much less for degradation in air than in nitrogen, which can be explained by a reaction with oxygen-producing structures favoring degradation. The activation energy is less sensitive to variation in polymer composition for degradation in air than in nitrogen. Thus, in the dynamic process, the activation energy value decreases (from 36 to 23 kcal/mole) with increasing acetate content (from 6 to 22%) in nitrogen atmosphere, while in air the activation energy value increases only moderately (from 21 to 27 kcal/mole) with increasing acetate content (from 6 to 22%). The order of reaction is nearly unity, irrespective of the composition of the polymer, both in air and nitrogen.

Chemical toughening of epoxies. I. Structural modification of epoxy resins by reaction with hydroxy-terminated poly (butadiene-co-acrylonitrile)

In an attempt to toughen the epoxy resin matrix for fiber-reinforced composite applications, a chemical modification procedure of a commercially available bisphenol-A-based epoxy resin using reactive liquid rubber HTBN [hydroxy-terminated poly(butadiene-co-acrylonitrile)] and TDI (tolylene diisocyanate) is described. The progress of the reaction and the structural changes during modification process are studied using IR spectroscopy, viscosity data, and chemical analysis (epoxy value determination). The studies support the proposition that TDI acts as a coupling agent between the epoxy and HTBN, forming a urethane linkage with the former and an oxazolidone ring with the latter. The chemical reactions that possibly take place during the modification are discussed.

Differential scanning calorimetry cure studies on the effect of addition of epoxy diluents of tetrafunctional epoxy resins

The effect of the addition of p-aminophenol and aniline-based epoxy diluents on the curing behavior of highly viscous tetraglycidyl diamino diphenyl methane resin with diamino diphenyl sulfone hardener have been investigated kinetically by differential scanning calorimetry. Dynamic scans were carried out over a temperature range 30–300°C for different resin formulations. Isothermal scans at four differnt temperatures have also been carried out for the evaluation of kinetic parameters. Heat flow measurements at different heating rates have indicated the evidence of autocatalytic behavior of curing reaction following a simple nth-order kinetics.