期刊文献+
共找到19篇文章
< 1 >
每页显示 20 50 100
一种针对软错误的程序可靠性定量分析方法 被引量:6
1
作者 徐建军 谭庆平 +1 位作者 熊磊 叶俊 《电子学报》 EI CAS CSCD 北大核心 2011年第3期675-679,共5页
宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,... 宇宙射线辐射所导致的软错误是航天计算面临的最主要挑战之一.而随着集成电路制造工艺的持续进步,现代处理器的计算可信性日益面临着软错误的严重威胁.当前,很少有研究从软件角度分析软错误对系统可靠性的影响.在程序汇编代码的基础上,提出一种针对软错误的程序可靠性定量分析方法PRASE,并且提出基本块分析法和3条运算定律以改进其分析效率.实验表明软错误对程序可靠性的影响与程序自身结构密切相关,同时分析结果还指出在软错误影响下程序的关键脆弱点,对实现针对软错误的高效容错算法有参考意义. 展开更多
关键词 软错误 单粒子翻转 程序可靠性分析 错误传播
下载PDF
寄存器软错误对程序可靠性影响的静态分析
2
作者 徐建军 谭庆平 《计算机科学》 CSCD 北大核心 2011年第1期290-294,F0003,共6页
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响程序可靠性的关键因素之一。基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静... 继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题。其中,由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响程序可靠性的关键因素之一。基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法。首先通过数据流分析技术提取所有可能影响程序执行的寄存器活跃区间,然后基于活跃区间的路径表达式分析其执行时间和出现频率,最后在此基础上计算在寄存器软错误影响下的程序可靠性。实验表明,该方法的分析结果与AVF分析法保持一致,同时其结果还指出相关的寄存器活跃区间的执行时间和出现频率,这为实现针对寄存器软错误的高效容错方法提供了依据。 展开更多
关键词 软错误 寄存器 程序可靠性 程序分析
下载PDF
SMC焊点形态预测与可靠性分析程序的接口
3
作者 赵秀娟 王春青 +1 位作者 郑冠群 杨士勤 《电子工艺技术》 2000年第3期101-103,共3页
在SMT焊点三维形态预测结果的基础上 ,生成了分析焊点力学性能的三维实体模型 ,设计了自动接合焊点形态预测与可靠性分析的接口程序。
关键词 接口 焊点形态预测 可靠性分析程序 SMC
下载PDF
基于环型复杂度的一种判断程序可靠性的统计方法
4
作者 蔡民 《计算机工程与应用》 CSCD 北大核心 2003年第5期82-85,共4页
软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法。在此基础上,建立起一个软件可靠性模型。最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型... 软件的可靠性是软件质量的一个重要技术指标。该文采用软件蓝图描述软件结构,进而给出了基于程序图的环型复杂度的计算方法。在此基础上,建立起一个软件可靠性模型。最后通过一个例子说明了如何应用这个模型,通过潜在错误的检测和环型复杂度的计算,对软件的可靠性作出预测。 展开更多
关键词 环型复杂率 统计方法 软件蓝图 可靠性模型 软件质量 程序可靠性
下载PDF
利用FoxPro中DEBUG和TRACE提高程序的可靠性
5
作者 马群 《电脑技术信息》 1996年第10期40-42,共3页
关键词 程序可靠性 DEBUG TRACE FOXPRO
下载PDF
提高程序可靠性的若干方法
6
作者 王天中 余存鹤 《信息系统工程》 1992年第3期61-63,共3页
关键词 程序设计 程序可靠性
下载PDF
一种计算具有不可靠结点分布式计算网络可靠性的算法 被引量:4
7
作者 孙艳蕊 张祥德 《通信学报》 EI CSCD 北大核心 2002年第9期22-28,共7页
提出了几个保持可靠性不变的缩减,结合这些缩减,利用因子分解公式建立了一个计算具有不可靠结点的分布式计算网络分布程序可靠性的有效算法,算法的时间复杂性是O(N·(V+E)),并对一些网络在Pentium 120 计算机上作了计算,结果显示用... 提出了几个保持可靠性不变的缩减,结合这些缩减,利用因子分解公式建立了一个计算具有不可靠结点的分布式计算网络分布程序可靠性的有效算法,算法的时间复杂性是O(N·(V+E)),并对一些网络在Pentium 120 计算机上作了计算,结果显示用本文算法计算DPR所产生的N和所用时间比其它算法的要小得多。 展开更多
关键词 分布式计算网络 可靠结点 分布程序可靠性 算法 因子分解公式
下载PDF
考虑土层性质的基坑土钉支护整体稳定可靠性分析 被引量:5
8
作者 祝方才 阎颜 《地质与勘探》 CAS CSCD 北大核心 2003年第4期78-80,共3页
详细研究了在考虑土层性质差异的情况下基坑土钉支护的整体稳定可靠性分析方法,基于Monte-Carlo模拟方法开发了相应的可靠性分析程序,并结合工程实例进行了具体分析。研究表明,相对顶部土层来说,土钉支护整体稳定可靠性对底部土层抗剪... 详细研究了在考虑土层性质差异的情况下基坑土钉支护的整体稳定可靠性分析方法,基于Monte-Carlo模拟方法开发了相应的可靠性分析程序,并结合工程实例进行了具体分析。研究表明,相对顶部土层来说,土钉支护整体稳定可靠性对底部土层抗剪强度参数变异性较为敏感,因此当基坑存在不同性质土层时,必须考虑土层性质差异对基坑稳定可靠性的影响。 展开更多
关键词 土层性质 基坑 土钉支护 可靠性分析程序 整体稳定 抗剪强度参数 变异性
下载PDF
软件可靠性讨论
9
作者 金茂顺 周舜华 《计算机工程与设计》 CSCD 北大核心 1992年第6期3-7,共5页
本文主要讨论软件可靠性模型及其理论的某些缺陷,并扼要地介绍了一些常用的软件可靠性技术,给出了提高软件可靠性的若干实用方法或措施。
关键词 软件 计算机程序可靠性 可靠性研究
下载PDF
坦克电台可靠性现状及其指标论证程序探讨
10
作者 钱世尧 《装甲兵工程学院学报》 1997年第3期59-63,共5页
从XX坦克电台使用可靠性的现状出发,在理论与实际的结合上,论述了装备可靠性指标论证工作中某些亟待解决的问题.结合军工企业的现有条件和可靠性工作开展的实际情况,提出了装甲车载通信——电子装备可靠性指标论证工作的基本程序及其要点.
关键词 使用可靠性 可靠性指标论证程序 综合环境试验
原文传递
电算化会计系统的程序可靠性审计
11
作者 唐清亮 《外国经济与管理》 1985年第7期34-36,共3页
电算化审计最困难的任务之一是计算机程序的审计。要完成这个任务,首先要对程序控制功能的可靠性进行测试。测试会计系统内部控制功能的可靠性,称为符合性测试(Compliance Testing)。本文拟对计算机程序进行符合性测试的三种方法作一评介。
关键词 程序控制功能 计算机程序 程序可靠性 三种方法 数据处理 计算机编制 测试数据 输出结果 处理结果 输入数据
原文传递
面向软错误的寄存器活跃区间分析 被引量:1
12
作者 徐建军 谭庆平 叶俊 《小型微型计算机系统》 CSCD 北大核心 2012年第1期83-89,共7页
继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方... 继性能和功耗问题之后,软错误导致的计算可信性已成为一个日益严峻的课题.由于寄存器访问频繁却未能被良好保护,发生在其中的软错误成为影响系统可靠性的关键因素之一.基于程序汇编代码,提出一种针对寄存器软错误的程序可靠性静态分析方法.首先通过数据流分析技术提取出可能影响程序执行的寄存器活跃区间,然后基于构成活跃区间的基本块集合计算其有效体系结构易感位数,在此基础上可定量计算寄存器软错误影响下的程序可靠性.基于MiBench基准程序的实验表明,该方法的分析结果与AVF分析法保持一致,同时还指出了寄存器相关活跃区间的关键程度,这为实现针对寄存器软错误的高效容错方法提供了依据. 展开更多
关键词 软错误 寄存器 程序可靠性 数据流分析 过程间分析
下载PDF
反编译在航天工业中的应用 被引量:1
13
作者 赵蕾 吴岩 王开铸 《宇航学报》 EI CAS CSCD 北大核心 1998年第3期97-102,共6页
本文论述了反编译作为一种程序验证的工具在航天工业中的重要地位和应用;介绍了反编译的背景知识;给出一个实用的反编译系统DCPL的设计模型和关键技术及其一个运行结果示例以说明反编译器的功能。
关键词 反编译 软件工具 程序验证 程序可靠性 航天
下载PDF
审计证据
14
作者 任咏恒 《财会月刊》 1996年第2期37-38,共2页
第3号国际审计标准规定:“审计师应该通过履行符合性与实质性程序来获得充分适当的证据,以使他能够从中得出合理的结论,并以此为根据对财务信息提出意见。符合性程序是为了合理确认审计所信赖的内部控制内在有效运行而设计的测试。实质... 第3号国际审计标准规定:“审计师应该通过履行符合性与实质性程序来获得充分适当的证据,以使他能够从中得出合理的结论,并以此为根据对财务信息提出意见。符合性程序是为了合理确认审计所信赖的内部控制内在有效运行而设计的测试。实质性程序是为了证明会计制度所产生的数据的完整、精确和有效而设计的测试。实质性程序有两种类型:①交易和余额细节的测试;②重要的比率和趋势分析,包括由此引起的对异常波动和异常项目的调查。”为了进一步阐述这一基本准则,国际审计实务委员会于1982年元月颁布了第7号国际审计标准《审计证据》。 展开更多
关键词 审计证据的相关性 审计师 内部控制 外部证据 财务信息 符合性 审计标准 内部证据 审计实务 可靠性程序
下载PDF
基于Java的嵌入式软件在电子设备中的应用研究
15
作者 肖波 陈正学 《电脑开发与应用》 2008年第8期63-65,共3页
编写的目的在于探讨Java是否能用于嵌入式系统,因为Java本身的跨平台性具有很大的优点。首先,介绍了Java,探讨了它的优、缺点,然后,着重研究了Java在嵌入式电子设备中的应用。最后,还为Java在嵌入式环境下提供了一个实施模型。此模型充... 编写的目的在于探讨Java是否能用于嵌入式系统,因为Java本身的跨平台性具有很大的优点。首先,介绍了Java,探讨了它的优、缺点,然后,着重研究了Java在嵌入式电子设备中的应用。最后,还为Java在嵌入式环境下提供了一个实施模型。此模型充分利用了Java的优点,完整保持了设备的高度可靠性和重要的传输特性。结论是:如果实施正确,Java对嵌入式设备来说是很有意义的。 展开更多
关键词 JAVA 嵌入式系统 JVM 程序运行环境 实时响应 程序大小 程序可靠性
下载PDF
白车身焊装线机器人控制方法
16
作者 刘春利 《现代零部件》 2010年第2期28-29,共2页
随着国内汽车行业的日益发展和工业机器人价格的降低,工业机器人在国内汽车行业的普及率逐年增高。但国内焊装线机器人编程调试相关的资料相对匮乏,工业机器人编程调试周期长、程序可靠性低的问题已成为制约我国自主开发工业机器人自... 随着国内汽车行业的日益发展和工业机器人价格的降低,工业机器人在国内汽车行业的普及率逐年增高。但国内焊装线机器人编程调试相关的资料相对匮乏,工业机器人编程调试周期长、程序可靠性低的问题已成为制约我国自主开发工业机器人自动焊装线的难题之一。 展开更多
关键词 机器人控制 焊装线 工业机器人 车身 汽车行业 程序可靠性 国内 普及率
下载PDF
Monte Carlo Simulation for Slope Stabilization Using Drilled Shafts
17
作者 Lin Li 《Journal of Civil Engineering and Architecture》 2014年第11期1467-1472,共6页
A reliability based analysis method for a drilled shaft stabilized slope system is presented in this paper. The drilled shaft stabilization mechanisms for the slope were treated as the drilled shaft induced soil archi... A reliability based analysis method for a drilled shaft stabilized slope system is presented in this paper. The drilled shaft stabilization mechanisms for the slope were treated as the drilled shaft induced soil arching, which was quantified by the load transfer factor in the limited equilibrium analysis. However, due to the inherent uncertainties of the soil properties and the model error of the semi-empirical load transfer equation, an extension modification of the deterministic method into a probabilistic method is developed in this paper. The MCS (Monte Carlo simulation) with log-normal random variables has been employed to calculate the probability of failure (Pf) for the drilled shafts/slope system. The developed theories were coded into a computer program for analyzing complex slope geometry and slope profile conditions. Finally, a case study has been performed to illustrate the application analysis of the developed probability approach in drilled shafts/slope system. 展开更多
关键词 Monte Carlo drilled shafts slope stability arching.
下载PDF
Proposed Simplified Procedure for Safety Factor Scaling for Various Life Cycles
18
作者 Eliezer Shamir 《Journal of Civil Engineering and Architecture》 2014年第10期1317-1326,共10页
It is common to assume that structures are designed in view of 50 year life cycle as per Euro-Code 2 and other codes. In special cases, structures are designed in view of longer life cycle, such as bridges, important ... It is common to assume that structures are designed in view of 50 year life cycle as per Euro-Code 2 and other codes. In special cases, structures are designed in view of longer life cycle, such as bridges, important infrastructure facilities, important religious structures or in case of extended returning period of seismic event or floods. Beside issues of durability and maintenance aspects, this involves also the need to cover the probability of exceeding characteristic design live loads during the extended period, while keeping the same levels of the accepted risk that were assumed by the various codes, as good enough for the standard 50 year life cycle. Bearing in mind that design procedures, formulations, materials characteristic strengths and partial safety factors are used for these structures as per the existing codes, scaling of partial safety factors, or alternatively an additional "compensating" factor is required. A simplified approach and procedure to arrive at a reasonable calibration of the code safety factors based on 50 years to compensate for an extended life cycle, based upon structural reliability considerations, is proposed. 展开更多
关键词 Life cycle code calibration SCALING safety factors target reliability factor.
下载PDF
Prediction of VIGS efficiency by the Sfold program and its reliability analysis in Gossypium hirsutum 被引量:2
19
作者 Xiaoyang Ge Jie Wu +10 位作者 Chaojun Zhang Qianhua Wang Yuxia Hou Zuoren Yang Zhaoen Yang Zhenzhen Xu Ye Wang Lili Lu Xueyan Zhang Jinping Hua Fuguang Li 《Science Bulletin》 SCIE EI CAS CSCD 2016年第7期543-551,共9页
Genetic transformation in some plant species, including cotton (Gossypium hirsutum), is hampered by laborious and time-consuming processes and often unachievable. Virus-induced gene silencing (VIGS) by double-stra... Genetic transformation in some plant species, including cotton (Gossypium hirsutum), is hampered by laborious and time-consuming processes and often unachievable. Virus-induced gene silencing (VIGS) by double-stranded RNAs can serve as a reverse-genetics tool to determine gene function. However, knockdown levels vary greatly when using a tobacco rattle virus-based vector that carries different cDNA fragments of a gene. How to choose the optional target fragment for high interference efficiency is very challenging. Addressing this challenge requires increasing the efficacy of small interference RNA (siRNA) in target fragment. Here, we describe a method to assess VIGS efficiency by comparing the following parameters of siRNA in target sequence: the disruptionenergy of the target (△Gdisruption), the differential stability of siRNA duplex ends (DSSE), and the internal stability at positions 9-14 of the siRNA antisense strand (AIS), which are calculated by Sfold program (http://sfold.wadsworth. org). We find that the siRNAs with low mGdisruption, high DSSE and high AIS have high activity and easily result in high VIGS efficiency by experimentally testing the actual knockdown levels of the four target genes, GhPDS, GhCLA1, GhAOS1, and GhCXE1 via choosing different target sequences for each gene. Therefore, the Sfold pro- gram can be used to analyze target sequences when car- rying out VIGS design to increase gene-silencing effects in plants. 展开更多
关键词 VIGS Sfold program SIRNA Targetsequences Gossypium hirsutum
原文传递
上一页 1 下一页 到第
使用帮助 返回顶部