改进型纠检错校验算法在星载计算机上的应用

纠检错算法是星载计算机抗单粒子翻转事件的有效策略。随着FPGA在航天领域的广泛应用,纠检错算法已成为实现纠检错功能的最佳硬件手段。针对单粒子多位翻转事件的发生,文中提出一种纠检错能力更强、耗时更短且具备数据回写功能的改进型纠检错算法。该算法采用一种(48,32,6)的线性循环缩短码,通过16位校验位对32位数据位进行纠二检三校验。在星载嵌入式高可靠计算机上进行算法验证,实验结果表明,所提算法能够成功实现纠二检三和数据回写的功能,且耗时仅需两个时钟周期。该算法满足实时性系统的要求,可以有效防护单粒子翻转事件,提高星载计算机的可靠性。

TS-1.1小卫星星务计算机RAM纠检错电路的设计与实现

星载嵌入式容错计算机的可靠运行在很大程度上依赖于系统中存储模块的可靠设计。本文针对空间环境的故障形式 ,提出了采用EDAC (纠检错设计 )技术对哈工大研制的TS 1 1小卫星存储模块进行设计的方法 ;介绍了利用纠检错处理芯片进行的对EDAC控制电路的优化设计 ,并可靠地实现了应用于TS 1 1卫星系统中的存储模块容错设计。

基于LBIST的纠检错电路验证方法与实现

基于逻辑内建自测试的设计原理,提出了一种针对纠检错电路进行功能自测试的方法,根据纠检错电路具有固定纠检错能力的特点,无需存储海量的比较数据,也不需要设计响应特征分析器对结果数据进行压缩处理,针对具体的纠检错电路,通过增加特别设计的注错逻辑可实现任意类型的故障注入,并根据注错信息可对结果进行预测,通过与预期结果比较,可达到验证的目的;最后,以(40,32)海明编码与解码电路为例,实现了其功能自测试结构,并对所有240-1种故障进行了注入与验证;结果表明使用本文的验证方法,可实现纠检错电路的自动化随机验证。

空间机器人专用控制计算机体系结构研究

空间机器人自主控制要求控制计算机具有高处理能力,而传统的星载计算机处理器只有低运算能力。为解决该矛盾,提出了一种基于传统的处理器和专用协处理器的新型星载计算机体系结构。该计算机采用了双机冷热备份的冗余容错策略,基于现场可编程门阵列器件设计的专用协处理器处理机器人运动规划,同时具备纠检错功能的计算机存储系统。通过仿真及原理样机地面试验证明了本设计的正确性和有效性。该设计将运动学计算时间降低了两个数量级,提高了系统的有效处理速度。

线性分组码问题研究

指出了教材《通信原理》在纠检错编码定理证明中存在的问题,应用n维空间的概念,将码字与n维空间中的点一一对应,并利用这种对应关系,对纠检错编码定理给予了新的证明,完善了差错控制编码理论.

基于RHBD技术的深亚微米抗辐射SRAM电路的研究

研究了目前业内基于抗辐射加固设计(RHBD)技术的静态随机存储器(SRAM)抗辐射加固设计技术,着重探讨了电路级和系统级两种抗辐射加固方式。电路级抗辐射加固方式主要有在存储节点加电容电阻、引入耦合电容、多管存储单元三种抗辐射加固技术;系统级抗辐射加固方式分别是三态冗余(TMR)、一位纠错二位检错(SEC-DED)和二位纠错(DEC)三种纠错方式,并针对各自的优缺点进行分析。通过对相关产品参数的比较,得到采用这些抗辐射加固设计可以使静态随机存储器的软错误率达到1×10-12翻转数/位.天以上,且采用纠检错(EDAC)技术相比其他技术能更有效提高静态随机存储器的抗单粒子辐照性能。

中波发射机自动播控系统抗干扰的方法

在中波广播发射机房,计算机自动播控系统的应用为机务人员的日常值班和维检工作带来了极大方便。然而,由于所有机器设备,甚至各种接口、连接线缆都处在较强的中波辐射环境中,倘若处理不当,播控设备就很易受到干扰,进而影响系统的正常工作。针对上述情况,结合通信理论和工作经验,提出中波发射机自动播控系统抗干扰的解决方法。