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

被引：0

专利类型：

发明

申请号：

CN202410244503.7

申请日：

2024-03-05

公开(公告)号：

CN117851266A

公开(公告)日：

2024-04-09

发明(设计)人：

王玉琢刘永凯刘海涛翟亚利

申请人：

中国人民解放军海军工程大学

申请人地址：

430033 湖北省武汉市硚口区解放大道717号

IPC主分类号：

G06F11/36

IPC分类号：

G06N7/01

代理机构：

武汉华之喻知识产权代理有限公司 42267

代理人：

郭志霄

法律状态：

授权

国省代码：

湖北省武汉市

引用

下载

收藏

法律状态

法律状态公告日	法律状态	法律状态信息
2024-05-28	授权	授权
2024-04-09	公开	公开
2024-04-26	实质审查的生效	实质审查的生效IPC(主分类):G06F 11/36申请日:20240305

共 50 条

[1]

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

王玉琢 ;

刘永凯 ;

刘海涛 ;

翟亚利 .

中国专利 :CN117851266B ,2024-05-28

[2]

一种安全关键软件可靠性的两阶段贝叶斯验证方法和系统 [P].

王玉琢 ;

刘海涛 ;

翟亚利 ;

黄登斌 ;

袁昊劼 ;

刘永凯 .

中国专利 :CN117271377B ,2024-02-02

[3]

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

王玉琢 ;

袁昊劼 ;

刘海涛 ;

翟亚利 .

中国专利 :CN119003358A ,2024-11-22

[4]

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

王玉琢 ;

袁昊劼 ;

刘海涛 ;

翟亚利 .

中国专利 :CN119003358B ,2025-04-11

[5]

一种贝叶斯软件可靠性验证测试方法及其计算机辅助工具 [P].

李秋英 ;

李海峰 ;

陆民燕 ;

王学成 .

中国专利 :CN102662848B ,2012-09-12

[6]

一种基于混合贝叶斯先验分布的可靠性验证测试方法 [P].

高峰 ;

郑晓云 ;

李一晨 ;

李刚 ;

张振兴 .

中国专利 :CN102411537A ,2012-04-11

[7]

引入测试有效性的软件可靠性验证测试方法 [P].

李秋英 ;

王健 ;

罗磊 ;

刘力新 ;

朱龙 .

中国专利 :CN102629232A ,2012-08-08

[8]

基于贝叶斯的复杂系统可靠性分析方法 [P].

苏续军 ;

胡起伟 ;

赵新会 ;

于贵波 ;

邓士杰 ;

袁占杰 ;

熊超 ;

张晓良 .

中国专利 :CN109684713A ,2019-04-26

[9]

基于扩展的马尔克夫贝叶斯网的软件可靠性评估方法 [P].

白成刚 ;

蔡开元 ;

胡德斌 .

中国专利 :CN1667587A ,2005-09-14

[10]

油泵可靠性验证装置及验证方法 [P].

倪中秋 ;

陈廉清 ;

包日官 ;

方跃 ;

章鹏 .

中国专利 :CN113482904B ,2021-10-08

← 1 2 3 4 5 →