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.     

The rational design of modified Cinchona alkaloid catalysts. Application to a new asymmetric synthesis of chiral chromanes

A new asymmetric synthesis of 2-substituted chiral chromanes has been achieved. The key step is the intramolecular conjugate addition of a phenolic nucleophile on a α,β-unsaturated ester catalyzed by Cinchona alkaloids. The high ee’s obtained with cinchonine and its derivatives have been rationalized by ab initio quantum chemistry calculations of transition state structures.     

Selective double Suzuki cross-coupling reactions. Synthesis of unsymmetrical diaryl (or heteroaryl) methanes

Using a double Suzuki cross-coupling reaction ortho- or para-bromobenzyl bromides are easily transformed into unsymmetrical diaryl (or heteroaryl) methanes     

Robust Speed Control of a Low Damped Electromechanical System Based on CRONE Control: Application to a Four Mass Experimental Test Bench

Robust speed control of a low damped electromechanical system with backlash is studied, controlled load angular speed being not measured. The proposed control strategy combines a Luenberger observer (load angular speed and load torque disturbance estimations) and a robust CRONE controller. The observer provides estimation of the load angular speed and of the disturbance torque applied on the load. Through the computation of only three independent parameters (as many as a PID controller), the CRONE controller permits to ensure the robust speed control of the load in spite of plant parametric variations and speed observation errors. The proposed control strategy is applied to a four mass experimental test bench.     

Control of the Morphology of Organic-Inorganic Hybrid Materials Elaborated by Reactive Processing Without Solvent

We study the synthesis of organic-inorganic hybrids in the molten state of the polymer without solvent, by reactive processing. The synthesis is based in a first step upon the crosslinking of ethylene vinyl acetate copolymer (EVA) through an exchange reaction between the pendant ester groups of EVA and tetrapropoxysilane (TPOS) in presence of dibutyltin oxide (DBTO) as an indispensable catalyst. Then in a second step the hydrolysis-condensation reactions of residual alkoxide groups results in silica network formation, which is covalently bonded with the organic network. An original approach was developed to correlate the evolution of the hydrolysis-condensation reactions through the assessment of propanol by gas chromatography and the evolution of the morphology through SAXS and TEM analysis. Silica-rich domains with a diameter close to 5 nm are obtained.     

Parabolic Capacity and Soft Measures for Nonlinear Equations

We first introduce, using a functional approach, the notion of capacity related to the parabolic p-Laplace operator. Then we prove a decomposition theorem for measures (in space and time) that do not charge the sets of null capacity. We apply this result to prove existence and uniqueness of renormalized solutions for nonlinear parabolic initial boundary-value problems with such measures as right-hand side.     

Coupling of a multilevel fast multipole method and a microlocal discretization for the 3-D integral equations of electromagnetism

The aim of this work is to propose an accurate and efficient numerical approximation for high frequency diffraction of electromagnetic waves. In the context of the boundary integral equations presented in F. Collino and B. Després, to be published in J. Comput. Appl. Math., the strategy we propose combines the microlocal discretization (T. Abboud et al., in: Third International Conference on Mathematical Aspects of Wave Propagation Phenomena, SIAM, 1995, pp. 178–187) and the multilevel fast multipole method (J.M. Song, W.C. Chew, Microw. Opt. Tech. Lett. 10 (1) (1995) 14–19). This leads to a numerical method with a reduced complexity, of order O(N^4/3ln(N)+N_iterN^2/3), instead of the complexity O(N_iterN²) for a classical numerical iterative solution of integral equations. Computations on an academic geometry show that the new method improves the efficiency, for a solution with a good level of accuracy. To cite this article: A. Bachelot et al., C. R. Acad. Sci. Paris, Ser. I 336 (2003).     

A new insight into the understanding of the collapsed form of poly(N-isopropylacrylamide) molecules

Possible collapsed forms of poly(N-isopropylacrylamide) molecules are reviewed on the basis of first principle calculations. Various configurations and associated conformations are detailed. The calculated optimized structures exhibit different possibilities of creating networks of intra-molecular bonds of the hydrogen type. We show that the most remarkable one is able to form a local, self-saturated and well ordered helix. We also indicate in which direction the synthesis of the molecule should be oriented to improve its global behavior in term of hydrophobic/hydrophilic behavior.     

Dual Characterizations of Set Containments with Strict Convex Inequalities

Characterizations of the containment of a convex set either in an arbitrary convex set or in the complement of a finite union of convex sets (i.e., the set, described by reverse-convex inequalities) are given. These characterizations provide ways of verifying the containments either by comparing their corresponding dual cones or by checking the consistency of suitable associated systems. The convex sets considered in this paper are the solution sets of an arbitrary number of convex inequalities, which can be either weak or strict inequalities. Particular cases of dual characterizations of set containments have played key roles in solving large scale knowledge-based data classification problems where they are used to describe the containments as inequality constraints in optimization problems. The idea of evenly convex set (intersection of open half spaces), which was introduced by W. Fenchel in 1952, is used to derive the dual conditions, characterizing the set containments.     

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.