论航天系统中软件可靠性工程

本文从工程应用角度讨论计算机软件可靠性问题,讨论了航天系统中有关软件可靠性的问题,并提出三点建议:(1)亟需加强航天软件可靠性技术应用研究;(2)软件可靠性工程研究的基本内容;(3)当前工作的几点原则。     

大型电子系统工程软件可靠性评估方法初探

本文探讨了大型电子系统工程的软件可靠性评估方法问题。从软件可靠性模型,可靠性实验数据的收集,以及可靠性数据估值的准确性,可靠性数据的检验等方面进行了研究。最后,提出了一般的评估步骤。     

软件可靠性模型评价方法与应用(Ⅰ)

本文讨论进行计算机软件可靠性模型评价工作的必要性及其实现方法,提出了软件可靠性模型评价的四条标准,并由此引入了一种进行软件可靠性模型评价的方法。在本文的(Ⅱ)中,我们将使用本方法和两组具体的软件失效数据,具体地评价两种软件可靠性增长模型:S-型模型和W-NHPP模型的性能,并讨论方法使用中的一些问题。     

软件可靠性模型在软件测试管理中的应用研究

本文应用软件可靠性模型技术研究软件测试资源管理的两个基本问题:测试资源的预测与分配问题和测试的最佳释放时间问题。应用文献[1]中得到的一般软件可靠性增长模型,我们讨论了软件测试资源的预估和分配的一般方法和具体计算公式,以及在几种软件释放标准下的最佳释放时间的确定方法。文中所提供的方法与公式对于搞好软件开发工作,合理地使用测试资源,保证软件的可靠性指标与预定功能的完成,降低软件产品的价格性能比有一定的实用价值。     

CIMS软件可靠性保证与估计

本文论述了保证ＣＩＭＳ软件可靠性的技术，阐述了估计ＣＩＭＳ软件可靠性的方法，并讨论了软件可靠性测试时应注意的问题。     

S-型软件可靠性模型的修正与性能评价

本文通过引入自由经验参数的方法对基本S-型软件可靠性增长模型进行修正,着重讨论了修正S-型(MS-型)模型和S-型模型、NHPP模型、W-NHPP模型的统一问题,导得了统一模型参数的最小均方误差估值计算公式,并提出了一种估值经验参数的方法。实例应用结果表明,通过对模型引入经验参数修正可以提高其参数估值的有效性和模型对实际软件失效数据的拟合性能和预测能力,不失为一种改善软件可靠性模型性能的有效途径。     

软件可靠性模型评价方法与应用(Ⅱ)

本文探讨进行软件可靠性模型评价工作的必要性及其实现方法。我们在本文的(Ⅰ)中提出了一组进行软件可靠性模型评价的标准和相应的评价方法,这里我们应用上述方法,结合两组实际的软件产品失效数据,具体地评价两种软件可靠性增长模型:W-NHPP模型(包括NHPP模型)和S-型模型的性能,并讨论评价实施过程中的一些问题。     

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

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

军用实时软件失效机理及可靠性提高途径初探

软件可靠性研究是一门正在发展的新兴学科 ,其实际应用也尚处于探索阶段。对军用实时软件的失效机理进行了初步分析 ,并就提高军用实时软件可靠性方面提出一些初步设想     

软件可靠性评估的误差分析

软件可靠性模型是评估软件可靠性的重要工具，由于受一些不为模型所控制的随机因素的制约，软件可靠性评估结果中往往含有大量的误差，给工程应用带来许多困难。在对现代计算机应用系统的故障特征、软件可靠性模型的机理及引起误差的因素进行深入分析的基础上，提出了一种误差分析法，并用之校正软件可靠性模型的评估值。     

设计模式在通信系统仿真软件中的应用

对大型、复杂系统性能评估的最好方法是系统仿真和建模,仿真软件的设计是实现仿真目的的关键。对于这种复杂软件的开发,目前最好的方法是利用软件工程的方法,而设计模式现在则成为软件工程中不可缺少的方法。目的在于对设计模式在仿真软件中的应用做一些探讨,利用设计模式来提高仿真软件的可靠性、安全性、可用性和可维护性。     

基于MATRIXx的航天动力学仿真的研究

航天动力学仿真是航天领域仿真的一个重要组成部分。当前比较流行的通用工程仿真软件，如MATRIXx、MATLAB等，可以有效地辅助航天动力学仿真系统的实现。本文将结合工程实践，探讨MATRIXx在航天动力学仿真中的应用范围，同时给出MATRIXx的有效扩展方法。     

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

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

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

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

大型天然气管网仿真模型及其求解技术研究

对任意拓扑结构的天然气管网进行了有效地表征并建立了气体在管网内流动的动态数学模型,引入泰勒公式对数学模型进行了线性预处理,综合运用"蛙跳"和"迎风"的求解策略,有效地解决了水力系统和热力系统在复杂水力条件下产生的振荡、锯齿等不稳定问题,奠定了大型天然气管道仿真软件产品国产化的基础。以此基础开发完成了天然气管道仿真软件,经与商用管道仿真软件SPS比对表明,该软件计算结果精度高、易用性强和效率高的特点,具有很强的工程应用价值。     

利用相似度对仿真系统可信度进行定量评估

论述置信度与可信度之间的区别和可信度与相似度之间的内在联系，提出了借助相似度具体量化仿真系统可信度的方法，并结合实例阐明了这种方法的工程应用，对仿真系统可信度的评估具有参考价值。     

基于CMP的高密度计算机多目标设计方法

面向高端应用的高效能计算机一般具有高性能、高集成度、高热密度、高复杂性的特点,其研制是一项复杂的系统工程。每一环节,存在功能、性能、可靠性等相互制约但需同时兼顾的多个目标。在实践中这些方面的权衡设计如何以有序的方式展开,是一个亟待解决的关键问题。提出了可靠性与功能、性能权衡的设计方法,并应用到一款基于国产多核处理器的16路高密度计算机的自主研制中,软件仿真分析和系统实测验证了该权衡设计方法的有效性。