SRGM中TE建模机制与模型比较分析

针对当前与软件可靠性增长模型SRGM(software reliability growth model)紧密相关的测试工作量TE(testing effort)的研究现状,以及全面评价测试工作量函数TEFs(testing effort function)性能的需要,对SRGM下TE相关的建模与模型比较问题进行深入研究.分析了近40年的TE发展历程与内容演变,对其与测试成本间关联进行剖析;对典型的TEFs进行了全面梳理与述评;研究了考虑TE的SRGM建模过程;针对8个典型的TEFs,在已发表的4组数据集上进行了深入的性能比较与评述.研究结果表明,有效的TEF可为基于SRGM的可靠性相关研究提供重要决策支持,对考虑TE的SRGM进行综合评价是后续研究的关键.     

SRGM建模类别与性能分析

针对软件可靠性增长模型SRGM(software reliability growth model)在可靠性评估与保障中的重要作用,为全面掌握SRGM的建模与工作机理,对SRGM的典型建模过程以及不同模型间的性能差异进行深入研究.首先剖析了SRGM建模的基础假设和含义,梳理了SRGM的发展演化历程;然后分析了两类基本SRGM建模流程与关联,针对考虑更多真实测试情况的建模趋势,对不完美排错相关与考虑测试工作量TE(Testing-Effort)相关的SRGM建模过程进行了剖析;最后选取8个典型的模型在4个失效数据集上进行实验,依据度量与拟合结果进行了模型差异化的深入分析.研究分析表明,客观上不同失效数据集间的差异以及主观上研究人员对测试过程认知的差异是造成SRGM性能差异的主要根源.进一步建立更为准确与全面的SRGM,在有限的数据集上选取出优秀的SRGM已成为当前研究中亟待解决的难题.     

一种基于构件失效传播的软件可靠性建模方法

在当前主流的基于软件体系结构可靠性建模方法中,路径法是一种相对简单实用的建模分析方法。现有软件体系结构可靠性建模方法大多基于构件失效行为相互独立的假设,当构件产生的失效对其它构件可能产生影响时,现有的建模方法无法准确表达系统的失效行为。为解决这一问题,基于路径法,使用构件转移图描述典型的软件体系结构,引入构件失效传播概率矩阵来定义构件失效传播行为,并对现有针对典型体系结构的可靠性模型进行了扩展。最后通过两个实例验证了新模型比现有模型更能获得准确的评估结果。     

多信号模型航天器配电系统最优测试技术

为了以最低的成本诊断隔离出发生故障的元件,采用多信号模型描述航天器配电系统的元件与测试间的故障因果关系,给出了基于多信号模型最优测试成本表达式,介绍了采用启发式AO″算法求解该问题的算法,考虑了某些测试有优先权要求的最优测试方案,分析了最优测试方案的故障检测率与故障隔离率,计算结果表明该方法建模简单、计算速度快,设计的测试方案成本低、故障检测率与隔离率高,适合于航天器配电系统这种复杂系统的可测性分析及最优测试方案的制订．     

经济理论在分布式资源分配中的建模方法分析

利用经济理论解决分布式资源分配问题一直是研究热点,如何兼顾分布式计算和经济理论特点来建立模型的问题很少作过系统的分析.通过详细分析分布式环境和经济市场环境的异同,指出资源分配问题中资源、任务、个体和价格是建模过程中容易忽略分布式基本特征的核心要素,给出了如何解决相应问题的建议;利用新兴古典经济学中的分析框架对分布式资源分配问题进行了经济性分析,给出了应用经济理论解决资源分配问题的建模方法并举例验证.     

探讨数控机床可靠性技术的研究进展

数控机床是制造业的基础,其可靠性对行业发展起到关键作用。如下评述了我国在数控机床可靠性方面的研究以及技术方面的进展,其中包括故障分析、建模等方面的技术,还包括可靠性的实验以及设计等相关内容,介绍了台架实验以及关键功能部件等方面的设备情况。并对数控机床可靠性和技术进展起到了一定的肯定作用,之后在相关基础上,对存在的缺点以及问题进行分析和研究,之后论述了书科技创的技术可行性以及可靠性。最后则从产品自身技术发展的可靠性规律方面以及行业需求等方面,对数控机床的发展前景进行了相应的论述以及展望。     

基于分布式组件对象模型的软件总线结构及其实现

分析了软件体系结构的演变过程，论述了软件体系建模的目标，分析了四种系统模型的特点和局限性，在传统模型的基础上，结合当前软件开发的领先技术，提出了基于分布式组件对象模型的软件总线结构，并以管经院内部管理信息系统分析为基础，设计和实现了这种新的软件体系结构模型。     

UML与ACME/ADL在运输业务管理系统体系结构建模中的应用

探讨了UML与ACME／ADL在运输业务管理系统体系结构建模中的应用问题。首先提出了软件体系结构的建模要素；然后用UML描述了系统体系结构的视图模型：进而用ACME／ADL描述了系统主要构件的交互模型；最后对这两种建模语言在体系结构建模方面的应用特性进行了比较和分析，得出了自己的结论。     

可修系统可靠性模型研究

近年来,可修系统逐渐成为可靠性理论的研究热点。很多学者从不同方面对可靠性理论中可修系统进行了研究。文章主要介绍了可修系统建模的一般方法及常用求解方法,同时介绍了可修系统模型分类、研究现状以及发展方向。     

面向自动化建模的软件攻击技术分类研究

针对现有的软件攻击技术分类方法不能满足自动化建模需求的问题。本文提出了一种面向自动化建模的软件攻击技术分类方法——POPDDA。该方法分析了软件攻击技术在实现自动化建模过程中必要的属性信息,依此实现对软件攻击技术的分类,并根据Amoroso分类标准对POPDDA做出评价。最后基于POPDDA构建了相应的攻击知识库,利用攻击知识库实现自动化攻击模型的创建,并结合实验对建模效果进行分析。结果表明该分类方法能够满足Amoroso分类标准与自动化建模的需求,并解决了手工建模效率低、不精确与模型重复性构建的问题。     

A software cost model with maintenance and risk costs for safety-critical systems

Safety-critical systems are those systems whosefailure could result in loss of life,significant propertydamage,or damage to the environment[1].Software isincreasingly being used to control safety-critical systemsnow.But how can we improve the reliability of soft-ware?Formal methods can successfully enhance thequality of software and therefore increase the confidencein the system behaviors[2-4].Unfortunately,formalmethods are too complex to apply.Software testing isan efficient way to improve …     

PWM驱动电机可靠性研究发展及展望

电机的可靠性一直是相关领域的重点研究内容,而PWM控制技术的负面效应进一步增加了电机可靠性分析的复杂性和难度.目前,对PWM脉冲导致电机失效的机理和影响尚无系统的总结和分析.由于绕组绝缘和轴承是电机中失效率最高的两个部件,首先简述了PWM脉冲作用下绕组绝缘和轴承的失效机理,介绍了绕组绝缘和轴承可靠性研究中较为典型的试验和成果,总结和归纳了整体电机寿命预测技术的研究现状,最后讨论了电机可靠性研究中尚未解决的问题和今后可能的研究方向.     

考虑连锁故障的电网安全分析综述

研究连锁故障对防御大电网停电事故具有重要意义。针对连锁故障的系统建模、风险评估、监测预警及脆弱性分析等相关方向的研究难点与关键技术,总结了目前已取得的国内外研究成果。首先剖析了连锁故障模型的建立方式,对连锁故障风险评估方法进行了分类梳理,综述了连锁故障在电网安全分析方面的应用情况,最后通过探讨后续亟需关注的问题展望了连锁故障研究的发展趋势,以期为新环境下大电网安全防御策略提供科学依据。     

暖通空调制冷系统建模与控制现状及发展趋势

针对制冷系统的建模与优化控制这一影响暖通空调系统运行效率的关键及控制难点问题，通过对制冷系统中制冷机、膨胀阀及整个系统的原理、特点进行分析，总结了制冷系统和关键部件的建模和优化的技术发展情况，分析了基于机理建模和动力学方程建模方法对于制冷机、节流部件等关键部件及系统各种方法的优缺点，并对基于单输入/单输出和多输入/多输出的各种控制策略进行了分析.根据相关技术的发展，指出了制冷系统控制技术的未来发展趋势.     

多状态系统测试建模与测试点选取方法

为解决测试性设计过程中的退化状态测试问题,提出了基于结构和功能的多状态系统测试建模与测试点选取方法。首先,结合多状态系统中对性能状态的描述,明确了以结构和功能为对象的多状态系统测试建模的总体思路,并对模型中的结构、功能和测试相关描述进行了分析;其次,对状态测试问题进行了分析,并对单个测试能够检测的状态集与测试集组合能够检测的状态集的计算方法进行了研究,并提出状态检测率的概念对系统状态的测试指标进行量化;最后,考虑到系统测试性设计与分析中包含故障的测试性问题,结合故障检测率、故障隔离率和状态检测率,提出了测试代价约束下的多状态系统测试点选取方法。结果表明：多状态系统测试建模方法不仅能够对故障的测试性进行分析还能够对退化状态的测试性进行分析;相较于二态系统测试选择方法得到的最佳测试集,在测试代价限制的情况下,多状态系统测试选择方法得到的最佳测试集能够获得较高的状态检测率;在测试代价无限制的情况下,多状态系统测试选择方法得到的最佳测试集不仅能够获得较高的状态检测率,还能获得与二态系统相同的最大故障检测率和故障隔离率。     

一种在不完全排错条件下的最优软件发行管理模型

提出了一种在不完全排错条件下的最优软件发行管理模型。该模型综合考虑了软件的不完全排错过程、在排错过程中可能会引入新的故障以及由于排错经验的不断积累，软件的完全排错概率会增加的情况．在一定可靠度约束的条件下。该模型使得总的平均费用达到最小．分析并给出了在模型参数取不同值时的最优软件发行时间．     

3D打印成型技术及工艺参数优化设计

近年来3D打印技术的逐层堆叠成型原理使其更加灵活,越来越受到人们的重视,成为一个新的研究热点。从成形质量出发,探究熔融沉积成型3D打印技术的最优工艺参数,重点介绍设备工艺原理和工艺流程,总结了打印温度、打印速度、打印层高、填充角度和填充密度对成形质量的影响,通过对试样的力学性能分析和样件质量,得到了3D打印技术的工艺参数优化方案。并以氧气瓶模型设计为实例说明可以通过3D打印参数完善不同制件的应用需求。     

基于可靠度的结构优化方法述评

简要介绍了基于可靠度的结构优化方法研究的发展历史,对具有代表性的一些优化方法进行了系统的分析和总结.在此基础上,将基于可靠度的结构优化方法划分为四个优化水平,介绍了不同优化水平的研究现状,对今后的研究课题和应用前景提出了自己的看法.