-
题名一种针对软错误的程序可靠性定量分析方法
被引量：6
- 1
-
-
作者
徐建军
谭庆平
熊磊
叶俊
-
机构
国防科学技术大学计算机学院
-
出处
《电子学报》
EI
CAS
CSCD
北大核心
2011年第3期675-679,共5页
-
文摘
宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,提出一种针对软错误的程序可靠性定量分析方法PRASE,并且提出基本块分析法和3条运算定律以改进其分析效率.实验表明软错误对程序可靠性的影响与程序自身结构密切相关,同时分析结果还指出在软错误影响下程序的关键脆弱点,对实现针对软错误的高效容错算法有参考意义.
-
关键词
软错误
单粒子翻转
程序可靠性分析
错误传播
-
Keywords
soft error
single event upset
program reliability analysis
error propagation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名考虑土层性质的基坑土钉支护整体稳定可靠性分析
被引量：5
- 2
-
-
作者
祝方才
阎颜
-
机构
株洲工学院
长城铝业公司建设公司
-
出处
《地质与勘探》
CAS
CSCD
北大核心
2003年第4期78-80,共3页
-
文摘
详细研究了在考虑土层性质差异的情况下基坑土钉支护的整体稳定可靠性分析方法,基于Monte-Carlo模拟方法开发了相应的可靠性分析程序,并结合工程实例进行了具体分析。研究表明,相对顶部土层来说,土钉支护整体稳定可靠性对底部土层抗剪强度参数变异性较为敏感,因此当基坑存在不同性质土层时,必须考虑土层性质差异对基坑稳定可靠性的影响。
-
关键词
土层性质
基坑
土钉支护
可靠性分析程序
整体稳定
抗剪强度参数
变异性
-
Keywords
foundation, soil-nail support, reliability
-
分类号
TU432
[建筑科学—岩土工程]
TU94
[建筑科学—建筑技术科学]
-
