DO-254标准中的确认与验证过程分析

针对机载电子硬件设计生命周期中的确认与验证过程,介绍DO-254标准中关于确认和验证活动的目标,研究确认和验证过程的策划和实施活动,分析确认和验证的方法,提出了确认和验证活动在实际实施过程中的建议。     

机载超轻量化卷积神经网络加速器设计

卷积神经网络庞大的权重参数和复杂的网络层结构,使其计算复杂度过高,所需的计算资源和存储资源也随着网络层数的增加而快速增长,难以在资源和功耗有严苛要求的机载嵌入式计算系统中部署,制约了机载嵌入式计算系统朝着高智能化发展。针对资源受限的机载嵌入式计算系统对超轻量化智能计算的需求,提出一套全流程的卷积神经网络模型优化加速方法,在对算法模型进行超轻量化处理后,通过组合加速算子搭建卷积神经网络加速器,并基于FPGA开展网络模型推理过程的功能验证。结果证明：本文搭建的加速器能够显著降低硬件资源占用率,获得良好的算法加速比,对机载嵌入式智能计算系统设计具有重要意义。     

机载电子系统验证能力建设研究

随着机载电子系统验证工作的重要性逐渐提升,系统供应商迫切需要建设相应的验证能力。验证能力可以从验证体系、验证条件和验证技术三方面进行建设。对验证过程、验证方法、验证职责和验证效果进行分析,提出验证体系的建设思路;对验证使能设备总体清单、实现路径和验证平台设计进行分析,提出验证条件的建设思路;对设计仿真技术、自动化测试技术和健壮性测试技术进行分析,提出验证技术的研发思路。     

基于扩展卡尔曼滤波器的微型燃气轮机传感器 故障诊断与硬件在环验证

为了解决微型燃气轮机在变工况条件下的传感器信号故障诊断问题,提出了基于1簇卡尔曼滤波器的故障诊断方法。该方法基于V字研发流程,使用基于模型的设计方法开发了Simulink微型燃气轮机部件级仿真模型,设计了变负载条件下的传感器故障诊断与隔离系统。基于全数字仿真平台和硬件在环仿真平台对模型以及故障诊断与隔离系统进行集成验证。结果表明:基于MBD方法的全数字仿真及硬件在环仿真具有很高的一致性,能够快速实现模型转换及验证,为微型燃气轮机控制算法开发与硬件在环验证提供了有力的支持。     

适航符合性验证

民用飞机的符合性验证贯穿于飞机研制全过程，本文全面分析符合性验证的特点、内容和方法，并结合某型号对符合性验证进行了讨论。     

民用飞机维修手册验证方法研究

国产民用飞机维修程序存在验证方法不完善的问题,有必要对其验证方法进行研究。根据飞机维修手册技术中的程序类型和程序内容,介绍三种验证方法;在 S1000D 标准提出的书面验证和操作验证方法基础上,结合国产民用飞机的验证实践与总结,提出维修使用验证子方法和维修专项验证子方法,阐述两类子方法的适用范围;提出评估/模拟验证方法及其四类子方法,并进行实例验证。结果表明：本文提出的民用飞机维修手册验证方法有效,对飞机维修手册验证的开展具有参考意义。     

面向航空应用场景的嵌入式CPU应用验证思路与实施

应用验证是现阶段元器件,尤其是CPU等复杂关键器件,在成熟度不高的情况下,需要结合用户实际应用场景开展的必要工作之一。从CPU的本身特征和其所处的航空应用场景出发,分析了面向航空应用的验证需求,确定了验证环境与应用场景的转换关系,提出了验证环境的构成要素和构建方法,着重从功能性能覆盖性、软硬件适配性、面向软硬件开发的支持三个方面阐述了CPU的应用验证实施关注点。     

FT-2000A/2处理器应用验证板卡设计

应用验证工作是国产元器件研制和上装的中间环节,目的是提前暴露相关器件固有缺陷。针对FT-2000A/2处理器板卡级应用验证,提出一种验证电路设计方案,对其基本运算能力、上电复位时序、DDR存储接口、IO接口和软硬件适配等功性能指标进行验证。验证方案对FT-2000A/2 CPU基本运算能力、电源拉偏及上电时序、DDR存储接口、IO接口和软硬件适配进行了验证,对开展国产高性能处理器验证工作具有一定借鉴意义。     

基于i.MX21的视频采集编码系统设计与实现

介绍基于i.MX21处理器的视频采集编码系统的设计,该系统从CSI接口获取CMOS传感器采集的图像数据,使用eMMA多媒体加速器实现数据的MPEG4格式压缩,重点介绍CSI驱动程序和视频数据采集编码的实现.     

技术验证在航空发动机研制中的作用

简要介绍了国外航空发动机研制的技术验证情况，分析了技术验证的目的，作用和技术特点，提出了实施技术验证计划中应注意的问题，并对验证计划的整体规划，关键技术分解，设计体系的继承和发展，部件和发动机不同验证阶段的侧重点等提出了建议。     

运输机水上迫降和适航验证技术的发展

为了提高民用飞机水上迫降后机上乘员的生存率,需要进行相应的水上迫降设计并完成适航验证。本文回顾了水上迫降适航验证技术的发展,介绍了近些年出现的一些新的验证方法。     

A350XWB 项目最近研发进展

介绍了A350XWB项目的近期发展状况,包括机身的重量验证试验、新的机组人员休息区的验证,尽早在项目前期进行验证以及从A380飞机吸取的教训。     

基于GaN数字电源的搭载载荷系统设计及在轨验证

随着航天技术的快速发展,航天器小型化和智能化的需求越来越高。基于GaN材料制造的开关器件具有通态电阻小、开关速度快、耐高压、耐高温等特点,使用GaN数字电源可以极大提高开关频率,降低开关电源对电感、变压器、电容的要求,使无源器件的平面化成为可能,很大程度上降低了空间产品的重量和体积。设计了一款基于GaN数字电源的搭载载荷系统和在轨验证系统,包括适用于空间环境的GaN数字电源作为载荷的核心部件、载荷系统的各接口单元和功能模块以及地面验证数据终端设备,通过电子负载模拟卫星各种工况,在轨采集GaN数字电源电压、电流、温度等工作数据并进行分析;实测符合预期验证结果,证明GaN数字电源模块适用于空间领域。     

1553B总线接口SoC验证平台的实现

随着半导体技术的发展,验证已经成为SoC设计的瓶颈.分析了SoC验证面临的困难,结合1553B总线接口SoC芯片的具体实践,重点研究了SoC验证平台的一种构建实现方法.该方法提高了验证效率,缩短了整个设计验证周期.     

国外数字式航空电子系统的硬件评估

通常,数字式航空电子系统的硬件设备,它与传统的模拟式航空设备相比,会有较多的潜在模式。所以,当它们应用在飞行功能重要程度属关键功能的场合时,则必须对硬件的可靠性作出各种保证。目前,对提高硬件性能保证的有效手段之一是硬件的评估和验证。 本文主要介绍硬件评估的手段,它们有的适用于民用飞机航空电子系统(或设备)的适航审定,有的在审查军用飞机航空电子设备时采用。     

软件雷达系统的数字信号处理

介绍了软件雷达接收机中的一种硬件电路和软件流程;给出了半主动导引头数字信号处理的算法.     

验证Internet技术用于空间通信

NASA哥达德航天中心 (GSFC)正在进行一项被称作“将任务作为Internet节点来操作 (OMNI)”的计划 ,以验证将Internet通信技术用于空间通信的可行性。其目的是为将来的空间任务提供全球寻址能力、标准网络协议及Internet应用能力。 2 0 0 2年 8月进行的航天飞机飞行对这样的通信结构和操作概念进行了配置和测试 ,该实验被穿插在一项称作“航天飞机上的通信导航论证 (CANDOS)”的任务中进行。该任务使用装在航天飞机舱内的一部小型可编程收发机 ,与NASA地面跟踪站以及NASA中继卫星系统进行通信。这种收发机包括一个运行Lunix操作系…     

机载电子产品硬件设计和开发验证方法思考

结合复杂机载电子设备设计和开发过程中遇到的产品验证问题,从产品需求入手,提出了一套以基于需求的设计和开发验证思路,并对各类验证方法进行了研究,为机载电子产品的设计和开发验证工作提供了一套行之有效的理论、方法和工具.