航天器软件参数修改的测试策略研究

梳理了现有的回归测试策略,并结合航天器软件参数修改错误的2个实例分析,提出了一种新的回归测试策略。该策略借鉴回归测试用例集约简算法中的需求驱动方法,提出了基于构建程序-需求覆盖矩阵和测试用例-需求覆盖矩阵进行回归测试的方法,并给出了按照该策略实施软件参数修改测试的流程。最后,提出了将该测试策略工具化的设想,如研发代码变更影响域自动分析工具,或者使用已有的商用工具。     

中频软件无线电接收机的设计与实现

文章通过对软件无线电基本理论的研究,得出一种多相滤波数字正交变换的中频软件无线电结构,A/D的采样频率只有原采样频率的一半,这样就降低了对采样器件的要求。为了降低后续DSP处理速度需求压力,文中利用FPGA实现了多相滤波数字正交变换结构的延迟滤波,证明了这种结构的正确性和可行性。     

一种智能防错的辅助人工作业系统开发与应用

针对航空制造业人工装配出现的操作易出错、效率低、培训成本高、质量不稳定等问题,开发了一种辅助人工作业系统,通过投影指示、体感摄像、触摸显示等方式来辅助人员装配.同时对于作业引导、零件选取、螺钉拧紧等易出现问题进行了智能防错设计.通过一种航空机载机电产品的手工装配工程应用,实现了装配过程的辅助引导监控,提高人工装配的质量...     

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

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

基于1553B和SpaceWire组合网络的星载数据管理软件设计

为同时满足对于星务管理数据和高速载荷数据的传输要求,国内外的飞行器趋于使用1553B和SpaceWire组合网络来进行星上数据传输.复杂而灵活的数据传输要求使得卫星数据流设计中引入了大量标准协议,同时大大增加了星载数据管理软件的复杂度.对一种基于1553B和SpaceWire组合网络的星载数据管理软件的协议体系进行了介...     

自动飞行模式转换逻辑的形式化建模与验证

自动飞行控制系统（Automatic flight control system,AFCS）是现代飞机中重要的安全关键系统之一，飞行引导控制系统（Flight guidance control system,FGCS）是其重要的组成部分。FGCS中的飞行模式有数十种，模式转换逻辑十分复杂，在各个模式间转换时易出现模式混淆等问题，难以对其安全性和正确性进行验证。而利用计算机科学中的形式化方法，通过对安全关键系统进行形式化建模和验证，可以提高系统的正确性和安全性。本文以典型FGCS中的自动飞行模式转换逻辑作为研究对象，采用自主研制的软件工具ART(Avionics requirement tool)对其进行形式化建模与验证，并与Matlab/Simulink中的Design Verifier工具进行了验证能力和效率的对比分析。实例研究结果表明，采用形式化方法对FGCS的自动飞行模式转换逻辑进行建模、验证可行，所研制的软件平台具有更完善的验证能力和更好的验证效率。     

基于TestStand及LabVIEW的航电通用故障监控软件自动化测试研究

基于TestStand及LabVIEW软件平台,以航电通用故障监控软件为例,从测试架构、测试逻辑等角度,为航空电子软件自动化测试提供思路和方法.     

云服务技术在航电软件研发中的应用研究

航空电子系统硬件的发展，为云服务技术在航空领域的应用提供了可能。借助虚拟化及容器管理技术， 将机载计算资源进行池化管理，并借助服务化技术，将复杂航电软件拆分为可协作的独立模块，能够实现航电 软件的快速构建、灵活部署，并提高航电软件之间的互操作能力。本文讨论了云服务技术在航空领域的应用现 状，研究并提出了一种应用于航电软件研发的云服务架构，给出了服务化和容器管理平台的实现方案，并构建 了应用原型验证环境。     

A trajectory planning method on error compensation of residual height for aero-engine blades of robotic belt grinding

While the traditional trajectory planning methods are used in robotic belt grinding of blades with an uneven machining allowance distribution, it is hard to obtain the preferable profile accuracy and surface quality to meet the high-performance requirements of aero-engine. To solve this problem, a novel trajectory planning method is proposed in this paper by considering the developed interpolation algorithm and the machining allowance threshold. The residual height error obtained from grinding e...     

星载控制软件在轨动态重构技术研究

为使星载控制软件可在轨动态重构，提出一种基于量子编程框架、无须操作系统支持、可实现多版本切换的星载控制软件在轨动态重构方法。在分析影响在轨动态重构关键技术基础上，从量子框架的面向对象运行机制出发来寻求软件框架对动态重构的支持；通过划分函数边界，将函数归类为内部函数和公共函数，避免了模块间的循环依赖；给出了函数向量表维护策略，并以版本号为导向实现了向量表切换。该方法在BM3803星载处理器平台进行了充分测试，结果表明：所提出的在轨重构方法系统无须停机、版本可回退且更新过程可靠。本方法占用内存小、平台依赖性弱、代码可复用性强，可推广应用至硬件资源有限的星载控制器终端。