安全关键软件可靠性贝叶斯验证方法及装置

    公开(公告)号:CN117851266B

    公开(公告)日:2024-05-28

    申请号:CN202410244503.7

    申请日:2024-03-05

    Abstract: 本发明属于软件可靠性验证测试领域,具体公开了一种安全关键软件可靠性贝叶斯验证方法及装置。方法包括:获取可靠性增长测试样本的联合似然函数;根据联合似然函数确定最后一阶段可靠性参数的边缘密度函数;将最后阶段的边缘密度函数基于贝叶斯定理得到可靠性参数的后验分布,并以该增长测试最后一阶段可靠性参数的后验分布作为可靠性验证阶段的软件可靠性参数的先验分布;基于贝叶斯公式和软件可靠性参数的先验分布,制定贝叶斯验证方案,得到可靠性验证测试需要执行的测试用例个数。本发明制定的贝叶斯方案能在确保方案可信度的前提下,明显减少可靠性验证测试用例数量,减轻测试负担,具备一定的经济效益价值。

    一种针对指数寿命型产品的分组序贯试验方法

    公开(公告)号:CN114969658B

    公开(公告)日:2024-05-07

    申请号:CN202210496835.5

    申请日:2022-05-09

    Abstract: 本发明公开了一种针对指数寿命型产品的分组序贯试验方法,包括以下步骤:S1、初始化,输入生产方的相关参数,输入使用方的相关参数,并输入每组参试样本的试验计划耗时tw;S2、计算样本总数量N和接收数Ac;S3、计算分组数z,并计算拒收风险概率判据Pt1和接收风险概率判据Pt2;S4、输出;S5、确定各组的样本数量,从第1组开始,逐组开始试验;S6、统计从第1组开始到当前第i组,在试验期间发生故障的样本数量记为m,参试样本数量记为nt;S7、若i≤z,则分别计算风险概率pa和pb,并进行相关判断;S8、若i=z+1,则在完成第1+z组试验后,终止试验。

    一种采用通用检测工具检测的检查次序优化方法和系统

    公开(公告)号:CN115879720A

    公开(公告)日:2023-03-31

    申请号:CN202211591575.6

    申请日:2022-12-12

    Abstract: 本发明公开了一种采用通用检测工具检测的检查次序优化方法和系统,属于电子设备故障排查领域。本发明基于各单元发生故障的概率和故障排查权重系数,构建各组检查的检查耗时和权重系数,并提出将相邻组的检查耗时和故障排查权重交叉相乘的乘积作为排序的依据,交换使得综合值较小者前移,重复比较交换,直至得到综合值升序排列的组间检查次序,通过上述方式优化组间检查次序,达到缩短采用通用检测工具检测时故障定位时间的目的。

    一种设备在期望时间内完成修复概率的计算方法和系统

    公开(公告)号:CN115310048B

    公开(公告)日:2023-01-03

    申请号:CN202211223796.8

    申请日:2022-10-08

    Abstract: 本发明公开了一种设备在期望时间内完成修复概率的计算方法和系统,属于设备故障指标量化领域。包括:在任务时间内,结合各部件的累计工作时间,对其寿命服从的对数正态分布密度函数积分计算,得到任务时间内各部件发生故障的概率;按照检查次序,根据任务时间内各部件发生故障的概率,计算任务时间内各部件的修理权重系数;按照检查次序,根据各部件的状态检查消耗时间服从的正态分布和修理各失效部件消耗时间服从的正态分布,分别计算修复时间分布参数数组;根据任务时间内各部件的修理权重系数和修复时间分布参数数组,计算设备在期望时间内完成修复概率。本发明实现在期望时间内完成修复的概率的预测,能更具体、详尽地描述装备维修性性能。

    一种基于拟累积失效数据的舰船备件可靠性评估方法

    公开(公告)号:CN119150695B

    公开(公告)日:2025-02-07

    申请号:CN202411599694.5

    申请日:2024-11-11

    Abstract: 本发明涉及一种基于拟累积失效数据的舰船备件可靠性评估方法,包括:采用多层贝叶斯的方法进行估计得到失效概率,基于失效概率得到部件的拟累积失效数;基于累积失效数计算得到失效率的修正似然函数;确定失效率的先验分布;将先验分布进行加权后得到加权后综合先验分布式,将加权后综合先验分布式与修正似然函数结合,利用贝叶斯公式得到失效率的后验分布,基于失效率的后验分布进行舰船备件可靠性评估;在无失效数据的情况下,引入拟累积失效数这一参数来构建修正似然函数,建立并改进拟累积失效数模型,利用多层贝叶斯方法得到了其估计值,实现舰船备件的可靠性的评估。

    一种针对电子串联部件的备件需求量计算方法及系统

    公开(公告)号:CN116822843A

    公开(公告)日:2023-09-29

    申请号:CN202310605855.6

    申请日:2023-05-23

    Abstract: 本发明提供了一种针对电子串联部件的备件需求量计算方法及系统,包括:基于电子串联部件的各电子单元的寿命服从的第一指数分布,各电子单元的维修耗时服从的第二指数分布,以及电子串联部件的任务时间,计算当前备件数量对应的维修及时完成概率和维修未及时完成概率;基于当前备件数量对应的维修及时完成概率与维修未及时完成概率之和,更新备件保障概率;如果备件保障概率小于预设的备件保障概率指标,则基于加一后的当前备件数量更新当前备件数量,返回执行上述步骤,直至备件保障概率大于等于备件保障概率指标,则输出备件保障概率,并将当前备件数量作为备件需求量,从而实现了电子串联部件的备件需求量计算,提高了备件需求量的计算准确性。

    采用通用检测工具检测的平均检测时间计算方法和系统

    公开(公告)号:CN115600045A

    公开(公告)日:2023-01-13

    申请号:CN202211519491.1

    申请日:2022-11-30

    Abstract: 本发明公开采用通用检测工具检测的平均检测时间计算方法和系统,属于电子设备故障指标量化领域。包括:电子类单元数量与容量的比值向上取整,作为最大检测次数;根据各电子类单元状态检测的时间,计算最大检测次数内、每次检测耗时,根据任务时间内各电子类单元发生故障的概率,计算每次检测检出故障的权重系数,每次检测是按照被检测的次序,顺序依次从中取出容量数量的单元进行检测,直至所有单元都被检测;以权重系数加权累加各次检出故障的累计检测耗时,得到电子设备的平均检测时间。本发明量化并计算采用通用检测工具检测电子设备的平均检测时间,反映效率高低。把修理工作量、平均检测时间和容量关联起来,为工具的辅助选择奠定基础。

    一种针对指数寿命型产品的分组序贯试验方法

    公开(公告)号:CN114969658A

    公开(公告)日:2022-08-30

    申请号:CN202210496835.5

    申请日:2022-05-09

    Abstract: 本发明公开了一种针对指数寿命型产品的分组序贯试验方法,包括以下步骤:S1、初始化,输入生产方的相关参数,输入使用方的相关参数,并输入每组参试样本的试验计划耗时tw;S2、计算样本总数量N和接收数Ac;S3、计算分组数z,并计算拒收风险概率判据Pt1和接收风险概率判据Pt2;S4、输出;S5、确定各组的样本数量,从第1组开始,逐组开始试验;S6、统计从第1组开始到当前第i组,在试验期间发生故障的样本数量记为m,参试样本数量记为nt;S7、若i≤z,则分别计算风险概率pa和pb,并进行相关判断;S8、若i=z+1,则在完成第1+z组试验后,终止试验。

    一种利用特征数的威布尔型备件需求量的近似计算方法

    公开(公告)号:CN107220216A

    公开(公告)日:2017-09-29

    申请号:CN201710343600.1

    申请日:2017-05-16

    Abstract: 本发明公开了一种利用特征数的威布尔型备件需求量的近似计算方法,该近似计算方法主要包括如下步骤:(1)利用所述威布尔分布参数α、b计算伽玛分布的参数αg、λ,计算正态分布的参数μ、σ;(2)计算偏度和峰度,依据所述伽玛分布的参数αg、λ及所述正态分布的参数μ、σ,按下式计算三种分布的所述特征数中的偏度和峰度;(3)比较所述特征数中的偏度和峰度,若所得伽玛分布与威布尔分布的偏度绝对差值较小,则按照一种方法计算备件保障概率;否则,按照另外的方法计算备件保障概率Ps。按照本发明实现的备件需求量的近似计算方法,能够简化计算过程以及提高近似计算的精度。

    一种离散型软件的可靠性贝叶斯验证方法、系统及设备

    公开(公告)号:CN119003358B

    公开(公告)日:2025-04-11

    申请号:CN202411115453.9

    申请日:2024-08-14

    Abstract: 本申请属于软件分析领域,具体公开了一种离散型软件的可靠性贝叶斯验证方法、系统及设备,方法包括:获取对离散型软件进行可靠性增长测试的离散数据集;结合数据集和离散时间域上的非齐次泊松过程,确定离散型软件可靠性增长模型;基于可靠性增长模型估计离散型软件再成功执行预设规定任务的概率;将可靠度的先验分布设为贝塔分布,基于成功执行预设规定任务的概率和最大熵法估计贝塔分布的参数;基于先验分布和贝叶斯定理确定可靠度的后验分布;根据后验分布确定预设可容忍失效次数下对离散型软件进行可靠性验证所需的测试用例数量;根据测试用例数量和可容忍失效次数进行可靠性验证。通过本申请,提出一种有效的离散型软件可靠性验证方案。

Patent Agency Ranking