基于构件的软件可靠性分析

现代软件工程的一个重要目标是实现聚合性和重用性,构件技术就是以此为目标的。随着该技术的快速发展,以构件设计复杂软件系统的软件开发方法日趋成熟。但是基于该技术的软件可靠性分析却比较落后。目前,在这领域的研究中,多数是使用软件可靠性增长模型(SGRM),对于软件系统的可靠性预测研究较少。在已有的文献中,给出了基于组件的具有层次结构的系统可靠性预测分析,但没有考虑模块之间循环调用的可靠性问题。循环调用在软件中是经常发生的事件,对软件系统的可靠性具有举足轻重的作用。本文在对已有模型的不足进行分析后,增加了循环调用的可靠性预测分析,建立了一个较为全面的系统可靠性预测分析模型。

软件可靠性与安全性的区别分析及其证明

可靠性和安全性是软件质量中的重要属性[1,2]。虽然文献[3-7],都从不同的角度给出了二者之间的区别和联系,但对这两者之间关系的认识是不一致的。在实践中,如何区分二者的关系还停留在一般性的描述上,没有统一的认识。本文从它们的基本概念着手,重新对二者的基本概念进行抽象描述,进行本质探析后给出二者之间的区别和联系,并对得出的结论给予了证明。

基于NHPP类模型的Web软件可靠性分析

结合Web软件运行的实际情况,提出一种基于BurrX测试工作量函数(TEF)的非齐次泊松过程类软件可靠性增长模型(SRGM),并将其应用到Web软件可靠性分析中。TEF能直接体现Web软件工作量与日历时间之间的关系,解决Web软件因工作量高度不均衡导致的问题。实验结果表明,与G-O模型相比,SRGM具有较好的Web软件可靠性评估效果,能较准确地描述Web软件运行的失效过程。

指数型寿命分布的贮存-使用模型可靠性评估方法

讨论贮存寿命和使用寿命均为指数分布的情况下,贮存-使用模型可靠性评估方法。引入"状态等效因子函数",将贮存时间转化为使用时间,给出贮存后再使用的平均剩余寿命计算公式,对贮存一定时间后使用给定时间的贮存可靠性置信下限进行估计,并举例验证该方法的适用性。

软件可靠性与硬件可靠性异同分析

从可靠性的基本概念出发,结合可靠性工程,分析了软件可靠性、硬件可靠性及其在工程中的区别和联系,然后介绍了在这领域中的几种基本研究方法,最后提出了在可靠性工程发展中需解决的问题。

变频恒压供气系统的可靠性分析建模

本文将变频调速技术应用到空压机供气领域,并应用可靠性理论对变频恒压供气系统进行可靠性分析与建模,同时也提出了一种有效的评估方法,对供气领域有重要的指导作用。

一种基于有向图的复杂系统可靠度计算方法

复杂系统的可靠度计算是可靠性工程研究的主要内容,传统的偏微分方程、概率统计和矩阵计算等运算较复杂,工程应用推广较差。作者提出一种基于有向图的复杂系统可靠度计算方法,该方法通过对成熟的系统可靠性框图进行改造、扩展和转化,使之变为直观、便于计算的有向带权图,从而有效解决复杂系统的可靠度计算困难问题。

基于SVM的《红楼梦》写作风格研究

SVM具有出色的学习性能,已成为国际机器学习界的研究热点。对于红楼梦的作者问题一直没有定论,许多人围绕此问题展开了大量的研究,得到了不同的结论。应用SVM方法对《红楼梦》的前80回与后40回的写作风格进行了比较研究,得到了与已有文献[9-11]类似的结果,即前80回为同一人所作,后40回中除原作者的少量残稿外,可能为其他人所作。

基于灰色聚类算法的需求分析

James Martin等人的研究成果表明软件产品的大部分故障来源于需求阶段。为了提高软件产品的质量,保证软件需求规格说明(Software Requires Specification,SRS)的一致性、正确性、无歧义就显得尤为重要。利用自然语言处理技术,通过对软件需求规格说明中功能性需求语句进行词语划分并做词性标注,将每个功能需求语句转换为由关键词构成的权重向量,结合灰色聚类算法最终实现将功能语义相似的需求语句聚合在一起,从而达到需求分类的目的。分类的结果不仅方便需求分析人员进行需求审查,同时也方便软件开发人员进行软件编程以及维护人员对软件系统的修改和变更。

加速寿命试验与加速退化试验的比较分析

加速寿命试验与加速退化试验是解决高可靠、长寿命产品可靠性评估等工程领域问题的两种重要的加速试验技术。介绍了加速寿命试验、加速退化试验的基本概念,并从试验目的、基本假设、基本思想、加速模型等方面对加速寿命试验和加速退化试验进行了比较分析。

基于嵌入式系统的身份认证和密钥协商算法

随着接入到互联网中的嵌入式设备越来越普遍,嵌入式系统的网络安全问题也越来越引起人们的关注。文章针对嵌入式系统的网络安全需求和有限计算能力的特点,提出了一个基于有限域上离散对数的身份认证和密钥协商算法。分析表明该算法能有效抵御网络中的消息重放攻击和中间人攻击。该算法在基于ucLinux系统上的嵌入式IPSec框架中实现,具有较低的系统资源开销和较高的运行效率。

基于L-M方法的液压油源系统的可靠性分析

本文结合液压伺服系统的工程实际,运用了L-M方法,对恒压油源系统进行可靠性分析与建模,并给出了系统可靠度的定量评估结果,最后利用该模型对试验模拟数据进行分析,这对工程设计具有重要的指导作用。

小区域估计中的SEBLUP估计方法

空间相关的经验最优线性无偏预测(SEBLUP)模型是指区域随机效应相关的线性混合模型,而模型中的参数估计方法是当前研究的重要问题之一。本文给出了模型中参数的极大似然(ML)估计过程,并通过仿真模拟,实验结果显示用ML估计方法估计SEBLUP模型的参数的条件下,SEBLUP估计方法处理空间相关的小区域数据效果较好。

基于曲线拟合的仿真模型验证方法

仿真模型的验证方法研究是仿真模型可信性评估VV&A(Verification,Validation and Accreditation)中重要的研究内容之一。本文根据仿真模型的特点,利用曲线拟合方法,提出了一种基于计算模型指标过程差的统计验证方法,并以一个简单的物流仿真模型验证为例,说明了该方法的可行性和有效性,为仿真模型的验证提供了一个方法参考。

基于问卷调查的混合型数据处理方法

在问卷调查时,为获取更详细信息,收集的数据一般既有定性的又有定量的。如何对混合型数据的加以处理,建立适当模型,是问卷调查中的一个关键问题。通过对某校大学生英语综合水平的考查,说明采用数量化理论I的方法进行模型拟合的效果比多元线性回归模型拟合的效果要好。

加速退化因子的研究

主要讨论了可靠性工程中加速退化失效问题中的加速退化因子,给出了Ⅰ、Ⅱ型加速退化因子的定义,并研究了它们之间的关系、性质及其应用.