一种卫星上的容错数字控制计算机

卫星控制系统用的数字计算机是实时性能很强的控制机,又是信息量较大的数据处理机,同时要求可靠性极高。一般,星载计算机设计成一台双机热备份的容错计算机系统。文章介绍了星载计算机的元器件选择,主机构成及其性能,各种系统软件和应用软件的设计准则,以及整机测试方法等。着重介绍了星载计算机硬件和软件的容错设计。文章最后介绍了星载计算机的使用情况,星载计算机成功地完成了二次飞行试验任务,表明设计思想正确,满足总体技术要求,控制精度高。采用双机热备份系统确实保证了计算机的高可靠性要求。     

卫星控制系统的三机容错计算机系统

本文讨论了容错计算机的三种容错结构,即D/S(双机变单机)、TMR/J(三模冗余变单机)、以及TMR/D/S(三模冗余变双机再变单机)结构。给出了三种容错结构的可靠性数学模型,对影响可靠性的诸多因素进行了讨论、比较,确定采用TMR/S方案。文中对TMR/S的硬件设置及容错管理程序做了简要介绍。对从事容错设计的工程技术人员有一定参考价值。     

空间双机容错计算机系统研究

为在资源有限的条件下，最大限度地实现长寿命空间飞行器计算机系统的容错，同时又能达到所要求的性能，提出了一个模块化的双机容错设计方案。采用热冗余比较方式，软硬件组合实现系统的容错管理，可保证在某个资源或包含该资源的模块发生故障时，不会导致整个系统的失效，并具备模块级重构能力，从而实现系统的资源共享。不同冗余系统可靠性分析和有关测试结果表明，所设计的双机容错系统性能满足有关要求。     

负荷分担方式双机系统的容错设计

本文提出了以负荷分担方式组成微计算机双机容错系统的设想,讨论了这种双机容错系统的特点,结构设计和软件设计的方法.这种双机系统具有处理能力强,可以采用多种双机信息交换方式,多种故障测试、故障诊断方法和可靠性高等多方面的优点.用两台RECZ-80单板机构成的系统进行了初步的原理性试验,结果表明,这是一种容易实现的、较好的双机结构形式.     

一种三模混合冗余总线控制系统设计研究

为了简化三余度容错总线控制系统设计,提高其容错效率,提出了一种自检、互检与表决机制相结合的软硬件协同混合冗余管理机制。该机制采取当班机主控、备机跟随当班机运行的工作方式,构成了间接的三取二表决机制,实现了三机表决、双机热备与单机运行3种工作模式自动切换,可以容忍任何配套设备任何余度模块任意组合的一度故障与典型二度故障,取消了一般三模冗余模块之间的交叉数据通信链路,简化了软硬件设计,提高了系统实时性。试验表明,在不同的故障发生时机条件下,经过0~2个控制周期可以完成系统重构。     

重构双机系统的可靠性分析

采用Markov过程，分别建立了容错双机系统和重构双机系统的可靠性模型，并着重研究了重构双机系统的重组时间对系统可靠性的影响。研究结果表明：重构双机系统的可靠性优于容错双机系统；在一般情况下（δ＞1），可以忽略重组时间对双机系统可靠性的影响，从而可以简化重构系统的可靠性模型。     

硬实时系统中自适应反馈软件容错动态调度算法研究

在飞行控制等硬实时系统中由于任务超时完成将会给系统运行带来灾难性后果,而现有软件容错调度算法在处理机利用率较高时,成功执行主任务所占时间比率下降,针对此提出自适应反馈容错动态调度算法,此算法在经典软件容错调度算法BCE(Basic CAT EIT)的基础上,引入反馈调度机制,形成Feedback BCE调度算法。该算法在运行过程中定期监测处理机利用率,将实际处理机利用率与预期值进行比较,根据比较结果调整对任务集的调度。实验表明,相对于其他同类算法,自适应反馈软件容错调度算法有效降低了浪费的CPU时间片数量,提高了成功执行主任务所占时间比率,有效降低了因处理机超载而引起的主任务丢失率。
     

一种低成本纳卫星星载计算机容错方法

为了提高纳卫星星载计算机系统的可靠性,减少体积、质量及功耗等多方面因素的影响,文章提出了一种软硬件结合的低成本容错设计方法。将星载计算机硬件采用双机冗余冷备份方案,通过现场可编程门阵列(FPGA)对故障处理器进行仲裁切换;软件容错通过错误检测与纠正(EDAC)信息容错技术的实现,对星载计算机整体程序进行纠错检错,以对抗单粒子翻转事件。结果表明:该方法能够对星载计算机系统进行有效的故障切换处理,并降低单粒子事件的不良影响,可以在纳卫星系统中推广应用。     

微小卫星星务计算机系统的容错控制策略研究

微小卫星系统是一个可靠性要求很高的系统,需要由具有容错能力的星载计算机来控制。针对微小卫星重量、体积、功耗的限制,提出了一种微小卫星的星务计算机系统的可靠性设计方案,设计中采用双模冗余方案搭建系统的容错结构,并根据卫星的运行要求提出了适用于微小卫星的温备份方式容错控制策略,介绍了一些用于支持温备份方式容错控制策略的关键技术。通过分析在微小卫星设计中的适用情况,温备份策略从硬件开销和时间开销两个方面都有利于卫星的设计。在立体测绘微小卫星“试验卫星一号”的星务计算机系统中的应用表明,提出的可靠性设计方案能够提高小卫星的可靠性、安全性以及实时性。     

单板双机嵌入式486容错子系统的设计

针对空间辐射环境中比较容易发生的单粒子翻转事件 ,提出一种低成本的商用器件解决方案———单板双机嵌入式容错子系统。该子系统把两个相对独立的嵌入式 4 86单机通过现场可编程门阵列 (FPGA)耦合起来 ,双机通信和数据比对都通过FPGA来完成 ,同时通过数据比对发现和消除单粒子翻转 (SEU)所引起的错误。由于系统中应用了较多超大规模集成电路 ,系统非常紧凑 ,用单板就实现了一个容错子系统     

捆绑型运载火箭姿态控制系统半实物仿真方法

本文介绍了MPSE软件的主要特点,总结了采用银河仿真机对捆绑型运载火箭姿态控制系统进行半实物仿真的方法。     

大型空间运动体的建模

本文建立了大型空间运动体的模态方程,并利用模态方程导出传递函数矩阵,给出离散传递函数矩阵的分解形式。利用这种方法对控制系统进行设计和频域分析。     

磁悬浮飞轮用BLDC系统的仿真方法与实验分析

对以数字信号处理器(DSP)为控制器的磁悬浮飞轮用无刷直流电机(BLDC)系统,提出了一种在Matlab/Simulink中新的仿真方法,并通过实验,分析了该方法的有效性和适用性。通过构建各种功能模块,如无刷直流电机模块、三相逆变桥模块、逻辑换相模块和控制模块,实现了仿真方法;通过使用C MEXS-函数和子系统封装等Simulink模型优化技术,提高了仿真精度和速度。最后仿真和实验结果吻合较好,表明该仿真方法较为正确,对磁悬浮飞轮用BLDC系统的分析和设计具有重要的实用价值。     

交会相对运动确定的新方法

本文叙述空间交会过程中相对运动参数测定的新算法。在测量目标的相对距离和方向的基础上,借助于追踪航天器上的地球敏感器和太阳敏感器,就能直接确定在目标轨道坐标系中相对运动的参数。为此,测量系统可以不含陀螺惯性平台。     

加速度表动态模型辨识和误差补偿

本文讨论全液浮陀螺加速度表的动态模型辨识及应用辨识所得模型进行动态跟踪误差补偿的方法。文章首先根据陀螺加速度表的动态模型估算了全程跟踪误差,其次介绍了脉冲传递函数参数的最小二乘估计和应用AIC准则来确定MA噪声的滑动阶数的原理。接下来讨论了用内环力矩器输入试验来实现辨识的可行性和实现辨识的一些问题。然后探讨了补偿动态跟踪误差的一些方法。最后对于一阶MA噪声情况应用增广最小二乘法进行了辨识仿真实验。仿真实验结果表明,全液浮陀螺加速度表的动态模型是可以辨识的。     

复杂电子系统抗核电磁脉冲设计的拓朴图法

本文针对复杂电子系统抗核电磁脉冲设计中所面临的系统结构因素和电路复杂难于进行分析的困难,提出了先将系统划分为若干个简单问题,用现有的理论加以分析,建立传输函数,再利用拓扑图论的点边关联矩阵,将简单问题综合为复杂系统响应的一种便于进行计算机辅助分析,且适用于复杂电子系统抗核电磁脉冲设计的有效方法。     

主成分估计的发展和完善及其在制导工具误差分离中的应用

本丈针对制导工具误差模型的特点,对[4]的主成分估计法作了深入的理论研究,发展和完善了[4]的方法,得到了一种适用于制导工具误差系数分离的方法。     

Max＋PlusⅡ结合Matlab对数字系统进行联合设计与仿真

介绍一种Max PlusⅡ结合Matlab对数字系统进行联合设计与仿真的方法，这种方法通过Matlab来完成数字系统的原理方案仿真、模块设计和系统必要参数获取；通过比较Max Plus与Matlab的仿真结果差异来实现硬件模块的功能验证、模块之间时序关系的调整和系统功能的直观验证；最后以高速数字解调器载波恢复部分的设计为例讨论了该方法的具体应用。     

指令抗干扰性能研究

本文从分析指令的特性出发,研究了指令在外界干扰作用下的特性,提出了单故障相关指令对的概念,分析了单故障相关指令对的性质,提出了单故障相关指令集生成算法,讨论了不同类型指令在单故障情况下的效应,并作了初步分类,最后提供了部分故障试验结果。     

黄金分割自适应鲁棒控制器设计新方法

本文在全系数自适应控制理论基础上,给出了一种实用的黄金分割自适应鲁棒控制器的设计方法及理论分析。对于参数未知、线性定常或慢变的二阶对象,只要参数估计值在一个范围内,该控制器就能保证闭环系统稳定,且系统输出的动态性能较好。从而解决了二阶系统自适应控制在初始过渡过程阶段的实际应用问题。