【摘 要】
：
以非参数统计原理为基础,在不假设软件产品寿命服从具体分布的情况下,提出一种基于非参数的软件可靠性验证测试方法.然后,根据验证测试结果,分析失效概率的置信度,从而确定失效概率的真值范围.最后,通过示例证明该方法在未过多增加测试次数的情况下,有效地解决了假设寿命分布理想化和参数估计带来的不确定性问题,使得验证软件的可靠性时,生产方与订购方一致接受最终的验证结果.
论文部分内容阅读
以非参数统计原理为基础,在不假设软件产品寿命服从具体分布的情况下,提出一种基于非参数的软件可靠性验证测试方法.然后,根据验证测试结果,分析失效概率的置信度,从而确定失效概率的真值范围.最后,通过示例证明该方法在未过多增加测试次数的情况下,有效地解决了假设寿命分布理想化和参数估计带来的不确定性问题,使得验证软件的可靠性时,生产方与订购方一致接受最终的验证结果.
其他文献
气溶胶发生混匀装置是一种可发生浓度高低可控、混合均匀的气溶胶颗粒物的设备,与颗粒物质量浓度测量标准装置一起,共同用于颗粒物质量浓度测量仪器的校准。颗粒物质量浓度测量仪校准结果的不确定度评定主要是围绕质量浓度示值误差展开,利用最小二乘法对气溶胶发生混匀装置不均匀性引入的不确定度进行分析,可有效提高质量浓度示值误差不确定度评定效率,并使评定结果更具合理性。
一、测量依据和方法本文依据JJF(津)04-2010 《生化需氧量(BOD)快速测定仪校准规范》,测量浓度为10.0mg/L的BOD溶液标准物质,按下式计算示值误差。?=■式中:Δ——示值误差,%;■——3次测量平均值,mg/L;c_0——溶液标称值,mg/L。
目前,国内各计量技术机构对汽车排气污染物检测用底盘测功机(以下简称"测功机")基本惯量、恒加载滑行时间、变加载滑行时间、内部损耗功率等技术指标,均采用的是接触式滚轮编码器的方法来测量。由于接触式滚轮方法的各种问题,本文提出一种非接触式测量基本惯量、恒加载滑行时间、变加载滑行时间、内部损耗功率的方案,如图1所示。
为探明二次有机气溶胶(SOA)的污染特征和影响因素,本研究于2018年11月—2019年1月对华北区域点(德州市郊区点)细颗粒物(PM_(2.5))的化学组成进行了在线测量,并分析了PM_(2.5)中有机碳(OC)、元素碳(EC)和水溶性离子组分的污染特征及PM_(2.5)与气象要素之间的相关性.结果表明,观测期间德州PM_(2.5)污染严重,平均质量浓度为(115.6±24.6)μg·m~(-3
超声波传感器可以在较为恶劣的条件下工作,目前已广泛应用于工业领域,能够做到非接触测量,实用性非常高。文章针对超声波传感器,在简述其原理的基础上,对其在测距、自动焊缝跟踪、流量测量、液体浓度检测、无损探伤中的应用进行深入分析,旨在为实际应用提供可靠的参考借鉴。
通过代数图论建立通信拓扑,进行多无人机的一致性协议及其协调控制,一直是自动控制领域研究的热点。由于无人机的姿态动力学模型是一个欧拉四元组,因而多无人机的姿态同步控制器设计十分有挑战性。在时变通信拓扑条件下,对多无人机的姿态同步控制问题进行了研究,分析了姿态同步的一致性实现条件,设计同步控制算法。在无向、时变通信拓扑条件下证明了控制算法可以实现多无人机的姿态同步并且使最终角速度收敛于零。在此基础上,
传统人工测试方法在不同设备故障下,测试精准度较低,针对该问题,提出一种船用自动化控制系统软件测试的设计方法。从船舶实际需求出发,分析船用软件测试系统结构,通过程序标识、接口装置、自测试程序、启动安全测试、注意和警告、故障检测、安全性考虑,完成测试程序设计。采用一次连接多次测量技术,在用户组建系统基础上,按照相应程序,对所规定的全部参数测量,完成所有故障测试。由实验结果可知,该软件在不同设备故障下,
随着电力供电可靠性要求的不断提高,电力巡线技术正在向自动化、智能化方向发展。无人机技术以其便捷的操作、精准拍照及图像识别等优点,正广泛应用于电力巡线技术领域。基于激光雷达实现无人机跟随导线飞行,进行线路通道巡检,提出一种基于改进卷积神经网络的可见光与热红外方法,通过采用可见光与热红外图像的融合,以识别出输电线路和障碍物信息,实现对输电线路故障的自动检测。通过对运行线路的实际巡视,输电线路故障的自动
为了解决传统监测机器人避障行走路径规划方法存在的规划误差大、规划耗时长的问题,本文提出一种船用爬壁机器人避障行走最优路径规划方法。构建爬壁监测机器人路径规划的动力学模型,对机器人行走位姿进行调整。采用栅格法构建监测区域内的机器人行走栅格地图。基于构建的动力学模型,在栅格地图中对监测机器人避障行走路径进行规划。实验结果表明,与传统避障行走路径规划方法相比,所提方法的路径规划结果更加准确,能够实现机器
未知负载会增大机器人模型误差,对碰撞检测产生严重干扰,甚至导致算法失效.为此,本文提出了一种适用于机器人带负载工作情况的碰撞检测算法.首先,基于机器人广义动量设计具有带通滤波特性的新型力矩观测器,通过对机器人动力学频域特性进行分析,得到机器人动力学模型与关节运行速度对应的最大频率阈值,确定带通力矩观测器的参数.然后,利用带通力矩观测器对关节力矩信号进行滤波,提高碰撞检测算法对机器人模型误差的容忍度