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

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

一种综合通信导航识别系统的多波形部署方案设计

针对拥有多个相同任务通道的综合通信导航识别系统的多波形部署问题,提出了一种采用静态策略 的多通道多波形部署设计方案。本方案基于软件通信体系结构设计,实现了多波形应用与多个任务通道的匹配 机制和根据静态策略在多个任务通道上部署波形的机制。     

基于对称多处理架构的软件调试技术研究和实现

为了满足计算机领域用户对高性能及低功耗的双重需求,在深入研究多核现状的基础上,结合核间中断技术,提出了一种对称多处理架构下的软件调试器设计和实现方案。方案不仅成本低,而且不需要特殊调试硬件的支持,可为多核系统的故障诊断和分析提供参考借鉴。     

TMS320C6678 多级程序加载模式的实现

为了对实地、多单元部署的TMS320C6678 产品同时提供独立启动、就地调试、远程加载功能，利 用TMS320C6678 片上多种通讯接口和资源，联合片上固化的内置加载核，设计和实现了一种灵活可配置的多 级程序加载模式，满足应用需求。     

软件通信体系结构CORBA 中间件应用及指标评测

软件通信体系结构采用“组件+ 框架”的架构设计，将软件无线电系统中的波形应用软件资源及平台 硬件资源抽象成具有标准接口的组件，通过核心框架对各类资源进行装配部署，形成相应的波形应用。在大规 模综合化软件无线电系统中，每个组件之间存在大量接口调用与数据通信，而每个组件都运行于独立的进程空 间中，这是典型的分布式应用场景，中间件是实现组件间互联互通互操作的关键技术。基于软件通信体系结构 对传输机制的要求，对目前主流的中间件进行了选择与应用分析，并完成CORBA 中间件的性能指标评测。     

基于GPU指令转发的虚拟化图形引擎设计及实现

为了满足机载座舱显控系统对图形引擎的性能要求，设计了一种基于半虚拟化的机载图形引擎实现方案，并在嵌入式平台上进行实现和测试.结果表明采用本文设计的虚拟化图形引擎，可以满足多个虚拟机同时使用GPU进行绘制的需求的同时，可以有效发挥多核CPU的性能,在提高了产品集成度的同时，显著提升了机载图形应用的性能。     

基于Modelica的载人航天器多学科集成建模仿真

针对目前载人航天器系统仿真验证多局限于单一专业层面而系统性不强的问题,基于统一建模语言Modelica,首先建立了各专业设备模型,然后将设备模型进行组装,构建了多学科集成的系统模型。利用该系统模型对航天器系统方案的仿真结果表明:模型有效;统一采用Modelica语言建模,所有模型基于同一套方程系统求解,可避免异构模型参数传递带来的精度损失;以设备为最小粒度构建系统模型,可保证系统模型架构与航天器真实物理架构的一致性。     

软件构架技术在网管系统中的应用

软件构架技术是软件复用的一种重要方式，软件构架是研究如何快速，可靠地应用可复用构件进行系统构造，着重于软件系统自身的整体结构和构件间的互联，在特定领域中运用软件构架技术开发应用系统有非常重要的现实意义。本文通过对网管系统性能数据处理平台的设计，来说明软件构架技术在应用系统开发中的实现方法和步骤。     

基于Solr的飞机故障异构信息检索系统设计

针对企业异构信息在资源数量上和载体种类上不断攀升的情况,为了实现对全部异构信息资源进行统一检索并满足检索效率要求,设计了一个基于Solr的飞机故障异构信息检索系统。该系统首先针对异构信息特点设计索引结构,实现统一检索;然后并将各类异构数据按其对应索引结构生成索引文件,并导入至索引信息库,实现信息融合;最后基于Solr J API进行系统开发,实现各类复杂搜索功能,并结合专业词汇权重优化排序结果。实验结果证明,该系统能满足多种复杂搜索需求,有效解决了对企业异构信息资源的检索问题,为企业做出快速决策提供了技术支持。     

异构消息系统增强客户端的研究与设计

异构消息系统彼此间互操作是消息系统用户的实际需求,现有的各种集成工具如CORBA、XML+SOAP甚至W eb Services能够保证在原消息系统客户端进行二次开发实现消息互用;本文根据消息系统的技术特点,讨论了消息互用可依据的集成原理及可采用的关键技术,提出了增强客户端方案;并以两个在使用的异构消息系统为原系统开发出实现案例,从而验证了该方案的可行性和相关技术的易用性;本文给出的方案未见有类似的报道。     

基于机载多核弱序存储模型的共享内存驱动软件设计方法研究

随着航空电子系统承载的应用日趋复杂，飞机对机载计算机的计算力和功耗比要求不断提升，这也推动了嵌入式多核处理器的加速应用和普及。多核处理器在航空电子设备的深入应用，随之而来的是运行其上的软件复杂度急剧上升，面向应用的航电系统设计面临挑战。多核处理器平台由于需要面对并行、指令乱序、资源共享冲突等问题，而目前国内大多数机载嵌入式软件和驱动仍然是基于单核处理器设计和实现的，影响最大的是在机载嵌入式实时操作系统环境下的驱动软件，因此需要充分考虑多核带来的各方面影响，尤其是需要兼顾共享内存等资源的使用冲突和实时高效要求。本文结合机载航电多核处理平台的特点，提出了一种基于机载多核弱序存储模型的共享内存驱动软件设计方法，并基于该方法设计了FC 总线驱动和MBI 总线驱动，项目应用结果表明，设计的驱动程序在多核处理器平台上数据传输正确，验证了方法的正确性和有效性。     

民航机场灯光远程同步控制系统研制

AT89S52内部集成了4k字节闪存、看门狗电路，非常时候可作为简单控制系统的控制CPU。系统采用AT89S52为控制CPU，以小型继电器为控制器，以专线调制解调器为通信接口，设计了民航机场灯光、跑道方向远程同步控制系统。文中论述了设计要求和研制思路，详细论述了控制软件的设计思想，简要介绍了下一步需要完善的方面。     

基于dSPACE和三菱IPM的电机控制平台保护

电机控制中常见的控制芯片有DSP、ARM、单片机等。这些都需要根据设计的算法进行手工编程,开发周期较长。半实物仿真系统dSPACE针对这类问题提出了很好的解决方案,大大缩短了开发周期。从原理上介绍了电机控制的硬件保护和软件保护,并分析了智能功率模块IPM死区保护和dSPACE死区模块具体实现时产生的冲突。提出一种协调电路解决此问题。理论分析与制作的控制板试验结果表明,此方法可同时满足死区保护和硬件保护要求,实现IPM的正常工作。     

基于分区代理机制的FC通信虚拟化方案设计

随着航电系统的发展,处理平台的集成度逐步提高,多核处理器集成多个应用将是未来应用的趋势。 但在使用多核处理器的系统中,由于多个处理器核并行运行,需要解决通信资源在多个处理器核之间的共享问 题。本文提出了一种基于分区代理机制的FC 通信虚拟化方案设计,可以实现多核架构下多应用、多分区共享 FC 网络接口设备进行通信。     

NNW-HyFLOW高超声速流动模拟软件框架设计

NNW-HyFLOW在国家数值风洞（NNW）工程支持下,由风雷开源软件提供基础框架支撑,将建设成为基于结构/非结构混合网格,面向高超声速应用领域的国产自主工业CFD软件,具备高温气体热化学非平衡效应模拟及其相关气动力、气动热和气动物理特性计算分析等主要特色功能。本文从框架设计、数据结构、耦合方法、并行计算方法以及接口设计等方面对软件设计思想和框架特点进行了介绍,给出了求解器采用的理论模型、核心数值算法及其实现方法,结合HEG风洞试验、RAM-C飞行试验、Electre飞行试验以及航天飞机OV102飞行试验等典型算例开展了数值模拟。研究表明：NNW-HyFLOW具有底层代码复用、功能兼容性好、扩展能力强和接口灵活等优点,其当前测试版本已经具备了较好的高超声速非平衡流动数值模拟能力,在热化学非平衡效应及其影响的气动力特性、气动热环境和等离子体分布特性预测与评估方面,具有较高的数值计算精准度,初步满足了高超声速复杂飞行器高温非平衡流动数值模拟的需求。     

软件研发模式的路径依赖与路径突破

型号软件作坊式研发模式很难达到GJB5000A过程要求,软件工程真正要上台阶、上水平,会受到多种因素制约。作坊式研发模式构成了软件工程过程改进的"路径依赖",路径选择错误,沿着错误的路径向前走,走得越远,回到正确路径的难度越大。理想的解决方案是整个产品研发团队一起"贯标"。     

基于GJB5000A三级的软件配置管理技术研究

软件配置管理是软件工程的一个重要领域.配置管理的目的是利用配置标识、配置控制、配置状态纪实和配置审核建立和维护工作产品的完整性.有效的软件配置管理活动有助于软件质量的提高.对在GJB5000A研发过程的配置管理技术进行充分研究后,经大量实践,提出一种基于GJB5000A三级标准的软件配置管理解决方案,并将其与GJB5000A进行对比,提供符合性说明.     

微型涡喷发动机控制算法研究

针对微型涡喷发动机的工作过程,在研究发动机控制规律的基础上,开发了微型涡喷发动机起动过程、加减速过程、稳态过程和停车过程的控制程序;结合微型涡喷发动机的数字电子控制器,采用动态预估自适应滞后补偿控制规律,完成了控制软件设计.发动机地面试车试验表明,该控制程序可满足发动机控制要求.     

软件需求的可否证性研究

系统测试是提高型号软件质量和可靠性的有效方法。以某型运动控制组件为对象,描述了系统测试的实现方法及遇到的问题,探讨了型号软件需求的可测试性问题,指出了软件需求条目编制的关键在于其是否有＂可否证性＂。