董磊
- 作品数：41 被引量：32H指数：4
- 供职机构：中国民航大学更多>>
- 发文基金：中央高校基本科研业务费专项资金国家自然科学基金中国航空科学基金更多>>
- 相关领域：航空宇航科学技术自动化与计算机技术环境科学与工程电子电信更多>>
- 一种大型飞机及系统研制转阶段评估系统
- 一种大型飞机及系统研制转阶段评估系统。其包括评审阶段选择单元、评审阶段数据归集单元、评审对象选择单元、评审智能数据库单元和评审报告输出单元，其中：评审对象选择单元分别与评审阶段选择单元、评审阶段数据归集单元、评审智能数据...
- 王鹏赵长啸阎芳田毅肖女娥马赞肖国松董磊谢文光
- 一种EVTOL避让系统的RTA设计方法、设备及介质
- 本发明公开一种EVTOL避让系统的RTA设计方法、设备及介质，涉及航空器机载航电系统技术领域。所述方法包括：根据空域UAM的规划与要求，确定EVTOL搭载机型避让系统的运行参数，并根据运行环境特征选用感知方案及对应的感知...
- 陈曦董磊 梁博尧赵长啸王鹏张帆
- 民机驾驶舱显示触控系统人机工效综合评价被引量：7
- 2021年
- 未来民机驾驶舱将广泛采用触控技术,但目前尚未形成针对民机驾驶舱显示触控系统的人机工效评价体系与评价方法。针对上述问题,首先梳理民机驾驶舱显示触控系统相关的现行标准与规范,结合适航规章中人为因素考察项,提出民机驾驶舱显示触控系统人机工效评价指标体系。其次,考虑到评价指标的模糊性与灰色性,基于灰色关联分析,对传统模糊层次综合评价算法从数据集结处理和指标权重确定两个方向进行改进,通过构造专家信度系数修正秩次矩阵,实现专家认知特性的定量描述,建立民机驾驶舱显示触控系统人机工效综合评价模型。最后,结合ACROSS项目下的民机驾驶舱显示触控系统人机工效评价试验案例,分析驾驶舱显示触控系统配置策略对系统人机工效的影响,验证了评价体系与评价方法的适用性和合理性。
- 董磊向晨阳赵长啸赵长啸史春蕾
- 关键词：灰色关联分析
- 一种面向安全性的AFDX交换机信用动态管理系统及方法
- 一种面向安全性的AFDX交换机信用动态管理系统及方法。系统包括数据接收端口、帧解析单元、虚拟链路配置信息单元、信用计算单元和流量管制单元；每个数据接收端口与一台交换机端口相连接，多个数据接收端口同时与帧解析单元相连接；帧...
- 赵长啸董磊金志威汪克念戴骏
- 基于安全性需求的民机显示系统监控配置平台及监控方法
- 本发明公开了一种基于安全性需求的民机显示系统监控配置平台及监控方法，监控配置平台包括监控资源配置模块、监控触发模块、安全性计算模块、监控决策模块。监控资源配置模块又包括数据源监控资源配置子模块、系统数据处理监控资源配置子...
- 张帆肖国松马振洋王鹏董磊
- 一种射频集成电路近场电磁兼容性测试设备及其测试方法
- 本发明涉及一种射频集成电路近场电磁兼容性测试设备及其测试方法，包括近场探头，还包括电磁屏蔽壳体、被测电路安装台，电磁屏蔽壳体为矩形空腔结构，由顶盖开合，在电磁屏蔽壳体的侧面，分别设有电源线孔和信号线孔，在电磁屏蔽壳体顶盖...
- 史春蕾马振洋田毅董磊汪克念
- 文献传递
- 一种基于BiLSTM的民航单机组意图建模方法
- 本发明公开了一种基于BiLSTM的民航单机组意图建模方法。步骤如下：由数据处理模块提取未知任务意图的民航单机组与飞行模拟系统交互数据流，采样操作序列，对操作序列进行数据预处理；由数据特征获取模块通过BiLSTM网络对预处...
- 董磊 陈泓兵赵长啸金志威张帆
- 面向IMA通用系统管理的STPA安全性分析被引量：4
- 2021年
- 通用系统管理(GSM)是综合模块化航电(IMA)系统服务中不可或缺的一部分,为解决传统安全性分析方法难以捕获复杂系统中组件交互所带来的危险。首先,研究GSM的工作环境及相关组件的功能划分,确定层次化系统管理的工作流程;其次,面向GSM建立基于系统理论事故过程的扩展模型,并通过系统理论过程分析(STPA)对动态重构实例的不安全控制行为(UCA)进行识别,生成相关致因场景及其对应的安全性需求;最后,通过时间自动机对实例进行仿真验证。结果表明:模型的逻辑和时序的完整性及UCA的可达性,可为GSM的安全性分析提供形式化依据。
- 肖国松刘嘉琛董磊董磊赵长啸
- 关键词：动态重配置
- 基于有限谓词追踪的民机系统需求一致性检查方法
- 2024年
- 针对民机安全关键系统在正向研发过程中,系统级需求的正确性难以在设计早期全部完成确认的问题,提出一种基于有限谓词追踪的功能需求一致性检查体系。首先,引入一阶逻辑中的谓词追踪,建立系统内部功能需求与交互功能需求形式化规约方法。其次,针对单条、多条需求内容正确性以及需求关系一致性,构建需求一致性检查形式化规约,开展需求自冲突、集冲突与需求关系一致性检验,并生成可解释的检查反例进行需求迭代。最后,以机载平视显示(head-up display,HUD)系统飞行信息符号生成与显示功能为例,验证该方法的正确性与有效性。研究结果表明,基于有限谓词追踪的功能需求一致性检查方法能够提高需求一致性检查效率、降低研发成本,为民机系统级需求确认提供支持。
- 王鹏岳舒婷张帆张帆
- 关键词：定理证明一阶逻辑
- 增强视景系统形式化安全性分析方法研究被引量：2
- 2019年
- 针对传统方法分析增强视景系统所产生的工作量大、依赖安全性分析人员经验、容易出现疏漏等问题,提出了增强视景系统形式化安全性分析方法,即在分析系统需求和安全性需求基础上,利用形式化分层建模方法建立增强视景系统名义模型和失效模型,并针对典型失效状态进行形式化安全性分析,得出定性和定量安全性分析结论。研究结果表明,所提出的方法能够提高安全性分析效率,可降低安全性分析工作量。
- 董磊荣灝金志威刘成伟
