Extreme Value Models for Software Reliability

When a new software is produced it is usually tested for failure several times in succession (whenever a failure is detected the software is rectified and tested again for failure). Suppose X ₁,X ₂,…,X _k denote the times between failures. For the customer the main characteristic of interest is T=max(X ₁,X ₂,…,X _k ). In particular, one would be interested in t _α for which Pr{T≤t _α }=1?α for small α. In this paper we consider four models for T based on the class of extreme value distributions (Gumbel, Fre´chet, Weibull and Pareto) and provide methods for estimating t _α . In addition to numerical estimation of t _α , we perform sensitivity analysis of t _α with respect to the four models considered.     

软件可靠性模型的补偿算法

世界上已发表了四十多个软件可靠性模型,但使用情况不尽如人意．提出了模型的补偿算法,实验研究结果表明,该算法能有效地改善模型的精度及适应性．     

不同测验模型的信度估计及统计性质

在教育与心理测验中，信度是衡量测验是否可靠的重要指标。本文在不同模型下考虑测验的信度估计及其统计性质。在正态模型下，给出信度的无偏估计，在二项模型下，给出信度的相合估计；利用项目反应理论，给出测验信度的另一类估计；在组合测验模型下，给出迄今最接近信度真值的一个下界，同时给出相应的估计公式。     

半参数回归模型的异方差统计分析

在回归分析中，方差齐性的假设是一个普遍关心的问题．在参数和非参数回归模型中，关于异方差检验问题已经有很多的研究，见(【1】，【4】，【7】)．本文研究了半参数回归模型的异方差检验问题，得到了方差齐性检验的SCORE统计量，证明了该统计量的渐近x^2性质，最后给出计算机模拟和实际例子，推广和发展了Eubank和Thomas(1993)，韦博成(1995)的工作．     

Matlab软件在多元统计分析中的应用

许多实际问题往往需要对数据进行统计分析,建立合适的统计模型.过去一般采用SAS、SPSS软件分析,本文给出Matlab软件在多元统计分析上的应用,主要介绍Matlab在主成份分析、聚类分析、判别分析上的应用。文中均给以实例,结果令人满意。     

基于MCMC模拟方法的带变点的NHPP软件可靠性模型

本文主要讨论软件测试过程中NHPP模型参数发生变化的情形,并用Bayes方法对GGO模型进行变点分析,运用基于Gibbs抽样的MCMC方法模拟出参数后验分布的马尔科夫链,最后借助于BUGS软件包对软件故障数据集Musa进行建模仿真,其结果表明该模型在软件可靠性变点分析中的直观性和有效性。     

软件可靠性M-O模型和逆线性模型的参数估计

Musa-Okumoto模型和逆线性模型是研究软件可靠性的重要模型，给出了在分组数据下，M－O模型和逆线性模型中参数的最大似然估计及其存在的充分性条件，指出了[4]中的错误，并且给出了一个实例。     

Using Statistical Models for Mathematical Programming Sensitivity Analysis

When exploring the potential payoffs from energy R & D, it is necessary to perform benefit-cost calculations over a wide range of future scenarios. Repeated runs of large-scale mathematical programming models are often required. This paper describes how simple statistical models might be used to eliminate at least some of the costly computer runs. The approach is illustrated in the context of a recent study on the effect of breeder timing on electricity generating costs.     

可靠性系列知识讲座 第四讲:可靠性增长试验的统计分析与设计

新产品的研制工作要经历若干个阶段,每个阶段都是在前一阶段的基础上针对产品在设计、材料或工艺等方面的缺点采取改进措施,以便产品的可靠度得到提高。本文在一般公认的假定—次序约束下,综合利用各阶段的数据给出了最后阶段产品可靠度的点估计和置信下限,它比只利用最后阶数据得到的点估计和置信下限更为合理。此处,还对可靠性增长试验的设计提出了有价值的建议。     

随机设计非线性混合模型的统计分析

本文研究了个体观察次数为随机的非线性 混合效应模型中参数的点估计以及区间估计. 在仅给出适当的矩条件下, 给出了固定效应、随机效应的方差阵以及误差方差的矩估计, 并证明了估计量的相合性及渐近正态性. 为给出误差方差以及随机效应方差分量的置信区间, 本文也给出了误差及随机效应的四阶矩估计. 随机模拟说明了方法的有效性.     

智能的统计软件──统计专家系统

计算统计是数理统计的一个重要分支，而统计专家系统是计算统计中一极热门的话题。本文简介了统计专家系统的概念及发展过程，并根据本人所作的工作介绍了统计专家系统的基本结构和构造过程等。最后对未来的统计专家系统提出了一点设想。     

Bayesian Computation of Software Reliability

Abstract

Bayesian methods for the Jelinski and Moranda and the Littlewood and Verrall models in software reliability are studied. A Gibbs sampling approach is employed to compute the Bayes estimates. In addition, prediction of future failure times and future reliabilities is examined. Model selection based on the mean squared prediction error and the prequential likelihood of the conditional predictive ordinates is developed.     

非参数协方差分析基于变系数模型的统计推断

对于一类协方差分析模型,本文基于变系数模型的角度,提出了约束局部加权核估计方法,并构造了相应的检验统计量,给出了计算检验p-值的精确方法.最后通过数值模拟验证了所提检验方法的有效性.     

单指标模型的统计推断

本文对单指标模型的统计推断方法进行了系统阐述,其中包括联系函数和指标系数的估计,经验似然,模型检验和变量选择等。本文的取材来自近二十年来的最新研究成果。     

单指标模型的统计推断

本文对单指标模型的统计推断方法进行了系统阐述,其中包括联系函数和指标系数的估计,经验似然,模型检验和变量选择等。本文的取材来自近二十年来的最新研究成果。     

软件可靠性模型和估计

本文根据何国伟提出的软件可靠性模型,特别是输入空间和输入分布的概念,分析软件测试数据特征,给出软件可靠性的点估计和置信下界的计算公式。     

零—膨胀泊松回归模型的非参数统计分析及其应用

零膨胀计数数据是当今数据分析的热点问题之一,该类数据的特点是零点过多,目前对这类数据的研究已经比较全面。另外还有些计数数据不仅会出现零点过多的现象,也会同时存在零、一点都过多的情形,如果再用零膨胀计数数据的统计方法去研究,产生的误差较大。目前国内外对零和一都膨胀的数据的研究还比较少,针对这种现象,本文引入零一膨胀泊松回归模型,并用局部多项式核回归法这种非参数统计分析方法对零一膨胀泊松回归模型进行参数估计,这是本文的创新点也是难点,并在求解参数的过程中引进了EM算法和Newton-Raphson迭代对参数近似求解。通过模拟结果可以得出此方法的可行性,最后通过对糖尿病患者数据的实例分析,可以验证此方法的有效性。