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.     

Stability radii of positive linear Volterra-Stieltjes equations

We study stability radii of linear Volterra-Stieltjes equations under multi-perturbations and affine perturbations. A lower and upper bound for the complex stability radius with respect to multi-perturbations are given. Furthermore, in some special cases concerning the structure matrices, the complex stability radius can precisely be computed via the associated transfer functions. Then, the class of positive linear Volterra-Stieltjes equations is studied in detail. It is shown that for this class, complex, real and positive stability radius under multi-perturbations or multi-affine perturbations coincide and can be computed by simple formulae expressed in terms of the system matrices. As direct consequences of the obtained results, we get some results on robust stability of positive linear integro-differential equations and of positive linear functional differential equations. To the best of our knowledge, most of the results of this paper are new.     

Diffraction by a wedge at skew incidence: integral representations of Cauchy-Carleman for the electromagnetic fields

An electromagnetic diffraction problem in a wedge shaped region is reduced to a system of coupled functional difference equations by means of Sommerfeld integrals and Malyuzhinets theorem. By introducing an integral operator it is shown that the solutions of this system of functional equations can be defined in terms of integral representations whose kernels are solutions of a singular integral equation of Cauchy-Carleman type for which an explicit solution is given.     

On bounding the effective conductivity of isotropic composite materials

In this paper inequalities for the effective conductivity of isotropic composite materials are derived. These inequalities depend on several coefficients characterizing the microstructure of composites. The obtained coefficients can be exactly calculated for models of a two-component aggregate of multisized, coated ellipsoidal inclusions, packed to fill all space. As a result, new bounds for effective conductivity, considerably narrower than those of Hashin-Shtrikman, are established for such models of composite materials.     

Effect of the subdivision strategy on convergence and efficiency of some global optimization algorithms

We investigate subdivision strategies that can improve the convergence and efficiency of some branch and bound algorithms of global optimization. In particular, a general class of so called weakly exhaustive simplicial subdivision processes is introduced that subsumes all previously known radial exhaustive processes. This result provides the basis for constructing flexible subdivision strategies that can be adapted to take advantage of various problem conditions.     

Prompt gamma cold neutron activation analysis applied to biological materials

Summary Cold neutrons at the external neutron guide laboratory (ELLA) of the KFA Jülich are used to demonstrate their profitable application for multielement characterization of biological materials. The set-up and experimental conditions of the Prompt Gamma Cold Neutron Activation Analysis (PGCNAA) device is described in detail. Results for C, H, N, S, K, B, and Cd using synthetic standards and the “ratio” technique for calculation are reported for several reference materials and prove the method to be reliable and complementary with respect to the elements being determined by INAA. IAEA fellow at the KFA from 6. 3. 91 to 2. 9. 91 on contract No. VIE/9016R.     

Analysis of plane and axisymmetric flows of incompressible fluids with the stream tube method: Numerical simulation by trust-region optimization algorithm

New concepts for the study of incompressible plane or axisymmetric flows are analysed by the stream tube method. Flows without eddies and pure vortex flows are considered in a transformed domain where the mapped streamlines are rectilinear or circular. The transformation between the physical domain and the computational domain is an unknown of the problem. In order to solve the non-linear set of relevant equations, we present a new algorithm based on a trust region technique which is effective for non-convex optimization problems. Experimental results show that the new algorithm is more robust compared to the Newton-Raphson method.     

Renormalization Effects in the Spectrum of a Coherently Driven Exciton–Biexciton System

Starting from the total Hamiltonian of an excited exciton–biexciton system, nonresonant renormalizations in the electronic spectrum of a coherently driven direct semiconductor are considered. Stringent group-theoretical inclusion of the particle spin in the Hamiltonian allows one to account for the dependence of different renormalization effects on polarizations of the incident laser fields. On the example of circularly polarized driving and probing pulses it is shown that the kind of observed renormalization is defined by the pump-and-probe polarization geometry. Thus, the exciton optical Stark effect must appear in the case of co-circular pump-and-probe, whereas a mixing of the polariton and biexciton spectra is possible only in the case of counter-circular pump-and-probe. The polariton--biexciton dispersion renormalization may manifest itself as synchronous splittings of the exciton--polariton and biexciton spectra under resonant pumping at a frequency of the polariton--biexciton transition, or in their shifts in opposite directions under near-resonant pumping. The mechanisms of both kinds of renormalization effects are analyzed, and the dependence of their characteristics on the pump parameters and microscopic parameters of the exciton–biexciton–photon system is established. An evaluation of the characteristics shows that the effect of polariton–biexciton dispersion renormalization dominates in the spectra of semiconductors with stable biexciton formation. Results of the theoretical study provide an adequate explanation of available experimental data.     

On the Smoothness of a Generalized Solution of the First Initial Boundary-Value Problem for Strongly Parabolic Systems in a Cylinder with Nonsmooth Base with Respect to Time Variable

We consider the first initial boundary-value problem for strongly parabolic systems in an infinite cylinder with nonsmooth boundary. We establish conditions for the existence of generalized solutions, an estimate for this solutions, and an estimate for the derivative of the solution.