公共文化服务平台

复杂失效分布下的动态检查点设置被引量：4: 2010年; 检查点技术是保障计算机系统可靠性的一种常用方法.通常假定系统失效的发生服从泊松分布,因此检查点是等间隔设置的.但近几年公布的现场数据表明以上假定不合实际.因此,首先利用现场失效数据对固定检查点间距方法的适应性进行分析,并提出两种检查点动态设置方法,它们根据系统前个阶段的失效信息动态地设置下一个检查点.模拟实验结果表明,所提出的方法在复杂失效分布下所获得的效果达到或者优于最优固定检查点的水平.; 印杰江建慧; 关键词：检查点技术检查点间隔

Implementation and Analysis of Probabilistic Methods for Gate-Level Circuit Reliability Estimation被引量：2: 2007年; The development of VLSI technology results in the dramatically improvement of the performance of integrated circuits. However, it brings more challenges to the aspect of reliability. Integrated circuits become more susceptible to soft errors. Therefore, it is imperative to study the reliability of circuits under the soft error. This paper implements three probabilistic methods (two pass, error propagation probability, and probabilistic transfer matrix) for estimating gate-level circuit reliability on PC. The functions and performance of these methods are compared by experiments using ISCAS85 and 74-series circuits.; 王真江建慧杨光

GE爱德华火灾报警系统通信协议剖析被引量：1: 2008年; 介绍了火灾报警系统设备通信协议的一般方法,说明了用此方法剖析GE爱德华EST3设备通信协议的过程,给出了该通信协议数据链路层的基本帧格式,并举例说明了该协议应用层的一些协议分组格式。; 刘洪朋赵炯王利华刘力平; 关键词：通信协议帧格式火灾报警系统

嵌入式存储器的内建自测试和内建自修复被引量：19: 2004年; 指出内建自测试是嵌入式存储器测试的一种有效方法 ,对该领域的研究情况进行了评述 .总结了存储器传统的故障模型 ,重点讨论了诱导故障分析方法以及读干扰故障、错误读等新的故障模型 .详细分析了嵌入式存储器的典型内建自测试方案 ,讨论了在内建自测试电路中增加内建冗余分析、内建故障诊断和内建自修复等功能的可行性 .; 江建慧朱为国; 关键词：嵌入式存储器内建自测试

门级故障到寄存器传输级故障的映射被引量：1: 2004年; 以一组 74系列集成电路产品和ISCAS85基准电路为例 ,研究了基本寄存器传输级 (RTL)元件的门级单故障到RTL故障的映射关系 .结果表明 :①对大多数电路来说 ,仅考虑电路的单个原始输出端出错将无法达到所希望的门级故障覆盖率 ;②RTL电路的实现不宜包含异或门、与或非门 (AOI)和或与非门 (OAI) ;③在选择差错模型时 ,不同功能的RTL电路需要同时考虑的差错数是不相同的 ,功能相同但仅局部逻辑结构有差别的RTL电路可以考虑相同数目的差错 .这些结论为研究超大规模集成电路的测试、容错设计与验证 ,以及基于故障注入的系统性能评估等技术提供重要依据 .; 陈火军江建慧; 关键词：超大规模集成电路

高性能处理器的差错校正技术被引量：1: 2008年; 随着芯片密度的不断增加和对可靠性要求的不断提高,高性能处理器的容错设计越来越受到关注.对近年来高性能处理器的差错校正技术进行了分析和比较,它们被分为时钟级差错恢复、指令级差错恢复、线程级差错恢复以及重构等4类,研究对象包括研究方案、原型和产品.研究结果表明,以片上多处理器和/或同时多线程为特征的高性能处理器除了沿用传统的容错技术之外,多以固有的、旨在为改善性能而重复设置的硬件资源为基础来设计容错机制和调度方案.; 王真江建慧员春欣; 关键词：高性能处理器冗余

国外安全传输系统的动态: 本文概述了安全传输系统在发达国家现已达到的技术水平。包括产品的实用化、通信协议的标准化,设计和确认的形式化等。作者建议我国应该重视并尽快加强安全传输系统的产品开发、技术标准化和理论研究方面的工作。; 员春欣江建慧; 关键词：安全传输系统安全关键系统现场总线; 文献传递

基于概率转移矩阵的电路可靠性并行计算方法被引量：5: 2008年; 随着电路集成度的提高,软差错已经成为影响可靠性的关键因素.概率转移矩阵是一种用于估计软差错对电路影响的有效方法,它通过对门级电路建立概率模型来计算电路的可靠性.本文基于概率转移矩阵研究计算电路可靠性的并行方法,提出了一种电路分割算法,在对电路进行划分后,并行地计算各个模块的概率转移矩阵,再合成对应于整个电路的概率转移矩阵.其中,引入了代数决策图压缩矩阵存储空间.初步的实验结果表明,该并行算法可以有效地减少21.46%的平均时间开销.; 王真江建慧沈君华史哲文; 关键词：转移矩阵

芯片级系统在线测试技术: 在线测试是基本容错技术之一。本文把在线测试技术概括为差错控制码、重复与比较、在线监督等三类,对其发展历史进行了回顾,重点是20世纪90年代以来的成果,包括芯片设计方案、原型及产品。研究结果表明,在线测试技术已经融入了高性...; 员春欣江建慧; 关键词：容错计算 VLSI芯片; 文献传递

一种改进的TCP稳态流吞吐量模型及其性能分析被引量：4: 2003年; 根据对Internet上TCP稳态数据流的实测分析,在Padhye模型的基础上,本文提出了一种改进的TCP稳态数据流模型。该模型不仅考虑了三次重复应答和超时事件对TCU稳态流吞吐量的影响,而且还充分考虑了超时后慢启动过程的影响。文中给出了改进模型与实测结果的分析比较,表明改进的模型能更好地预测实际TCP数据流的吞吐量性能。最后,本文还分析了模型的几个主要参数对TCP吞吐量性能的影响。; 赵炯张树京周其刚; 关键词：传输控制协议拥塞控制吞吐量 TCP

渝B2-20050021-1　渝公网安备 50019002500403号　违法和不良信息举报中心　互联网出版许可证　新出网证(渝)字10号

国家自然科学基金(90207021)