-
题名软件可靠性预测的相关向量机模型
被引量：7
- 1
-
-
作者
楼俊钢
江建慧
沈张果
蒋云良
-
机构
湖州师范学院计算机科学与技术系浙江湖州
同济大学计算机科学与技术系上海
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2013年第7期1542-1550,共9页
-
基金
国家自然科学基金项目(61103051)
国家“八六三”高技术研究发展计划基金项目(2007AA01Z142)
湖州市自然科学基金项目(2011YZ08)
-
文摘
相关向量机是一种解决回归问题非常有效的方法,针对软件失效时间及其之前的m个失效时间数据使用相关向量机进行学习,以建立失效时间之间内在的依赖关系,由此构建新的基于相关向量机的软件可靠性预测模型.在4个数据集上的实验结果表明,新模型在预测能力上较之广泛使用的基于支持向量机或人工神经网络的软件可靠性预测模型有明显的提高,同时也表明现时失效数据的预测能力比很久之前观测的失效数据更强,最后通过实验对合理的m值及不同数据集上核函数参数取值进行研究.
-
关键词
软件可靠性预测
相关向量机
支持向量机
人工神经网络
稀疏贝叶斯模型
-
Keywords
software reliability prediction relevance vector machine
support vector machine
artificial neural network
sparse Bayesian model
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于GSPM的安全协议新鲜性分析
被引量：1
- 2
-
-
作者
周璐
顾永跟
-
机构
上海交通大学计算机科学与技术系
湖州师范学院计算机科学与技术系
-
出处
《计算机应用研究》
CSCD
北大核心
2007年第11期143-145,共3页
-
基金
国家自然科学基金资助项目(60473006)
-
文摘
安全协议形式化分析方法通过规范描述和数学推理来检验安全协议是否满足各种安全要求。GSPM是安全协议形式化分析的一般模型。在该模型中加入新鲜性的定义,形式化描述了新鲜性这一特殊的安全性质,扩展了GSPM的适用范围,并通过Andrew Secure RPC协议给出了形式化分析新鲜性的实例研究。
-
关键词
安全协议
新鲜性
一般安全协议模型
-
Keywords
security protocol
freshness
GSPM
-
分类号
TP309
[自动化与计算机技术—计算机系统结构]
-
