期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
带减函数的连续型软件可靠性验证方案
被引量:
6
1
作者
王学成
陆民燕
+1 位作者
李海峰
杨日盛
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012年第10期136-143,共8页
针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典...
针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据(先验信息)计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息(CBS1)与有先验信息(CBS2)的贝叶斯验证方案进行实例对比研究,计算结果表明:在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。
展开更多
关键词
软件
可靠性
可靠性验证
安全关键
软件
贝叶斯方法
减函数法
连续执行软件
下载PDF
职称材料
题名
带减函数的连续型软件可靠性验证方案
被引量:
6
1
作者
王学成
陆民燕
李海峰
杨日盛
机构
北京航空航天大学可靠性与系统工程学院
中航工业综合所
出处
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012年第10期136-143,共8页
基金
国防科技工业技术基础科研资助项目(Z132010B001)
文摘
针对连续型安全关键软件可靠性验证测试(SRDT)所需测试时间较长的问题,在现有的基于贝叶斯理论的SRDT方案的基础上,提出结合先验信息的基于减函数法的连续型软件可靠性验证测试方案(CBSDF):首先选取连续型软件可靠性参数(如失效率)的典型减函数作为失效率的先验分布密度函数(先验分布);然后根据增长测试阶段后期的失效时间数据(先验信息)计算出先验分布超参数的估计值,进而给出相应的后验分布密度函数,在此基础上得到CBSDF的具体形式;最后,将两组真实失效数据集作为先验信息的来源,将CBSDF与已有的无先验信息(CBS1)与有先验信息(CBS2)的贝叶斯验证方案进行实例对比研究,计算结果表明:在SRDT方案参数相同时,相对于CBS1与CBS2,本论文提出的CBSDF可以更为显著地降低所需的验证测试时间,且更适用于高可靠的安全关键连续型软件。
关键词
软件
可靠性
可靠性验证
安全关键
软件
贝叶斯方法
减函数法
连续执行软件
Keywords
software reliability
reliability demonstration
safety-critical software
Bayesian method
decreasing function
continuous software
分类号
TP311.53 [自动化与计算机技术—计算机软件与理论]
V215.7 [航空宇航科学与技术—航空宇航推进理论与工程]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
带减函数的连续型软件可靠性验证方案
王学成
陆民燕
李海峰
杨日盛
《重庆大学学报(自然科学版)》
EI
CAS
CSCD
北大核心
2012
6
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部