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

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

小卫星星载容错计算机控制系统软硬件设计

创新一号低轨存储转发通信小卫星是中国第一颗重量在100公斤以下的小卫星，介绍了其星载计算机系统的设计方案。由于卫星采用了计算机集中管理方式，为保证星载计算机的可靠性，设计中对硬件使用了双计算机热备份冗余设计，星载计算机的可靠性同时通过软件和硬件协同容错设计来实现。卫星的星务管理、遥测、遥控、姿态控制、电源管理、通信控制、轨道控制等都需要通过计算机软件完成，介绍了这些软件的主要功能和容错设计。创新一号星载计算机采用了多项新技术，并经过了一年多的飞行测试验证，达到了预定的运行目标，星载计算机圆满完成了各项设计功能，证明了卫星计算机系统的安全可靠。     

近地卫星星历的高精度星载算法研究

随着星载计算机系统结构和性能的改善,利用星载计算机实现高精度的星历计算成为可能。本文针对近地轨道卫星提出了一种适合星上轨道预报的数值算法。通过采用简化的动力学模型和一种嵌套插值算法的积分器,有效提高了计算效率,降低了对星载计算系统的性能要求,从而实现高精度的卫星星历星载计算。该算法在星载计算机系统平台上进行仿真验证的结果表明,对于某飞行器可实现轨道预报1天优于1km的星历计算。     

风云一号（B）的星载计算机系统

本文叙述了风云一号(B)星载计算机系统的构成及性能、主备双机冗余结构以及主备双机切换和备机内部A、B机自荐切换的实现过程,介绍了星载计算机的可靠性设计、冗余容错设计和星载计算机软件,也反应了星载计算机在卫星中的作用。     

空间数据系统电子数据单工具链设计

为了提高星载信息系统在设计、测试、维护和运控过程中数据的流转效率,以电子数据单技术为基础,提出了电子数据单工具链的通用架构,给出的设计方案可实现数据文件的自动转换,有助于数据在各异构系统间的无缝传递。在航天器星载接口业务电子数据单(SEDS)基础上提出了适用于描述业务接口信息及其关系的S-SEDS,为业务间的信息交换提供了解决途径。以1553B总线电子数据单为实例对架构进行了验证,结果满足使用需求。文章为星载信息系统设计到应用全过程中的通用工具链设计提供了思路,有助于实现星载信息系统各部件的即插即用技术。     

一种宇航用智能计算机架构设计

针对星载计算机产品的高速化、智能化发展趋势,提供一种基于VPX架构的星载智能计算机架构设计方案,具体包括计算机架构设计、二次电源模块设计、固存模块设计、接口模块设计、网络交换及AOS处理模块设计、母板设计。     

基于知识隐藏的星载计算机系统安全研究

在现代战争中 ,卫星的信息安全与可靠性直接关系交战方能否具有一定的信息优势 ,能否掌握战场的主动权。星载计算机系统、通信系统的安全与可靠性是关键。分布式、多总线、多处理单元的冗余设计、看门狗技术是目前用来保证星载计算机系统可靠性的主要手段。文章从知识隐藏的角度 ,提出用弹性计算理论来保证星载计算机系统容错、容入侵的思路和方法。论文给出了知识隐藏的概念 ,分析了 3种知识隐藏方法 ,围绕弹性计算模型 ,提出了基于弹性计算模型的星载计算机系统的文件系统、基本组成设计与实现     

基于知识隐藏的星载计算机系统安全研究

在现代战争中，卫星的信息安全与可靠性直接关系交战方能否具有一定的信息优势，能否掌握战场的主动权。星载计算机系统、通信系统的安全与可靠性是关键。分布式、多总线、多处理单元的冗余设计、看门狗技术是目前用来保证星载计算机系统可靠性的主要手段。文章从知识隐藏的角度。提出用弹性计算理论来保证星载计算机系统容错、容入侵的思路和方法。论文给出了知识隐藏的概念，分析了3种知识隐藏方法，围绕弹性计算模型，提出了基于弹性计算模型的星载计算机系统的文件系统、基本组成设计与实现。     

一种基于Markov模型的星载计算机系统可靠性评测的新方式

可靠性在星载计算机系统中具有非常重要的作用。现以Markov链为基础,提出了一种新的估计星载计算机系统可靠性的统计使用检测方法。首先通过对故障的传播进行分析,对检测过程中Markov链上由故障产生的状态转移描述方法进行了改进,将“故障不一定产生失效”的现象用Markov链描述出来。其次,提出了程序执行路径的概率计算方法,并且用该方法对星载计算机可靠性进行了估计。最后通过仿真实验表明了该计算方法的有效性。通过对故障状态转移的分析和路径概率计算方法的提出,使星载计算机系统可靠性评测更能反映实际情况。     

星载计算机最新技术介绍

本文综述国外航天通用计算机的最新发展状况,介绍一些较新的正在研制或正待鉴定的通用飞行计算机,概述星载计算机的有关技术以及VHSIC对星载计算机系统和海量存储装置的巨大影响.     

基于dSPACE的挠性卫星姿轨控实时仿真系统

以某在研挠性卫星星载计算机在回路中的仿真试验为背景 ,利用dSPACE多处理器系统构建了卫星姿轨控实时仿真系统。介绍了实现该系统的软、硬件构成。重点介绍了实现该实时系统的关键———如何用dSPACEDS4 2 0 1s板上的RS2 32 / 42 2串口模拟星载计算机与各路姿态敏感器、反作用飞轮串口之间的复杂通信及串口通信Simulink仿真模型的设计。本文用Simulink ,Stateflow和S函数混合建模方法 ,设计了该实时系统的串口通信接口模型。并以星上自主模式为例进行了实时仿真。仿真结果证明了本文设计的卫星姿轨控实时仿真系统的可行性和串口通信接口模型设计的有效性。     

微小卫星三机异构一体化计算机设计

当前微小卫星的星载计算机与运载计算机多分别采用不同结构的计算机系统设计,导致资源浪费和运载计算机的可靠性较弱。文章提出了一种微小卫星一体化计算机的设计,即采用三机异构备份的设计方案。在发射运载阶段,以数字信号处理器（DSP）为核心的运载计算机作为主机,以高性能FPGA为核心的时变计算机作为备机;在在轨运行阶段,以ERC32处理器为核心的卫星平台计算机作为主机,时变计算机经重构后作为备机。此设计不仅提高了运载计算机的可靠性,而且对卫星平台电子系统在能源、热控、遥测遥控、有效载荷、姿态轨道控制等方面的综合管理能力也有全面提升,并且还具有灵活的扩展性和较强的适应性。     

基于TSV的星载微系统设计与可靠性实现

基于硅通孔TSV（Through Silicon Vias）的星载微系统，通过硬件框架设计、TSV关键工艺设计、CPS仿真设计、全流程测试及可靠性研究，最终在全国产化高温共烧陶瓷HTCC（High-Temperature Co-fired Ceramics）管壳内集成了抗辐照海量信息处理器、抗辐照大容量存储器、抗辐照微控制器、抗辐照38译码器等器件，形成43 mm×43 mm×5.65 mm的气密性封装星载微系统，具备高可靠、高性能的处理能力以及星上常用的控制和通讯接口，可用于星上载荷信息实时处理及星务平台控制管理，可以有效替代现有的板级产品，实现星载电子系统的小型化、集成化。     

基于磁强计的卫星自主定轨

针对低轨小卫星 ,提出一种低成本的自主导航方法。该方法采用一个三轴磁强计作为测量手段 ,通过卫星所在位置的地磁场强度的量测值与国际地磁场模型 (IGRF)之间的差值来提供导航信息 ,利用推广的卡尔曼滤波技术来确定卫星的轨道。仿真研究的结果验证了该方法的可行性。     

基于BM3803的星载计算机标准化设计与实现

以国产BM3803为处理器,采用紧凑型外部组件互联cPCI（compact Peripheral Com-ponent Interconnect）总线作为内总线,通过研究爱特（Actel）公司的IP（Intellectual Property）核CorePCIF的网表级文件,用现场可编程门阵列（FPGA）实现了标准cPCI接口;考虑到空间应用的特点,结构上设计了专门的锁定机构,实现所有模块的统一锁定,同时减轻了结构质量。     

星载控制软件在轨动态重构技术研究

为使星载控制软件可在轨动态重构，提出一种基于量子编程框架、无须操作系统支持、可实现多版本切换的星载控制软件在轨动态重构方法。在分析影响在轨动态重构关键技术基础上，从量子框架的面向对象运行机制出发来寻求软件框架对动态重构的支持；通过划分函数边界，将函数归类为内部函数和公共函数，避免了模块间的循环依赖；给出了函数向量表维护策略，并以版本号为导向实现了向量表切换。该方法在BM3803星载处理器平台进行了充分测试，结果表明：所提出的在轨重构方法系统无须停机、版本可回退且更新过程可靠。本方法占用内存小、平台依赖性弱、代码可复用性强，可推广应用至硬件资源有限的星载控制器终端。     

皮卫星星载计算机存储模块的容错结构设计

空间单粒子翻转现象对航天飞行器中电子设备特别是静态存储器的可靠性具有重大影响,而 星载计算机的可靠运行在很大程度上依赖于系统中存储模块的可靠设计。就皮卫星星载计算 机存储模块的可靠性及提高其可靠性应采取的技术进行了论述,提出了使用汉明纠错码作为 星载计算机存储模块的容错控制策略,并简要描述了存储模块的硬件结构。该设计具有可靠 性高、兼容性强等特点,使皮卫星满足体积小、重量轻、功耗低等工程应用要求。     

一种星载软件在轨编程功能的设计和实现技术

对卫星姿轨控计算机软件在轨编程功能的设计和工程实现技术进行了研究，给出了在轨编程的原理、实现方法、可靠性设计、资源分配、接口要求和在轨编程的操作步骤。试验结果证明，提出的星载软件在轨编程原理和实现方法合理可行。     

FPGA-based operational concept and payload data processing for the Flying Laptop satellite

Flying Laptop is the first small satellite developed by the Institute of Space Systems at the Universität Stuttgart. It is a test bed for an on-board computer with a reconfigurable, redundant and self-controlling high computational ability based on the field programmable gate arrays (FPGAs). This Technical Note presents the operational concept and the on-board payload data processing of the satellite. The designed operational concept of Flying Laptop enables the achievement of mission goals such as technical demonstration, scientific Earth observation, and the payload data processing methods. All these capabilities expand its scientific usage and enable new possibilities for real-time applications. Its hierarchical architecture of the operational modes of subsystems and modules are developed in a state-machine diagram and tested by means of MathWorks Simulink-/Stateflow Toolbox. Furthermore, the concept of the on-board payload data processing and its implementation and possible applications are described.     

FPGA-based operational concept and payload data processing for the Flying Laptop satellite

Flying Laptop is the first small satellite developed by the Institute of Space Systems at the Universität Stuttgart. It is a test bed for an on-board computer with a reconfigurable, redundant and self-controlling high computational ability based on the field programmable gate arrays (FPGAs). This Technical Note presents the operational concept and the on-board payload data processing of the satellite. The designed operational concept of Flying Laptop enables the achievement of mission goals such as technical demonstration, scientific Earth observation, and the payload data processing methods. All these capabilities expand its scientific usage and enable new possibilities for real-time applications. Its hierarchical architecture of the operational modes of subsystems and modules are developed in a state-machine diagram and tested by means of MathWorks Simulink-/Stateflow Toolbox. Furthermore, the concept of the on-board payload data processing and its implementation and possible applications are described.