指令级的变量容错恢复

提出一种抵抗瞬时故障的自动编译容错恢复方法,用源码中的变量信息在指令级别进行冗余错误流裁剪,在LCC上加以实现,并获得良好的容错性能。实验结果表明,该方法仅增加0.043倍的时间损耗及0.69倍的空间损耗,在时空损耗上优于现有的其他方法。     

基于半虚拟技术的嵌入式分区系统设计与实现

针对嵌入式系统的高可靠性和高安全性要求,设计了基于半虚拟技术的分区系统.在RTEMS实时操作系统中,使用半虚拟技术实现虚拟机监视器,给分区操作系统PLINUX创造虚拟环境.通过地址映射机制和分区调度,把分区系统在空间和时间上隔离开,可有效阻止分区的错误传播,提高系统的容错能力.时系统可靠性、调度效率等方面进行试验和分析,实验结果表明,该分区系统的可靠性明显提高,而且继承了RTEMS的实时性和设计的简洁性.     

软件容错：技术与展望

本文主要给出现有主流软件容错技术的一个综述。首先从传统软件容错技术开始，介绍设计多样性和数据多样性；然后介绍主流的软件容错新技术，如重配置与重恢复、指令复制错误探测、SWIFT等，同时，站在软件容错用于处理嵌入式系统硬件暂态故障的角度对这些技术进行了分析；最后在对它们比较的基础上探讨软件容错技术的可能发展方
向。     

主动消息与MPI

本文详细分析了消息传递的开销问题,并对可降低开销的一种机制：主动消息进行了深入探计,在此基础上给出了将主动消息引入ＭＰ少基于主动消息实现ＭＰＩ的原型。     

自适应提升小波在干涉高光谱压缩中的应用

为了更好地提高干涉高光谱图像的压缩性能,针对干涉成像光谱仪的成像原理,提出了一种自适应方向预测提升小波变换的方法,在帧序列方向的提升小波变换中,以自适应方向获得最佳预测值,并且改变传统三维提升小波的变换顺序,消除大部分干涉条纹冗余,大量实验证明本文方法得到的高频子带小波系数相对于传统方法在指定码率的情况下重构图像可以获得更高的信噪比,恢复的光谱曲线具有更小的均方误差．     

基于BM3803的星载计算机系统软件开发

为了构建基于国产芯片的星载计算机系统,研究了SPARC V8处理器在航天领域的应用,提出了一种基于国产BM3803处理器的星载计算机系统软件开发方法.根据航天控制中高可靠性、稳定性和源代码可控性的实际需要,以开源实时多处理器操作系统RTEMS为平台,开发了针对BM3803处理器的板级支持包(BSP)和设备驱动程序,并以...     

宽带卫星网络边界路由技术研究

在中低轨道卫星星座中,利用星间链路组网是宽带卫星网络技术发展的一个主要方向。卫星网络中的边界路由主要解决卫星网络和地面网络之间在网络层的互操作性问题,实现网络层的互相融合,使端用户能够通过异构网络透明通信。在分析已有研究的基础上,结合地面网络使用的边界路由技术,本文给出了地面网络和卫星网络的互连模型,分析了具有星间链路的卫星网络中边界路由问题的实质,然后介绍了一种基于BGP-4协议的卫星网络边界路由机制,最后总结全文并指出后续的研究方向。     

基于RTEMS的软件容错系统设计研究

运行于空间环境中的计算机系统，受空间辐射的影响，可能会发生各种各样的错误。为了提高系统可靠性，需要对其进行容错。在本文中，首先分析RTEMS本身的特点和空间环境的特点；然后在此基础上提出基于RTEMS的软件容错系统的分层设计思想，并给出具体的层次设计过程；最后结合模拟实验验证给出容错状态下系统的性能分析。实验结
果表明，对容错系统的分层设计是必要的。     

消息传递、PVM及MPI

求文介绍了消息传递的发展历史、PVM系统的发展及流行、MPI标准的制定以及MPI的现状及未来的发展前景。在此基础上对MPI和PVM进行了比较，供人们在选择PVM或MPI作为消息传递库时作参考。