-
题名错误流模型:硬件故障的软件传播建模与分析
被引量:9
- 1
-
-
作者
杨学军
高珑
-
机构
国防科学技术大学计算机学院
-
出处
《软件学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名海上风电机组故障容错运行研究现状分析
被引量: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
[电气工程—电力系统及自动化]
-
-
题名海上双馈风电机组开路故障容错重构技术
被引量:11
- 3
-
-
作者
魏书荣
何之倬
黄苏融
符杨
王健
-
机构
上海电力学院电气工程学院
上海大学机电工程与自动化学院
-
出处
《电力系统自动化》
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
[电气工程—电机]
-
-
题名高效的部分冗余容错编译:复制错误流关键子图
被引量:3
- 4
-
-
作者
高珑
王之元
杨学军
-
机构
国防科学技术大学计算机学院
-
出处
《软件学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名基于签名的控制流错误检测算法检测能力的验证模型
- 5
-
-
作者
吴艳霞
顾国昌
戴葵
沈晶
刘海波
-
机构
哈尔滨工程大学计算机科学与技术学院
华中科技大学电子科学与技术系
-
出处
《宇航学报》
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
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种基于格式化标签的可扩展控制流检测方法
被引量:11
- 6
-
-
作者
徐建军
谭庆平
李建立
李剑明
-
机构
国防科学技术大学计算机学院
-
出处
《计算机研究与发展》
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
[自动化与计算机技术—计算机系统结构]
-