一种低成本高可靠的星载计算机存储器容错方法

星载计算机应用中，高可靠和低成本往往相互矛盾.传统计算机系统通过采用高等级器件的方式来提高系统可靠性，但代价是成本高昂.商业卫星采用降低元器件等级的方式来降低系统成本，但可靠性也随之降低.针对这一矛盾，提出了一种设计方法：利用低等级元器件，通过对程序存储器和数据存储器双冗余的方式来提高计算机存储器的可靠性、容错能力以及抗空间环境能力.采用本设计的计算机其存储器部分的可靠性与传统宇航计算机相当，成本与商业卫星计算机相当，实现了低成本与高可靠兼顾.     

容错控制系统的可靠性建模及模型化简

在容错控制系统的设计过程中,进行系统的可靠性建模和分析求得容错控制系统可靠性是一项非常重要的工作。它是许多设计工作,如设计方案的选择优化和一些设计参数的确定等的重要理论依据。在容错控制系统的可靠性分析中,利用马尔柯夫过程理论对容错控制系统进行可靠性建模能够较为真实地描述系统的实际工作情况,但是由于容错系统为了达到高可靠性而有采用了大量的冗余配置及重构技术,使得该可靠性模型往往变得相当复杂。因此,对     

三模冗余MPSOC容错设计与验证

为了提高MPSOC处理器的可靠性,提出了一种基于软件表决和硬件仲裁的三模冗余容错处理器设计方案,并对这种容错设计进行了原型实现和验证,试验结果表明了方案的正确性和有效性.     

闭环FOG的自诊断及在RSDIMU中的应用

首先阐述了闭环干涉型光纤陀螺(I-FOG)中回路的特点,揭示了它的自诊断能力.由此给出了一种具有自诊断能力的闭环干涉型光纤陀螺并将它应用于一种容错捷联惯性测量单元(RSDIMU)中,针对该单元,设计了一种容错算法.该算法除了利用陀螺的输出外,还引入了它的自诊断信息,从而实现了仪表级的信息冗余,使这种RSDIMU的容错能力由原来的故障运行(FO)-故障运行(FO)-故障安全(FS)上升到FO-FO-FO-FO-FS.用Markov可靠性估计模型对该系统的估计表明,其可靠性也有了很大的提高.      

SpaceWire CODEC的容错设计和实现

对SpaceWire CODEC进行容错设计是提高其可靠性的重要途径.分析SpaceWire协议的容错性能,介绍SpaceWire CODEC的容错设计方法,通过故障汇入和仿真验证了容错设计的有效性.     

IEEE1394 总线容错性研究

IEEE1394 总线正逐步应用于航天电子系统, 因此对其容错性进行研究是非常必要的. 本文对IEEE1394总线的物理层与链路层接口部分在信号传输中可能存在的错误以及如何容错进行了研究, 重点分析了物理层控制双向总线时可能出现的各种错误, 并给出了链路层的容错方法, 这样可以在很大程度上提高网络系统运行的可靠性.      

针对FPGA内缺陷成团的电路可靠性设计研究

文章分析了集成电路内缺陷成团机理及其对集成电路成品率的影响 ,应用集成电路成品率预计模型 ,分析了FPGA内缺陷成团对片内冗余容错电路可靠性的影响 ,据此提出了缺陷成团时提高FPGA片内冗余容错电路可靠性的策略 ,建立了相应的可靠性分析模型 ,给出了FPGA片内冗余容错电路布局的一些指导原则。     

总线容错机制及其验证方法

卫星系统广泛采用容错技术以提高系统的可靠性,而总线通信的稳定性和可靠性对于系统任务的成功至关重要．工程研制中,通常采用总线容错技术对系统通信故障进行识别和屏蔽．介绍了基于故障仿真技术的总线容错机制验证方法,包括故障规格分析技术、故障用例生成技术和故障仿真技术,利用该方法对某星载软件的总线通信功能进行了容错测试,验证了方法的有效性和实用性．     

星用SRAM型FPGA的故障模式分析和容错方法研究

静态存储器（SRAM,static random access memory）型现场可编程门阵列（FPGA,field programmable gate array）是一种对空间辐射效应较为敏感的航天器电子元器件。由于其特有的构造和工作方式,单粒子辐射效应对SRAM型FPGA造成的影响及其引起的故障模式有着区别于一般电子元器件的特征。为了提高SRAM型FPGA在空间应用中的可靠性,以该类型FPGA的主流器件作为研究对象,深入分析了FPGA在空间应用中的各种故障模式,研究了相应的各种容错方法。研究表明,通过采取适当的FPGA容错方法,能够有效降低SRAM型FPGA因空间辐射而发生故障的可能性。     

一种星载控制计算机智能容错方法

  深空探测任务对星载控制计算机的智能性、环境适应性和自主性提出新的需求。介绍目前星载控制计算机容错方法的进展情况,提出可进化硬件容错这种可用于星载控制计算机容错设计的智能容错方法,给出该方法的三种实现结构,即并行结构、串行结构和具有故障检测功能的串行结构,并对各种结构进行分析和比较。最后,用仿真验证平台验证了串行结构的可行性和容错性。     

运载火箭十表捷联惯组配置的故障诊断与决策

容错技术及故障诊断技术是提高导航系统的精度及控制系统的可靠性的有效方法,尤其是捷联导航系统中的故障诊断技术,已经在运载火箭控制系统中得到了广泛的应用。针对运载火箭十表捷联惯组配置,提出了一种故障诊断和决策方法,并在此基础上进行了信息重构方案和故障诊断门限的设计。数学仿真结果表明：该方法能够快速诊断惯性器件表头故障并进行信息重构,实现故障情况下的输出,进而完成飞行任务,对工程应用具有一定的参考价值。     

疲劳多裂纹扩展随机模型

建立了含相互干扰多裂纹结构的裂纹扩展随机模型.提出了远源裂纹、近源裂纹、概率寿命曲面等概念.给出了相互干扰多裂纹扩展随机微分方程的统一表达形式.在工程基本假设的基础上简化了相互干扰多裂纹扩展过程的计算.在此基础上可进一步分析含相互干扰多裂纹结构的可靠性,可直接应用于工程实践.     

航天器嵌入式操作系统研究与设计

随着航天器结构和功能的复杂化,对作为系统资源管理者的操作系统的功能和可靠性等要求也日益增强.分析嵌入式实时操作系统在国内外航天领域的研究与应用现状,提出面向航天器应用特点的具有多任务管理、内存管理、文件系统、容错和故障管理等功能的高可靠、高性能的嵌入式实时操作系统的研究与设计方案,并展望其在未来网络化及分布式安全航天器中的发展前景.     

基于FDDI网络的空间站DMS网络可靠性分析

在首先介绍了空间站ＤＭＳ网络结构的基础上,通过对ＤＭＳ网络使用的ＦＤＤＩ、ＭＩＬ－ＳＴＤ－１５３３Ｂ及ＩＥＥＥ８０２．４网络在各种情况下的可靠性分析,应用概率分析的方法得出了系统可靠性的数学模型,通过图示得出ＤＭＳ网络可靠性随站点数及链路失效概率的变化情况,为空间站ＤＭＳ网络可靠性设计提供了依据。     

一种基于FPGA位流回读与重配置的空间硬件容错方法

分析FPGA的配置数据帧格式以及整个器件中配置数据帧的类型和分布,在此基础上给出具体的位流回读故障检测方法和重配置容错方法,最后给出了实现该容错方法的一个实例.论文研究可为星上拟采用基于SRAM的FPGA的各分系统电路容错设计所借鉴.     

星载SRAM型FPGA可靠性快速评估技术

空间辐射环境严重影响星载SRAM (Static Random Access Memory)型FPGA (Field Programmable Gate Array)的可靠性,提出了星载SRAM型FPGA可靠性快速验证评估方法.在传统故障注入验证的基础上,引入可靠性预评估技术,在逻辑门级分析单粒子翻转对FPGA配置信息位的影响,同时对TMR (Triple Modular Redundancy)冗余方式进行单粒子翻转关键位置评估.然后构成不同敏感级别的故障序列,最后根据应用需求选择不同故障序列进行故障注入从而有效快速评估系统可靠性.该方法与逐位翻转相比,能够在保证故障覆盖率的同时,有效地减少实验时间,提高实验效率.     

基于PLC的动态系统故障诊断与 带故障运行方法

介绍了基于PLC(Programmable Logical Controller)的动态控制系统的故障诊断的基本原理、实现方法.为提高控制系统的可靠性,提出了一种基于梯形图软件设计利用信号输出模块屏蔽故障点实现故障检测与容错处理功能,使系统能够带故障运行的方法,并以实例说明了这种方法在避免和减少这些故障对系统影响方面是重要而且可行的.      

Optimization of fault-tolerant thruster configurations for satellite control

The fault tolerance of spacecraft actuators significantly affects the reliability of satellites and the likelihood of successful missions. To enhance the fault tolerance of the actuators, this study derives optimal fault-tolerant configurations of fixed thrusters that maximize the controllability of a fully-actuated or underactuated satellite. The proposed method optimizes thrust and torque directions generated by the thrusters. Thus a cost function in terms of the thruster locations and directions is defined as the summation of the generated control forces and torques with respect to the body-fixed frame. The optimal configuration is obtained by the successive use of an energy potential method that is motivated by Thomson’s problem. Some numerical examples are provided that show the effectiveness of the proposed formulation and optimization method.     

用于空间站的四重冗余对接控制系统设计

针对空间站所处太空环境的特殊性、对接机构对空间站正常运行的重要性,以及对航天器可靠性要求日益增加的问题,提出在对接控制系统中增加可靠性设计,实现整个机构的高质量、平稳运转。在完成正常控制功能的基础上,在系统中采用了四重冗余的工作机制,包括主备机双热备份、自动/手动控制模式切换、自动控制关闭指令双线发送和工作模式的三取二判断,对四重冗余设计的具体判断流程进行了详细的解释。对控制系统软件进行仿真验证,结果表明：本方法设计的对接控制系统具有高可靠性和故障容错能力。