Calibrating software reliability models when the test environment does not match the user environment

Software failures have become the major factor that brings the system down or causes a degradation in the quality of service. For many applications, estimating the software failure rate from a user's perspective helps the development team evaluate the reliability of the software and determine the release time properly. Traditionally, software reliability growth models are applied to system test data with the hope of estimating the software failure rate in the field. Given the aggressive nature by which the software is exercised during system test, as well as unavoidable differences between the test environment and the field environment, the resulting estimate of the failure rate will not typically reflect the user‐perceived failure rate in the field. The goal of this work is to quantify the mismatch between the system test environment and the field environment. A calibration factor is proposed to map the failure rate estimated from the system test data to the failure rate that will be observed in the field. Non‐homogeneous Poisson process models are utilized to estimate the software failure rate in both the system test phase and the field. For projects that have only system test data, use of the calibration factor provides an estimate of the field failure rate that would otherwise be unavailable. For projects that have both system test data and previous field data, the calibration factor can be explicitly evaluated and used to estimate the field failure rate of future releases as their system test data becomes available. Copyright © 2002 John Wiley & Sons, Ltd.     

Segregation in the Falicov--Kimball Model

The Falicov–Kimball model is a simple quantum lattice model that describes light and heavy electrons interacting with an on-site repulsion; alternatively, it is a model of itinerant electrons and fixed nuclei. It can be seen as a simplification of the Hubbard model; by neglecting the kinetic (hopping) energy of the spin up particles, one gets the Falicov–Kimball model. We show that away from half-filling, i.e. if the sum of the densities of both kinds of particles differs from 1, the particles segregate at zero temperature and for large enough repulsion. In the language of the Hubbard model, this means creating two regions with a positive and a negative magnetization. Our key mathematical results are lower and upper bounds for the sum of the lowest eigenvalues of the discrete Laplace operator in an arbitrary domain, with Dirichlet boundary conditions. The lower bound consists of a bulk term, independent of the shape of the domain, and of a term proportional to the boundary. Therefore, one lowers the kinetic energy of the itinerant particles by choosing a domain with a small boundary. For the Falicov- Kimball model, this corresponds to having a single “compact” domain that has no heavy particles. Received: 21 June 2001 / Accepted: 4 January 2002     

Extensions of Modules over Schur Algebras, Symmetric Groups and Hecke Algebras

We study the relation between the cohomology of general linear and symmetric groups and their respective quantizations, using Schur algebras and standard homological techniques to build appropriate spectral sequences. As our methods fit inside a much more general context within the theory of finite-dimensional algebras, we develop our results first in that general setting, and then specialize to the above situations. From this we obtain new proofs of several known results in modular representation theory of symmetric groups. Moreover, we reduce certain questions about computing extensions for symmetric groups and Hecke algebras to questions about extensions for general linear groups and their quantizations.     

Synthesis of 2-pyrone-4-carboxaldehydes from acetylene dicarboxaldehyde monoacetal

Reaction of acetylene dicarboxaldehyde monoacetal with substituted Meldrum’s acid leads good yields in 2-pyranones-4-carboxaldehydes substituted in position 3.     

Evidences of phase separation in moisture‐cured poly(urethane urea)s by means of temperature modulated differential scanning calorimetry

The degree of phase separation in several moisture‐cured poly(urethane urea)s (PUUs) was studied by FTIR spectroscopy, wide angle X‐ray diffraction (WAXD), and temperature‐modulated differential scanning calorimetry (TMDSC). This latter technique was shown to be particularly useful in analysing the degree of phase separation in PUU polymers. Both phase mixing and phase segregation coexisted in the PUUs and the degree of phase separation increased as the urea hard segment (HS) content in the PUU increased. The maximum solubility of urea HSs into the polyol soft segments (SSs) was achieved for 50 wt % urea HS content in diol‐based PUUs, whereas for triol‐based PUUs the highest solubility between HS and SS was reached for lower urea HS amount. Finally, the higher the urea HS content the higher the extent of phase separation in the PUU. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 3034–3045, 2007     

Magnetic poly(N‐isopropylacrylamide) microspheres by dispersion and inverse emulsion polymerization

The aim of this study was to develop novel thermally responsive polymer microspheres with magnetic properties. Dispersion and inverse emulsion copolymerization of N‐isopropylacrylamide (NIPAAm) and N,N′‐methylenebisacrylamide (MBAAm) was investigated in the presence of γ‐Fe₂O₃ nanoparticles. The resulting microspheres were characterized in terms of morphology, size, polydispersity, iron content, and temperature‐dependent swelling using optical microscopy, transmission electron microscopy, scanning electron microscopy, QELS, and AAS. The effects of several variables, such as the concentration of γ‐Fe₂O₃, MBAAm crosslinking agent, Span 80 surfactant, 2,2′‐azobis(2‐methyloctanenitrile) (AMON) initiator, and polymerization temperature on the properties of the microspheres were studied. Swelling and thermoresponsive behavior of the microspheres containing γ‐Fe₂O₃ nanoparticles were also investigated. The microspheres contained about 8 wt % of iron. The presence of magnetic nanoparticles and their concentration changes did not have any significant effect on the temperature sensitivity of the composites. The particles gradually shrink into an increasingly collapsed state when the temperature is raised to 40 °C since the increase in temperature weakens the hydration and PNIPAAm chains gradually become more hydrophobic, which leads to the collapse of the particles. © 2007 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 45: 5884–5898, 2007     

Gauss-Manin connections for arrangements, III Formal connections

We study the Gauss-Manin connection for the moduli space of an arrangement of complex hyperplanes in the cohomology of a complex rank one local system. We define formal Gauss-Manin connection matrices in the Aomoto complex and prove that, for all arrangements and all local systems, these formal connection matrices specialize to Gauss-Manin connection matrices.

     

Magnetic poly(glycidyl methacrylate) microspheres prepared by dispersion polymerization in the presence of electrostatically stabilized ferrofluids

Fine magnetite nanoparticles, both electrostatically stabilized and nonstabilized, were synthesized in situ by precipitation of Fe(II) and Fe(III) salts in alkaline medium. Magnetic poly(glycidyl methacrylate) (PGMA) microspheres with core‐shell structure, where Fe₃O₄ is the magnetic core and PGMA is the shell, were obtained by dispersion polymerization initiated with 2,2′‐azobisisobutyronitrile (AIBN), 4,4′‐azobis(4‐cyanovaleric acid) (ACVA), or ammonium persulfate (APS) in ethanol containing poly(vinylpyrrolidone) or ethylcellulose stabilizer in the presence of iron oxide ferrofluid. The average microsphere size ranged from 100 nm to 2 μm. The effects of the nature of ferrofluid, polymerization temperature, monomer, initiator, and stabilizer concentration on the PGMA particle size and polydispersity were studied. The particles contained 2–24 wt % of iron. AIBN produced larger microspheres than APS or ACVA. Polymers encapsulating electrostatically stabilized iron oxide particles contained lower amounts of oxirane groups compared with those obtained with untreated ferrofluid. © 2004 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 42: 5827–5837, 2004