虫虫首页|资源下载|资源专辑|精品软件
登录|注册

容错

  • 基于FPGA动态重构的故障容错技术.rar

    可重构计算技术兼具通用处理器(General-Purpose Processor,GPP)和专用集成电路(Application Specific Integr—ated Circuits,ASIC)的特点,既可以提供硬件高速的特性,又具有软件可以重新配置的特性。而动态部分可重构技术是可重构计算技术的最新进展之一。该技术的要点就是在系统正常工作的情况下,修改部分模块的功能,而系统其它模块能够照常运行,这样既节约硬件资源,又增强了系统灵活性。 可重构SoC既可以在处理器上进行编程又可以改变FPGA内部的硬件结构,这使得SoC系统既具有处理器善于控制和运算的特点,又具FPGA灵活的重构特点;由于处理器和FPGA硬件是在同一块硅片上,使得它们之间的通信宽带大大提高,这种平台很适合于容错算法的实现。 本文基于863计划项目;动态重构计算机的可信实现关键技术,重点研究应用于恶劣环境中FPGA自我容错的体系结构,提出了一套完整的SoC系统的容错设计方案,并研究其实现技术,设计实现了实现该技术的硬件平台和软件算法,并验证成功。 论文取得了如下的创新性研究成果: 1、设计了实现动态重构技术的硬件平台,包括高性能的FPGA(内含入式处理器PowcrPC)、PROM、SRAM、FLASH、串口通信等硬件模块。 2、说明了动态重构技术的设计规范和设计流程,实现动态重构技术。 3、提出了一种基于动态重构实现容错的方法,不需要外部处理器干预,由嵌入式处理器负责管理整个过程。 4、设计并实现了嵌入式处理器运行时需要的软件,主要有两个功能,首先是从CF卡中读入重构所需的配置文件,并将配置文件写进FPGA内部的配置存储器中,改变FPGA内部的功能。其次,是实现容错技术的算法。

    标签: FPGA 动态 容错技术

    上传时间: 2013-04-24

    上传用户:edrtbme

  • 一种面向瞬时故障的容错技术的形式化方法

    软件发生瞬时故障时,可能会导致处理器状态改变,致使程序执行出现数据错误或者控制流错误。目前已有许多软件、硬件以及混合的解决方案,主要的方法是重复计算和检查副本的一致性。但是,生成正确的容错代码十分困难,而且几乎没有关于证明这些技术的正确性的研究。类型化汇编语言(TAL)是一种标准的程序安全性证明的方式。本文概述了一种面向瞬时故障的软硬结合的容错方法,以及对该方法的形式化方法,包括容错类型化汇编语言、类型系统和容错定理。形式化的目的是为了验证,只有通过验证的程序代码才是类型安全的。本文只简单介绍了程序的形式化方法。

    标签: 瞬时 容错技术

    上传时间: 2014-01-15

    上传用户:dudu1210004

  • 飞机配电系统容错技术的设计研究

    为了提升电力飞机配电系统电压供应品质,本论文利用重构控制理论来设计电压调节器用以有效的达到电压调节的目的。利用Dobson和Chiang提出的电力系统模型并假设在配电系统中电容器与变压器为有效的控制输入,在本论文提出了电压调节器设计准则。更进一步我们以容错控制的观念来设计主动式及被动式容错控制律,使得飞机配电系统在控制器发生故障或异常情况时,依然可以达到电压调节的目的。

    标签: 飞机配电系统 容错技术

    上传时间: 2013-11-02

    上传用户:梧桐

  • 单片机多机通信网络改进及数据通信容错技术

    单片机多机通信网络改进及数据通信容错技术: 对单片机数据通信网络物理结构进行改进,实现多机自主通信. 以单片机串行口为基础,实现数据通信的容错技术.关键词 数据通信;  单片机;  网络结构

    标签: 单片机 多机通信 网络 数据通信

    上传时间: 2014-12-27

    上传用户:edisonfather

  • 基于动态可重构FPGA的容错技术研究

    针对重构文件的大小、动态容错时隙的长短、实现的复杂性、模块间通信方式、冗余资源的比例与布局等关键问题进行了分析。并对一些突出问题,提出了基于算法和资源多级分块的解决方法,阐述了新方法的性能,及其具有的高灵活性高、粒度等参数可选择、重构布线可靠性高、系统工作频率有保障的优点。

    标签: FPGA 动态可重构 容错 技术研究

    上传时间: 2014-12-28

    上传用户:Yue Zhong

  • 基于动态可重构FPGA的容错技术研究

    针对重构文件的大小、动态容错时隙的长短、实现的复杂性、模块间通信方式、冗余资源的比例与布局等关键问题进行了分析。并对一些突出问题,提出了基于算法和资源多级分块的解决方法,阐述了新方法的性能,及其具有的高灵活性高、粒度等参数可选择、重构布线可靠性高、系统工作频率有保障的优点。

    标签: FPGA 动态可重构 容错 技术研究

    上传时间: 2013-11-22

    上传用户:cylnpy

  • 微软亚洲研究院论文:移动应用中容错的可扩展音频编码

    微软亚洲研究院论文:移动应用中容错的可扩展音频编码

    标签: 微软 容错 论文 移动应用

    上传时间: 2014-11-28

    上传用户:lijinchuan

  • 提高输入容错。判断输入的对错。 时间关系

    提高输入容错。判断输入的对错。 时间关系,搜索功能为线性搜索,现增强如下:f_search:费氏查找法;btree:二叉树查找法;l_search:线性查找法; r_search:递归折半查找法;zcsear:杂凑碰撞查找法;o_sear:插补查找加强法; 排序是冒泡法,现增强为:heaps:累堆排序;binary:二叉树排序;xieer:谢耳排序;sinsert:插入排序;quicks:快速排序;select:选择排序法;

    标签: 输入 容错

    上传时间: 2015-02-21

    上传用户:wang0123456789

  • VB中不使用 on error goto的容错程序。

    VB中不使用 on error goto的容错程序。

    标签: error goto on 容错

    上传时间: 2015-03-17

    上传用户:daoxiang126

  • 距阵的容错运行的距阵 ---------------------------------

    距阵的容错运行的距阵 ---------------------------------

    标签: 容错 运行

    上传时间: 2013-12-17

    上传用户:ggwz258