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.     

具连续时滞Liénard方程概周期解的存在唯一性

结合Liapunov泛函，研究了具连续时滞Lienard方程概周期解的存在唯一性和安全一致渐进稳定性。     

两个安全第一思想模型的比较分析

针对投资者可能的投资需求确立了基于安全第一思想下两个相近的投资目标:1、极大化投资末期总收益率超过给定水平α的概率;2、极小化投资末期总收益率与给定水平α的距离.并分别就这两个目标建立了优化决策模型,得到了模型解析解,最后对两个模型结果进行了比较分析和经济解释.     

基于BDF的无约束优化方法的收敛性分析

1.介 绍 在上个世纪的七十年代末、八十年代初,基于常微分方程的优化方法或者说同伦方法是一类与拟牛顿法和共轭梯度法等我们所熟知的优化方法相竞争的重要方法[1-6,8,13,14,16].由于这类方法只是简单地利用现成的数值求解常微分方程的软件包,如CVODE[7]、LSODE[12],对同伦方程(一般是一个常微分方程的初值问题)进行计算,除了一些特殊的病态问题     

3,7-二硝基亚氨基-2,4-二氮杂双环[3,3,0]辛烷的放热分解反应动力学

在程序升温条件下 ,用DSC研究了标题化合物的放热分解反应动力学 .用线性最小二乘法、迭代法以及二分法与最小二乘法相结合的方法 ,以积分方程、微分方程和放热速率方程拟合DSC数据 .在逻辑选择建立了微分和积分机理函数的最可几一般表达式后 ,用放热速率方程得到相应的表观活化能 (Ea)、指前因子 (A)和反应级数 (n)的值 .结果表明 :该反应的微分形式的经验动力学模式函数、Ea 和A值分别为 (1-α) 0 .44、2 30 .4kJ/mol和 10 18.16s-1.借助加热速率和所得动力学参数值 ,提出了标题化合物放热分解反应的动力学方程 .该化合物的热爆炸临界温度为 30 2 .6℃ .上述动力学参数对分析、评价标题化合物的稳定性和热变化规律十分有用 .     

Hybrid Electrodes Used in Polymer Electro-Optic Modulator with Ultra-Broadband

Hybrid electrode combined coplanar waveguide (CPW) and microstrip lines in ultra-broadband electro-optic modulators. The characteristics of the modulators with hybrid electrode is like that of the modulator with the microstrip lines, in which the microstrip electrode is loaded above only one arm of Mach-Zehnder (M-Z) optical waveguide, besides the problem of microstrip line to coaxial transition and corona polarization in polymer modulators have been best solved at the same time. By using finite element method (FEM), the characteristic parameters such as half-wave voltage, modulation bandwidth characteristic impedance, effective microwave refractive index of polymer modulators with microstrip line and hybrid electrode are analysed and compared in this paper. The results present that velocity match, impendence match and lower microwave propagating loss is easily realized in modulators with hybrid electrode.     

The asymptotic behaviors of a stage-structured autonomous predator-prey system with time delay

In this paper, we consider an autonomous predator-prey Lotka-Volterra system in which individuals in the population may belong to one of two classes: the immatures and the matures, the age to maturity is represented by a time delay. By using eigenvalue analysis, principal term analyze method, reduction to absurdity, and iterative method, we obtain some simple conditions for global asymptotic stability of the unique positive equilibrium point. Moreover, a condition that the prey population in the system get extinction and the predator population in the system get permanence will be obtained. Meanwhile the theorems extend the corresponding conclusions in which there have no two stage structures.     

用PM3量化参数预测多氯代二苯并呋喃的logKow

从现有的PCDFs分子的正辛醇 /水分配系数 (logKow)实验数据出发 ,建立定量结构 性质关系方程(QSPR) .采用G98W程序包中的PM3方法对 13 5个多氯代二苯并呋喃 (PCDFs)分子和二苯并呋喃进行了优化计算 ,作业命令为 #pPM3optfreqscf(conver =9) ,以计算所得的分子轨道能量、碳原子电荷作为PCDFs分子结构描述符 ,运用多元线性回归技术建立了PCDFs的logKow与分子结构描述符的四元方程 ,最优相关系数为 0 .95 0 7,标准偏差为 0 .173 7,经检验该模型的稳健性好 ,并对未有实验数据的 85个PCDFs的logKow进行预测     

Polarization Self-Modulation Phenomenon in a Free Oscillated Nd：YAG Laser

Polarization self-modulation effect in a free oscillated Nd：YAG laser is investigated after a quarter wave plate is introduced independently in the two positions of the cavity. As described in the previous experiments, the intensity components in the orthogonal directions are modulated with a period of the round-trip time or twice. Different pulse shapes reveal that the seed field from the spontaneous emission is not uniform and seems to be stochastic for each pulse.