-
公开(公告)号：CN117271377A
公开(公告)日：2023-12-22
申请号：CN202311566668.8
申请日：2023-11-23
Applicant: 中国人民解放军海军工程大学
Abstract: 本发明公开了一种安全关键软件可靠性的两阶段贝叶斯验证方法和系统，属于软件可靠性验证技术领域。本发明先在研发阶段对软件提出可靠性要求，基于该阶段产生的可靠性增长测试信息，利用软件可靠性增长模型给出软件可靠性评估值，并验证其是否达到规定的可靠性要求，从而保证进入下一阶段前的软件具有较高可靠性水平；再在软件试用阶段，基于最大后验风险制定贝叶斯验证方案，并利用用户现场使用信息验证软件可靠性。利用两阶段可靠性信息综合验证软件可靠性指标，降低对测试用例的依赖性，使验证结论具有更好的可信性。
-
公开(公告)号：CN116579574A
公开(公告)日：2023-08-11
申请号：CN202310587787.5
申请日：2023-05-23
Applicant: 中国人民解放军海军工程大学
IPC: G06Q10/0631 , G06Q10/20 , G06F17/18 , G06Q10/0639
Abstract: 本发明提供了一种考虑维修耗时的机械表决部件备件需求量确定方法与装置，包括：根据机械表决部件中机械单元的数量、可工作单元数量的最低可接受值k、机械单元的寿命服从的第一正态分布、维修耗时服从的第二正态分布以及任务时间，确定在备件数量为s的条件下，任务结束时可工作单元数量为0,1,…,k‑1分别对应的概率；在此基础上，确定备件数量为s对应的备件保障概率；若备件保障概率低于预先设置的备件保障概率阈值，则更新备件数量s＝s+1，并重新执行上述步骤，直到备件保障概率高于或等于备件保障概率阈值，则将备件数量s确定为备件需求量，从而准确地估算出机械表决部件的备件需求量，维修耗时较大的应用场景也能适用。
-
公开(公告)号：CN115600045B
公开(公告)日：2023-03-21
申请号：CN202211519491.1
申请日：2022-11-30
Applicant: 中国人民解放军海军工程大学
Abstract: 本发明公开采用通用检测工具检测的平均检测时间计算方法和系统，属于电子设备故障指标量化领域。包括：电子类单元数量与容量的比值向上取整，作为最大检测次数；根据各电子类单元状态检测的时间，计算最大检测次数内、每次检测耗时，根据任务时间内各电子类单元发生故障的概率，计算每次检测检出故障的权重系数，每次检测是按照被检测的次序，顺序依次从中取出容量数量的单元进行检测，直至所有单元都被检测；以权重系数加权累加各次检出故障的累计检测耗时，得到电子设备的平均检测时间。本发明量化并计算采用通用检测工具检测电子设备的平均检测时间，反映效率高低。把修理工作量、平均检测时间和容量关联起来，为工具的辅助选择奠定基础。
-
公开(公告)号：CN119003358A
公开(公告)日：2024-11-22
申请号：CN202411115453.9
申请日：2024-08-14
Applicant: 中国人民解放军海军工程大学
Abstract: 本申请属于软件分析领域，具体公开了一种离散型软件的可靠性贝叶斯验证方法、系统及设备，方法包括：获取对离散型软件进行可靠性增长测试的离散数据集；结合数据集和离散时间域上的非齐次泊松过程，确定离散型软件可靠性增长模型；基于可靠性增长模型估计离散型软件再成功执行预设规定任务的概率；将可靠度的先验分布设为贝塔分布，基于成功执行预设规定任务的概率和最大熵法估计贝塔分布的参数；基于先验分布和贝叶斯定理确定可靠度的后验分布；根据后验分布确定预设可容忍失效次数下对离散型软件进行可靠性验证所需的测试用例数量；根据测试用例数量和可容忍失效次数进行可靠性验证。通过本申请，提出一种有效的离散型软件可靠性验证方案。
-
公开(公告)号：CN116955912A
公开(公告)日：2023-10-27
申请号：CN202310893808.6
申请日：2023-07-19
Applicant: 中国人民解放军海军工程大学
Abstract: 本发明提供了一种电子设备的备件保障任务的成功率评估方法及系统，方法包括：电子设备由多个不同类型电子件单元组成，将各个电子件单元的备件数量进行累加，获得电子设备的备件总数量sn；根据各个电子件单元的寿命概率密度函数和备件数量，以及电子设备的维修耗时概率密度函数和任务时间，计算电子设备的备件消耗总数量为0,1,…,sn分别对应的概率；各个电子件单元的寿命概率密度函数根据各个电子件单元的寿命服从的指数分布确定；电子设备的维修耗时概率密度函数根据电子设备的维修耗时服从的指数分布确定；将各个备件消耗总数量对应的概率进行累加，获得电子设备的备件保障任务的成功率，实现了准确评估备件保障任务的成功率。
-
Patent Agency Ranking
公开(公告)号：CN116542457A
公开(公告)日：2023-08-04
申请号：CN202310473742.5
申请日：2023-04-27
Applicant: 中国人民解放军海军工程大学
IPC: G06Q10/0631 , G06Q10/04
Abstract: 本发明提供了一种机电通用件的备件消耗数量估计方法及系统，包括：机电通用件由分别安装在多个设备上的相同类型机电单元组成；根据机电单元的寿命服从的威布尔分布，机电单元的维修耗时服从的正态分布，以及每个机电单元的任务时间，计算每个机电单元的候选备件消耗数量的任务成功概率数组和保障成功概率数组；根据每个机电单元的候选备件消耗数量的任务成功概率数组和保障成功概率数组，计算每个机电单元的候选备件消耗数量的保障概率数组，并计算每个候选备件消耗数量对应的概率；根据每个候选备件消耗数量对应的概率，计算机电通用件的备件消耗数量。本发明极大减小了机电通用件的备件消耗数量的估算误差，提高了机电通用件的备件保障能力。
-
公开(公告)号：CN115310048A
公开(公告)日：2022-11-08
申请号：CN202211223796.8
申请日：2022-10-08
Applicant: 中国人民解放军海军工程大学
Abstract: 本发明公开了一种设备在期望时间内完成修复概率的计算方法和系统，属于设备故障指标量化领域。包括：在任务时间内，结合各部件的累计工作时间，对其寿命服从的对数正态分布密度函数积分计算，得到任务时间内各部件发生故障的概率；按照检查次序，根据任务时间内各部件发生故障的概率，计算任务时间内各部件的修理权重系数；按照检查次序，根据各部件的状态检查消耗时间服从的正态分布和修理各失效部件消耗时间服从的正态分布，分别计算修复时间分布参数数组；根据任务时间内各部件的修理权重系数和修复时间分布参数数组，计算设备在期望时间内完成修复概率。本发明实现在期望时间内完成修复的概率的预测，能更具体、详尽地描述装备维修性性能。
-
公开(公告)号：CN107220216B
公开(公告)日：2020-07-28
申请号：CN201710343600.1
申请日：2017-05-16
Applicant: 中国人民解放军海军工程大学
IPC: G06F17/18
Abstract: 本发明公开了一种利用特征数的威布尔型备件需求量的近似计算方法，该近似计算方法主要包括如下步骤：(1)利用所述威布尔分布参数α、b计算伽玛分布的参数αg、λ，计算正态分布的参数μ、σ；(2)计算偏度和峰度，依据所述伽玛分布的参数αg、λ及所述正态分布的参数μ、σ，按下式计算三种分布的所述特征数中的偏度和峰度；(3)比较所述特征数中的偏度和峰度，若所得伽玛分布与威布尔分布的偏度绝对差值较小，则按照一种方法计算备件保障概率；否则，按照另外的方法计算备件保障概率Ps。按照本发明实现的备件需求量的近似计算方法，能够简化计算过程以及提高近似计算的精度。
-
公开(公告)号：CN119150695A
公开(公告)日：2024-12-17
申请号：CN202411599694.5
申请日：2024-11-11
Applicant: 中国人民解放军海军工程大学
IPC: G06F30/27 , G06F30/15 , G06F18/2415 , B63B71/10 , G06F119/02
Abstract: 本发明涉及一种基于拟累积失效数据的舰船备件可靠性评估方法，包括：采用多层贝叶斯的方法进行估计得到失效概率，基于失效概率得到部件的拟累积失效数；基于累积失效数计算得到失效率的修正似然函数；确定失效率的先验分布；将先验分布进行加权后得到加权后综合先验分布式，将加权后综合先验分布式与修正似然函数结合，利用贝叶斯公式得到失效率的后验分布，基于失效率的后验分布进行舰船备件可靠性评估；在无失效数据的情况下，引入拟累积失效数这一参数来构建修正似然函数，建立并改进拟累积失效数模型，利用多层贝叶斯方法得到了其估计值，实现舰船备件的可靠性的评估。
-
公开(公告)号：CN117851266A
公开(公告)日：2024-04-09
申请号：CN202410244503.7
申请日：2024-03-05
Applicant: 中国人民解放军海军工程大学
Abstract: 本发明属于软件可靠性验证测试领域，具体公开了一种安全关键软件可靠性贝叶斯验证方法及装置。方法包括：获取可靠性增长测试样本的联合似然函数；根据联合似然函数确定最后一阶段可靠性参数的边缘密度函数；将最后阶段的边缘密度函数基于贝叶斯定理得到可靠性参数的后验分布，并以该增长测试最后一阶段可靠性参数的后验分布作为可靠性验证阶段的软件可靠性参数的先验分布；基于贝叶斯公式和软件可靠性参数的先验分布，制定贝叶斯验证方案，得到可靠性验证测试需要执行的测试用例个数。本发明制定的贝叶斯方案能在确保方案可信度的前提下，明显减少可靠性验证测试用例数量，减轻测试负担，具备一定的经济效益价值。
-
-
-
-
-
-
-
-
-
Search Results
22
records
(took 0.034 seconds)
