【摘 要】
：
针对当今软件可靠性验证测试时长过久问题，提出一种基于单调减函数的贝叶斯软件可靠性验证测试方案。根据测试阶段里的实时先验信息，对先验信息进行动态整合处理；以单调减函数的
【机 构】
：
装甲兵工程学院技术保障工程系,装甲兵工程学院信息工程系,北京特种车辆研究所
【基金项目】
：
军队科研计划基金项目(2015H04)
论文部分内容阅读
针对当今软件可靠性验证测试时长过久问题，提出一种基于单调减函数的贝叶斯软件可靠性验证测试方案。根据测试阶段里的实时先验信息，对先验信息进行动态整合处理；以单调减函数的贝叶斯方法为基础，提出两种先验动态整合的方法。通过案例分析验证了测试方案可以在保证置信度不变的条件下，大幅减少测试时长，两种先验动态整合法具有可行性。
其他文献
近年来,软件项目风险管理作为新兴的管理理论,得到了国内外大批学者的青睐,并取得了一定的研究成果。首先回顾了软件行业及软件项目风险管理的发展历程,对软件项目风险的基本
由于海底隧道复杂的地质条件和特殊的水边界,单一的注浆方式和注浆材料不能达到理想的效果,因此提出复合注浆。复合注浆是采用多种注浆方式和注浆材料,根据具体地层条件,按照
目的借助于科学的研究方法,来构建出一个社区护士核心能力评价指标体系。方法运用文献回顾以及本结构访谈的方式来拟定社区护士核心能力评价指标的框架,然后在此基础上对所选
从大苞藤黄枝叶的混合粉碎物中分离到11个化合物,运用光谱手段分别鉴定为neobractatin(1),bras-ixanthone B(2),5-O-methylxanthone V1(3),10-O-methylmacluraxanthone(4),is
主要研究导弹高超声速飞行时弹头流场对自身红外导引头的辐射照度影响问题．建立导弹弹头及气动流场模型，划分计算流场网格、红外导引头镜面网格和辐射场计算网格.从辐射照度和
首先建立了一种单机场地面等待问题的事件驱动优化模型,该模型综合考虑了航班的延误成本差异、最大延误时限以及尾流间隔等其他多种因素;然后提出了一种改进的自适应遗传算法
《普通高中语文课程标准(2017年版)》明确要求:“审美鉴赏与创造是指学生在语文学习中,通过审美体验、评价等活动形成正确的审美意识、健康向上的审美情趣与鉴赏品位,并在过
在审视我国农村可再生能源产业发展现状基础上,分析了产业化发展的有利条件、存在问题及制约因素。并通过对现有农村可再生能源产业发展的回顾,在典型案例解读的基础上提出了
高校组工干部的能力建设是高校党建工作的重要保障。从加强高校组工干部能力建设的必要性和紧迫性入手,探析高校组工干部应该具备的能力,通过注重学习、组织培训、实践锻炼、
在处理含有裂隙这类不连续问题时,常规有限元方法需要对裂隙尖端部位进行局部网格加密,当裂隙扩展时还需要进行网络重构。基于单位分解思想的扩展有限元成功解决了常规有限元