期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
3
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于通用比较模型的t-可诊断系统的特征化及并行诊断算法
被引量：
3
1
作者
彭宇
洪炳熔
乔永强
《计算机学报》
EI
CSCD
北大核心
2000年第2期126-133,共8页
文中介绍了一种系统级故障诊断模型——通用比较模型 .该模型允许处理器作为自身的比较器 ,综合了经典的 PMC模型和 Maeng/ Malek模型的优点 .基于该模型 ,分析了多处理器系统的 t- 可诊断性问题 ,给出了 t- 可诊断系统的特征化 ,证明...
文中介绍了一种系统级故障诊断模型——通用比较模型 .该模型允许处理器作为自身的比较器 ,综合了经典的 PMC模型和 Maeng/ Malek模型的优点 .基于该模型 ,分析了多处理器系统的 t- 可诊断性问题 ,给出了 t- 可诊断系统的特征化 ,证明了一个系统成为 t- 可诊断系统的新的充分必要条件 .其次 ,证明了在通用比较模型中 ,确定故障处理器集的问题等价于求解一个超图的最小横切集 (Minimum traversal) ,该超图是根据多处理器的通信图和比较图求得的 .最后 ,给出了特定情况下的一个系统级故障诊断并行算法 ,该算法是完全分布的 。
展开更多
关键词
t_可诊断系统
比较模型
并行算法
多处理器系统
在线阅读
下载PDF
职称材料
基于检测点设置依赖图和属性表的卷回恢复算法
被引量：
2
2
作者
张宇
洪炳熔
《计算机研究与发展》
EI
CSCD
北大核心
2001年第2期246-251,共6页
为了解决检测点设置过程中的 Dom ino效应问题及卷回恢复过程中的活锁问题 ,并最大限度地减小时间开销 ,提出了基于检测点设置依赖图和属性表的卷回恢复算法 .同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一...
为了解决检测点设置过程中的 Dom ino效应问题及卷回恢复过程中的活锁问题 ,并最大限度地减小时间开销 ,提出了基于检测点设置依赖图和属性表的卷回恢复算法 .同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一方面检测点设置及卷回过程中只涉及少量的相关进程 .
展开更多
关键词
检测点
依赖图
属性表
软件容错
卷回恢复算法
计算机
在线阅读
下载PDF
职称材料
基于异步消息记录(CMLA)的卷回恢复算法
3
作者
张宇
洪炳熔
《高技术通讯》
EI
CAS
CSCD
2002年第7期48-52,共5页
为了最大限度地减小检测点设置和卷回恢复的时间、空间开销 ,提出了基于异步消息记录的卷回恢复算法。同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一方面检测点设置及卷回过程中只涉及少量的相关进程 ,并且...
为了最大限度地减小检测点设置和卷回恢复的时间、空间开销 ,提出了基于异步消息记录的卷回恢复算法。同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一方面检测点设置及卷回过程中只涉及少量的相关进程 ,并且减少了保存检测点的空间开销。文中对算法的正确性进行了证明 ,并通过模拟实验给出了算法的开销。
展开更多
关键词
异步消息记录
CMLA
卷回恢复
算法
检测点
软件容错
空间开销
模拟实验
计算机
存储器
在线阅读
下载PDF
职称材料
题名
基于通用比较模型的t-可诊断系统的特征化及并行诊断算法
被引量：
3
1
作者
彭宇
洪炳熔
乔永强
机构
哈尔滨工业大学计算机科学与工程系智能机器人研究室
航天部骊山微电子公司
出处
《计算机学报》
EI
CSCD
北大核心
2000年第2期126-133,共8页
文摘
文中介绍了一种系统级故障诊断模型——通用比较模型 .该模型允许处理器作为自身的比较器 ,综合了经典的 PMC模型和 Maeng/ Malek模型的优点 .基于该模型 ,分析了多处理器系统的 t- 可诊断性问题 ,给出了 t- 可诊断系统的特征化 ,证明了一个系统成为 t- 可诊断系统的新的充分必要条件 .其次 ,证明了在通用比较模型中 ,确定故障处理器集的问题等价于求解一个超图的最小横切集 (Minimum traversal) ,该超图是根据多处理器的通信图和比较图求得的 .最后 ,给出了特定情况下的一个系统级故障诊断并行算法 ,该算法是完全分布的 。
关键词
t_可诊断系统
比较模型
并行算法
多处理器系统
Keywords
t-diagnosable systems, generalized comparison model, syndromes, PMC model, MM model
分类号
TP338.063 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于检测点设置依赖图和属性表的卷回恢复算法
被引量：
2
2
作者
张宇
洪炳熔
机构
哈尔滨工业大学计算机科学与工程系智能机器人研究室
出处
《计算机研究与发展》
EI
CSCD
北大核心
2001年第2期246-251,共6页
文摘
为了解决检测点设置过程中的 Dom ino效应问题及卷回恢复过程中的活锁问题 ,并最大限度地减小时间开销 ,提出了基于检测点设置依赖图和属性表的卷回恢复算法 .同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一方面检测点设置及卷回过程中只涉及少量的相关进程 .
关键词
检测点
依赖图
属性表
软件容错
卷回恢复算法
计算机
Keywords
checkpoint, rollback, checkpointing dependency graph, property table, software fault tolerance
分类号
TP301.6 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于异步消息记录(CMLA)的卷回恢复算法
3
作者
张宇
洪炳熔
机构
哈尔滨工业大学计算机科学与工程系智能机器人研究室
出处
《高技术通讯》
EI
CAS
CSCD
2002年第7期48-52,共5页
基金
国防"九五"预研 ( 16 .6 .2 .7/A976 0 0 0 0 6 )资助项目
文摘
为了最大限度地减小检测点设置和卷回恢复的时间、空间开销 ,提出了基于异步消息记录的卷回恢复算法。同以前的算法相比较 ,该算法一方面节省了用于进程之间同步的时间开销 ,另一方面检测点设置及卷回过程中只涉及少量的相关进程 ,并且减少了保存检测点的空间开销。文中对算法的正确性进行了证明 ,并通过模拟实验给出了算法的开销。
关键词
异步消息记录
CMLA
卷回恢复
算法
检测点
软件容错
空间开销
模拟实验
计算机
存储器
Keywords
Checkpoint, Rollback, Message logging, Software fault tolerance
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于通用比较模型的t-可诊断系统的特征化及并行诊断算法
彭宇
洪炳熔
乔永强
《计算机学报》
EI
CSCD
北大核心
2000
3
在线阅读
下载PDF
职称材料
2
基于检测点设置依赖图和属性表的卷回恢复算法
张宇
洪炳熔
《计算机研究与发展》
EI
CSCD
北大核心
2001
2
在线阅读
下载PDF
职称材料
3
基于异步消息记录(CMLA)的卷回恢复算法
张宇
洪炳熔
《高技术通讯》
EI
CAS
CSCD
2002
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
