谢文光
- 作品数：10 被引量：1H指数：1
- 供职机构：中国民航大学更多>>
- 发文基金：中国航空科学基金中国民航大学科研启动基金中央高校基金更多>>
- 相关领域：自动化与计算机技术航空宇航科学技术更多>>
- 一种分布式综合模块化航电系统重构参数选择系统及方法
- 一种分布式综合模块化航电系统重构参数选择系统及方法。系统包括运行参数数据库、参数选择模块和参数输出检验模块；运行参数数据库与外部的DIMA重构管理系统相连；参数选择模块分别与运行参数数据库、参数输出检验模块相连，同时与D...
- 赵长啸王鹏白杰阎芳谢文光田毅
- 文献传递
- 一种P2020机器码程序到C语言源程序的溯源方法
- 本发明公开了一种P2020机器码程序到C语言源程序的溯源方法。通过本方法，用户可以从文件、函数定义、函数体等三层次实现P2020处理器机器码程序和其编译之前的C语言源程序之间的映射和溯源，包括P2020机器码程序文件、函...
- 谢文光汪克念马春燕张啸晨吴康姚鑫鹏陈文琪
- 基于LQG/LTR飞行控制系统的优化设计与品质评价
- 2013年
- 针对当前飞机的飞行控制系统设计与适航审定问题,采用LQG/LTR鲁棒控制技术,完成飞行控制系统的设计与优化,并基于padé降阶技术进行等效系统处理,运用等效系统准则、模态判据准则和C*准则对所设计的飞行控制系统进行品质评价,提出了一种结合飞行控制系统的适航审定框架下的设计手段和评价流程。
- 孙丹阎芳谢文光
- 关键词：磁电机点火系统
- 一种大型飞机及系统研制转阶段评估系统
- 一种大型飞机及系统研制转阶段评估系统。其包括评审阶段选择单元、评审阶段数据归集单元、评审对象选择单元、评审智能数据库单元和评审报告输出单元，其中：评审对象选择单元分别与评审阶段选择单元、评审阶段数据归集单元、评审智能数据...
- 王鹏赵长啸阎芳田毅肖女娥马赞肖国松董磊谢文光
- 一种基于STPA的安全关键软件安全性验证方法
- 一种基于STPA的安全关键软件安全性验证方法。其包括对安全关键软件进行STPA分析及形式化规约，得到软件安全约束；采用形式化建模符号将步骤1中得到的软件安全约束转换为模型检测过程所需的安全规约模型，然后，在安全规约模型检...
- 汪克念吴康阎芳谢文光
- 一种分布式综合模块化航电系统重构参数选择系统及方法
- 一种分布式综合模块化航电系统重构参数选择系统及方法。系统包括运行参数数据库、参数选择模块和参数输出检验模块；运行参数数据库与外部的DIMA重构管理系统相连；参数选择模块分别与运行参数数据库、参数输出检验模块相连，同时与D...
- 赵长啸王鹏白杰阎芳谢文光田毅
- 文献传递
- 一种P2020机器码程序到C语言源程序的溯源方法
- 本发明公开了一种P2020机器码程序到C语言源程序的溯源方法。通过本方法，用户可以从文件、函数定义、函数体等三层次实现P2020处理器机器码程序和其编译之前的C语言源程序之间的映射和溯源，包括P2020机器码程序文件、函...
- 谢文光汪克念马春燕张啸晨吴康姚鑫鹏陈文琪
- 机载软件数据质量评价参数及验证方法
- 2014年
- 通过分析影响机载数据质量的因素,建立了机载软件数据传输模型。提出了机载软件数据质量的定性评价方法,按照机载软件对于数据的需求及相关工业标准要求,总结了层次化的机载软件数据质量评价参数。根据不同安全关键等级的数据需求,提出了针对性的数据质量确认、验证方法及其实现。本研究对于机载软件数据库的审定和机载软件数据质量的验证有一定的理论价值。
- 阎芳谢文光赵长啸王鹏
- 关键词：航空电子适航机载软件安全性评估数据质量
- 基于FPGA的AFDX交换机抗单粒子翻转设计和仿真被引量：1
- 2020年
- 在民航飞行环境下,存在着各种各样的高能粒子,这些高能粒子作用于民用飞机航空电子设备的SRAM型FPGA会产生单粒子翻转(SEU)效应,从而造成器件逻辑错误和系统故障,因此对机载设备中的SRAM型FPGA必须采取相应的抗单粒子翻转设计措施。根据AFDX交换机的基本结构,提出了基于FPGA的AFDX交换机抗单粒子翻转的具体设计措施,并通过故障注入方法进行模拟仿真验证,有效提高了基于FPGA的AFDX交换机抗单粒子翻转性能,从而提高系统在航空飞行应用中的可靠性和稳定性。
- 谢文光谢文光张啸晨吴康
- 关键词：航空电子设备单粒子翻转FPGA
- 一种基于STPA的安全关键软件安全性验证方法
- 一种基于STPA的安全关键软件安全性验证方法。其包括对安全关键软件进行STPA分析及形式化规约，得到软件安全约束；采用形式化建模符号将步骤1中得到的软件安全约束转换为模型检测过程所需的安全规约模型，然后，在安全规约模型检...
- 汪克念吴康阎芳谢文光
- 文献传递
