星载计算机拜占庭容错设计与验证

星载可重构计算机硬件验证平台设计

随着新型SoC(System On a Chip)集成技术在航天技术中的应用越来越广泛,传统的星载板级设计转为SoC芯片级设计逐渐成为趋势。基于IP-cores(the integration of

摘要:为了消除空间环境中单粒子翻转(SEU)的影响,目前星载计算机中均对RAM存储单元采用检错纠错(EDAC)设计。随着FPGA在航天领域的广泛应用,FPGA已成为EDAC功能实现的硬件手段。本文介绍

超级计算机容错系统设计研究.pdf计算机容错与诊断论文

针对我国现阶段星载计算机通用性较差和无法“即插即用”的问题,以及对数据传输速率的高要求,设计了新型即插即用星载计算机千兆以太网数据传输系统,重点研究了星载计算机的总体结构设计和千兆以太网的实现。该系统

真的很不错 大家可以看看 对刚毕业的同学很有帮助的！

提出了一种能够应用于树形结构的拜占庭容错系统,并给出了基于深度与广度的拜占庭节点上限算法。通过对树进行群组划分,设计了一致性协议,保障了系统的安全性;通过联合签名机制决定节点的权限;通过视图转换协议将

本书详细讲述了如何用Verilog写CPU，重点讲述了CPU的设计。

这个计算机算法设计与分析课件的ppt写的非常好，当初学计算机算法设计与分析的时候就是看它入的门，我把它推荐给大家把。

为了解决传统仲裁机制故障覆盖率和故障诊断成功率低的问题，针对容错计算机，提出了一种基于仲裁处理器的仲裁机制，并设计了仲裁系统和仲裁算法。其中仲裁处理器使用三模冗余系统和芯片级的容错设计技术，仲裁算法采