期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
16
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
永磁同步电机及其驱动系统故障处理与容错机制研究综述
被引量:
17
1
作者
魏书荣
黄苏融
+2 位作者
符杨
张琪
高瑾
《电力自动化设备》
EI
CSCD
北大核心
2016年第10期100-107,共8页
将以安全、可靠、耐久为导向的永磁同步电机(PMSM)电驱动系统的容错运行研究分为4个层次:容错能力的评估指标和方法;故障辨识与预警;容错系统的软件技术,通过容错控制深入挖掘现有系统的容错潜力;容错系统的硬件技术,重构PMSM电驱动系...
将以安全、可靠、耐久为导向的永磁同步电机(PMSM)电驱动系统的容错运行研究分为4个层次:容错能力的评估指标和方法;故障辨识与预警;容错系统的软件技术,通过容错控制深入挖掘现有系统的容错潜力;容错系统的硬件技术,重构PMSM电驱动系统的硬件结构以实现容错。从以上4个方面对PMSM及其驱动系统容错运行研究中的热点问题进行探讨,并指出目前面临的主要挑战及今后的发展方向,为构建高耐久的PMSM电驱动系统提供有益参考。
展开更多
关键词
永磁同步电机
驱动系统
评估指标
软件容错
硬件容错
在线阅读
下载PDF
职称材料
海上风电机组故障容错运行研究现状分析
被引量:
25
2
作者
魏书荣
何之倬
+2 位作者
符杨
黄苏融
张路
《电力系统保护与控制》
EI
CSCD
北大核心
2016年第9期145-154,共10页
海上风电场可及性差,运行条件恶劣。风电机组故障率高,故障修复时间长且维护困难,一旦故障停运,经济损失巨大。统计并对比分析海上风电机组和陆上风电机组的历史运行数据,归纳海上风电机组关键部件的故障特点,分析风力发电机组常见的电...
海上风电场可及性差,运行条件恶劣。风电机组故障率高,故障修复时间长且维护困难,一旦故障停运,经济损失巨大。统计并对比分析海上风电机组和陆上风电机组的历史运行数据,归纳海上风电机组关键部件的故障特点,分析风力发电机组常见的电气类故障及其对系统的影响。分别从软件容错、硬件容错两个方面总结现有海上风电机组容错运行的研究现状,归纳目前海上风电机组的容错方案,分析现有容错方案的应用可行性。进一步指出现阶段海上风电机组故障容错存在的主要问题,并对将来的研究热点进行了展望。
展开更多
关键词
海上风电
海上风电机组
电气故障
硬件容错
软件容错
在线阅读
下载PDF
职称材料
计算机系统容错技术研究
被引量:
26
3
作者
陆阳
王强
+1 位作者
张本宏
诸葛战斌
《计算机工程》
CAS
CSCD
北大核心
2010年第13期230-235,共6页
针对计算机系统中软、硬件可靠性问题的不同特点,讨论容错技术的最新发展现状,分析计算机系统中的各种容错方法,包括传统的冗余设计、错误回卷恢复机制以及当前研究较多的一般化容错设计方法等,研究目前已有的一些容错方法在反应延迟、...
针对计算机系统中软、硬件可靠性问题的不同特点,讨论容错技术的最新发展现状,分析计算机系统中的各种容错方法,包括传统的冗余设计、错误回卷恢复机制以及当前研究较多的一般化容错设计方法等,研究目前已有的一些容错方法在反应延迟、容错成本、精确量化、异构同步、可靠性建模等方面存在的缺陷以及待解决关键问题,并对如何进一步更好地完善和使用这些容错方法进行总结。
展开更多
关键词
计算机系统
容错
冗余
软件错误
硬件错误
在线阅读
下载PDF
职称材料
海上双馈风电机组开路故障容错重构技术
被引量:
11
4
作者
魏书荣
何之倬
+2 位作者
黄苏融
符杨
王健
《电力系统自动化》
EI
CSCD
北大核心
2016年第16期83-89,共7页
为了降低海上风电场的度电成本,避免可及性差导致的维护困难,提出一种海上双馈风电机组开路故障的容错方法。首先,根据开路故障的位置特点给出不同的硬件重构方案。然后,针对转子侧变流器单相开路故障,优化故障后的三相四开关变频器调...
为了降低海上风电场的度电成本,避免可及性差导致的维护困难,提出一种海上双馈风电机组开路故障的容错方法。首先,根据开路故障的位置特点给出不同的硬件重构方案。然后,针对转子侧变流器单相开路故障,优化故障后的三相四开关变频器调制信号,同时加入直流电压偏差,补偿故障引起的直流电容电压波动。仿真与实验结果表明,发生单相开路故障后,通过软、硬件容错技术可实现无冗余配置下的非备份式容错运行,提高机组的可用率。
展开更多
关键词
海上风电
双馈感应发电机
开路故障
硬件容错
软件容错
在线阅读
下载PDF
职称材料
一种基于格式化标签的可扩展控制流检测方法
被引量:
11
5
作者
徐建军
谭庆平
+1 位作者
李建立
李剑明
《计算机研究与发展》
EI
CSCD
北大核心
2011年第4期638-646,共9页
硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效...
硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.
展开更多
关键词
控制流检测
基本块标签
硬件瞬态故障
软件容错
故障注入
在线阅读
下载PDF
职称材料
错误流模型:硬件故障的软件传播建模与分析
被引量:
9
6
作者
杨学军
高珑
《软件学报》
EI
CSCD
北大核心
2007年第4期808-820,共13页
无论是可靠性工程还是软件可靠性中的可靠性模型,都难以描述硬件故障在程序中的传播问题.首先建立了计算数据流模型,并以无穷存储机器的指令集为例,说明可以为任意程序建立计算数据流图.在计算数据流模型的基础上,进一步建立了错误流模...
无论是可靠性工程还是软件可靠性中的可靠性模型,都难以描述硬件故障在程序中的传播问题.首先建立了计算数据流模型,并以无穷存储机器的指令集为例,说明可以为任意程序建立计算数据流图.在计算数据流模型的基础上,进一步建立了错误流模型.把计算过程中的错误分成物理错误和传播错误两种,通过分析这两种错误的本质和传播规律,给出了6条有关错误传播的规则和2条独立定律.根据这些规则和定律,能够计算出在程序运行过程中,任意时刻在任意位置上出现错误的概率.最后以一个简单的无穷存储机器程序为例,简要地展示了错误流模型描述硬件故障在程序中传播的能力.
展开更多
关键词
软件实现的硬件容错
可靠性
计算数据流模型
错误流模型
错误传播
在线阅读
下载PDF
职称材料
高效的部分冗余容错编译:复制错误流关键子图
被引量:
3
7
作者
高珑
王之元
杨学军
《软件学报》
EI
CSCD
北大核心
2007年第9期2105-2116,共12页
传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设...
传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设计了通过复制错误流关键子图实现部分冗余的算法.在保证有效容错能力的同时,部分冗余明显减小了经过容错编译的程序在存储空间和性能上的开销.实验显示,与复制全部错误流图的完全冗余相比,在结点覆盖率降低6.25%的情况下,部分冗余算法最多能够减少寄存器的使用数量6.25%,减少功耗超过17%,减少执行时间接近26%,同时提高性能超过22%.
展开更多
关键词
面向硬件故障的软件容错
错误流模型
关键子图
部分冗余
容错编译
在线阅读
下载PDF
职称材料
一种中间件服务容错配置管理方法
被引量:
4
8
作者
李军国
黄罡
+1 位作者
邹键
梅宏
《计算机学报》
EI
CSCD
北大核心
2007年第10期1696-1704,共9页
提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视...
提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视图;然后,操作运行时刻软件体系结构配置容错机制;最后利用AOP技术将容错机制插装到中间件中,使其具备指定的容错能力.上述过程在一个可视化工具的辅助下半自动实施,并在J2EE中间件上得到验证.
展开更多
关键词
中间件
可靠性
软件体系结构
软件容错
在线阅读
下载PDF
职称材料
软硬件协同设计的SEU故障注入技术研究
被引量:
4
9
作者
王晶
荣金叶
+3 位作者
周继芹
于航
申娇
张伟功
《电子学报》
EI
CAS
CSCD
北大核心
2018年第10期2534-2538,共5页
针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在寄存器传输级实现...
针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在寄存器传输级实现了通过软件生成故障并注入到硬件设计中的软硬件协同故障注入方案,避免了在硬件设计中修改代码生成故障破坏系统完整性的问题.基于Leon2内核的故障注入实验表明,本文设计的平台为处理器容错设计提供了一个自动化、非侵入、低开销的故障注入和可靠性评估方案.
展开更多
关键词
容错
故障注入
软硬件协同
单粒子翻转
微处理器
寄存器传输级
在线阅读
下载PDF
职称材料
高性能低功耗的容错编译技术:错误流压缩算法
被引量:
4
10
作者
高珑
杨学军
《软件学报》
EI
CSCD
北大核心
2006年第12期2425-2437,共13页
在许多关键应用中,计算机的高性能、低功耗和高可靠性是必须同时满足的要求.传统的软件容错技术频繁使用和比较分支指令检测错误,带来了巨大的性能和功耗的开销.提出了基于计算数据流模型的错误流模型,并设计了错误流压缩算法.在错误流...
在许多关键应用中,计算机的高性能、低功耗和高可靠性是必须同时满足的要求.传统的软件容错技术频繁使用和比较分支指令检测错误,带来了巨大的性能和功耗的开销.提出了基于计算数据流模型的错误流模型,并设计了错误流压缩算法.在错误流压缩算法中,利用附加计算压缩了错误流的直径,显著减少了分支指令的数量,而总指令数不变.针对StreamIT提供的快速傅立叶变换测试程序,采用Wattch对错误流压缩算法进行模拟测试.实验结果表明,当循环参数n=225时,与传统的EDDI算法相比,使用错误流压缩算法可减少分支指令24%以上,IPC提高超过12%,同时,功耗减少了将近5%.给出的推算表明在该实验中,如果内层循环体的存储指令数量为8,分支指令的减少可以达到43%以上.
展开更多
关键词
软件容错
COTS
错误流模型
错误流压缩算法
分支指令
高性能
低功耗
在线阅读
下载PDF
职称材料
TYJL-ECC容错区域计算机联锁控制系统的研究
被引量:
3
11
作者
谢保锋
卢佩玲
逄增文
《铁道学报》
EI
CAS
CSCD
北大核心
2003年第5期64-69,共6页
计算机联锁控制系统作为车站关键基础信号设备,不仅要具有高度的安全性、可靠性、实时性、可维护性、可用性等基本特性,还应有强大、快速的处理能力,丰富、方便、安全的接口设备,以适应高速铁路、快速客运专线、铁路信号一体化的发展趋...
计算机联锁控制系统作为车站关键基础信号设备,不仅要具有高度的安全性、可靠性、实时性、可维护性、可用性等基本特性,还应有强大、快速的处理能力,丰富、方便、安全的接口设备,以适应高速铁路、快速客运专线、铁路信号一体化的发展趋势。本文介绍了满足这些要求的"TYJL_ECC容错区域计算机联锁控制系统"硬件、软件体系结构,分析了其构成和特性。
展开更多
关键词
铁路信号
计算机联锁
容错
区域控制
硬件和软件体系结构
在线阅读
下载PDF
职称材料
容错技术在火控计算机中的应用
被引量:
3
12
作者
宁新建
《航空兵器》
2005年第1期37-39,36,共4页
根据可靠性原理和容错技术, 分析了容错技术在火控系统中的应用, 并用实际火控系统: 飞机军械检测系统、平显自检系统, 分别分析了故障检测技术、屏蔽技术和动态冗余技术, 最后对火控计算机实现容错式硬件和容错软件进行了分析和研究。
关键词
容错技术
可靠性
冗余资源
火控计算机
故障检测
在线阅读
下载PDF
职称材料
基于签名的控制流错误检测算法检测能力的验证模型
13
作者
吴艳霞
顾国昌
+2 位作者
戴葵
沈晶
刘海波
《宇航学报》
EI
CAS
CSCD
北大核心
2010年第12期2776-2783,共8页
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流...
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
展开更多
关键词
可靠性
软件实现的硬件故障容错
控制流错误检测算法
验证模型
在线阅读
下载PDF
职称材料
网络系统中的容错设计
14
作者
唐贵平
朱树人
+1 位作者
孔凡志
陈新全
《长沙电力学院学报(自然科学版)》
2003年第4期26-29,共4页
较全面地分析了网络系统中的容错设计的问题,提出了一系列有效提高系统容错能力的硬件措施与软件措施.
关键词
网络设计
容错
软件
硬件
网络适配卡
路由器
服务器
在线阅读
下载PDF
职称材料
拖拉机安全控制器容错技术的研究与实现
15
作者
张明明
郭富强
+1 位作者
阳俊
谭俊杰
《拖拉机与农用运输车》
2019年第3期20-22,共3页
在拖拉机安全控制器设计开发的基础上,针对开关信号抖动及CAN总线信号异常的情况进行深入分析,研究相应的容错处理技术并通过软硬件设计予以实现,以提升拖拉机安全控制器运行的稳定性及可靠性。
关键词
拖拉机安全控制器
开关信号抖动
CAN总线信号异常
容错处理技术
软硬件设计
在线阅读
下载PDF
职称材料
基于软件故障注入的容错性能评测技术
被引量:
7
16
作者
谭玲
曲峰
+1 位作者
董剑
杨孝宗
《计算机工程与科学》
CSCD
2005年第11期90-92,共3页
软件故障注入是评测复杂的分布式、网络等容错系统的重要手段,可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验,分析了软件故障注入工具及其故障注入方法,并提出基于Windows 2000系统的双机网络容错系...
软件故障注入是评测复杂的分布式、网络等容错系统的重要手段,可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验,分析了软件故障注入工具及其故障注入方法,并提出基于Windows 2000系统的双机网络容错系统评测方法。
展开更多
关键词
容错
软件故障注入
评测
在线阅读
下载PDF
职称材料
题名
永磁同步电机及其驱动系统故障处理与容错机制研究综述
被引量:
17
1
作者
魏书荣
黄苏融
符杨
张琪
高瑾
机构
上海大学机电工程与自动化学院
上海电力学院电气工程学院
出处
《电力自动化设备》
EI
CSCD
北大核心
2016年第10期100-107,共8页
基金
国家高技术研究发展计划(863计划)资助项目(2015-BAG03B01)~~
文摘
将以安全、可靠、耐久为导向的永磁同步电机(PMSM)电驱动系统的容错运行研究分为4个层次:容错能力的评估指标和方法;故障辨识与预警;容错系统的软件技术,通过容错控制深入挖掘现有系统的容错潜力;容错系统的硬件技术,重构PMSM电驱动系统的硬件结构以实现容错。从以上4个方面对PMSM及其驱动系统容错运行研究中的热点问题进行探讨,并指出目前面临的主要挑战及今后的发展方向,为构建高耐久的PMSM电驱动系统提供有益参考。
关键词
永磁同步电机
驱动系统
评估指标
软件容错
硬件容错
Keywords
PMSM
driving system
evaluation index
software
fault
-
tolerance
hardware
fault
-
tolerance
分类号
TM351 [电气工程—电机]
在线阅读
下载PDF
职称材料
题名
海上风电机组故障容错运行研究现状分析
被引量:
25
2
作者
魏书荣
何之倬
符杨
黄苏融
张路
机构
上海大学机电工程与自动化学院
上海电力学院电气工程学院
出处
《电力系统保护与控制》
EI
CSCD
北大核心
2016年第9期145-154,共10页
基金
国家自然科学基金资助项目(51177098)
上海市绿色能源并网工程技术研究中心(13DZ2251900)
上海市科委科技创新项目(14DZ1200905)~~
文摘
海上风电场可及性差,运行条件恶劣。风电机组故障率高,故障修复时间长且维护困难,一旦故障停运,经济损失巨大。统计并对比分析海上风电机组和陆上风电机组的历史运行数据,归纳海上风电机组关键部件的故障特点,分析风力发电机组常见的电气类故障及其对系统的影响。分别从软件容错、硬件容错两个方面总结现有海上风电机组容错运行的研究现状,归纳目前海上风电机组的容错方案,分析现有容错方案的应用可行性。进一步指出现阶段海上风电机组故障容错存在的主要问题,并对将来的研究热点进行了展望。
关键词
海上风电
海上风电机组
电气故障
硬件容错
软件容错
Keywords
offshore wind power
offshore wind turbines
electrical
fault
hardware
fault
-
tolerance
software
fault
-
tolerance
分类号
TM614 [电气工程—电力系统及自动化]
在线阅读
下载PDF
职称材料
题名
计算机系统容错技术研究
被引量:
26
3
作者
陆阳
王强
张本宏
诸葛战斌
机构
合肥工业大学计算机与信息学院
合肥工大高科信息技术有限责任公司
出处
《计算机工程》
CAS
CSCD
北大核心
2010年第13期230-235,共6页
基金
国家自然科学基金资助项目(60873195)
安徽省自然科学基金资助项目(070412049)
文摘
针对计算机系统中软、硬件可靠性问题的不同特点,讨论容错技术的最新发展现状,分析计算机系统中的各种容错方法,包括传统的冗余设计、错误回卷恢复机制以及当前研究较多的一般化容错设计方法等,研究目前已有的一些容错方法在反应延迟、容错成本、精确量化、异构同步、可靠性建模等方面存在的缺陷以及待解决关键问题,并对如何进一步更好地完善和使用这些容错方法进行总结。
关键词
计算机系统
容错
冗余
软件错误
硬件错误
Keywords
computer system
fault
-
tolerance
redundancy
software
error
hardware
error
分类号
TP303 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
海上双馈风电机组开路故障容错重构技术
被引量:
11
4
作者
魏书荣
何之倬
黄苏融
符杨
王健
机构
上海电力学院电气工程学院
上海大学机电工程与自动化学院
出处
《电力系统自动化》
EI
CSCD
北大核心
2016年第16期83-89,共7页
基金
上海市科委科技创新项目(16DZ1203504)~~
文摘
为了降低海上风电场的度电成本,避免可及性差导致的维护困难,提出一种海上双馈风电机组开路故障的容错方法。首先,根据开路故障的位置特点给出不同的硬件重构方案。然后,针对转子侧变流器单相开路故障,优化故障后的三相四开关变频器调制信号,同时加入直流电压偏差,补偿故障引起的直流电容电压波动。仿真与实验结果表明,发生单相开路故障后,通过软、硬件容错技术可实现无冗余配置下的非备份式容错运行,提高机组的可用率。
关键词
海上风电
双馈感应发电机
开路故障
硬件容错
软件容错
Keywords
offshore wind power
doubly-fed induction generator ( DFIG )
open-circuit
fault
hardware
fault
tolerance
software
fault
tolerance
分类号
TM315 [电气工程—电机]
TM307 [电气工程—电机]
在线阅读
下载PDF
职称材料
题名
一种基于格式化标签的可扩展控制流检测方法
被引量:
11
5
作者
徐建军
谭庆平
李建立
李剑明
机构
国防科学技术大学计算机学院
出处
《计算机研究与发展》
EI
CSCD
北大核心
2011年第4期638-646,共9页
文摘
硬件瞬态故障是运行于高辐照宇宙环境下的航天计算机面临的最主要挑战之一.其中,控制流错误是这种故障影响系统可靠性的重要体现.首先在程序控制流图的基础上,利用图着色算法对基本块进行分类,然后基于基本块的格式化标签提出一种有效的控制流检测方法ECCFS,并针对基本块内部和过程间两个控制流检测问题分别给出其扩展解决方法.检测效能分析和故障注入实验的结果都表明,除了伪分支和几个边界检测盲点之外,ECCFS能够检测出绝大部分的控制流错误.与两个有代表性的控制流检测方法相比较,ECCFS在错误检测率和性能开销等方面都具有一定的优势.
关键词
控制流检测
基本块标签
硬件瞬态故障
软件容错
故障注入
Keywords
control flow checking
basic block signature
hardware
transient
fault
software
fault
tolerance
fault
injection
分类号
TP306.3 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
错误流模型:硬件故障的软件传播建模与分析
被引量:
9
6
作者
杨学军
高珑
机构
国防科学技术大学计算机学院
出处
《软件学报》
EI
CSCD
北大核心
2007年第4期808-820,共13页
基金
SupportedbytheNationalNaturalScienceFoundationofChina
theNationalScienceFundforDistinguishedYoungScholarsofChinaunderGrantNo.60621003(国家自然科学基金创新研究群体)
文摘
无论是可靠性工程还是软件可靠性中的可靠性模型,都难以描述硬件故障在程序中的传播问题.首先建立了计算数据流模型,并以无穷存储机器的指令集为例,说明可以为任意程序建立计算数据流图.在计算数据流模型的基础上,进一步建立了错误流模型.把计算过程中的错误分成物理错误和传播错误两种,通过分析这两种错误的本质和传播规律,给出了6条有关错误传播的规则和2条独立定律.根据这些规则和定律,能够计算出在程序运行过程中,任意时刻在任意位置上出现错误的概率.最后以一个简单的无穷存储机器程序为例,简要地展示了错误流模型描述硬件故障在程序中传播的能力.
关键词
软件实现的硬件容错
可靠性
计算数据流模型
错误流模型
错误传播
Keywords
sihft
(software
implemented
hardware
fault
tolerance)
reliability
computational data flow model
error flow model
error propagation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
高效的部分冗余容错编译:复制错误流关键子图
被引量:
3
7
作者
高珑
王之元
杨学军
机构
国防科学技术大学计算机学院
出处
《软件学报》
EI
CSCD
北大核心
2007年第9期2105-2116,共12页
基金
Supported by the National Natural Science Foundation of China under Grant No.60621003(国家自然科学基金)
文摘
传统的容错编译通常复制所有的计算并且使用完全冗余的存储单元来保证容错.这种完全冗余在存储空间和性能上的开销都是相当大的.在错误流分析的基础上提出错误流图的关键子图的概念以及通过关键结点和关键路径生成关键子图的方法,并设计了通过复制错误流关键子图实现部分冗余的算法.在保证有效容错能力的同时,部分冗余明显减小了经过容错编译的程序在存储空间和性能上的开销.实验显示,与复制全部错误流图的完全冗余相比,在结点覆盖率降低6.25%的情况下,部分冗余算法最多能够减少寄存器的使用数量6.25%,减少功耗超过17%,减少执行时间接近26%,同时提高性能超过22%.
关键词
面向硬件故障的软件容错
错误流模型
关键子图
部分冗余
容错编译
Keywords
sihft(software implemented hardware fault tolerance)
error flow mode
critical subgraph
partialredundancy
fault
tolerance
compilation
分类号
TP314 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
一种中间件服务容错配置管理方法
被引量:
4
8
作者
李军国
黄罡
邹键
梅宏
机构
北京大学信息科学技术学院软件研究所高可信软件技术教育部重点实验室
出处
《计算机学报》
EI
CSCD
北大核心
2007年第10期1696-1704,共9页
基金
国家"九七三"重点基础研究发展规划项目基金(2005CB321805)
国家自然科学基金重点项目(90612011
+1 种基金
90412011
60403030)资助.~~
文摘
提出一种基于运行时刻软件体系结构的容错管理方法,支持开发者和管理员针对不同中间件服务失效定制合适的故障检测和修复机制.首先,运行时刻软件体系结构自动构造构件依赖视图和错误传播①视图,为理解和分析整个系统的可靠性提供全局视图;然后,操作运行时刻软件体系结构配置容错机制;最后利用AOP技术将容错机制插装到中间件中,使其具备指定的容错能力.上述过程在一个可视化工具的辅助下半自动实施,并在J2EE中间件上得到验证.
关键词
中间件
可靠性
软件体系结构
软件容错
Keywords
middleware
reliability
software
architecture
software
implemented
fault
tolerance
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
软硬件协同设计的SEU故障注入技术研究
被引量:
4
9
作者
王晶
荣金叶
周继芹
于航
申娇
张伟功
机构
首都师范大学信息工程学院
北京微电子技术研究所
首都师范大学电子系统可靠性技术北京市重点实验室
出处
《电子学报》
EI
CAS
CSCD
北大核心
2018年第10期2534-2538,共5页
基金
国防973项目
国家自然科学基金(No.61772350
+7 种基金
No.61472260
No.61741211)
北京市高水平教师队伍建设计划(No.CIT&TCD201704082
No.CIT&TCD20170322)
体系结构国家重点实验室开放课题(No.CARCH201607)
北京市科技新星计划(No.XX2018081)
深圳市科技计划项目(No.JCYJ20150529164656096
No.JCYJ20170302153955969)
文摘
针对现有容错计算机故障注入方法缺乏对空间环境中频发的单粒子故障模型的支持,本文提出了一种利用背板技术的软硬件协同仿真与故障注入技术,分别针对寄存器部件和存储器部件的特性,设计了多位错误的单粒子故障模型,在寄存器传输级实现了通过软件生成故障并注入到硬件设计中的软硬件协同故障注入方案,避免了在硬件设计中修改代码生成故障破坏系统完整性的问题.基于Leon2内核的故障注入实验表明,本文设计的平台为处理器容错设计提供了一个自动化、非侵入、低开销的故障注入和可靠性评估方案.
关键词
容错
故障注入
软硬件协同
单粒子翻转
微处理器
寄存器传输级
Keywords
fault
-
toler
ant
fault
injection
software
-
hardware
co-design
single event upset
microprocessor
RTL
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
高性能低功耗的容错编译技术:错误流压缩算法
被引量:
4
10
作者
高珑
杨学军
机构
国防科学技术大学计算机学院
出处
《软件学报》
EI
CSCD
北大核心
2006年第12期2425-2437,共13页
基金
国家高技术研究发展计划(863)No.2002AA1Z2101~~
文摘
在许多关键应用中,计算机的高性能、低功耗和高可靠性是必须同时满足的要求.传统的软件容错技术频繁使用和比较分支指令检测错误,带来了巨大的性能和功耗的开销.提出了基于计算数据流模型的错误流模型,并设计了错误流压缩算法.在错误流压缩算法中,利用附加计算压缩了错误流的直径,显著减少了分支指令的数量,而总指令数不变.针对StreamIT提供的快速傅立叶变换测试程序,采用Wattch对错误流压缩算法进行模拟测试.实验结果表明,当循环参数n=225时,与传统的EDDI算法相比,使用错误流压缩算法可减少分支指令24%以上,IPC提高超过12%,同时,功耗减少了将近5%.给出的推算表明在该实验中,如果内层循环体的存储指令数量为8,分支指令的减少可以达到43%以上.
关键词
软件容错
COTS
错误流模型
错误流压缩算法
分支指令
高性能
低功耗
Keywords
sihft
(software
implemented
hardware
fault
tolerance)
COTS
error flow model
error flow compressing algorithm
branch instruction
high performance
low power dissipation
分类号
TP31 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
TYJL-ECC容错区域计算机联锁控制系统的研究
被引量:
3
11
作者
谢保锋
卢佩玲
逄增文
机构
铁道科学研究院通信信号研究所
出处
《铁道学报》
EI
CAS
CSCD
北大核心
2003年第5期64-69,共6页
基金
铁道部科技研究开发项目(2001X18)"区域控制车站联锁系统关键技术的研究
文摘
计算机联锁控制系统作为车站关键基础信号设备,不仅要具有高度的安全性、可靠性、实时性、可维护性、可用性等基本特性,还应有强大、快速的处理能力,丰富、方便、安全的接口设备,以适应高速铁路、快速客运专线、铁路信号一体化的发展趋势。本文介绍了满足这些要求的"TYJL_ECC容错区域计算机联锁控制系统"硬件、软件体系结构,分析了其构成和特性。
关键词
铁路信号
计算机联锁
容错
区域控制
硬件和软件体系结构
Keywords
railway signaling
CICS
fault
-
toler
ant
region control
hardware
and
software
structures
分类号
U284 [交通运输工程—交通信息工程及控制]
在线阅读
下载PDF
职称材料
题名
容错技术在火控计算机中的应用
被引量:
3
12
作者
宁新建
机构
空军第一航空学院
出处
《航空兵器》
2005年第1期37-39,36,共4页
文摘
根据可靠性原理和容错技术, 分析了容错技术在火控系统中的应用, 并用实际火控系统: 飞机军械检测系统、平显自检系统, 分别分析了故障检测技术、屏蔽技术和动态冗余技术, 最后对火控计算机实现容错式硬件和容错软件进行了分析和研究。
关键词
容错技术
可靠性
冗余资源
火控计算机
故障检测
Keywords
fault
-
toler
ant technique
reliability
redundancy resource
fault
-
toler
ant
hardware
and
software
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
基于签名的控制流错误检测算法检测能力的验证模型
13
作者
吴艳霞
顾国昌
戴葵
沈晶
刘海波
机构
哈尔滨工程大学计算机科学与技术学院
华中科技大学电子科学与技术系
出处
《宇航学报》
EI
CAS
CSCD
北大核心
2010年第12期2776-2783,共8页
基金
国家自然科学基金项目(60973035)
中央高校基本科研业务费专项资金资助项目(HEUCF100606
+1 种基金
HEUCF100604
C2009Z028J)
文摘
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
关键词
可靠性
软件实现的硬件故障容错
控制流错误检测算法
验证模型
Keywords
Reliability
sihft(software implemented hardware fault tolerance)
Control flow error checking algorithm
Verification model
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
网络系统中的容错设计
14
作者
唐贵平
朱树人
孔凡志
陈新全
机构
长沙理工大学计算机与通信工程学院
出处
《长沙电力学院学报(自然科学版)》
2003年第4期26-29,共4页
文摘
较全面地分析了网络系统中的容错设计的问题,提出了一系列有效提高系统容错能力的硬件措施与软件措施.
关键词
网络设计
容错
软件
硬件
网络适配卡
路由器
服务器
Keywords
fault
-
tolerance
network
hardware
software
分类号
TP393.02 [自动化与计算机技术—计算机应用技术]
在线阅读
下载PDF
职称材料
题名
拖拉机安全控制器容错技术的研究与实现
15
作者
张明明
郭富强
阳俊
谭俊杰
机构
拖拉机动力系统国家重点实验室洛阳拖拉机研究所有限公司
出处
《拖拉机与农用运输车》
2019年第3期20-22,共3页
文摘
在拖拉机安全控制器设计开发的基础上,针对开关信号抖动及CAN总线信号异常的情况进行深入分析,研究相应的容错处理技术并通过软硬件设计予以实现,以提升拖拉机安全控制器运行的稳定性及可靠性。
关键词
拖拉机安全控制器
开关信号抖动
CAN总线信号异常
容错处理技术
软硬件设计
Keywords
Tractor safety controller
Switch signal jitter
Abnormal CAN bus signal
fault
-
toler
ant processing technology
hardware
and
software
design
分类号
TP274 [自动化与计算机技术—检测技术与自动化装置]
S219 [农业科学—农业机械化工程]
在线阅读
下载PDF
职称材料
题名
基于软件故障注入的容错性能评测技术
被引量:
7
16
作者
谭玲
曲峰
董剑
杨孝宗
机构
哈尔滨工业大学
出处
《计算机工程与科学》
CSCD
2005年第11期90-92,共3页
基金
国防"十五"预言项目(41316.1.2)
文摘
软件故障注入是评测复杂的分布式、网络等容错系统的重要手段,可以按照故障注入触发时间、故障注入触发方法分类。本文比较了目前的故障注入实验,分析了软件故障注入工具及其故障注入方法,并提出基于Windows 2000系统的双机网络容错系统评测方法。
关键词
容错
软件故障注入
评测
Keywords
fault
-
toler
ant
software
-
implemented
fault
injection
evaluation
分类号
TP302.8 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
永磁同步电机及其驱动系统故障处理与容错机制研究综述
魏书荣
黄苏融
符杨
张琪
高瑾
《电力自动化设备》
EI
CSCD
北大核心
2016
17
在线阅读
下载PDF
职称材料
2
海上风电机组故障容错运行研究现状分析
魏书荣
何之倬
符杨
黄苏融
张路
《电力系统保护与控制》
EI
CSCD
北大核心
2016
25
在线阅读
下载PDF
职称材料
3
计算机系统容错技术研究
陆阳
王强
张本宏
诸葛战斌
《计算机工程》
CAS
CSCD
北大核心
2010
26
在线阅读
下载PDF
职称材料
4
海上双馈风电机组开路故障容错重构技术
魏书荣
何之倬
黄苏融
符杨
王健
《电力系统自动化》
EI
CSCD
北大核心
2016
11
在线阅读
下载PDF
职称材料
5
一种基于格式化标签的可扩展控制流检测方法
徐建军
谭庆平
李建立
李剑明
《计算机研究与发展》
EI
CSCD
北大核心
2011
11
在线阅读
下载PDF
职称材料
6
错误流模型:硬件故障的软件传播建模与分析
杨学军
高珑
《软件学报》
EI
CSCD
北大核心
2007
9
在线阅读
下载PDF
职称材料
7
高效的部分冗余容错编译:复制错误流关键子图
高珑
王之元
杨学军
《软件学报》
EI
CSCD
北大核心
2007
3
在线阅读
下载PDF
职称材料
8
一种中间件服务容错配置管理方法
李军国
黄罡
邹键
梅宏
《计算机学报》
EI
CSCD
北大核心
2007
4
在线阅读
下载PDF
职称材料
9
软硬件协同设计的SEU故障注入技术研究
王晶
荣金叶
周继芹
于航
申娇
张伟功
《电子学报》
EI
CAS
CSCD
北大核心
2018
4
在线阅读
下载PDF
职称材料
10
高性能低功耗的容错编译技术:错误流压缩算法
高珑
杨学军
《软件学报》
EI
CSCD
北大核心
2006
4
在线阅读
下载PDF
职称材料
11
TYJL-ECC容错区域计算机联锁控制系统的研究
谢保锋
卢佩玲
逄增文
《铁道学报》
EI
CAS
CSCD
北大核心
2003
3
在线阅读
下载PDF
职称材料
12
容错技术在火控计算机中的应用
宁新建
《航空兵器》
2005
3
在线阅读
下载PDF
职称材料
13
基于签名的控制流错误检测算法检测能力的验证模型
吴艳霞
顾国昌
戴葵
沈晶
刘海波
《宇航学报》
EI
CAS
CSCD
北大核心
2010
0
在线阅读
下载PDF
职称材料
14
网络系统中的容错设计
唐贵平
朱树人
孔凡志
陈新全
《长沙电力学院学报(自然科学版)》
2003
0
在线阅读
下载PDF
职称材料
15
拖拉机安全控制器容错技术的研究与实现
张明明
郭富强
阳俊
谭俊杰
《拖拉机与农用运输车》
2019
0
在线阅读
下载PDF
职称材料
16
基于软件故障注入的容错性能评测技术
谭玲
曲峰
董剑
杨孝宗
《计算机工程与科学》
CSCD
2005
7
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部