中国科学院机构知识库网格
Chinese Academy of Sciences Institutional Repositories Grid
首页
机构
成果
学者
登录
注册
登陆
×
验证码:
换一张
忘记密码?
记住我
×
校外用户登录
CAS IR Grid
机构
长春光学精密机械与物... [4]
软件研究所 [3]
计算技术研究所 [1]
数学与系统科学研究院 [1]
沈阳自动化研究所 [1]
采集方式
OAI收割 [10]
内容类型
期刊论文 [9]
学位论文 [1]
发表日期
2015 [1]
2014 [1]
2013 [1]
2012 [1]
2008 [1]
2007 [3]
更多
学科主题
筛选
浏览/检索结果:
共10条,第1-10条
帮助
条数/页:
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式:
请选择
题名升序
题名降序
提交时间升序
提交时间降序
作者升序
作者降序
发表日期升序
发表日期降序
基于FABP的软件可靠性增长模型
期刊论文
OAI收割
计算机仿真, 2015, 期号: 06, 页码: 440-446
作者:
刘逻
;
哈清华
;
王安邦
收藏
  |  
浏览/下载:18/0
  |  
提交时间:2016/07/06
软件可靠性预测模型
萤火虫算法
波动性
基于结合自适应步长布谷鸟搜查算法的模糊神经网络的软件可靠性增长模型
期刊论文
OAI收割
计算机应用, 2014, 期号: 10, 页码: 2908-2912
作者:
郭立红
收藏
  |  
浏览/下载:26/0
  |  
提交时间:2015/04/17
软件可靠性增长模型
软件缺陷数据
自适应步长布谷鸟搜查算法
模糊神经网络
一步向前预测
基于参数动态调整的动态模糊神经网络的软件可靠性增长模型
期刊论文
OAI收割
计算机科学, 2013, 期号: 02, 页码: 186-190
作者:
郭立红
;
王建军
收藏
  |  
浏览/下载:21/0
  |  
提交时间:2014/03/07
软件可靠性增长模型
动态模糊神经网络
遗传算法
短期预测
基于结合模拟退火算法的动态模糊神经网络的软件可靠性增长模型
期刊论文
OAI收割
吉林大学学报(工学版), 2012, 期号: 05, 页码: 1225-1230
作者:
王建军
;
郭立红
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2013/03/11
人工智能
软件可靠性增长模型
动态模糊神经网络
模拟退火算法
单步向前预测
一种考虑缺陷关联的软件可靠性增长模型
期刊论文
OAI收割
计算机工程, 2008, 卷号: 34, 期号: 8, 页码: 44-46
张荣辉
;
姜楠
;
勾朗
;
车美儒
;
舒风笛
  |  
收藏
  |  
浏览/下载:20/0
  |  
提交时间:2011/06/10
软件可靠性增长模型
非齐次泊松过程
软件缺陷关联
软件缺陷
关联关系
齐次泊松过程
可靠性指标
改进的模型
预测能力
失效数据
软件产品
拟合效果
测试过程
分析表
实验
评价
基础
工具
分类
考虑缺陷关联的软件可靠性增长模型研究
学位论文
OAI收割
博士, 软件研究所: 中国科学院软件研究所, 2007
张荣辉
收藏
  |  
浏览/下载:16/0
  |  
提交时间:2011/03/17
软件可靠性增长模型
非齐次泊松过程
软件缺陷关联
基于网络模型的软/硬件可靠性分析
期刊论文
OAI收割
计算机应用研究, 2007, 卷号: 24.0, 期号: 007, 页码: 28-31
作者:
马士超
;
王贞松
;
姜珊珊
  |  
收藏
  |  
浏览/下载:9/0
  |  
提交时间:2021/01/14
网络模型
硬件可靠性
软件可靠性
基于网络模型的软/硬件可靠性分析
期刊论文
OAI收割
计算机应用研究, 2007, 卷号: 24.0, 期号: 007, 页码: 28
作者:
马士超
;
王贞松
;
姜珊珊
  |  
收藏
  |  
浏览/下载:1/0
  |  
提交时间:2023/12/04
网络模型
硬件可靠性
软件可靠性
一种基于可靠性的软件构架描述视图
期刊论文
OAI收割
沈阳化工学院学报, 2005, 卷号: 19, 期号: 2, 页码: 120-122,138
作者:
王军
;
苗强
;
陈未如
  |  
收藏
  |  
浏览/下载:11/0
  |  
提交时间:2010/11/29
构架视图
构件状态转移概率视图
软件构架
软件可靠性模型
基于SPIN/Promela的并发系统验证
期刊论文
OAI收割
计算机科学, 2004, 卷号: 31, 期号: 8, 页码: 201-203,208
肖美华
;
薛锦云
  |  
收藏
  |  
浏览/下载:12/0
  |  
提交时间:2011/07/29
模型检测
并发系统
软件可靠性
SPIN/Promela
形式化验证
并发系统
逻辑一致性
计算机科学
安全性分析
验证技术
验证工具
研究领域
数据结构
软件系统
建模语言
基本算法
工作机理
分析验证
运用
应用
通道
输出
设计
模型