包含错误恢复的软件可靠性仿真研究

基于结构的软件可靠性分析模型虽然能够在构件可靠性、系统结构、系统可靠性三者之间建立联系并分析,但由于其模型中大多使用可靠性常量来刻画构件可靠性,忽略了实际软件开发过程中错误恢复对系统可靠性的影响.为此,利用离散事件仿真手段对构件失效行为、系统失效行为和错误恢复进行仿真,给出一种包含错误恢复的软件可靠性仿真分析方法,该方法在软件测试阶段能够反映构件可靠性增长对于系统可靠性的影响,同时具有软件可靠性增长模型和基于结构的软件可靠性分析模型的优点.通过对两个软件系统的可靠性仿真分析验证了该方法的有效性.     

一种实时多任务软件可靠性验证方法

针对软件可靠性增长模型难以满足实时多任务软件可靠性验证的可信性要求,提出了一种基于任务模块软件统计测试的实时多任务软件可靠性验证方法.该方法利用实时多任务软件的结构和运行特点,建立了一个可靠性模型并给出了模型参数的求解方法;通过该模型把待验证的软件系统可靠性指标分配到各个任务模块,然后用统计测试的方法对任务模块的可靠性指标进行验证,以达到对整个软件系统可靠性指标验证的目的.实验证明该方法的有效性和灵活性.     

基于随机集证据推理的构件软件体系可靠性模型

将随机集证据推理应用于军事信息系统软件可靠性建模研究,采用其分析软构件故障过程,计算 软构件可靠性参数,并在此基础上构建了一个基于随机集证据推理-贝叶斯网络的军事信息系统软件可靠性模型.本模型实现了对构件软件体系全过程的可靠性跟踪和监控.仿真实验验证了该模型的实用性和有效性.本模型还可应用于对大型设备系统的故障诊断.     

质量矩控制技术的机理分析及方程简化研究

针对质量矩控制技术的动力学问题,提出了质量矩控制导弹的动力学模型,通过对导弹各参数的理论和数值计算分析,对影响导弹快速响应的主要因素在不同的条件下进行研究,分析了质量矩控制方法迅速改变弹体姿态的能力;在自旋速度满足一定的条件下通过对模型参数的摄动分析,得到质量矩控制导弹的简化动力学模型,仿真分析表明该模型是非线性控制系统分析、设计的基础。     

基于结构的神经网络优化结构参数的应用

介绍了基于结构的神经网络建模原理，提出了基于结构的神经网络结构参数优化方法。应用该方法建立了52SFZ-140-207B型液压缓冲器基于结构的神经网络模型，并对系统的关键结构参数进行了优化。通过优化，液压缓冲器的动态性能得到了改进。     

基于未确知集的软件可靠性模型选择研究

针对目前普遍存在的软件可靠性模型应用不一致性问题,提出一种基于未确知集的软件可靠性模型选择方法.本文首先对未确知集合进行阐述,并介绍了软件可靠性模型选择的一般方法,然后将未确知集软件可靠性模型选择方法应用于一组失效数据,为该组失效数据选择一个适应性较好的软件可靠性模型,最后给出结论.     

一种解决混联系统组合爆炸问题的贝叶斯网络

针对传统三层节点贝叶斯网络(Bayesian network,BN)在系统可靠性分析中的组合爆炸问题,提出了一种适用于复杂混联系统的级联BN建模方法.首先,在引入s类(f类)节点基础上建立了描述并联(串联)逻辑的信息通路模型,进而通过为通路模型各节点赋予同逻辑的条件概率参数,提出了构建并联(串联)系统等价级联BN的方法;其次,结合"超级方框"的概念分析了将典型串并联、并串联系统转化为等价级联BN的方法,并基于系统可靠性框图(RBD)相关矩阵,设计了将复杂混联系统转化为等价级联BN的算法-Generate-Chain-BN;最后,分别建立了某混联系统RBD的等价三层节点BN和级联BN模型,对两种BN进行了对比计算.理论和实例分析均表明,本文建立的级联BN可将原三层节点BN的空间和时间复杂性由指数级降到线性级,解决了三层节点BN固有的组合爆炸问题,可成为复杂混联系统可靠性分析的有效手段.     

周边桁架可展开天线展开过程仿真方法

提出了一种基于虚拟样机技术的可展天线展开过程分析仿真方法.利用参数化建模技术建立各零部件的参数化模型;利用有限元分析软件通过模态分析来完成各个零部件的柔性体模型;利用系统动力学分析平台ADAMS将各零部件的模型组装成系统模型;然后将自制的摩擦学行为仿真程序或其他学科行为仿真程序嵌入系统模型中,实现可展天线的虚拟样机建模和展开过程的性能分析与仿真.给出的开发步骤和实例验证了该方法的可行性.     

基于灰色系统理论的软件系统可靠性分析

通过运用灰色系统理论对影响软件系统可靠性行为的各种因素进行分析,给出了软件系统可靠性预测模型,对软件系统失效间隔时间进行了预测,并以海军战术数据系统(the naval tactical data system,NTDS)数据验证了模型。通过关联分析,得到各种因素对软件系统可靠性的影响及其关联度,为软件系统的可靠性评判和推断提供依据,并为下一步提高软件可靠性的途径提供参考。     

二元相关退化系统可靠性分析及剩余寿命预测

退化相关性和个体差异对二元退化系统可靠性有直接影响,针对该问题,在退化过程模型基础上,建立了相应的系统可靠度和剩余寿命预测模型。首先同时考虑个体退化过程和相关性差异,采用随机参数的Gamma过程和Copula函数建立系统二元相关退化模型,为提高模型适用性,随机参数采用非共轭先验分布假设。在此基础上,分析随机参数对系统可靠度影响,提出基于贝叶斯理论的剩余寿命预测方法。利用马尔可夫链蒙特卡罗(Markov Chain Monte Carlo, MCMC)方法对模型未知参数进行估计。案例分析结果说明了在此类系统可靠性估计时考虑个体差异的必要性,也验证了该剩余寿命预测方法的精确性。     

屏蔽数据下软件可靠性的极大似然估计

屏蔽数据是指引起系统失效的真实原因不得而知,即失效原因可能是系统组件的某个子集。一般地,屏蔽数据下非齐次泊松过程 (non-homogeneous Poisson process, NHPP)类软件可靠性叠加模型中参数的极大似然估计比较复杂,因为叠加模型不能分解成几个简单的NHPP模型。本文主要研究基于屏蔽数据下叠加模型中参数的极大似然估计,评估软件系统的可靠性。最后通过一组模拟数据,说明极大似然估计效果良好。     

NHPP类软件可靠性增长模型的统一及其性能分析

针对各种ＮＨＰＰ（Ｎｏｎ－ＨｏｍｏｇｅｎｅｏｕｓＰｏｉｓｓｏｎＰｒｏｃｅｓｓ）类软件可靠性增长模型的特点，提出了一种统一的ＮＨＰＰ类软件可靠性增长模型——ＵＮＨＰＰ模型，给出了模型的参数估值方法，并通过实例对其性能进行了评估。     

一个集成化的可靠性设计软件系统

本文介绍了一个集成化的可靠性设计软件系统。该软件成功地将可靠性预计、分配及工程数据库集成在一起，具有人机界面友好、易学易用、功能齐全、实用性强、扩充性好等特点。适用于电子系统及设备、子系统、部件、组合、线路板等各级的研究、设计、生产、测试和应用部门。     

软件可靠性模型及其参数估值技术

软件产品的可靠性评估主要取决于软件可靠性模型及其参数估值技术。本文探讨了六种软件可靠性增长模型的内在关系,提出了一个统一的软件可靠性增长模型,并从数理统计角度介绍了两种可靠性模型参数估值方法:最大似然估值法和最小均方误差估值法。最后,通过实例说明了软件可靠性模型及其参数估值技术在软件产品的可靠性评估方面的具体应用。     

Processing for Zero-Failure Data of the Products

1 .ＩＮＴＲＯＤＵＣＴＩＯＮＩｎｔｈｅｔｉｍｅｅｎｄｅｄｒｅｌｉａｂｉｌｉｔｙｔｅｓｔｓ,ｔｈｅｐｒｏｂｌｅｍｏｆｚｅｒｏ ｆａｉｌｕｒｅｄａｔａｉｓｅｎｃｏｕｎｔｅｒｅｄｓｏｍｅｔｉｍｅｓ ,ｅｓｐｅｃｉａｌｌｙｉｎｈｉｇｈ ｒｅｌｉａｂｉｌｉｔｙａｎｄｓｍａｌｌｓａｍｐｌｉｎｇｔｅｓｔｓ .Ｔｈｅｚｅｒｏ ｆａｉｌｕｒｅｄａｔａｒｅｓｅａｒｃｈｉｓａｎｅｗｆｉｅｌｄｉｎｔｈｅｒｅｃｅｎｔｙｅａｒｓ ,ｂｕｔｉｔｉｓｕｒ ｇｅｎｔｌｙｄｅｍａｎｄｅｄｉｎｐｒａｃｔｉｃａｌｐｒｏｊｅｃｔｓ,ｓｏｉｔｈａｓｇ…     

基于结构分析的软件可靠性评估代数方法

针对含有多种结构风格的复杂软件系统,提出一种可靠性评估代数方法。该方法基于软件体系结构代数建模思想,通过分析构件间交互的特点,使用代数范式形式抽象软件的基本结构风格。明确了范式向系统状态空间的映射关系,由此建立可靠性参数计算准则,并实现了系统可靠性评估的完整流程。因为代数语言的高度形式化特征,流程具有结构嵌套处理以及自动完成计算的显著优点。最后通过对一个实际软件系统的可靠性分析,验证了代数方法的适用性与有效性。     

一种参数估计方法及其在可靠性增长分析中的应用

在可靠性增长分析中,研究Gompertz模型,Duane模型和AMSAA模型的参数点估计方法的文献有很多。本文应用微分回归方法,获得了上述模型参数的又一种点估计,其优点在于:点估计的表达式能显式给出且计算简便。     

基于动态建模方法的可靠性增长试验评定

运用动态建模方法对可靠性增长试验下可靠性参数的先验分布进行分析．在任务可靠度先验分布确定的基础上，结合产品的少量现场试验数据，利用Bayes方法对系统的可靠性增长试验结果进行分析．首先给出了可靠性增长分析的动态模型，然后运用历次阶段试验中的可靠性增长数据建立动态参数的递推估计模型．在此基础上，给出各阶段可靠性增长试验中可靠性参数的Bayes估计．针对液体火箭发动机寿命分布为Weibull分布的特点，对Weibull寿命型系统的可靠性增长试验进行评定．通过一个实际例子说明了该方法的有效性．     

软件可靠性模型的两种参数估值方法、估值结果一致性分析

本文研究软件可靠性增长模型的两种参数估值方法(最大似然函数估值法和最小均方误差估值法)的参数估值结果的一致性问题。讨论了一致性分析的必要性,一致性评价的标准和评价的方法,并以W-NHPP模型和NHPP模型为例进行了实例分析。