共查询到20条相似文献,搜索用时 328 毫秒
1.
Xilinx FPGA自主配置管理容错设计研究 总被引:2,自引:0,他引:2
针对SRAM型FPGA在空间辐射环境下容易受到单粒子效应影响的问题,在分析可重配置的Xilinx FPGA的结构和故障模式的基础上,提出一种基于自主配置管理的Xilinx FPGA容错设计方案。综合运用诸如逻辑电路三模冗余、块存储器EDAC校验、动态回读、动态局部重配置及周期全局重配置等方法实现故障的屏蔽、检测和修复。该方案覆盖了FPGA的各种单粒子效应故障模式,并且在芯片内部实现了自主配置管理,具有体积小、成本低、可靠性高的特点。 相似文献
2.
针对空间用SRAM型FPGA器件抗单粒子效应性能全面测试评估的要求,研究内部不同资源电路结构的单粒子效应敏感性及测试方法,利用重离子加速器开展抗辐射加固SRAM型FPGA单粒子效应模拟辐照试验,对配置存储器、块存储器、触发器等敏感单元的单粒子翻转、单粒子功能中断、单粒子锁定特性进行研究。试验结果表明,所提出测试方法能有效地覆盖测试SRAM型FPGA单粒子效应敏感资源,所测试抗辐射加固SRAM型FPGA器件具有良好的抗单粒子锁定性能,但对单粒子翻转和单粒子功能中断非常敏感,静态测试模式下对单粒子翻转更为敏感。有关测试方法和结果可以为SRAM型FPGA的单粒子效应评估及防护提供参考。 相似文献
3.
SRAM型FPGA单粒子效应试验研究 总被引:6,自引:0,他引:6
针对军品级SRAM型FPGA的单粒子效应特性,文中采用重离子加速设备,对Xilinx公司Virtex-II系列可重复编程FPGA中一百万门的XQ2V1000进行辐射试验。试验中,被测FPGA单粒子翻转采用了静态与动态两种测试方式。并且通过单粒子功能中断的测试,研究了基于重配置的单粒子效应减缓方法。试验发现被测FPGA对单粒子翻转与功能中断都较为敏感,但是在注入粒子LET值达到42MeV·cm 2/mg时仍然对单粒子锁定免疫。本文对翻转敏感度、测试方法与减缓技术进行了讨论,试验结果说明SRAM型FPGA对单粒子效应比较敏感,利用重配置技术的减缓方法能够有效降低敏感度,实现空间应用。
相似文献
相似文献
4.
5.
Xilinx SRAM型FPGA抗辐射设计技术研究 总被引:10,自引:2,他引:10
针对Xilinx SRAM型FPGA在空间应用中的可行性,分析了Xilinx SRAM型FPGA的结构,以及空间辐射效应对这种结构FPGA的影响,指出SRAM型的FPGA随着工艺水平的提高、器件规模的增大和核电压的降低,抗总剂量效应不断提高,抵抗单粒子效应,尤其是单粒子翻转和单粒子瞬态脉冲的能力降低。分析了FPGA综合后常见的Half-latch在辐射环境中的影响并结合实际工程实践给出了解决上述问题的一些有用办法和注意事项,如,冗余设计、同步设计、算术逻辑运算结果校验、白检等。最后还提出一种基于COTS器件的“由顶到底”的星载信号处理平台结构,分析了这种结构在抵抗辐射效应时的优势。有关FPGA抗辐射的可靠性设计方法已经在某卫星通信载道中成功应用,并通过了各种卫星环境试验,该技术可以为有关航天电子设备设计提供参考。 相似文献
6.
SRAM FPGA电离辐射效应试验研究 总被引:1,自引:0,他引:1
针对SRAM FPGA空间应用日益增多,以100万门SRAM FPGA为样品,进行了单粒子效应和电离总剂量效应辐照试验。单粒子试验结果是:试验用粒子最小LET为1.66 MeV·cm2/mg,出现SEU(单粒子翻转);LET为4.17 MeV·cm2/mg,出现SEFI(单粒子功能中断),通过重新配置,样品功能恢复正常;LET在1.66~64.8 MeV?cm2/mg范围内,未出现SEL(单粒子锁定);试验发现,随SEU数量的累积,样品功耗电流会随之增加,对样品进行重新配置,电流恢复正常。电离总剂量辐照试验结果是:辐照总剂量75 krad(Si)时,2只样品功能正常,功耗电流未见明显变化。辐照到87 krad(Si)时,样品出现功能失效。试验表明SRAM FPGA属于SEU敏感的器件,且存在SEFI。SEU和SEFI会破坏器件功能,导致系统故障。空间应用SRAM FPGA必须进行抗单粒子加固设计,推荐的加固方法是三模冗余(TMR)配合定时重新配置(Scrubbing)。关键部位如控制系统慎用SRAM FPGA。 相似文献
7.
8.
9.
随着软件无线电技术的发展,SRAM型FPGA在星载测控设备中应用越来越广泛。而太空辐射环境中存在的高能粒子极易使其产生单粒子翻转效应,导致系统运行异常或功能中断。分析传统SRAM型FPGA抗单粒子翻转策略的局限性,在结合测控任务特点的基础上,提出底层刷新与应用层预判重载的综合解决方案,并给出实现方法和流程图。通过高能离子试验和实际在轨应用验证,在确保一定性能的前提下,卫星自主发现故障并恢复至正常的概率在99%以上,能达到较好的抗单粒子翻转效果。 相似文献
10.
11.
目前主要采用实验测试的方法对基于签名的控制流错误检测算法进行评价,但由于控制流错误模型的不确定性,而导致测试结果存在一定的偏差,本文尝试采用模型验证的方法评价控制流检测算法的错误检测能力。本文首先简述了基于签名的控制流错误检测算法的基本原理,其次,提出了控制流错误跳转关系表示方法和指出了传统的控制流错误检测能力分析方法中未考虑的影响检测能力的因素,接下来,结合这些因素提出了基于签名的控制流错误检测能力验证模型,最后给出实例,通过验证模型分析了目前典型的基于签名的控制流错误检测能力。
相似文献
相似文献
12.
针对模型检验算法在工程应用中面临的形式语言局限性和状态空间爆炸的危机,提出了基于断言的形式验证解决方案。通过对DW8051_timer模块的实际验证,说明了该方法可以简化模型检验算法在工程实践中的应用,并且与传统仿真方法相比,它能在一定程度上缓解航天领域数字系统设计中的验证困境。 相似文献
13.
死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能。本文以死刑复核程序的功能定位入手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议。 相似文献
14.
死刑复核程序是我国独有的一道针对死刑适用而设立的程序,从司法层面来说有着不容忽视的功能.本文以死刑复核程序的功能定位人手,立足于最高院统一收回死刑核准权,对死刑复核程序进行分析并针对死刑核准权收归最高院的决定对死刑复核程序的完善提出建议. 相似文献
15.
针对频移小波包变换不能抑制多音干扰的问题,提出了基于遗传算法最优频移小波包变换的窄带干扰抑制方法。采用遗传算法进行频移和分解层数的最优选择,并采用奇偶判断的方法进行自适应小波包分解。仿真结果表明,该方法能够有效抑制窄带干扰。 相似文献
16.
针对传统防空作战时对目标威胁评价主观性强、排序逻辑刻板的问题,提出基于熵值法与层次分析法(AHP)融合赋权的空袭目标威胁度量与排序方法。首先结合空战态势分析影响目标对我防空阵地威胁度的各属性因素,同时给出影响因素的威胁隶属度函数,然后利用熵值法和AHP赋权并相继采用加权求和、乘法合成、几何平均的方法进行二次融合,所获权重用于各目标威胁度的综合度量及排序。仿真结果表明,二次融合权重兼取熵值法与AHP的赋权特点,度量方法更为合理,排序结果更加贴合真实战场态势,可信度高。 相似文献
17.
本文研究了1957年Buehler提出的系统可靠性严格置信限经典理论迄今所存在的试验向量排序困难。我们发现用UMVE排序法求置信下限会出现非正常点的原因是它不能考虑试验向量的精细结构差别。基于这一事实,本文提出改进型UMVE(IUMVE)排序法,例算表明可以消除所有非正常点。 相似文献
18.
运用UG/GRIP技术对叶轮的轴面流道进行参数化造型及校核,获得了一种先进的叶轮轴面流道参数化设计方法,从而能够及时、直观地考察叶片的工作特性。同时可采用交互方式对叶轮设计参数进行修改,增强了叶轮计算机辅助设计系统的交互设计能力,有利于提高叶轮的设计质量。该方法不仅适用于泵的叶轮,对于涡轮及压气机的叶轮等也同样适用。 相似文献
19.
20.
H-I运载火箭概况、主要技术性能以及控制系统的配置和功能在文中作了介绍。详细介绍了惯性测量装置、陀螺仪、加速度表、数据接口单元等。最后介绍了系统工作和飞行试验结果。 相似文献