期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
NMR及NVP系统中表决算法分析与研究
被引量：
7
1
作者
袁顺
郭渊博
刘伟
《计算机应用研究》
CSCD
北大核心
2008年第11期3463-3467,共5页
在N模冗余(NMR)及N版本编程技术(NVP)系统中,通过对冗余模块的输出执行表决可以屏蔽子系统或部件产生的错误,处理分布式计算系统中出现的Byzantine故障、同步多个计算进程以及维护数据复制品一致性等;表决算法还可以用做某些容忍入侵应...
在N模冗余(NMR)及N版本编程技术(NVP)系统中,通过对冗余模块的输出执行表决可以屏蔽子系统或部件产生的错误,处理分布式计算系统中出现的Byzantine故障、同步多个计算进程以及维护数据复制品一致性等;表决算法还可以用做某些容忍入侵应用的触发策略,发现故障并触发故障部件的状态恢复。在经过对大量的表决算法分析与研究后,对其进行归类,并对每种类型中具有代表性的算法进行了描述,指出它们的应用领域,同时从复杂度及可靠性等方面对这些算法进行横向比较。
展开更多
关键词
容错
表决算法
n
模冗余
n版本编程
技术
三模冗余
在线阅读
下载PDF
职称材料
基于HCPN的面向方面NVP建模与分析
2
作者
孙晓星
虞慧群
《计算机工程》
CAS
CSCD
2012年第16期61-64,共4页
为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立...
为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。
展开更多
关键词
n版本编程
容错
面向方面的
编程
层次着色PETRI网
建模
在线阅读
下载PDF
职称材料
相异性容错设计的概念及其实现
被引量：
4
3
作者
韩炜
杨孝宗
崔刚
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2001年第5期606-611,共6页
相异性设计是为避免共性故障而采取的一种设计方法 ,是不同的工作组根据一个初始规范分别设计满足规范的独立工作系统 ,通过互相之间的故障监控 ,对发生的故障进行检测、隔离和定位 ,并可能进行重构 .这种系统容错概念的理论基础是独立...
相异性设计是为避免共性故障而采取的一种设计方法 ,是不同的工作组根据一个初始规范分别设计满足规范的独立工作系统 ,通过互相之间的故障监控 ,对发生的故障进行检测、隔离和定位 ,并可能进行重构 .这种系统容错概念的理论基础是独立开发系统 ,不会发生共性故障 .为此介绍了相异性设计的概念及几个使用相异性设计实现的容错系统 。
展开更多
关键词
相异性设计
n版本编程
可靠性
故障避免
故障容错
计算机系统
在线阅读
下载PDF
职称材料
题名
NMR及NVP系统中表决算法分析与研究
被引量：
7
1
作者
袁顺
郭渊博
刘伟
机构
解放军信息工程大学电子技术学院
出处
《计算机应用研究》
CSCD
北大核心
2008年第11期3463-3467,共5页
基金
国家自然科学基金资助项目(60503012)
国家"863"计划资助项目(2007AA01Z405)
文摘
在N模冗余(NMR)及N版本编程技术(NVP)系统中,通过对冗余模块的输出执行表决可以屏蔽子系统或部件产生的错误,处理分布式计算系统中出现的Byzantine故障、同步多个计算进程以及维护数据复制品一致性等;表决算法还可以用做某些容忍入侵应用的触发策略,发现故障并触发故障部件的状态恢复。在经过对大量的表决算法分析与研究后,对其进行归类,并对每种类型中具有代表性的算法进行了描述,指出它们的应用领域,同时从复杂度及可靠性等方面对这些算法进行横向比较。
关键词
容错
表决算法
n
模冗余
n版本编程
技术
三模冗余
Keywords
fault-tolera
n
t
voti
n
g algorithm
n
MR
n
VP
TMR
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
基于HCPN的面向方面NVP建模与分析
2
作者
孙晓星
虞慧群
机构
华东理工大学计算机科学与工程系
上海市计算机软件评测重点实验室
出处
《计算机工程》
CAS
CSCD
2012年第16期61-64,共4页
基金
国家自然科学基金资助项目(60773094
61173048)
文摘
为能够在软件开发早期检测设计故障,降低N版本编程(NVP)容错策略给系统带来的额外开销,提出一种基于层次着色Petri网(HCPN)的面向方面NVP建模方法,将NVP模块转化为方面子模块,并编织为可执行的HCPN。运用该建模方法对网络搜索实例建立面向方面的NVP模型,结果验证了该NVP模型的正确性和有效性。
关键词
n版本编程
容错
面向方面的
编程
层次着色PETRI网
建模
Keywords
n
-versio
n
Programmi
n
g（
n
VP）
fault tolera
n
ce
Aspect-orie
n
ted Programmi
n
g（AOP）
Hierarchical Colored Petri
n
et（HCP
n
）
modeli
n
g
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
相异性容错设计的概念及其实现
被引量：
4
3
作者
韩炜
杨孝宗
崔刚
机构
中国航空计算技术研究所
哈尔滨工业大学计算机科学与技术学院
出处
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2001年第5期606-611,共6页
基金
国防科工委重点预研资助项目 ( 16 .2 .5 )
文摘
相异性设计是为避免共性故障而采取的一种设计方法 ,是不同的工作组根据一个初始规范分别设计满足规范的独立工作系统 ,通过互相之间的故障监控 ,对发生的故障进行检测、隔离和定位 ,并可能进行重构 .这种系统容错概念的理论基础是独立开发系统 ,不会发生共性故障 .为此介绍了相异性设计的概念及几个使用相异性设计实现的容错系统 。
关键词
相异性设计
n版本编程
可靠性
故障避免
故障容错
计算机系统
Keywords
diversity desig
n
n
versio
n
programmi
n
g
reliability
分类号
TP302 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
NMR及NVP系统中表决算法分析与研究
袁顺
郭渊博
刘伟
《计算机应用研究》
CSCD
北大核心
2008
7
在线阅读
下载PDF
职称材料
2
基于HCPN的面向方面NVP建模与分析
孙晓星
虞慧群
《计算机工程》
CAS
CSCD
2012
0
在线阅读
下载PDF
职称材料
3
相异性容错设计的概念及其实现
韩炜
杨孝宗
崔刚
《哈尔滨工业大学学报》
EI
CAS
CSCD
北大核心
2001
4
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
