贝叶斯方法在代码转换器可靠性验证试验中的应用

针对高可靠性产品的可靠性验证试验时间长、费用高等特点,将贝叶斯方法引用到可靠性验证试验中。推导出服从指数分布的贝叶斯可靠性序贯试验方法。将贝叶斯方法与经典序贯试验方法进行比较,贝叶斯方法较大的减少了试验量和试验时间。在某型飞机代码转换器的国产化可靠性验证试验中应用该方法,实际应用结果验证了该方法的有效性。     

定时间隔测试时指数分布可靠性增长的Bayes分析方法

本文给出了定时间隔测试时指数分布可靠性增长的Bayes推断方法。在假设研制过程中失效率是非增的约束下,导出了最末阶段失效率的边缘验后分布。     

计算机可靠性验证试验方法

可靠性验证试验是衡量设备设计质量水平的有效手段。本文通过实例介绍电子设备可靠性验证试验的理论和方法，该方法将定时截尾和序贯截尾的优势结合起来，具有可操作性、实用性和可行性。     

小样本情况下仿真模型的验证方法

根据系统的真实输出与仿真的输出结果，研究了仿真模型的验证方法，本文主要介绍小样本情况下静态数据的验证方法，动态数据的验证方法见文献[1]。当仿真试验结果为静态数据，它与真实系统的试验结果是否相匹配的验证，从数理统计的角度来讲，其实质是检验这两种试验数据是否属于同一概率分布，本文主要研究了小样本情况下指数分布和均匀分布仿真模型的验证方法。     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性.因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题.基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统.TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之.这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证.使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分.验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模.在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件.     

基于可靠性增长的可靠性鉴定试验方案

针对现行可靠性鉴定试验标准GJB-899A中提供的试验鉴定方案存在试验时间过长或试验风险过大,且当前可靠性鉴定试验设计大多只依赖于产品自身的寿命数据,而对产品研制过程中的可靠性增长数据利用较少的问题,以寿命服从指数分布的产品为研究对象,基于美军陆军装备分析中心提出的可靠性增长模型AMSAA模型对产品研制阶段的可靠性增长过程进行建模。再利用Bayes方法基于产品可靠性增长过程的试验数据来获取产品寿命分布,计算产品可靠性鉴定试验方案的生产方风险和使用方风险,进而推导得到满足风险要求的产品可靠性鉴定试验方案。通过实例分析以及与GJB899A所提出的试验方案对比,验证了所提方法的可行性与先进性。     

Bayes可靠性增长模型先验参数的确定

Gamma分布Gamma(a ,b) (其中a >0 ,b>0 ) ,通常用来作指数分布Bayes可靠性增长模型的先验分布 ,参数a和b的不同 ,将使可靠性增长试验的评估结果有很大的差异。根据可靠性增长和“弱”先验分布原理 ,通过对数值例的分析、比较 ,得出了先验参数的三种取法对可靠性评估结果的影响 ,并给出了指数分布Bayes可靠性增长模型的先验参数a和b的一种确定方法。     

一种验证数控系统软件安全可靠性的建模方法

作为一个典型的离散计算机控制系统,CNC(数字控制)系统在运行中需要满足可靠性和安全性。因此如何设计出安全可靠的系统软件以及如何有效地对CNC系统的安全性和可靠性进行验证成为一个非常重要的问题。基于此给出一个新的建模方法TTM/ATRTTL(时间转化模型/全时轴实时时态逻辑)来描述和验证CNC系统。TTM/ATRTTL提供了一整套方法用于描述CNC系统建模的硬实时特性和反馈特性,也提供了一个包括一整套验证规则和定理的验证模型并且应用工具STeP和SF2STeP来实现之。这个验证模型可以用于对TTM/ATRTTL表达的系统的可靠性,安全性进行验证。使用该建模和验证方法可以对OAC(开放式体系结构CNC)系统进行分析和验证,并设计出OAC的逻辑控制器,该控制器是OAC系统的核心部分。验证结果表明,该形式化建模与验证方法可以有效地对CNC系统进行分析和建模。在此基础上,可以开发出能够保证系统可靠性和安全性的CNC系统软件。     

两参数指数分布模型多重模糊假设检验的贝叶斯方法

模糊假设检验是统计决策中处理模型概念的一种非常重的情形，对于双参数指数分布尺度参数的多重模糊假设检验，本文在定数截尾样本情形，研究其贝叶斯解，先验分布考虑了Jeffreys先验和共扼先验。     

指数寿命分布多阶段可靠性增长决策研究

可靠性增长模型是可靠性增长决策的基础和关键,其在可靠性增长过程中有着重要作用。在故障延缓纠正模式下,对基于指数寿命分布的多阶段可靠性增长模型进行了研究。考虑到可靠度估计的不确定性,采用贝叶斯风险决策技术,通过期望效用函数量化可靠度的不确定性,并定义了停止可靠性增长试验的贝叶斯决策规则,最后给出了一个应用实例验证了方法的可行性。     

二参数Weibull分布下可靠性指标验证的SPOT方法

研究了二参数Weibull分布下可靠性指标验证的SPOT方法,鉴于少量的历史数据,采用随机加权法对Weibull分布的形状参数和待检验指标的验前超参数进行估计,为Weibull分布的SPOT验证提供了参数值。将Weibull分布的SPOT方法转化成指数分布下的SPOT方法,并采用仿真模拟的方法证明了该方法的有效性。     

Bayesian sequential testing for exponential life system with reliability growth

A Bayesian sequential testing method is proposed to evaluate system reliability index with reliability growth during development.The method develops a reliability growth model of repairable systems for failure censored test,and figures out the approach to determine the prior distribution of the system failure rate by applying the reliability growth model to incorporate the multistage test data collected from system development.Furthermore,the procedure for the Bayesian sequential testing is derived for the failure rate of the exponential life system,which enables the decision to terminate or continue development test.Finally,a numerical example is given to illustrate the efficiency of the proposed model and procedure.     

基于可靠性增长的变总体可靠性试验鉴定方法

针对产品研制过程中存在多阶段的试验数据和产品性能参数呈现可靠性增长的特点, 提出了一种变总体可靠性试验鉴定方法. 该方法依据产品研制过程中不同总体的试验数据, 利用可靠性增长模型, 给出变总体试验信息似然比的定义和判决准则, 进而给出变总体可靠性试验鉴定方法. 通过实例对比分析, 该方法可较好地解决小子样产品可靠性指标的假设检验问题.     

可靠性增长分析的整体推断技术

Gamma分布函数Γ(α,β)常常用作贝叶斯指数可靠性增长模型的先验分布密度函数,参数α、β值的不同,将使增长试验的评估结果有很大的差异。引入服从逆Gamma分布的折合因子,得到一种可靠性增长分析的整体推断技术。该技术是闭合的,具有递推分析形式。通过典型示例与其它确定分布参数的方法进行比较,可知这种方法更加接近工程实际。     

熵损失函数下广义指数分布的可靠性估计

在广义指数分布场合下, 讨论了其参数、可靠性指标的估计及性质. 基于熵损失函数, 在共轭先验分布下, 通过对分布函数进行变换, 获得了该分布参数、可靠性指标的 UMVUE、最小风险同变估计、Bayes 估计和经验 Bayes 估计, 并证明了形如 [cT(x) + d]^-1 的一类估计的容许性. 最后运用 Monte-Carlo 方法对各种估计的 MSE 进行了模拟比较. 结果表明, 经验贝叶斯估计精度较高.     

Wiener过程性能退化产品可靠性评估的Bayes方法

在分析性能退化数据模型的基础上,针对Wiener过程性能退化产品提出了一种可靠性评估的Bayes方法,给出了参数的递推估计.该方法计算简单,并且能随着性能退化试验进行不断更新可靠性评估结果,而不需要重新处理历史数据,因而也适合于实时可靠性评估.最后通过金属化膜电容器可靠性评估实例分析验证了该方法的适用性,并进行了相关讨论.     

Statistical analysis of generalized exponential distribution under progressive censoring with binomial removals

The estimation of generalized exponential distribution based on progressive censoring with binomial removals is presented,where the number of units removed at each failure time follows a binomial distribution.Maximum likelihood estimators of the parameters and their confidence intervals are derived.The expected time required to complete the life test under this censoring scheme is investigated.Finally,the numerical examples are given to illustrate some theoretical results by means of Monte-Carlo simulation.     

Statistical analysis of generalized exponential distribution under pro qressive censorinq with binomial removals

The estimation of generalized exponential distribution based on progressive censoring with binomial removals is presented,where the number of units removed at each failure time follows a binomial distribution.Maximum likelihood estimators of the parameters and their confidence intervals are derived.The expected time required to complete the life test under this censoring scheme is investigated.Finally,the numerical examples are given to illustrate some theoretical results by means of Monte-Carlo simulation.