基于机载嵌入式可信计算平台的安全配置管理系统

机载嵌入式计算机作为航空领域技术含量极高的关键单元,占有极为重要的地位。为了提升机载嵌入式计算机的安全防护能力,在将可信计算平台引入到机载计算机的基础上,设计并实现了基于机载嵌入式可信计算平台的安全配置管理系统,达到对机载嵌入式可信计算机中的背书密钥、背书证书、安全策略信息、设备信息、应用证书、可信日志进行配置管理的目的,可用于解决目前飞机在维护过程中效率低、对维护人员要求高、容易引入安全威胁等问题。     

基于工具服务历史的机载软件工具鉴定方法

目前,随着各类工具在国内民机机载软件研制中的大量使用,软件研制团队在软件开发过程中,不仅要考虑机载软件的适航审定要求,也要考虑所用工具的鉴定要求。以DO-178C和DO-330标准为基础,介绍了判断工具是否需要鉴定的流程、确定工具鉴定等级的方法、工具鉴定的生命周期以及工具鉴定的利益相关方和职责,并分析和研究了工具服务历史方法在机载软件工具鉴定中的应用,说明了对工具服务历史进行评估的要求和活动。最后,通过项目实例证明基于工具服务历史方法进行机载软件工具鉴定是可行的。     

机载光电侦察装备发展现状分析

本文主要从航空侦察平台、典型机载光电侦察装备、机载光电侦察技术三个方面介绍机载光电侦察系统的发展现状及光电侦察技术研究现状。重点分析了多光谱探测、偏振探测、基于深度学习的目标识别等多种光电侦察技术的原理及应用发展趋势。最后,通过分析航空平台和光电探测技术的发展趋势,提出我国机载光电侦察装备的发展建议。     

机载计算技术的新进展

导读:分析了未来信息化技术对航空武器装备和作战方式的影响,提出了机载计算技术的发展方向,并对国际的最新研究情况,包括跨平台分布式计算系统、分布式综合化模块化结构、高组装/功率密度技术、多核处理器应用、高安全机载操作系统、高安全无线网络等,进行了总结,对国内机载计算技术的发展具有一定的参考价值.     

机载计算机系统的故障诊断

在军机上,由于计算机系统的数量越来越多,同时航空电子设备日趋综合化,计算机系统的可靠性问题越来越突出。本文针对机载计算机系统的特点,提出了应用计算机测试技术进行机载计算机故障诊断的方法,解决了对机载计算机系统的测试问题。     

支持单人制机组运行的机载监视应用系统

随着新一代航空运行体系要求飞机的运行更精确,驾驶舱系统和地面管制系统的工作负荷也随之增加。机载监视应用系统承担着授权的空中交通管制服务处理功能,在机内机组高负荷工作状态、失能状态下,协同飞行管理系统和（或）地面机组承担包括自主分离保证、战术航路,冲突解决和/或自动着陆、场面运行等航路运行的管理,旨在降低机组和管制员的工作负荷。为满足单人制机组运行下机组资源管理的要求,可采用智能等级的分析方法开展机载监视应用系统功能的分析和捕获工作。     

信息物理系统在航空领域中的应用

面向航空电子系统的新需求,对信息物理系统在机载领域的应用进行了探索。通过研究信息物理系统的基本概念和特征,提出机载信息物理系统的简化模型,分析需解决的关键技术,肯定了信息物理系统在航空领域应用的可行性。     

无人机机载武器装备的发展

介绍了美国无人机机载航空武器装备的发展历程以及研制改进情况.指出当前发展无人机机载武器的紧迫性和重要性,提出了无人机机载武器的发展趋势.     

机载遥测发射天线的定位及安装技术

从航空飞行试验的实际特点出发,阐明了航空机载遥测发射天线的定位及安装与遥测数据传输质量、试飞安全的关系;陈述了机载遥测发射天线的定位、安装的基本原则和质量验证方法。介绍了几种天线的具体安装案例并提出了用多维计算技术对机载遥测发射天线进行定位和设计新的机载遥测发射天线的设想。     

中国航空机载行业战略影响因素与战略管理研究

本文通过调查对中国航空机载行业内外部环境中战略影响因素进行提炼和分析,着重研究了机载行业所面临的机遇与威胁、所具有的优势和劣势。运用SWOT分析法对行业现状进行分析,探讨机载行业战略管理的要点。     

面向军事应用的航空人工智能技术架构研究

通过全面梳理国内外面向军事应用的航空装备智能化发展现状,紧密围绕未来智能化空中作战的任务场景,给出航空军用人工智能技术的概念和内涵,并依据智能系统信息运行模型,提出不同运行层级的航空装备智能升级的途径和方法。在此基础上,形成包含基础使能、关键技术群、智能系统、运行层级的航空人工智能技术架构,对关键技术群按面向运行层级、面向功能需求、面向基础使能进行分析,得到重点技术发展方向,并给出提升我国航空装备智能化水平的具体措施建议,为制定相关航空人工智能技术规划提供参考。     

事理图谱赋能的航空数据智能技术研究

大数据、人工智能等新一代信息技术对航空制造业数字化转型具有重要推动作用。针对航空制造业数据多源异构、样本少、强关联等特征,利用知识图谱等新一代知识工程技术对数据的结构化描述、高效管理的能力,提出基于事理图谱的航空数据智能技术体系和分析流程,重点研究面向航空领域数据的本体建模、事件关系识别、事件抽取、事件消歧等技术方法,并选择某单位航空产品开展质量问题原因分类、质量事理图谱构建、事理知识推送等应用及原型系统建设,辅助进行质量问题审理,推动质量问题快速反应。结果表明：利用数据和知识开展数据智能化质量管理的技术体系和路径可行,基于事理图谱的质量知识抽取算法具有较强的实用性,为推进航空制造业全生命周期全过程数据智能化应用提供支撑。     

人工智能赋能空域系统,提升空域分层治理能力

为应对未来平台无人化、用户多元化、服务个性化的航空发展趋势,空域运行将呈现分层治理的发展趋势。而随着算力、算法与数据的持续提升与积累,数据驱动的人工智能方法将持续为层次化的空域系统赋能。本文从超低空、城市、区域、枢纽、亚轨道等5个层次化场景梳理我国空域系统的发展趋势;提炼得出空域运行面临的核心难点与关键科学问题;提出基于数据驱动的人工智能方法求解空域运行科学问题的研究框架、研究内容和应关注的关键技术;结合层次化典型应用场景,简要分析智能空域运行的具体应用案例;最后对人在空域运行中的作用提出了新的思考。     

机载电子设备屏蔽效能测试与优化

随着航空工业的发展,高强辐射场（HIRF）对机载电子设备的影响越来越大。因此开展对飞机上已经投入使用的机载电子设备屏蔽效能的测试与优化的研究具有重要的意义。基于RTCA/DO-160G和GJB 5185—2003建立HIRF的测试环境,在该电磁环境下对机载电子设备进行屏蔽效能的测试,分析了不同测试位置、不同入射面以及不同极化方式对屏蔽效能的影响。获得了机载通信设备的主要耦合通道,并针对不同耦合通道提出了通用性的优化方法。研究结果可为机载电子设备HIRF的测试以及屏蔽体的优化提供参考意见。     

机载气象雷达发展趋势分析

作为危险气象感知的重要手段,机载气象雷达在航空安全保障中发挥着重要作用。本文通过分析机载气象雷达的发展历程和国内外产品及技术,展望了机载气象雷达的发展趋势,并对其关键技术与难点进行了梳理,分析结果可以促进国内相关技术的研究和发展。     

人工智能与空气动力学结合的初步思考

以人工智能为核心的新一轮技术革命及产业变革正在影响着社会的各个领域,世界各航空航天大国均在人工智能与空气动力学的结合方面开展了许多有益的尝试与探索。本文回顾了人工智能技术的发展历程及现状,重点讨论了大数据时代背景下人工智能在风洞试验、数值计算和飞行试验等空气动力学研究的三大手段上的应用,详细分析了人工智能在辅助海量气动数据分析与知识发现上发挥的作用,探讨了人工智能在气动建模与先进飞行器设计中蕴藏的应用价值,并指出了人工智能与空气动力学相结合所带来的挑战。     

基于 FACE 思想的软件通用运行环境设计

未来机载能力环境（FACE）思想由美国军方、工业界和学术界共同发起,它针对机载航空电子软件系统提出了一种新的业务模型和参考架构。通过制定参考架构核心元素间的接口标准以及定义基于共识的通用数据模型可以为软件模块的跨平台重用提供便利。本文通过分析 FACE 参考架构的核心思想,结合实现层面的具体考虑,提出了软件通用运行环境的设计方案,旨在硬件计算平台上进一步搭建一个软件计算平台,使得应用软件模块在能够正常运行的基础上尽可能地实现“一次开发,多次应用”。     

面向航空智能制造的DT与AI融合应用

针对航空装备复杂制造场景下制造过程管控维度多尺度大、制造资源组成复杂性高、质量问题跟踪定位难度大等问题，结合数字孪生（DT）与人工智能（AI）技术特点，开展了面向航空智能制造的DT与AI融合应用研究。基于数字孪生与人工智能应用现状，系统性地阐述了数字孪生与人工智能融合机理，分析了支撑数字孪生与人工智能融合驱动航空智能制造的关键技术和数字孪生与人工智能融合驱动的AI控制中心构建涉及的关键问题，在此基础上重点讨论了加工制造过程自适应控制、智能车间生产过程智能管控、制造过程资源调度与优化决策、产品智能质量控制等应用场景，为数字孪生与人工智能在航空智能制造融合应用提供参考。     

智能化航空飞行控制技术的发展

随着航空器飞行环境的日益复杂,对航空器的任务性能需求也不断提升。为了应对飞行安全压力增大、驾驶员操纵负荷增加等问题,从航空飞行控制所面临的问题着手,对人工智能、航空飞行控制的发展历程和后续发展趋势进行初步的探讨。首先,对国内外人工智能技术以及智能化航空飞行控制技术的发展进行简要介绍及分析;然后,结合技术发展趋势对未来智能化航空飞行控制技术的发展趋势进行初步分析;最后,提出了目前航空飞行控制技术智能化发展的初步思路,为后续该领域技术的发展提供参考。     

面向适航认证的模型驱动机载软件构件的安全性验证

 在软件开发的过程中为适航认证提供证据,已成为机载软件开发的研究热点。现代复杂机载软件多为构件化分布式架构,如何有效验证构件之间安全性依赖关系与适航认证标准当中规定目标的一致性,是机载软件设计阶段的一个重要问题。首先,使用系统建模语言(SysML)块图建立带有安全性特征的系统静态结构模型,将其转换为块依赖图以便进行精确的形式化描述。在此基础上给出形式验证方法,检验系统静态结构模型中的安全性依赖关系与适航认证标准中所规定目标之间是否一致。最后,通过一个飞机导航系统的例子说明如何将该方法应用于机载软件开发的过程中。利用这种方法对系统静态结构模型的安全性依赖关系进行验证,能够提高系统整体的安全性,并为适航认证提供证据。