基于黑盒测试环境的交会对接软件时序分析技术及应用

航天器空间交会对接难度大,GNC软件对任务的完成起到重要作用.由于交会对接控制软件功能复杂,时序要求严格,这对软件测试提出了很高的要求.基于黑盒测试环境,利用FPGA设计方法和时序分析技术,实现了对交会对接软件重要数据运行时序的捕获和对上下行信号相位关系的跟踪,完善了故障触发和上行注入手段.该测试环境在交会对接软件研制过程中起到重要作用.     

嵌入式软件测试开发环境的框架设计

采用软件设计上的复用思想,对嵌入式软件仿真测试环境进行框架的设计,可以使测试环境在不做大幅度修改的情况下适应不同的被测软件,节省设计的时间和费用.论述了由框架开发软件的过程,并把此过程应用于测试环境;对嵌入式软件仿真测试环境进行总体分析,确定了它的3个主要组成部分;归纳出作为测试环境重要组成部分的测试开发环境的基本功能,并使用专门针对框架开发的UML-F建模语言设计了一个框架;对已开发成功的测试开发环境框架,提出了具体的框架适配方案.本设计已在实际工程中得到了应用.     

航天嵌入式软件动力学仿真环境的通用软件架构

针对航天嵌入式软件测试环境通用化需求,提出动力学软件的通用化设计方法.基于航天动力学仿真的特点,设计灵活、通用和易于扩展的软件框架、接口数据结构和接口函数,适用于在研型号的所有接口处理方式.该方法在实际型号工作中完成应用,显著提高了动力学软件的研制速度,动力学软件运行稳定,精度满足测试要求.     

基于Eclipse的航天嵌入式软件集成 开发环境设计与实现

针对当前航天器软件研制过程中需要使用多种开发工具的问题,设计实现了集工程管理、代码编辑、语法检查、编译链接和调试测试于一体的航天嵌入式软件集成开发环境.研究成果已应用于航天器嵌入式软件的研发,缩短了软件研发周期并提高了软件质量,同时也为软件集成开发环境的研发提供借鉴.     

可配置的软件动态测试系统研究

首先简要分析了软件动态测试方法在测试环境开发、测试执行以及测试结果分析等环节上所存在的问题与缺陷。接着提出了一种采用增加配置的方法构建动态测试环境的思路,并以此为基础,实现了一个软件自动化测试原型系统,同时详细描述了该系统的基本框架,阐述了它的关键技术。     

嵌入式软件的动态测试

软件测试是软件质量保证的重要手段。构建了基于软件测试工具Testbed/RTInsight针对PC104系统的实时嵌入式软件测试环境。以俄罗斯方块的C程序为例,进行PC104系统的软件动态测试,最后给出了动态覆盖率及性能分析的实验结果,和性能分析能记录分析程序中每个函数的最大运行时间,最小运行时间,总的运行时间以及运行次数。     

软件测试技术及其支持环境

本文在扼要介绍现代软件测试技术之后,详细描述了C软件测试环境CSTE和Pascal软件测试环境。PSTE的原理、设计与实现。这两个历时三年多、近七万行源语句行的软件工程实践的经验和体会,对今后开展软件工程项目的研究或开发工作都有所裨益。     

150 kV高压逆变电源倍压整流电路仿真

针对150 kV电子束高压电源特点,采取高压变压器与倍压整流电路相结合的方式产生150 kV高压.建立几种常见的倍压整流电路模型并进行分析,通过使用MULTISIM软件对倍压整流电路模型进行仿真,重点对科克罗夫特沃尔顿（C-W,Cockcroft-Walton）全波倍压整流电路的电容参数进行仿真设计,研究不同倍压电容参数对输出电压特性的影响,结果表明C-W全波倍压整流电路为最优方案.最终通过试验调试验证,对倍压电容参数优化可以使输出特性更好,且设计方案满足参数要求.     

大型超高真空容器的检漏

本文介绍氦质谱检漏仪在大型超高真空容器研制和总装调试中的应用。介绍质谱检漏仪检漏时“使用灵敏度”,以及检漏时“反应时间”。介绍KM_4超高真空宇宙模拟室部件和总装调试的检漏方法。     

嵌入式软件仿真测试平台构件化技术研究

软件测试在航天嵌入式软件研制过程中占有极为重要的地位,使用全数字仿真测试平台进行软件测试是行之有效的方法.对仿真测试平台进行层次化构件分解和构件设计,研究航天软件仿真测试平台构件化开发方法,并给出应用实例,证明了该方法可大幅提高平台开发效率.     

基于CAN总线的虚拟仪器在多电机控制中的应用

将虚拟仪器的概念应用到多电机控制系统中,对电机的运动轨迹、电流特性进行实时监控以达到最优控制.采用基于CAN(Controller Area Network)总线的主从式分布结构,在产品研发过程中虚拟仪器取代电机控制中心成为主节点,完成对各个电机控制单元的调试和测量.利用CAN卡和Visual Basic完成了虚拟仪器系统的开发,实现了电机控制算法的实时调节、控制效果的数字化和图形化评估、DSP(Digital Signal Processor)和FPGA(Field Programmable Gate Array)程序的在系统升级以及各种测试环境的模拟,显著提高了某型号X光机的研发效率和产品质量.     

基于模型架构的航天器控制软件研制方式研究

开展基于模型设计研究,旨在解决当前航天器控制软件研制所面临的需求描述准确性、设计验证充分性以及软件产品可靠性等问题.针对基于模型设计过程中的代码胶合接口复杂且操作繁琐问题,提出一种基于模型架构的航天器控制软件研制方式,搭建软件模型驱动框架,通过模型封装方式将既有代码资产或新编写代码嵌入到软件模型驱动框架,简化代码胶合过...     

基于混合编程技术的AOCC应用软件快速仿真平台

介绍基于混合编程技术的AOCC应用软件的快速仿真平台的整体框架设计以及具体实现．基于该方法构建的快速仿真平台，能够满足软件开发人员对基于8086汇编语言开发的AOCC应用软件开、闭环调试和测试的要求，对提高软件的开发效率和保证软件的质量有积极意义．     

嵌入式软件仿真测试环境软件体系结构研究

利用嵌入式软件仿真测试环境(ESSTE,Embedded Software Simulation Testing Environment)对实时嵌入式软件进行系统测试是国内外公认的、行之有效的方法.基于UML和"4+1"视图模型,系统地对ESSTE的软件体系结构进行了描述.各个视图之间保持了良好的一致性,特别地,在设计视图中将ESSTE软件分为两大组件-实时组件和非实时组件,并按照"管道-过滤器"的软件体系结构模式组织,分别给出了它们的关键类.非实时组件的关键类是配置工具类,实时组件的关键类是模型类、实时变量类和调度器类.据此设计和实现的ESSTE-Basic体现了较好的质量特性,如可更改性、可移植性等,其成功地对多个软件进行了系统测试,高效地发现了大量潜藏的软件错误,验证了ESSTE软件体系结构的正确性和有效性.     

某型无人机全机气动力数值计算

使用三维造型软件和计算流体力学软件对某型无人机进行了气动力数值模拟,得到小迎角范围内的升、阻力系数和力矩系数以及无人机表面的压力、密度和来流速度分布情况,同时,对该无人机进行了气动力的工程经验估算,并将估算结果与数值计算结果进行对比分析.研究表明,数值计算能够较好的模拟小尺度低速流场流动,对无人机的研制能起到重要的作用.计算结果为下一步无人机的气动外形优化设计提供了理论依据和重要参考.     

飞行器多学科设计优化软件系统

为解决飞行器总体设计的难点,介绍了可用于飞行器多学科设计优化的软件.该软件利用"松耦合"方式,以SQL Server 2000为数据库管理系统(DBMS),与各学科分析程序相结合.阐述了该系统的功能和软件结构、软件流程、主要模块.为解决关键技术,提出圆环图处理总体与各学科的关系,利用模糊理论进行非数值型变量的转化,提出无量纲化多目标法进行多目标综合处理,构建单一数据库进行数据管理,采用三个数据文件作为程序接口.总结了软件的特点.算例表明软件具有实用性.     

基于虚拟合成仪器的武器系统电参数测量技术研究

针对部队装备维护使用的某型引俄防空装备配套测试设备存在的诸多问题,在交流分析的基础上,确定某型装备8种随装测量仪器仪表的技战指标,利用广泛使用的仪器仪表和现有的成熟技术,研制硬件系统和编制软件,最大限度进行仪器合成,研制出小型化、多功能、一体化的便携式测试设备.使用结果表明,能有效保证装备的正常维护,提高部队和工厂的装...     

数字示波器故障自动检测系统的建立

本系统采用人机对话的形式,以计算机为控制源,通过GPIB接口总线,对标准信号源和数字示波器进行全自动控制,来达到检测示波器故障的目的。我们首先对测试参数的选取做了阐述,制定了每种参数测试应遵循的原则,选取了测试平台,编制了测试用的软件,着重解决了软件调试中出现的问题,并提出了数字示波器使用注意事项。     

基于RISC芯片的32位嵌入式基本系统的设计和调试

基于ＲＩＳＣ芯片的３２位嵌入式基本系统的研究和设计是当前嵌入式星载计算机研制方面的一个重要课题，着重介绍了该ＲＩＳＣ基本系统的设计特点以及所使用的构思新颖的调试方法等两方面的研究情况。     

利用并联氙气瓶温差补偿航天器质心偏移的可行性研究

在以往航天器研制中,一般通过增加配重的方式对航天器质心偏移进行补偿.这种质心补偿方式占用了运载火箭承载能力资源,降低了航天器的有效承载能力.针对常规质心补偿方式的弱点,利用电推进航天器上氙气高密度填充的特点,提出了一种通过氙气瓶温度控制对航天器质心偏移进行补偿的方法,减少了航天器配重的使用需求.氙气瓶温差对航天器质心偏...