【摘 要】
：
由于高能粒子的影响,空间计算机运行时会产生单粒子翻转效应,从而导致程序发生异常和错误.本文针对高级语言级别的程序,提出一种通过程序等价变换减少编译后产生的跳转指令从而提高程序的容错能力的轻量级软加固方法.与传统的软加固方法相比,该软加固方法产生的时间空间开销较低,并可以降低传统方法难以解决的程序计数器指向非代码段问题的发生概率.
【机 构】
：
国防科技大学计算机学院 湖南 长沙 410073
【出 处】
：
全国抗恶劣环境计算机第二十四届学术年会
论文部分内容阅读
由于高能粒子的影响,空间计算机运行时会产生单粒子翻转效应,从而导致程序发生异常和错误.本文针对高级语言级别的程序,提出一种通过程序等价变换减少编译后产生的跳转指令从而提高程序的容错能力的轻量级软加固方法.与传统的软加固方法相比,该软加固方法产生的时间空间开销较低,并可以降低传统方法难以解决的程序计数器指向非代码段问题的发生概率.
其他文献
本文提出一种具有预测机制的物联网感知层路由算法,该算法通过考虑不同传输链路的节点距离、访问频率、节点能量、跳数等感知信息,使节点能够选择最优的下一跳路径,同时能够根据节点接收数据量的多少,自动调节算法中参数,达到均衡各个节点能耗的作用.通过在WSN网络下的仿真实验证明该算法具有能量有效性、负载均衡、延长网络寿命等特点.
随着虚拟化技术的不断发展,CPU虚拟化与内存虚拟化技术已日趋成熟,而I/O虚拟化技术的发展却相对滞后,影响了虚拟机的整体性能.目前,Intel的VT-d技术已经能够实现Passthrough I/O功能,而且还通过VT-d和网卡虚拟化实现了SR-IOV技术,有效地解决了I/0虚拟化中的诸多问题.本文在总结现有的几种I/0虚拟化技术的基础上,分析了SR-IOV技术的实现,并对基于SR-IOV的网卡进
以国产CPU为基础,引进商用计算加速技术,构建功能分离的异构并行计算硬件平台,是设计高性能自主可控计算机的一种高效可行的解决方案.而异构高性能计算机的性能测试技术是发现计算系统瓶颈、优化系统设计、提高系统持续性能的有效途径和方法.本文在对目前主流的一些高性能计算系统测试软件进行详细分析的基础上,结合高性能计算机和性能测试技术的发展趋势及应用的变化,总结和提出了设计面向异构计算系统性能测试软件的框架
人脸识别是一种重要的生物特征技术,应用非常广泛.特别是将之应用在恶劣的军事作战环境中,能实现人员身份认证和视频监控等.恶劣环境下光照天气等原因导致获取的人脸图像的亮度、分辨率过低,从而影响身份认证和视频监控的准确性.本文在传统Retinex算法的基础上进行了改进,得到高质量的预处理图像,再利用PCA算法实现人脸识别,使人脸图像识别率由76.23％提高到96.35％.
现代电子设备对存储器可靠性的要求越来越高.针对批量生产中处理器模块的随机存储器(RAM)测试的需求,分析RAM存储器的故障成因,建立故障模型并分析,对每一种故障模型均给出详细的测试方法,提出了一种覆盖率高、复杂度小的测试算法,对实际测试中提升测试覆盖率,减小测试复杂度具有一定的参考价值.
近年来,U盘、SD卡、固态硬盘等电子存储产品在商业领域广泛使用,以NAND FLASH为主的固态存储介质的集成密度、读写速率等不断提高,应用成本也降到了一个相对合理的水平.针对NAND FLASH存储介质的特点,结合大容量数据存储模块的工作原理,本文介绍了数据纠错、损耗均衡、过量配置、坏块管理、RAID等NAND FLASH可靠控制方法,并对进一步提高数据存储可靠性的数据流全路径数据校验与纠错技术
本文介绍了苏州国芯C9000双核平台芯片中一种双总线DDR3内存控制器的设计.该设计能够实现通过不同总线接口访问DDR内存,而又不对DDR内存访问效率产生较大的影响.该设计具有灵活性,可扩展性以及复用性,可应用于其它高性能计算平台芯片设计.
针对基于PC机和专用伺服控制卡的伺服控制系统的不足,提出了ARM微处理器和数字信号处理芯片DSP的双CPU主从式结构硬件平台,嵌入式Lmux操作系统软件平台构建嵌入式运动控制器的方法;分别介绍了此嵌入式运动控制器主从模块的硬件设计;软件方面,设计了在Linux2.6内核环境下基于MiniGUI的入机界面设计以及DSP软件实现的程序结构框架,降低了成本,且设计灵活。
当今的设备通讯口大多采用USB标准,作为一种新型的串口通信标准,基于USB接口的产品具有较高的传输速率,可扩展性好,采用总线供电,支持热插拔和即插即用等.本文介绍一种采用C8051F340单片机实现了基于HID类协议的多功能用户自定义键盘的设计,并通过一个USB设备实现多个设备的集合.
本文基于时域有限差分法(FDTD),研究电子信息设备壳体的孔缝耦合问题,建立了研究电子信息设备壳体内场分布的物理模型,对壳体孔缝上的电磁脉冲耦合问题进行了数值仿真,为电子信息设备进行电磁脉冲加固与验证研究提供了技术参考.