航空文献资源库

按文献类别分组

按栏目分组

按年份分组

按来源分组

关键词

综合模块化航空电子系统构型管理功能设计: 作者： 陈升栾建泽汤伟许欣悦 来源： 航空电子技术 年份： 2023 文献类型： 期刊 关键词： 综合模块化航空电子系统 构型管理; 描述： 构型管理功能是飞机提高安全性的重要功能之一，由于综合模块化航空电子系统的架构特点，其构型管理功能除了要保证软硬件构型一致外，还需要考虑配置数据。本文分析了DO-297定义的构型管理功能设计要求后，针对不同配置数据的功能特点，把构型管理功能划分成配置数据生成、数据加载和兼容性校验三个步骤，并详细描述了各自的具体设计方案。该整体方案已在项目中成功应用。

综合模块化航空电子系统安全分析的模型检测方法: 作者： 邝安玄马超王佳明 来源： 电光与控制 年份： 2023 文献类型： 期刊 关键词： 模型检测 综合模块化航空电子系统 系统分析安全性; 描述： 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配，但集成工作增加了系统的复杂性，同时使系统的故障在综合过程中传播到其他系统，这对系统的安全性也有很大的影响。传统的系统安全分析方法主要依赖于工程经验和个人技能，存在忽视系统故障状态和误判故障影响的局限性。为了解决该问题，提出了一种新的综合模块化航空电子系统安全分析方法——模型检测，使用遍历算法搜索所有系统状态。这种分析过程的使用在实现自动化的同时减少对工程经验的需求。该方法在综合模块化航空电子系统安全分析中的实用性得到验证，在系统需求规格的基础上给出了分析过程，利用模型检测工具NuSMV进行安全性分析。该方法能够自动识别出引起顶层事件的最小故障组合，从而达到传统故障树分析的目的，最终通过案例分析表明了该方法的实用性。

综合模块化航空电子系统重构与验证方法研究: 作者： 丁明 来源： 西北大学 年份： 2019 文献类型： 学位论文 关键词： 架构分析与设计语言 综合模块化航空电子系统 重构验证系统建模语言; 描述： 综合模块化航空电子系统重构与验证方法研究

基于序贯博弈多智能体强化学习的综合模块化航空电子系统重构方法: 作者： 张涛张文涛代凌陈婧怡王丽魏倩茹 来源： 电子学报 年份： 2022 文献类型： 期刊 关键词： 策略梯度 综合模块化航空电子系统 蒙特卡洛树搜索重构序贯博弈多智能体强化学习; 描述： 动态重构是一种有效的综合模块化航空电子系统故障容错方法 .重构蓝图定义了系统故障环境下的应用迁移与资源重配置方案,是以最小代价重构恢复系统功能的关键.在复杂多级关联故障模式下,如何快速自动生成有效重构蓝图是其难点.针对该问题,本文提出一种基于序贯博弈多智能体强化学习的综合模块化航空电子系统重构方法 .该方法引入序贯博弈模型,将因受故障影响而需要迁移重构的应用软件定义为博弈中的智能体,根据应用软件优先级确定序贯博弈的顺序.针对序贯博弈过程中多智能体间竞争与合作的问题,算法使用强化学习中的策略梯度,通过控制与环境交互中的动作选择概率来优化重构效果.应用基于有偏估计的策略梯度蒙特卡洛树搜索算法更新博弈策略,解决了传统策略梯度算法震荡难收敛、计算耗时长问题.实验结果表明,与差分进化、Q学习等方法相比,所提算法的优化性能和稳定性均具有显著优势.

< 1 >