基于COFF和自举表文件的DSP执行程序提取器设计及实现

介绍了基于COFF和自举表文件的DSP执行程序提取器设计方案及实现技术,包括两种文件的解析算法、软件实现、功能验证、性能评估以及在新一代运载火箭型号中的应用情况.使用提取器,能够快速、自动生成带有CRC校验信息的DSP执行程序,提高了生成效率、正确率、可靠性以及使用的安全性.     

星载计算机软件自动化测试平台研究

自动化测试可提高测试效率和测试的准确性,尤其对于大规模软件的增量测试和回归测试。自动软件测试则作为一个重要的控制机制,确保软件每次重构的准确性与稳定性。文章的主要工作是通过实践构建了适用于星载计算机软件的自动化测试平台,实际应用表明该平台提高了软件的测试效率,降低了测试成本。     

一种航天器测试注入数据序列自动生成方法

针对航天器测试注入数据序列生成效率低、易出错问题,在Visual Studio环境下运用C++语言和开放数据库连接(ODBC)接口技术,设计了航天器测试注入数据序列自动化生成软件,形成了注入数据序列自动化生成方法。与传统人工序列生成方法相比,该方法具有自动、快速、智能的优点。通过载人航天器综合测试应用,结果表明:航天器测试注入数据序列文件生成效率提高95%。可为航天器自动化综合测试系统设计提供参考。     

一种改进的补偿因子区域不变CS算法及Simulink模型建模

相位补偿因子、距离向补偿因子和方位向补偿因子的产生是合成孔径雷达实时CS（Chirp Scaling，调频变标）算法中的关键。针对一种现有的补偿因子区域不变CS算法进行了改进，对于更新步长内各单元的统一补偿因子，采用该区域内所有单元频率平均值对应的补偿因子，代替原来使用的第一个单元对应的补偿因子，使得最终的补偿结果相比于原有算法更加均匀，计算量与原有算法相当。经过Matlab仿真验证，改进算法的成像指标得到提升。为便于生成FPGA代码，采用Simulink工具搭建了用于生成改进算法中三种补偿因子的模型。将Simulink模型输出的代码加载到Vivado软件中，对Vivado输出的补偿因子与由Matlab输出的精确补偿因子进行了对比，精度满足要求，验证了所搭建Simulink模型的准确性。     

控制系统飞行软件诸元自动生成系统设计及应用

针对目前某型号仍然采用手工方式生成飞行软件诸元的现状,提出了自动生成飞行诸元的解决方案,脱离具体型号限制,设计了通用的诸元生成系统框架,主要实现了诸元数据库定制、诸元数据库转换、诸元源文件自动生成和诸元数据正确性验证等4个关键技术,完成了诸元原始数据到诸元目标文件的自动转换,大大提高了控制系统飞行软件诸元的生成效率和可...     

FDP数据库维护

Telephonics系统FDP(飞行数据处理器)采用客户／服务器数据库和开放式结构环境的处理技术，提供有效的平台，提供一系列的空中交通管理和系统维护功能。其主要功能有：实现飞行计划的自动生成，飞行计划与航迹自动相关，进程单的自动打印，自动收发起飞或落地报和管制权限的自动移交等一系列空中交通自动化管理。     

实现红外导引头系统仿真自动化技术研究

目前仿真系统的程序部署及仿真系统的运行大部分都是基于手工操作方式,有些局部操作也采用基于脚本形式的自动化技术,但这些操作方式效率都比较低,人机交互不够人性化,在使用第三方的分析处理软件上不够智能化,尤其是针对没有二次接口的仿真系统的自动化仿真。本文设计了一种基于图片识别的自动化仿真平台,自动化仿真系统自动完成系统配置和参数设置,自动完成系统主要指标测试、系统标校和对目标的捕获跟踪。     

SOPC片上系统仿真验证方法研究

从物理板级验证与RTL代码仿真2个方面介绍了现阶段SOPC的验证方法,重点分析了基于SOPC的RTL仿真处理流程与运行机制,通过搭建SOPC软件仿真平台,完成SOPC片上系统硬件逻辑的功能验证与处理性能评估,最后提供了仿真覆盖率指标,可确保测试验证的充分性。     

航天器地面模拟试验中压力变送器自动校准技术

文章基于在航天器地面模拟试验中的压力计量测试需求,针对常用的一种压力变送器,开发了一套自动校准系统。通过在LabVIEW平台上设计虚拟仪器测控软件,实现了自动控制校准设备、自动生成证书和自动创建压力变送器参数登记本及计算校准费等,提高了压力变送器的校准效率和测量精度,满足了日常工作的需要,保证了航天器地面模拟试验中压力测量数值的准确性。     

载人飞船自动化测试平台的设计与应用

载人飞船测试模式复杂、参数多,自动化测试一直难以全面应用。文章提出的自动化过程控制与分析平台,以全周期测试过程为对象进行设计,采用子项目设计的方法将复杂的项目层层分解并进行组合复用,以解决载人飞船难以应用自动化测试的难题。自动化测试平台具有指令自动发送过程控制、参数自动分析判读、过程数据与管理信息自动收集等功能,是一个自顶而下的全周期测试平台,可将测试工作前移,在分系统联试阶段即开始程序设计、判据设计与验证工作,将人的经验固化,实现由主观经验到客观知识的转变。该平台在神舟11号载人飞船综合测试任务中首次进行应用,覆盖了任务期间地面测试阶段的全部测试项目,测试效率综合提升约30%。该平台积累的知识库和管理经验可直接应用于后续载人飞船,并可应用于空间站等其他载人航天器。     

面向航天领域的模型驱动软件设计开发方法

针对航天嵌入式任务关键软件特点,研究基于AADL模型,实现对其结构模型、行为模型、故障模型和执行模型的多维度描述。通过构造其代码规则模板,实现从模型到源程序的自动化映射,降低编程工作量。研究将AADL模型转换为故障树模型和时间自动机模型,分析验证软件安全性与可调度性;通过构建航天领域模型库,支持大规模软件复用。最后,基于所开发的航天型号软件模型驱动开发平台,对航天飞行器GNC系统的软件开发进行了初步验证,结果表明模型驱动的软件开发方法能有效提高航天型号软件开发效率和质量。     

数字电路硬件演化研究?

针对数字组合逻辑电路电路故障修复问题，采用遗传算法与可重构器件FPGA相结合的方法设计自演化硬件系统。利用 Xilinx公司 XUPV5-110T FPGA开发板作为硬件平台，搭建虚拟重构电路，并利用软核处理器实现算法。系统进化单元为虚拟重构电路，由遗传算法自动控制生成具体功能电路。实验通过全加器和4位奇偶校验器，验证了硬件电路的自演化。     

星载T/R组件自动组装关键工艺研究

随着相控阵天线在航天领域的应用,对星载T/R组件轻量化、幅相一致性和可靠性的要求越来越高,而传统手工组装效率相对较低,且难以满足一致性的要求,为此,基于数字化制造开发了微组装生产线自动组装技术,通过研究自动化组装设计工艺性要求,突破自动贴装和自动键合的关键技术,实现了星载T/R组件的精密自动组装.经过生产验证,自动组装...     

一种基于MATLAB快速开发跨平台算法软件的方法

利用MATLAB进行算法的研究、仿真和实现，已经成为科研工作者的重要手段之一。在MATLAB上开发算法便捷、高效，但无法直接应用在其他平台，此时需要软件人员编码转换进行二次开发。如果某个算法同时应用在Windows和Linux这两个系统中，软件人员需要开发两个不同的软件，它们功能相同只是代码不同。这不仅增加了软件开发的工作量，同时也不利于后期维护。针对上述问题，提出了一种基于MATLAB快速开发跨平台算法软件的方法。首先，利用MATLAB开发算法的便捷性进行算法的调试与验证，简化接口函数；其次，使用MATLAB Coder生成独立于MATLAB的C/C++代码；然后，将生成的代码在不同平台下进行封装，生成该目标平台的动态链接库；最后，不同平台通过调用该平台下的动态链接库，实现了同一算法的跨平台软件开发。所提出的算法软件跨平台开发方法，已成功应用于多个实际项目。通过本方法，不仅缩短了软件的开发周期，提高了软件编程效率，减少了软件开发中的人为错误，同时方便了软件的后期维护。     

一种基于时序路径的FPGA接口时序测试方法

针对航天高速高可靠FPGA接口时序测试,分析了FPGA接口类型及测试需求,介绍了一种基于时序路径的FPGA接口时序测试方法,结合时序路径模型,阐述了异步总线接口时序测试的测试流程和计算方法,并给出实际案例。该方法集成了功能仿真和静态时序分析的优点,特别适合极限工况下的FPGA接口时序验证,已经应用到多个航天高可靠FPGA接口测试中,与传统的动态门级时序仿真相比,能显著提高验证效率和测试覆盖率。     

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

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

基于代码自动生成的计算机辅助系统设计与实现

主要探讨航天型号中的时序控制软件的辅助生成,结合航天型号时序控制软件的研制现状,针对现行软件研制过程中存在的问题,设计实现基于自动生成的计算机辅助系统,代替人工生成模式,切实提高航天工程中软件的研发效率和可靠性。     

基于LabVIEW的调节器低温动性能试验台测量系统设计

流量调节器是液氧煤油火箭发动机中关键的自动调节装置,其动态性能直接影响发生器乃至发动机的工作特性.为进一步验证流量调节器工作可靠性,设计并集成了调节器低温动性能试验台测量系统.测量硬件基于PXI系统搭建,软件基于LabVIEW平台进行编程.首先介绍了测量系统的总体方案及工作原理,然后对热电偶测量方法、硬件选型、软件总体架构、软件子模块设计及拖拽式数据显示方法进行了重点阐述,最后简要说明了测量系统的调试方法及结果.测试结果表明,测量系统稳定、可靠,能满足试验要求.     

基于FPGA的可控量程智能传感器

为了更加准确的测量数据,减小测试误差,保持传感器高灵敏度的输出,本文提出了一种基于FPGA控制的多量程智能传感器,它是利用量程自动切换技术结合传感器、FPGA控制器、接口技术及数据传输等相关技术,使传感器能够根据振动信号的幅值自动选择最佳的测试量程。经试验测试验证,该传感器量程切换处的门限值误差为1.7%,具有良好的测量精度。     

基于FPGA架构的高可靠在轨重构系统设计

航天设备与地面设备相比,制造成本高,对空间环境的适应性要求也高。为了延长航天器寿命,提高其在轨工作的可靠性,需要考虑航天器在空间环境下的可维护性需求。针对航天资产在轨软件实现功能维护的需求,研究空间环境应用背景下的高可靠在轨可重构技术。基于FPGA芯片在航天器领域中应用的广泛性、灵活性及可靠性,设计了一种FPGA架构下的高可靠在轨重构系统。该系统的优势在于充分利用星载设备中普遍使用的“SRAM型FPGA+反熔丝FPGA”的硬件架构,在实现SRAM型FPGA动态刷新功能的基础上仅通过软件更改来增加在轨重构功能,极大降低了硬件更改的成本,扩展了可重构功能的应用范围。在某航天器星载设备中应用该在轨重构系统,通过实际飞行经历,验证了该架构系统设计方案的可行性、可扩展性及可靠性。