全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 综合模块化航空电子系统安全分析的模型检测方法
- 作者： 邝安玄 马超 王佳明 来源： 电光与控制 年份： 2023 文献类型 ： 期刊 关键词： 模型检测 综合模块化航空电子系统 系统分析 安全性
- 描述： 综合模块化航空电子(IMA)系统可以在有效提高系统效率的同时减少资源的分配，但集成工作增加了系统的复杂性，同时使系统的故障在综合过程中传播到其他系统，这对系统的安全性也有很大的影响。传统的系统安全
- 综合模块化航空电子系统构型管理功能设计
- 作者： 陈升 栾建泽 汤伟 许欣悦 来源： 航空电子技术 年份： 2023 文献类型 ： 期刊 关键词： 综合模块化航空电子系统 构型管理
- 描述： 构型管理功能是飞机提高安全性的重要功能之一，由于综合模块化航空电子系统的架构特点，其构型管理功能除了要保证软硬件构型一致外，还需要考虑配置数据。本文分析了DO-297定义的构型管理功能设计要求后
- 一种航空电子系统体系结构错误行为验证方法
- 作者： 丁明 张书玲 张琛 来源： 西北大学学报(自然科学版) 年份： 2019 文献类型 ： 期刊 关键词： 错误模型 模型检测 体系结构 航空电子系统
- 描述： 针对航空电子系统体系结构安全性评估过程中,组件故障影响分析,正确性难以保证的问题,提出了一种基于模型的体系结构错误行为描述和验证方法。首先,针对系统功能需求和安全性目标,建立体系结构模型;然后,采用
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
- 基于序贯博弈多智能体强化学习的综合模块化航空电子系统重构方法
- 作者： 张涛 张文涛 代凌 陈婧怡 王丽 魏倩茹 来源： 电子学报 年份： 2022 文献类型 ： 期刊 关键词： 策略梯度 综合模块化航空电子系统 蒙特卡洛树搜索 重构 序贯博弈 多智能体强化学习
- 描述： 动态重构是一种有效的综合模块化航空电子系统故障容错方法 .重构蓝图定义了系统故障环境下的应用迁移与资源重配置方案,是以最小代价重构恢复系统功能的关键.在复杂多级关联故障模式下,如何快速自动生成有效重构蓝图是其难点.针对该问题,本文提出一种基于序贯博弈多智能体强化学习的综合模块化航空电子系统重构方法 .该方法引入序贯博弈模型,将因受故障影响而需要迁移重构的应用软件定义为博弈中的智能体,根据应用软件优先级确定序贯博弈的顺序.针对序贯博弈过程中多智能体间竞争与合作的问题,算法使用强化学习中的策略梯度,通过控制与环境交互中的动作选择概率来优化重构效果.应用基于有偏估计的策略梯度蒙特卡洛树搜索算法更新博弈策略,解决了传统策略梯度算法震荡难收敛、计算耗时长问题.实验结果表明,与差分进化、Q学习等方法相比,所提算法的优化性能和稳定性均具有显著优势.
- 通用飞机航电系统开发过程中的需求研究
- 作者： 刘文学 冯伟 刘文 李亚杰 来源： 电子测试 年份： 2017 文献类型 ： 期刊 关键词： 功能需求 适航 安全性 航电系统
- 描述： 在通用飞机的航电系统开发过程中,需求定义是非常关键的环节,本文以飞机级需求、相关适航法律法规、技术标准和未来技术发展为参考,对通用飞机航电系统的功能需求、适航需求、安全性需求、人机功效需求、经济性需求和维护保障需求进行了研究分析,并在实际应用中对某型航电系统的开发形成了有效指导。
- 民用飞机电传飞控系统供电设计
- 作者： 申海荣 来源： 科技创新导报 年份： 2017 文献类型 ： 期刊 关键词： 多电 供电 安全性 飞控系统
- 描述： 电传飞控系统设计中供电设计是重要的一部分,供电设计的关键在于满足飞控系统安全性要求、电源品质要求、测试要求和适航要求等。该文整理分析了适航规章及相关规范文件对配电的具体要求,分析了国内外主流民用飞机飞控系统架构和供电配置,以及多电趋势下飞控系统供电方法,总结了飞控系统供电设计的发展趋势和设计思路。