软件可靠性测试充分性问题的理论研究

在分析了软件可靠性测试充分性准则研究的重要意义的基础上,阐述了软件测试充分性准则的概念、分类以及软件可靠性测试充分性准则与整个软件测试充分性准则体系的关系,提出了其在软件可靠性测试中的一种实现方法,是借鉴已有的软件测试充分性方面的理论,对软件可靠性测试充分性问题进行的初步探索.      

项目工程风险评估云判别模型设计

针对工程项目的特点和项目风险定量评估任务,提出了基于云判别模型的风险评估方法.云理论是一种用于处理不确定性和含糊性知识的数学工具,可实现概念与数据之间的相互转换.在云理论的基础上,建立了综合能力模型以及风险评估云模型,提出了基于云理论项目工程风险评估的方法,解决了风险评估中定性语言到定量的转化问题.该方法通过分析项目生命周期中的具体风险与风险因素之间的因果关系,建立项目工程风险评价模型,拓展了在国内经济转轨时期项目工程风险模型的研究思路,并结合应用实例评价该方法对建立工程内部风险评价体系的应用价值.      

基于模糊神经网络的软件可靠性早期预计方法

在基于模糊神经网络的基础上,提出了一种新的软件可靠性早期预计方法.通过分析软件缺陷产生的原因,给出了导致软件缺陷产生的因素.同时,深入讨论了软件可靠性早期预计的建模方法.在此基础上,利用模糊神经网络建立了软件可靠性早期预计的模型,并且给出了具体的步骤.      

基于证据理论的潜艇舱室综合环境质量评价

以我国核潜艇舱室环境为研究对象,开展综合环境质量评价研究.经分析确定与潜艇舱室环境质量相关的影响因素主要包括温度、湿度、空气污染物、颗粒状污染物、微生物及噪声.为克服上述多评价因素之间的多项性和不确定性,提出采用基于D-S(Dempster-Shafer)证据理论的潜艇舱室综合环境质量评价方法.该方法是在层次分析法的基础上,引入证据理论,利用D-S合成公式对不同权重的多个专家评价信息进行合成.该方法能够有效综合多个不同权威评价专家的不确定性评价意见,提高评价结果可信度.      

SRAD-QFT鲁棒优化设计新方法

针对使用定量反馈理论进行控制系统设计时存在的鲁棒性度量等问题,结合随机鲁棒分析与设计原理,提出一种鲁棒优化设计新方法.该方法使用被控对象参数的统计信息对参数不确定性进行描述,基于闭环控制系统的蒙特卡罗仿真,将获得的闭环控制系统不稳定概率及各项性能指标的不满足概率作为闭环控制系统稳定鲁棒性和性能鲁棒性的度量,并在此基础上实现闭环控制系统的鲁棒优化设计.由某型超声速反舰导弹纵向运动控制系统的设计过程表明:该方法能够准确地描述被控对象的参数不确定性,有效解决控制系统的鲁棒性度量问题,适用于复杂控制系统的设计.     

基于证据理论的TPS诊断性能综合评定

测试程序集TPS(Test Program Set)诊断性能的评定是保证TPS质量的重要手段.针对TPS诊断性能的评定问题,研究了基于D-S(Dempster-Shafer)证据理论的综合评定方法,介绍了D-S证据理论的基本原理,提出了TPS评价验证的数学模型以及基于证据理论的TPS诊断性能综合评定的基本框架,定义了TPS诊断性能的基本概率分配函数(BPAF,Basic Probability Assignment Functions),并在此基础上提出了基于Kolmogorov-Smimov(K-S)检验的BPAF确定方法,给出了TPS诊断性能综合评定的步骤,最后对基于D-S证据理论的TPS诊断性能综合评定的有效性进行了实例分析,结果证明了该方法的有效性.      

软件可靠性方法概述

计算机软件可靠性的研究是一个年轻而活跃的研究领域。本文在综合大量有关文献的基础上,提出了一个关于这个研究领域的综述。文章首先比较了软件和硬件可靠性问题的主要差别,指出了导致软件不可靠的原因,介绍了有关软件可靠性的基本概念。进而,文章对构成这个领域的各个研究分枝提出了划分方法,按照这种划分,软件可靠性研究包括四个主要方面:软件避错,软件容错,软件测试和软件可靠性预测。文章依次介绍了上述各方面的主要理论和技术。最后简要地综合了目前软件可靠性的研究动态。     

对象驱动的软件测试性度量

为了使用统一的方式度量各种软件的测试性,降低测试性度量的难度和费用,提出一种对象驱动的软件测试性度量方法. 方法基于一个由测试性度量、易测试特性度量、测试性因素度量及其关系构成的软件测试性度量框架,首先分析度量的对象,确定对象的类型、对象所属软件的类型和测试情况;然后根据软件的类型和测试情况,从度量框架中选取匹配的元素,构造一个专用的软件测试性度量框架;最后根据度量对象的类型,使用专用软件测试性度量框架中的元素计算测试性因素、易测试特性或测试性. 应用表明方法能够得到软件测试性的定量结果,预计测试资源,为软件测试提供帮助.      

机组工作负荷评价新方法及其应用

评估机组工作负荷是适航审核的重要指标之一,FAA(Federal Aviation Administration)适航标准CFR-25.1523和中国适航标准CCAR-25.1523中都对机组工作负荷的审核提出了要求.研究了适航标准、波音737和空客320机组操作手册及其他相关文献,通过与飞行员面谈建立评价体系基本框架.应用德尔菲法进行咨询确定评价体系指标,应用序关系分析法进行指标权重系数调查,最终建立机组工作负荷综合评价体系.基于所建立的评价体系,应用模糊综合评价法对B737和A320机组工作负荷进行了综合评价,评价结果表明:研究所建立的民机机组工作负荷评价体系合理,具有实用性.所获得的机组工作负荷评估体系及评价结果可为C919等同类机型的机组工作负荷设计提供参考.     

卫星姿态控制系统在轨实时健康评估

面向航天器在轨智能自主管控的技术需求,提出一种基于多级模糊综合评价架构的卫星姿态控制系统的在轨实时健康评估方法.根据卫星姿态控制系统的性能特点,按实际功能将其划分为姿态测量、控制器和执行机构3个部分.在确定各部分单元部件健康信息的基础上,基于模糊综合评价算法对各部分的健康度分别进行评估.基于评估所得到的姿态测量、控制器和执行机构3部分健康信息,根据各部分对系统健康的影响情况结合变权综合原理确定健康影响权重,采用模糊综合评价算法实现对姿态控制系统整体健康性能的综合评估.仿真实验结果表明,所提出的方法能够有效实现卫星姿态控制系统的在轨实时健康评估.     

模糊灰色聚类评估方法在导航滤波中的应用

目前针对深空探测导航中滤波算法的综合评估的方法种类繁多,但是仍然有较多评估方法由于其单一性,存在或多或少的问题。提出了一套反映滤波算法优劣程度的评估指标体系,并为其建立相应的数学模型。深空探测器采样点数据通过该数学模型计算后,由模糊灰色聚类方法进行综合评估。该方法是以灰色系统理论为基础,结合模糊综合评估方法所建立的评估模型。该模型可以摒弃二者单一使用时的缺点,提升评估结果的准确性。评估结果表明,此评估模型能够对滤波算法进行比较准确、合理、全面的评估。     

计算机辅助涡轮泵可靠性分析与评估系统

介绍了一个用于液氢／液氧火箭发动机涡轮泵可靠性分析与评估的软件系统－－ＴＰＲＡＥ（Ｔｕｒｂｏｐｍｕｍｐ Ｒｅｌｉａｂｉｌｉｔｙ Ａｎａｌｙｓｉｓ ＆ Ｅｖａｌｕａｔｉｏｎ）。该系统中包括了以下几种可靠性算法：故障模式、影响及危害度分析、故障树分析、单元可靠性评估、系统可靠性综合。单元可靠性评估指数分布和Ｗｅｉｂｕｌ分布两种情形，系统可靠性综合分横向综合、纵向综合两类、ＴＰＲＡＥ是在ＢｏｒｌａｎｄＣ     

载人航天器空气质量模糊综合评价灰关联分析

中长期载人航天器舱室为密闭环境,空气污染严重,极大影响了航天员的健康,有必要对该问题进行全面研究,提出新的空气质量评价方法评价舱室内的空气质量.在首次确定舱室单微量污染成分的分级模糊隶属度函数的基础上,提出采用模糊综合评价的灰关联分析方法评价中长期载人航天器舱室空气质量.该评价方法结合了模糊评价和灰色评价的优点,同时给出模糊分级结论和关联度分析结果,能反映舱室内空气质量状况及其变化规律.分析表明:评价结果信息含量大,能较好地反映载人航天器舱室内实际的空气质量状况,也能用于评价净化装置的工作性能.     

可靠性增长的单调约束模型

大型复杂产品研制过程中每一阶段的试验数据通常具有小样本特征.对此在产品可靠性评估中,提出使用约束条件,即"下一阶段可靠度真值总是大于前一阶段",综合利用产品多阶段试验数据的方法.产品研制过程中可靠性通常是增长的,因此这种方法具有广泛的适用性.在上述约束条件下,可靠度被看作一个随机变量.首先推导出了可靠度在此条件下的分布函数表达式,然后给出了一种近似计算方法,最后通过一个实例与仅使用单阶段试验数据的评估结果作了对比.由于该方法的约束条件简单且可以求得可靠度的分布函数,因此其工程适应性强于传统的AMSAA(Army Materiel System Analysis Activity)模型,并能获得Duane模型无法给出的可靠度区间估计.     

基于小样本的试验系统可信度评估方法

针对小样本试验数据信息匮乏、难以利用概率统计方法进行可信度评估的问题,将重抽样方法与小样本区间估计方法相融合,提出了小样本试验系统新型可信度评估方法。利用重抽样理论,获取多个具有相同样本量的相似小样本。根据灰色系统理论,提出了改进的灰色置信度及置信区间的定义及计算方法。并在此基础上通过求公共区间的方式计算原小样本数据的灰色置信区间。该置信区间在相同的置信度下,区间宽度更窄,精度更高。通过算例仿真,验证了上述方法的合理性、有效性,对工程试验中的小样本数据系统评估提供了一定的方法指导。      

民航安全指数结果分析与预测

为了预测民航运行的安全水平,针对评价结果数据序列样本少、不确定性大的特点,选择灰色区间预测方法,建立了民航安全评价的区间预测模型.给出了民航安全指数计算结果,分析了民航运行的安全水平现状,展示了这一安全评价体系的功能和使用方式.通过实例验证了民航安全评价的灰色区间预测模型的正确性,给出了下一年度民航综合安全指数的预测区间.结果表明:灰色区间预测方法是可行的.      

UML在软件可靠性测试数据自动生成中的运用

为了自动生成实时嵌入式软件的可靠性测试数据,利用UML(统一建模语言)提供的建模机 制,从软件可靠性测试的角度建立use-case剖面、接口模型和测试数据实现模型,然后根 据 这些模型的描述进行随机抽样,自动生成可靠性测试数据.利用该方法能够开发出相应的测 试数据自动生成工具,在软件可靠性测试领域有着较大的实用价值.     

地地弹道导弹可用性仿真评估系统构建

阐述了地地弹道导弹可用性评估的重要性,并以此为需求牵引,提出了以MTMC-RDEDS(Mission Time Monte Carlo Random Discrete Event Dynamic Systems)为核心的可用性建模与仿真一体化框架,结合实际应用,以模型重用技术为基础,构建了拥有丰富建模与仿真知识库、模块化设计与开放式接口的导弹可用性仿真评估系统总体框架及软件层次结构,并给出了涉及工作状态、维修保障、统计优化在内的核心仿真模型与算法,探讨了系统实现的关键技术,包括:随机变量建模、武器系统建模、仿真系统可信度评估.利用VC++和相关软件开发了地地弹道导弹可用性仿真评估系统,给出了仿真运行界面,并进行实例分析,验证模型和系统的有效性.仿真的结果与实际试验情况吻合较好,表明该动态评估方法快捷有效,评估系统建设方案合理可行,适用于工程分析,不失为地地弹道导弹可用性评估的一种有效手段.