论文部分内容阅读
本文介绍一种在容错处理器中实现控制流故障检测的方法。处理器的容错机制是通过修改超标量体系结构，利用时间冗余技术实现的。处理器支持两个指令流并发执行，本文提出的控制流检测算法是通过比较两个时间冗余的指令流的执行结果实现的．与同类实现方案相比。此方法可以进一步节省硬件资源以及额外的处理器执行时间.
一种检测程序控制流故障的方法
【摘 要】
：
本文介绍一种在容错处理器中实现控制流故障检测的方法。处理器的容错机制是通过修改超标量体系结构，利用时间冗余技术实现的。处理器支持两个指令流并发执行，本文提出的控制流
【机 构】
：
北京航空航天大学计算机学院
【出 处】
：
微计算机信息
【发表日期】
：
2010年16期
其他文献
研制了基于现场可编程门阵列（FPGA）、可编程延迟线（DS1020）和脉冲集成放大电路（HV732）的8通道、高精度、脉冲数字式超声相控阵发射系统;分析了关键技术并提出了解决方案。该系统适
建立了PPM算法的通用数学模型,提出了一种新的基于节点采样的IP追踪方案。该方案采用新的标记信息编码机制,解决了传统包标记方案中由于地址分片带来的＂组合爆炸＂和误报率高的
支持向量机作为一种新的机器学习方法，由于其建立在结构风险最小化准则之上，从而使支持向量分类器具有较好的泛化能力。针对应用层用户行为异常检测存在的难点，本文提出了基于无
本文介绍了Linux操作系统下机器人数字化图像采集系统软件设计开发,主要包括CMOS图像传感器的驱动开发流程,并在完成驱动程序的基础上实现了图像采集以及网络传输的应用程序
分布式控制是厂房设备控制的发展方向,本文从分布式远程控制系统的网络构成出发,给出了基于TCP/IP的局域网和485总线的分布式控制方案,并将此方案应用到了所开发的大型排烟天
将热泵干燥技术应用于石膏基墙板的干燥,介绍了影响墙板热泵干燥的相关参数,并设定了干燥室进气温度为70℃、空气流速2m/s、3m/s、4m/s三种不同干燥方案。在此基础上,运用ANS
针对当前模式选择中复杂性较高的问题,通过分析实时视频监控序列图像模块分布情况,提出了一种基于宏块运动区域特征和运动残差信息的快速模式选择算法。该算法首先将16×
本文利用串口通信实现计算机对变频装置的控制,将水泵变频调速技术应用在阀门测试系统中,实现对管路中流体不同流动状态的模拟及对阀门流量特性的连续测试;并在LabVIEW开发平
随着传感器性能的提高,现代遥感技术提供了各种光谱分辨率、空间分辨率的遥感数据,如何充分、有效的利用多源、多尺度遥感影像数据成为遥感应用技术的一个挑战。本文系统阐述了遥感影像融合的理论和方法,详细分析了像素级、特征级、决策级遥感影像融合的方法和优缺点,深入探讨了Gram-Schmidt和SFIM两种高保真的融合方法,给出了融合结果的评价体系,结果表明SFIM融合方法是最优方法。
为了有效且简单的实现车间作业调度问题,提出了采用模拟植物生长算法的求解方法。针对车间作业流程,确定评价作业分配效率的指标,在此基础上建立车间作业分配的数学模型。然