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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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.     

浅谈档案室的管理

如何加强档案规范化管理,充分发挥档案在实际工作中的作用,本文从档案的收集、整理、保管、利用和人员的素质五个方面来进行阐述。从而提高人们对档案室管理工作的认识,以确保档案室管理工作的进一步提高。     

一种多标校源的高轨伴星时差频差定位算法

针对高轨伴星时差频差无源定位系统中卫星位置、速度、时差和频差等参数的测量系统误差严重影响定位精度的问题,提出了一种基于四个或四个以上已知位置的地面标校源的高斯-牛顿定位算法。该算法首先利用差分法消除星间时差、频差测量的系统误差,再利用标校源的时差频差测量方程组估计出主星和伴星的相对位置和相对速度误差,最后结合时差、频差、地球球面以确定非合作辐射源位置。理论和数字仿真均表明在时差和频差测量的随机误差较小时,本文算法的均方根误差（MSE）接近克拉美-罗下限(CRLB)。
     

HMX含量对HTPB复合固体推进剂微波衰减的影响

研究了HMX含量对HTPB复合固体推进剂微波衰减的影响。实验结果表明:含HMX的HTPB复合固体推进剂的微波衰减随HMX含量的增加而增加,HMX含量由5%增加到50%时,HTPB复合固体推进剂的微波衰减增加了约1倍。     

Numerical Simulation of Impact Loading on Solid Propellant Within an Orthotropic Shell

The strain–stress state of the solid propellant rocket engines (SPREs) is simulated under impact. The effect of orientation of elastic and strength properties of orthotropic organoplastic shell material on the strain–stress state of the solid propellant is investigated. Normal and oblique impact of single steel cylinder projectiles, both simultaneous and at different times of multiple, converging steel spheric particles with SPRE are investigated in this study. The investigation is conducted numerically. The numerical modeling was carried out in a three-dimensional formulation by the method of finite elements for the continuous approach of the mechanics of a deformable solid. The destruction of the anisotropic material is described by the tensor-polynomial criterion of the fourth degree, which takes into account the influence of hydrostatic pressure.     

测控技术标准体系浅析

在新版《军用标准体系表》中,测控技术标准作为24项共用技术之一被单独列项,为测控技术标准体系建设提供了良好机遇。在扼要介绍新版《测控技术标准体系》的基础上,对新版《测控技术标准体系》的构建思路、技术特点进行了简要分析。     

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

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

涨落、协同、竞争及启示

运动的破缺产生差异，导致涨落，造成对系统原有方向、轨道的偏离，致使事物发展与进化，由此带来一系列富有生机和活力的启示。作为系统内在机制的协同与竞争，也深深地楔人了我们的生活。     

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

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