航天器电测中软件测试用例设计与实践

提出了在航天器电测中,以电测大纲和软件用户需求为依据,使用软件测试设计理论创建测试用例库,在此基础上完成了软件测试及实现方法。文章简介了应用背景,以某卫星为例,介绍了该方法应用到某卫星数管及热控软件测试的情况,并采用测试技术进行测试用例设计,最终生成航天器电测中软件测试用例库。此方法可以作为航天器AIT阶段软件测试设计的参考。     

航天器系统级测试现状分析

从测试方法、测试计划、测试模式、测试用例设计方法、测试工具等方面对航天器系统级测试进行了探讨。测试方法主要包括测试覆盖性分析法、自上而下或自下而上的测试方法、面向对象或面向过程的测试方法等;测试计划参考了NASA航天器的分类方法,包括对低成本卫星、商业卫星及载人航天器等三大类航天器进行了论述;测试模式包括任务组织方式、测试系统部署方式及人员配置等;测试用例设计方法包括软件测试方法、基于模型的测试方法及试验测试方法等;测试工具主要包括手动工具、自动化工具、信息化管理工具等三个发展阶段。此外,文章还对当前航天器系统级测试的现状及面临的问题进行了分析。     

分布式容错计算机系统在航天器上的应用

计算机容错技术是提高系统可靠性的强有力手段，卫星星上数据管理系统是高可靠性的分布式容错计算机技术系统，在硬件和软件的设计中，应用了故障检测、故障屏蔽和动态冗余等多种容错技术，本文从理论和工程实践两个方面介绍了各种容错技术在航天器上的应用。     

分布式容错计算机系统在航天器上的应用

计算机容错技术是提高系统可靠性的强有力手段,卫星星上数据管理系统是高可靠性的分布式容错计算机系统,在硬件和软件的设计中,应用了故障检测、故障屏蔽和动态冗余等多种容错技术,本文从理论和工程实践两个方面介绍了各种容错技术在航天器上的应用。     

航天器系统设计的可靠性准则

在对大量航天器工程案例分析的基础上,提炼出10条航天器系统（总体）设计的可靠性准则。遵循这些设计准则,将有利于航天器从系统级避免许多故障,或者消除故障对系统的影响,在阐述每条准则时,列举了一个或数个案例。     

基于关键事件的系统级单点故障识别方法及应用

系统级单点故障严重影响航天器任务的成败。为全面识别系统级单点故障模式,文章提出了基于时域空域分析、故障树分析（FTA）和故障模式影响分析（FMEA）相结合的关键事件系统级单点故障识别方法,并在交会对接任务中得到了应用。通过对识别的单点故障模式相关设备采取在轨补偿措施或过程控制措施,降低了任务风险,保证了交会对接任务的成功。该故障识别方法具有一定工程应用价值。     

基于系统工程的航天器专业化测试模式探索与实践

综合运用航天系统工程理论与方法,系统识别能力提升要素,从系统层面思考和改进航天器综合测试的管理方法、工作程序及工具手段等。结合航天器研制任务特点,在一定资源、时间和成本约束条件下,开展航天器综合测试流程再造、资源优化配置及组织模式创新等一系列专业化测试模式的探索与实践。针对批产航天器,建立流水线组批测试模式;针对复杂新研航天器,建立专业化集群测试模式。通过构建统一的多航天器自动化测试平台,建立测试用例库、测试流程库和测试故障模式库,推进基于测试用例的一键式自动化测试,实现测试任务的精细分解、测试资源的优化配置、测试风险的精细管控。该专业化测试模式既能确保航天器测试任务的质量与安全,又能解决后续日益增长的高峰测试任务需求与有限测试资源之间的突出矛盾,可供其他工程测试任务参考。     

黑盒测试法在航天器海上测控软件测试中的应用

简要介绍软件黑盒测试的四种方法,并以航天器海上测控软件测试为例,详细介绍等价类划分法、边界值分析法和决策表法在测试用例设计中的具体应用,既使测试更加充分,又提高了测试效率。     

一种用于星载系统可靠性评测的软件故障注入工具

随着计算机应用的日益广泛和复杂,很多传统的故障注入技术及工具已经在很多领域面临着新的挑战.本文详细介绍了由本课题组自主研究开发的一种用于评测星载系统可靠性的软件故障注入工具(SFIOS),该故障注入工具针对星载系统这一特殊对象而开发,采用包括时间、空间、事件在内的多种故障触发方式,不仅能通过软件的方式随时随地注入接近实际的星载故障,而且操作简单,不需要修改星载系统的应用任务,对星载系统影响较小。实验结果表明,采用该故障注入工具评测星载系统可靠性的具有较多的优点和潜力。     

应用层次分析法的航天器健康评估方法

采用层次分析法,实现各故障模式对航天器系统、分系统、单机设备影响权重的量化和分析,并提出航天器健康评估体系分级构建思想;结合航天器遥测数据特性对故障预测技术和健康评估方法进行了研究,设计了新陈代谢GM(1,1)等动态预测模型,给出了故障模式预测仿真结果。研究结果可为航天器在轨任务规划、故障处理维护等提供借鉴。     

基于照射箔条云的复合干扰原理分析

针对某些舰艇因雷达反射面积较大而实施质心干扰效果不明显的问题,提出了有源照射箔条云的复合干扰方法,增大了导弹末制导雷达接收到的箔条云回波信号强度,相当于增大了箔条云的散射面积,并通过仿真计算验证了此方法的可行性.     

VxWorks下设备驱动技术研究

讨论了实时多任务操作系统VxWorks下驱动程序原理及实现.在深入分析VxWorks操作系统的I/O系统及驱动程序调用过程的基础上,介绍了PCI/ISA设备驱动的实现,重点给出了驱动程序实现的关键代码,同时对提高驱动程序的性能进行了讨论.     

Magnetotactic bacteria on Earth and on Mars

Continued interest in the possibility of evidence for life in the ALH84001 Martian meteorite has focused on the magnetite crystals. This review is structured around three related questions: is the magnetite in ALH84001 of biological or non-biological origin, or a mixture of both? does magnetite on Earth provide insight to the plausibility of biogenic magnetite on Mars? could magnetotaxis have developed on Mars? There are credible arguments for both the biological and non-biological origin of the magnetite in ALH84001, and we suggest that more studies of ALH84001, extensive laboratory simulations of non-biological magnetite formation, as well as further studies of magnetotactic bacteria on Earth will be required to further address this question. Magnetite grains produced by bacteria could provide one of the few inorganic traces of past bacterial life on Mars that could be recovered from surface soils and sediments. If there was biogenic magnetite on Mars in sufficient abundance to leave fossil remains in the volcanic rocks of ALH84001, then it is likely that better-preserved magnetite will be found in sedimentary deposits on Mars. Deposits in ancient lakebeds could contain well-preserved chains of magnetite clearly indicating a biogenic origin.     

基于全相位的OFDM系统实现

OFDM是下一代无线通信的关键技术之一，而频率偏移会使OFDM的子载波失去正交性，同时给系统带来ICI，引起系统性能严重下降。针对这一情况，文章提出利用全相位FFT来解决频偏问题。全相位FFT利用自身的频谱分析功能来实现对信号相位和振幅的判决。经理论证明它的相位误差得到减少，且由频偏引起的泄漏远小于基于FFT的OFDM系统，同时振幅和频率通过全相位校正可以得到弥补；该技术还可以降低信道噪声对系统的影响。最后，通过实例仿真验证了该系统的性能是高于传统OFDM系统的。     

包带式星箭解锁装置预紧力影响因素分析

分析了温度和外载荷对包带式星箭解锁装置预紧力的影响,推导出包带预紧力变化的计算公式。结合某卫星的星箭解锁装置静力试验,对包带式星箭解锁装置在不同温度和外载荷情况下的包带预紧力进行了测试。结果表明:在温度变化时,包带预紧力变化计算值与实测值相差2.8%～4.3%;在外载荷作用下,对接面上的压力越大,预紧力增加越大,计算值与试验结果相差11.5%～23.5%。上述分析结果对包带预紧力的计算具有一定的参考价值。     

行星表面巡视探测器遥操作技术研究

行星表面巡视探测器的遥操作,是整个行星遥科学探测过程的重要组成部分。文章首先对遥操作的基本概念和行星表面巡视探测器遥操作的基本特性做了初步的分析,然后对成功发射到月球和火星表面并进行巡视探测的8个巡视探测器进行了归纳与总结,最后对行星表面巡视探测器的遥操作技术进行了总结与展望,并建议在我国首次登陆的月面巡视探测器上采用以遥操作为主,同时设置遥操作加半自主的操作模式。     

NPBA在黑索金表面的吸附研究

建立了中性聚合物键合剂NPBA在RDX颗粒表面吸附的定量检测方法.实验结果表明,RDX对NPBA的吸附量随平衡吸附时NPBA在硝化甘油中的质量百分含量Ce增加而迅速增加,当Ce达到0.275%时出现一平台,此平台一直延伸到0.837%处,随后吸附量随Ce增加而继续缓慢增加;吸附理论研究分析表明,Ce较小时形成单分子层吸附,随Ce的增加,转化成多分子层吸附;BET多分子层吸附模型能对吸附等温线作出较好描述.     

干部绩效考核中几个关键要素的思考

绩效是指工作人员在工作过程中所取得或形成的客观结果和能力的体现.管理学基本原理表明,绩效考核是以一定的量或度为标准对客观结果和能力进行综合系统的分析考核评价.本文以建立干部绩效考核评价指标体系为目标,以科学化、制度化、规范化为方向,探讨考核中的关键要素,即"德、能、勤、绩、廉、健"的内涵和相互关系.从而实现对干部绩效考核在理论与实践上的指导.     

基于ATML的分布式ATS架构研究

自动测试系统ATS通用化是测试与诊断技术的重要发展方向,直接决定了系统的设计维护成本、技术寿命和测试诊断性能。现有的通用ATS主要采用集中式系统架构,系统维护成本和难度较高,信息互通性和通用化程度不理想。针对集中式ATS架构的局限性,设计并验证了一种基于自动测试标记语言ATML标准集、以网络为中心的分布式通用ATS架构。经验证演示实验,该架构较好地解决了仪器和系统的互换性问题,并通过发掘仪器的智能性,缓解了网络的延时问题和带宽压力,对构建通用ATS具有重要工程意义。     

SAR欺骗干扰工程化设计研究

对SAR雷达的欺骗干扰研究在理论模型方面已经有了大量深入的研究,但对该领域在工程化设计方面的研究报道很少.首先给出了SAR欺骗干扰机的系统组成,然后分析了大数据量卷积模块的分段分相流水处理方法.在此基础上,给出了DRFM模块的硬件实现方案.结合硬件,提出了一种简单有效的闭环等效验证方法,并采集实际数据做了验证试验.试验效果证明了该硬件方案的有效性.最后,分析了SAR欺骗干扰机走向实用化所需的进一步研究的内容和方向.