基于抽象解释的航空并发软件形式化验证方法研究

作者： 姜庆宇   来源： 华东师范大学 年份： 2018 文献类型 ： 学位论文 关键词： 形式化验证   并发程序   约束   流敏感   抽象解释  

描述： 基于抽象解释的航空并发软件形式化验证方法研究

捷联式航空重力仪加速度计现场标定方法研究

作者： 余晓涛   来源： 国防科技大学 年份： 2018 文献类型 ： 学位论文 关键词： 加速度计   Kalman滤波   标定  

描述： 捷联式航空重力仪加速度计现场标定方法研究

舰载机航空保障资源调度及影响因素分析方法研究

作者： 王云飞   来源： 国防科技大学 年份： 2018 文献类型 ： 学位论文 关键词： 作战实验   舰载机   资源调度   任务规划   瓶颈分析   航空保障流程  

描述： 舰载机航空保障资源调度及影响因素分析方法研究

大数据内控方法在TF航空公司销售业务的应用研究

作者： 赵新伟   来源： 中国财政科学研究院 年份： 2018 文献类型 ： 学位论文 关键词： 内部控制   航空运输   大数据  

描述： 大数据内控方法在TF航空公司销售业务的应用研究

航空发动机气路故障的智能诊断方法研究

作者： 刘元芳   来源： 厦门大学 年份： 2018 文献类型 ： 学位论文 关键词： 航空发动机   故障诊断   人工智能  

描述： 航空发动机气路故障的智能诊断方法研究

空中客车A320s飞机故障报文甄别方法研究

作者： 郭末辰   来源： 深圳大学 年份： 2018 文献类型 ： 学位论文 关键词： 逻辑表达   故障甄别   故障树分析方法   系统设计  

描述： 空中客车A320s飞机故障报文甄别方法研究

基于应力波的木材径切面内部缺陷成像方法研究

作者： 郑泽宇   来源： 浙江农林大学 年份： 2018 文献类型 ： 学位论文 关键词： 木材径切面成像   应力波   缺陷检测   速度修正插值法  

描述： 基于应力波的木材径切面内部缺陷成像方法研究

航空发动机超静定转子及其不对中解析方法与实验研究

作者： 李盛翔   来源： 大连理工大学 年份： 2018 文献类型 ： 学位论文 关键词： 超静定转子   航空发动机   低压转子系统   转子不对中   联轴器  

描述： 航空发动机超静定转子及其不对中解析方法与实验研究

基于深度学习的航空发动机异常检测方法研究

作者： 张光耀   来源： 哈尔滨工业大学 年份： 2018 文献类型 ： 学位论文 关键词： 航空发动机   特征提取   深度学习   健康管理   异常检测  

描述： 基于深度学习的航空发动机异常检测方法研究

基于人因分析框架的通用航空事故调查方法与应用研究

作者： 仇争平   来源： 中国民用航空飞行学院 年份： 2018 文献类型 ： 学位论文 关键词： 灰色关联   通航事故调查   BP神经网络   人因分析框架   管理失效风险树  

描述： 基于人因分析框架的通用航空事故调查方法与应用研究