一种基于VxWorks的星载计算机软件故障注入方法研究

给出了一种基于VxWorks的模拟单粒子效应的软件故障注入方法.该方法基于航天领域常用的多任务实时操作系统VxWorks,通过软件注入故障来模拟空间辐射环境引发的星载计算机硬件的单粒子事件.对软件故障注入的流程进行了详细说明,并在硬件开发平台上进行了验证.实验测试结果表明,该方法能够有效地对星载系统可靠性进行评测,并且具有操作简便、对目标系统影响小,不会对目标系统造成损伤等优点.     

基于故障注入技术的航天器系统级软件测试方法研究

针对航天器系统级软件故障模式测试特点及难点,对故障注入技术在航天器系统级软件测试的工程应用进行经验总结。详细说明了系统级软件故障模式测试的基本原理,从应用对象的角度出发将故障注入技术进行合理分类,提出了3种适用于航天器系统级故障注入技术。根据现有工程实践经验,结合系统级故障模式测试设计理论,对系统级故障注入技术从实现原理、地面系统连接方式、故障注入与系统响应时序关系等方面进行了研究,并在此基础上提出了航天器系统级星载软件故障模式测试验证的具体应用方法、适用场景及优缺点,可为航天器系统级电测中的软件测试设计提供参考。     

全数字化星载信号处理载荷架构设计

面对商业航天新业态的迅猛发展,围绕高可靠、高效率、高效益的航天发展目标,针对卫星有效载荷的载荷核心——星载信号处理载荷部分,参考美国国家航空航天局的空间无线电通信体制设计思路,以硬件平台化、功能软件化、软件构件化为特征基础,通过对软硬件体系、载荷时频、重构方式、资源共享等多元化的设计,构建了一种灵活、通用、易扩展、需求适应强的全数字化星载信号处理载荷架构。相比于传统星载信号处理载荷,采用该架构设计的星载信号处理载荷可以广泛适应各类星载信号处理的需求,极大地提升有效载荷的信号处理能力及可靠性,降低载荷的研制周期与成本,为未来卫星有效载荷的软件化、网络化、智能化发展提供技术支撑。     

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

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

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

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

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

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

一种用于检测自动测试系统故障冗余机制的故障注入方法的研究与应用

鉴于自动测试系统研究中缺乏确认其故障冗余属性的手段,提出一种基于对比策略的故障注入系统。系统采用硬件注入和软件仿真相结合的方法实现,故障注入由专门研制的电压信号发生器、电流信号发生器、后驱动电路完成,自动测试系统的正常运行通过软件仿真完成。实验结果表明利用该系统能发现自动测试系统的软件缺陷,并能对其故障冗余属性进行确认。     

星载合成孔径雷达的几个发展方向

针对军事领域的应用,介绍了未来星载合成孔径雷达(Spaceborne SAR)的几个重要的发展方向,包括能三维成象的星载干涉合成孔径雷达(InSAR)、星载SAR的动目标检测、星载超宽带SAR、多频多极化星载SAR和分布式星载SAR。对从事星载合成孔径雷达及卫星系统分析和设计的工程技术人员具有一定的参考价值。     

基于SM750的嵌入式星载计算机设计

SM750是一款高性能、低功耗微处理器,它由1个处理器核、 1个L2cache接口和60X总线组成,采用32位PowerPC体系结构精简指令集(RISC),是星载计算机的核心部件。根据某星载计算机系统集成方案,提出一种基于SM750的星载计算机设计方案,研究SM750处理器模块的特点、原理和组成以及星载计算机搭载的嵌入式系统AIC-OS,为高性能嵌入式星载计算机设计提供一种思路。     

基于遥测遥控包应用标准的星载状态实时监测系统设计

为解决我国卫星星载健康状态监测中存在用户需求不统一、软件代码复用率低和监视规则修改不灵活等问题,文章研究了遥测遥控包应用标准(PUS)中相关的星载监视业务、事件报告业务和事件动作业务,分析了其间的关联关系,并基于PUS标准设计了一套在轨实时状态监测系统。该系统利用实时的遥测数据和星上状态监视规则完成卫星健康监测,具有较强的灵活性和通用性,并已在某原理样机中得到实现。此系统可为后续型号星载健康管理功能设计与实现提供参考。     

故障注入方法与工具的研究现状

本文将故障注入技术分为基于模拟的故障注入和基于物理的故障注入两类，并从应用方法和工具结构两方面介绍了该项技术的研究现状。     

容错箭载计算机的硬件故障注入方法研究

容错机制和设计方案的正确性验证是容错箭载计算机研制的重要环节,验证方法有理论计算、软件模拟和硬件模拟等3种。硬件故障注入法采用人为引入故障方法可加速系统的失效,并通过观察系统在出现故障之后的行为反应对容错计算机系统的容错能力进行评价,更适合工程应用。本文研究采用硬件故障注入方法和特定容错测试仪,对容错箭载计算机的容错机制和设计方案进行了正确性验证,为容错箭载计算机的工程应用奠定技术基础。     

基于神经网络和证据理论的火箭发动机故障诊断

针对运载火箭动力系统故障的复杂特性和故障模式的不确定性,提出了基于神经网络和证据理论的火箭发动机故障诊断。首先以火箭视加速度和角速度作为网络输入,故障类型矩阵作为网络输出,通过BP神经网络和RBF(径向基函数)神经网络进行故障诊断;之后通过D-S证据理论融合神经网络结果;最后通过滚动时域估计方法对火箭飞行状态特征量估计。仿真结果表明诊断准确率达到99%以上,表明提出的方法对于火箭发动机故障诊断具有较高的准确性和实用性。     

空间飞行器推进系统的故障检测

文中采用基于人工智能条件下的专家系统知识，应用门限算法进行故障特性提取和相应的故障推理机制研究，在由大量小发动机组成的空间飞行器推进系统实验中进行应用，通过已有的实验数据，离线回放表明此方法具有实时检测功能，可以解决工程实际问题。     

基于Mentor EDA系统的模拟电路故障仿真器

模拟电路故障仿真器是故障字典法用于故障诊断所需的基本工具。本文基于ＭｅｎｔｏｒＥＤＡ系统设计一种能自动生成模拟电路故障字典的仿真器，并提供专家分析的辅助工具，实现在ＥＤＡ环境中的故障诊断。     

具有SDRAM容错和检错功能的PowerPC 高性能处理单元设计

介绍一款PowerPC架构的高性能嵌入式处理单元设计.利用PowerPC体系结构内建的差错检测和报告机制,采用CPLD设计和实现了三模冗余(TMR)SDRAM存储器模块,不但提供高速存储器的容错能力,还具有差错检测能力,提高了处理单元的可靠性.介绍一个分布式容错计算机的实例,并分析了该方案的优点.     

基于遗传算法的重定位容错方法的研究

随着网络成为人们获取信息的主要工具,人们对网络可靠性的要求也越来越高。针对网络中的结点出现故障而影响网络传输效率和可靠性问题,进行了基于遗传算法的重定位容错方法的研究。首先,描述了树型网络结构,根据网络组件的开销提出了网络代价目标函数。其次,阐述了遗传算法最小代价路径的搜索过程,提出了基于遗传算法的重定位容错方法。最后,通过仿真实验验证了重定位容错方法在路径搜索中的有效性。这样既缩短了路径搜索时间,又提高了网络传输信息的可靠性。     

基于故障树的智能型故障诊断系统

本文在故障树定性和定量分析基础上，提出了基于故障树的智能型故障诊断方法。该方法是建立在故障模式按发生概率大小排序和底事件按发生概率大小排序基础上，因此较好地反映了故障诊断过程中各个底事件和中间事件对系统故障的影响。