期刊文献+
共找到8篇文章
< 1 >
每页显示 20 50 100
Foxbase中硬件错误检测处理问题的解决
1
作者 王有翦 《计算机时代》 1996年第4期45-46,共2页
本文在分析Foxbase及Dos处理硬件错误的原理的基础上,给出了一种彻底解决Foxbase不能检测处理硬件错误的方法。
关键词 硬件错误 FOXBASE 检测 信息处理
下载PDF
英文写作错误分类及消除措施
2
作者 王倩玉 《黑龙江教育(理论与实践)》 2014年第9期55-56,共2页
学生在英文写作中常见的错误,依据学生自我矫正能力以及教学上所采取的措施,借用计算机术语,可划分为硬件错误和软件错误。以此划分为切入点,两种错误的消除可分别采取教师传授、提示,和培养语感及英语思维等方式进行消除。
关键词 错误分析 硬件错误 软件错误
下载PDF
计算机系统容错技术研究 被引量:25
3
作者 陆阳 王强 +1 位作者 张本宏 诸葛战斌 《计算机工程》 CAS CSCD 北大核心 2010年第13期230-235,共6页
针对计算机系统中软、硬件可靠性问题的不同特点,讨论容错技术的最新发展现状,分析计算机系统中的各种容错方法,包括传统的冗余设计、错误回卷恢复机制以及当前研究较多的一般化容错设计方法等,研究目前已有的一些容错方法在反应延迟、... 针对计算机系统中软、硬件可靠性问题的不同特点,讨论容错技术的最新发展现状,分析计算机系统中的各种容错方法,包括传统的冗余设计、错误回卷恢复机制以及当前研究较多的一般化容错设计方法等,研究目前已有的一些容错方法在反应延迟、容错成本、精确量化、异构同步、可靠性建模等方面存在的缺陷以及待解决关键问题,并对如何进一步更好地完善和使用这些容错方法进行总结。 展开更多
关键词 计算机系统 容错 冗余 软件错误 硬件错误
下载PDF
基于深度优先搜索与增量式求解的极小一阶不可满足子式提取算法 被引量:1
4
作者 张建民 黎铁军 +2 位作者 张峻 徐炜遐 李思昆 《国防科技大学学报》 EI CAS CSCD 北大核心 2012年第5期121-126,共6页
随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极... 随着寄存器传输级甚至行为级的硬件描述语言应用越来越广泛,基于一阶逻辑的可满足性模理论(Satisfiability Modulo Theories,SMT)逐渐替代布尔可满足性(Boolean Satisfiability,SAT),在VLSI形式化验证领域具有更加重要的应用价值。而极小不可满足子式能够帮助EDA工具迅速定位硬件中的逻辑错误。针对极小SMT不可满足子式的求解问题,采用深度优先搜索与增量式求解策略,提出了深度优先搜索的极小SMT不可满足子式求解算法。与目前最优的宽度优先搜索算法对比实验表明:该算法能够有效地求解极小不可满足子式,随着公式的规模逐渐增大时,深度优先搜索算法优于宽度优先搜索算法。 展开更多
关键词 形式化验证 硬件错误定位 可满足性模理论 极小不可满足子式
下载PDF
计算机系统容错技术研究 被引量:4
5
作者 谢建洲 《电脑知识与技术》 2016年第2X期250-252,共3页
计算机技术作为目前发展最为迅速的科学技术领域,为生产生活提供了大量的便利。随着全球信息一体化进程的深入,能够快速处理信息,是各行业能够得以发展的必要保证。计算机系统的快速运算能力,是各行业生产的必要因素,为保证计算计算机... 计算机技术作为目前发展最为迅速的科学技术领域,为生产生活提供了大量的便利。随着全球信息一体化进程的深入,能够快速处理信息,是各行业能够得以发展的必要保证。计算机系统的快速运算能力,是各行业生产的必要因素,为保证计算计算机系统运行的稳定,计算机系统容错技术需要受到重视。本文通过对计算机系统容错技术进行分析,研究合理进行计算机系统容错技术升级方法,为计算机系统的合理化提出行之有效的建议。 展开更多
关键词 计算机系统 信息冗余 软件错误 硬件错误 故障排除技术
下载PDF
基于固件的系统芯片协同验证平台
6
作者 李皓 李险峰 +4 位作者 庞九凤 黄侃 郑衍松 佟冬 程旭 《计算机辅助设计与图形学学报》 EI CSCD 北大核心 2011年第9期1593-1602,共10页
使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种... 使用FPGA进行全系统仿真是验证基于平台设计的系统芯片(SoC)的有效手段,但FPGA原型验证一方面须等待硬件设计完成编码,另一方面FPGA全系统环境下的硬件设计错误定位耗时,验证周期较长.为更早展开系统级验证工作并缩短验证周期,提出一种基于固件的协同验证平台——FCVP.FCVP在FPGA上基于固件模拟待测硬件设计和系统模块,通过运行真实工作负载,对比FPGA中待测硬件设计和FCVP模拟参考模型的行为,帮助分析、定位硬件设计错误.在PKUnity86 SoC上进行验证的实例表明,FCVP可用于SoC设计初期验证,并可有效地辅助硬件设计错误的定位.性能评测显示,FCVP模拟性能优于纯软件模拟器. 展开更多
关键词 协同验证 系统芯片 固件 全系统模拟器 硬件设计错误 基于平台的设计
下载PDF
面向计算机系统的容错技术 被引量:1
7
作者 卓杰 《电子技术与软件工程》 2018年第4期143-143,共1页
随着计算机技术的飞速发展,给人们的工作及生活提供了大量的便利,不仅缩短了工作时间,同时提高了效率。计算机高效准确的计算力也是各行业生存及发展的必要因素,计算机的稳定性至关重要。人们也越来越重视计算机系统的容错技术。本文主... 随着计算机技术的飞速发展,给人们的工作及生活提供了大量的便利,不仅缩短了工作时间,同时提高了效率。计算机高效准确的计算力也是各行业生存及发展的必要因素,计算机的稳定性至关重要。人们也越来越重视计算机系统的容错技术。本文主要介绍了当前的计算机系统容错技术及合理的升级方法,并为计算机系统的合理化发展提出了相关的建议。 展开更多
关键词 计算机系统 容错技术 硬件错误 软件错误
下载PDF
Approximate Iteration Detection and Precoding in Massive MIMO 被引量:5
8
作者 Chuan Tang Yerong Tao +3 位作者 Yancang Chen Cang Liu Luechao Yuan Zuocheng Xing 《China Communications》 SCIE CSCD 2018年第5期183-196,共14页
Massive multiple-input multiple-output provides improved energy efficiency and spectral efficiency in 5 G. However it requires large-scale matrix computation with tremendous complexity, especially for data detection a... Massive multiple-input multiple-output provides improved energy efficiency and spectral efficiency in 5 G. However it requires large-scale matrix computation with tremendous complexity, especially for data detection and precoding. Recently, many detection and precoding methods were proposed using approximate iteration methods, which meet the demand of precision with low complexity. In this paper, we compare these approximate iteration methods in precision and complexity, and then improve these methods with iteration refinement at the cost of little complexity and no extra hardware resource. By derivation, our proposal is a combination of three approximate iteration methods in essence and provides remarkable precision improvement on desired vectors. The results show that our proposal provides 27%-83% normalized mean-squared error improvement of the detection symbol vector and precoding symbol vector. Moreover, we find the bit-error rate is mainly controlled by soft-input soft-output Viterbi decoding when using approximate iteration methods. Further, only considering the effect on soft-input soft-output Viterbi decoding, the simulation results show that using a rough estimation for the filter matrix of minimum mean square error detection to calculating log-likelihood ratio could provideenough good bit-error rate performance, especially when the ratio of base station antennas number and the users number is not too large. 展开更多
关键词 massive MIMO detection and precoding matrix inversion iteration refinement soft Viterbi decoding
下载PDF
上一页 1 下一页 到第
使用帮助 返回顶部