基于状态图的航天器测试用例设计

为进一步提高航天器测试效率和测试覆盖性,提出了一种基于状态图的航天器测试用例设计方法,以状态图模型作为测试用例设计的依据,通过模型覆盖准则,由算法生成测试用例,并以自主热控功能的测试为例,对新方法进行了可行性验证,给出了原始用例和新用例的比较结果。该方法有利于准确衡量测试用例覆盖率,缩短用例设计时间,可为工程应用提供参考。     

实时嵌入式软件系统测试需求建模研究

使用形式化语言构建测试需求模型,有助于提高系统测试的自动化程度.UML状态图具有形式化特征,适合复杂系统详细行为的描述.本文基于面向对象思想,以状态图为核心技术,结合类图,提出了一种适合实时嵌入式软件的系统测试需求建模方法.该方法对被测软件系统的静态结构和动态行为进行建模,能清晰、完整地描述测试输入信息,包括前置条件、接口数据、激励事件、过程描述、后置状态等.并通过相关的建模机制实现了对实时性、并发性、时序性及数据反馈等约束特征的描述.基于该方法生成的需求模型,结合一定的测试用例生成策略,可以自动生成测试用例.作为示例,本文结合该方法对某飞行器控制功能进行建模,模型具有简洁、直观、易用的特点.     

基于修正条件判定覆盖的软件测试技术研究和方法应用

对在航天软件测试过程中广泛应用的修正条件判定覆盖测试技术进行了说明,并在此基础上对修正条件判定覆盖的测试用例设计方法进行举例描述,最后给出了使用工具对修正条件判定覆盖测试的应用情况,对相关领域的技术人员有一定的参考意义。     

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

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

基于资源扩展活动图的并发测试用例生成方法

对UML(统一建模语言)活动图进行共享资源的属性扩展,利用扩展的活动图对并发系统间任务的同步及数据的竞争关系建模,充分考虑并发软件运行原理、故障模式及测试效率,提出并发系统的测试覆盖原则及基于扩展活动图的并发测试用例生成方法。进一步通过举例验证该方法能够正确的生成并发测试用例同时又可防止用例数量爆炸,提高了并发软件测试的可靠性及效率。     

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

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

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

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

关于软件自动测试的实践——双星计划总线控制器软件测试中自动测试的应用

在双星计划中，有效载荷公用设备分系统中的总线控制器是系统中的主控单元．其软件是系统的核心软件。在总线控制器软件的配置项测试工作中．采用了一些软件测试自动化的思路和方法。在测试规划上按照测试用例数据自动生成、测试过程自动执行、测试结果自动分析等方面进行测试安排和实践。测试实践的结果表明。自动测试在提高测试效率和测试充分性，保证测试的质量等方面效果明显，但是在测试有效性上没有贡献。并且增加了测试的工作量。     

偶数重连续覆盖的Walker星座设计方法

针对期望覆盖重数为偶数重时连续覆盖Walker星座的构型设计问题,提出一种基于覆盖带理论的构型设计方法。首先分析同轨道卫星组成覆盖带时的构型设计特例,随后将结论推广,改进了传统Walker星座的构型表征形式并提出覆盖带构型参数。基于轨道参数的相平面映射,给出了异轨卫星组成覆盖带时特征宽度的计算方法。通过分析相平面上覆盖带的拼接情况,给出了轨道倾角的优化策略和偶数重覆盖任意纬度的Walker星座设计步骤。所提出方法能显著提高构型枚举效率,且能满足不同纬度范围的覆盖需求。仿真表明,该方法能减少约10%覆盖所需的卫星数量,并能通过调整构型参数进一步优化轨道面数量。     

基于正交试验法的故障诊断软件测试方法

针对故障诊断软件代码量大、推理规则多及测试耗时大的问题,提出了基于正交试验法提取有代表性推理规则的测试方法。分析了故障诊断软件的需求特性,介绍了正交试验法的理论依据,阐述了使用正交试验法在故障诊断软件测试中提取代表性推理规则的方法,并说明了根据提取出来的推理规则进行测试用例设计的思路和具体实施效果。     

从汉译英的赘冗和疏漏问题看汉英语法特征之差异——汉语语法的柔性之于英语语法的刚性

本文从汉译英的翻译实践出发，从英语译文的错误以及汉英译文对比中，去发现并分析汉语和英语语法特征的差异。论述了英语语法的刚性、显性和汉语语法的柔性、隐性，并从语言对思维的影响的角度，探讨了汉语语言文化的深邃独特和英语语言的缜密精确。     

高超声速跳跃-滑翔弹道方案设计及优化

针时常规弹道导弹突防能力差、成本高的缺点,提出了一种高超声速跣跃-滑翔弹道方案.以某弹道导弹为例,通过采用高升阻比外形和末级发动机多次点火技术,将其再入弹道设计成大气层边缘的跳跃-滑翔弹道,并以航程为目标对弹道进行了优化.结果表明,跳跃-滑翔弹道能大幅增加导弹航程,同时还具有较强的突防能力,而且当跳跃幅度较大时,还可减轻气动加热;优化后导弹的航程进一步增加,跳跃幅度减小,热流峰值减小,加热时间和总气动加热量增加.     

空间交会对接光学敏感器测量的实验研究

光学敏感器通常用作空间交会对接最后阶段的测量敏感器。本文研究了光学成像敏感器的测量方法，并在此基础上进行了物理仿真实验。实验结果表明，当距离为１ｍ左右对直径４０ｃｍ的目标模拟器进行测量时．位置测量精度优于１ｍｍ，姿态测量精度优于０．４°。     

碳化硅纤维增强铝复合材料疲劳性能及疲劳破坏机理研究

介绍了SiC/Al复合材料单向板和正交板试样的拉—拉疲劳特性和疲劳破坏机理研究结果。研究结果表明,SiC/Al板试样拉—拉循环5×10~4次后,其剩余静拉伸强度系数超过0.87,随着循环应力水平的提高,材料的剩余静拉伸强度几乎没有变化,但声发射信号的起始峰值向应变增大方向移动;疲劳将导致复合材料表面产生温升,通过测量材料表面温度的变化,可以提前预告SiC/Al复合材料的疲劳破坏。     

Antenna for precise orbit determination

The ESA SWARM mission will consist of three satellites that will measure the Earth magnetic field. The system calls for metre accuracy knowledge of the measurement locations. To achieve this a GPS receiver is used. At least four GPS signals are tracked to determine the code and carrier ranges, from which the position can be derived. The accuracy improves when using more GPS satellites and by averaging over many measurements. The latter is achieved in ground processing with a model-based orbit prediction, resulting in cm accuracy. The main error contributions in the processing are often measurement errors due to satellite multi-path effects. The multipath effects are characterized by measuring the antenna on a 1.5 m mock-up, representing the 9 m long satellite. In order to verify that the mock-up is representative, extensive electromagnetic simulations were made. The simulations included the antenna and the complete satellite and were then reduced to the antenna and a section of the satellite. The actual design of the antenna was performed with several levels of software. First, a fast bodies-of-revolution simulation found a geometry with the right coverage. Then, a finite element method simulation allowed us to match the antenna at two frequencies simultaneously.     

抗相参雷达的侦察干扰一体化处理技术

基于数字射频存储技术,提出了对相参体制雷达的侦察干扰一体化处理方案.通过对侦察和干扰技术的分别论述和整合研究,将传统上独立的侦察和干扰的主要数字处理算法集成在单个可编程器件内,大大提高了对相参雷达的干扰效能,减小了电子对抗设备的体积和功耗.     

超声速进气道流场三维数值模拟

超声速进气道是固体火箭冲压发动机至关重要的部件之一,直接影响燃烧室的燃烧及发动机性能。基于N-S方程、标准k-ε双方程湍流模型,利用FLUENT软件对某型固体火箭冲压发动机楔形超声速进气道内外流场进行了三维数值模拟。计算得到了超声速进气道在飞行马赫数为Ma=3.5的情况下的流场性能。并在相同马赫数下,研究了等比压缩和攻角条件下的进气道流场的分布情况。模拟结果表明：进气道的总压恢复系数和流量系数等性能指标受到攻角的影响而发生变化。     

基于卫星中继的导弹飞控数据链链路分析

导弹飞控数据链路可极大地提高导弹的作战性能.分析了基于卫星中继的导弹飞控数据链链路特性,给出了其系统组成结构.完成了地星链路和星弹链路系统的分析与设计.最后给出了各链路的通信余量估算.对导弹飞控数据链的工程实现具有参考意义.     

基于HLA的卫星组网通信与对抗仿真系统设计

介绍了一种基于HLA的卫星组网通信与对抗仿真系统设计框架,并较为详细地描述了其联邦与成员设计。基于此设计框架的目的系统能够提供虚拟空间战场环境,使部队进行可信度较高的空间信息作战演习,并进行相应的技术和战术研究。     

卫星系统热特性分析

考虑空间轨道外热流、卫星表面自身辐射、热载荷等因素影响,建立卫星温度场计算模型,在采用蒙特卡罗(Monte-Carlo)法求解卫星复杂辐射边界条件的基础上,利用有限容积法对卫星在轨飞行阶段的瞬态温度场进行数值模拟,计算得到卫星瞬态温度场,并考虑其表面自身辐射及空间轨道外热流等因素,建立卫星红外辐射通量计算模型,计算得到不同时刻、不同热载荷情况下的卫星红外辐射通量分布,并简要分析了在轨卫星热控涂层衰减所带来的表面太阳吸收比的变化对卫星温度场的影响。