【摘 要】
：
为有效降低软件可靠性验证测试工作量,满足高可靠软件的指标验证要求,在减函数理论及贝叶斯理论基础上,提出一种基于减函数的多层贝叶斯离散型软件可靠性验证测试方案（MBDFDSR
【机 构】
：
中国船舶工业系统工程研究院,北京航空航天大学可靠性与系统工程学院
论文部分内容阅读
为有效降低软件可靠性验证测试工作量,满足高可靠软件的指标验证要求,在减函数理论及贝叶斯理论基础上,提出一种基于减函数的多层贝叶斯离散型软件可靠性验证测试方案（MBDFDSRDT）。选取面向失效概率的减函数作为第一层先验分布密度函数,然后选择第一层先验分布密度函数超参数的均匀分布函数来构造其第二层先验分布密度函数,进而给出相应的多层后验分布密度函数。选取若干组失效数据,对MBDFDSRDT方案进行实践应用,并与基于贝叶斯理论的软件可靠性验证测试方案以及基于减函数的单层贝叶斯软件可靠性验证测试方案进行对比。应
其他文献
通过考察端氨基聚醚、液态胺扩链剂等组分的种类和用量对材料性能的影响．制得了一种高性能的喷涂聚脲弹性体防水涂料，综合性能测试结果表明该材料可以用于耐磨、防腐等领域。
作为21世纪产业中最积极活跃的因素，人力资源产业从幕后走向前台。人力资源服务业是围绕人力资源开发、管理、配置提供系列服务的生产性服务行业，是现代服务业中的不可或缺的新
现代大众传媒对于党的执政形象而言是一把＂双刃剑＂,一方面大大增强了政治空间的透明性,拉近了政治系统与公众的距离,便于执政党、政府开展政治传播,宣传和塑造良好的公众形象。
五、电影视镜走向市场——美国生活与表演文化的一次变革电影视镜完成后的首次亮相，并没有能够按原计划的那样在芝加哥世界博览会，而是于1893年5月9日在布鲁克林艺术与科学学会
心理学的知识告诉们,自信心是动机系统的核心成分.在平时教育教学活动中,常常会遇到有些学生由于学习动机不足,有厌学、畏学的倾向,出现一些"问题生",通过观察和实践发现他们
介绍了采用两级第二类吸收式热泵代替原有锅炉,利用常减压、催化裂化和延迟焦化装置的低温余热产生0.35 MPa蒸汽作为气分装置脱乙烷塔再沸器热源的节能方案。设计了1台热负荷
为探讨不同强度有氧运动对糖尿病大鼠肝脏炎症状态的影响,为糖尿病的治疗提供新思路。通过高脂饲料喂养并注射链脲佐菌素的方法,建立SPF级雄性SD大鼠糖尿病模型,将造模成功后
本文主要介绍了SINAMICSV90PN驱动器基本定位器在使用西门子标准报文111和增量编码器电机时的回零问题及应用情况.通过西门子标准报文111所支持回参考点和直接设置零点两种方
介绍了低频模拟信号光导传输测试设备的功能,详细说明了EMC测试低频模拟信号光导传输设备的组成,并给出了具体实现的设计方案和设计过程。
根据老鼠的特点,应选择目前通用的“抗凝血剂”系列,包括杀鼠迷、杀鼠灵、溴敌隆等效果最好,这种鼠药的主要机理是增加老鼠血管壁的脆性,抑制维生素K还原酶,破坏血凝机制,老