航空发动机转子同轴度和不平衡量双目标优化装配方法

作者： 刘泽伟   来源： 哈尔滨工业大学 年份： 2019 文献类型 ： 学位论文 关键词： 同轴度   不平衡量   装配方法   多级转子  

描述： 航空发动机转子同轴度和不平衡量双目标优化装配方法

航空发动机分布式控制系统总线延迟优化设计方法研究

作者： 姜渭宇   李岩   聂玲聪   张永亮   王明杰   来源： 中国航天第三专业信息网第四十届技术交流会暨第四届空天动力联合会议 年份： 2019 文献类型 ： 会议论文 关键词： 发动机控制系统   分布式控制系统   智能节点   应用场景   优化设计方法   重要组成部分   总线电缆   数据总线   线延迟  

描述： 航空发动机分布式控制系统总线延迟优化设计方法研究

快速模拟退火算法优化BP模糊神经网络航空发动机控制

作者： 邵文馨   缑林峰   曾宪艺   申雅雯   来源： 中国航天第三专业信息网第四十届技术交流会暨第四届空天动力联合会议 年份： 2019 文献类型 ： 会议论文 关键词： 发动机控制   飞行马赫数   人工神经网络   动力涡轮   需用功率   快速模拟退火算法   控制器   模糊神经网络  

描述： 快速模拟退火算法优化BP模糊神经网络航空发动机控制

基于迁移深度降噪自动编码器的飞机关键机械部件故障诊断方法

作者： 李兴球   姜洪开   王瑞欣   吴正红   来源： 第十三届全国振动理论及应用学术会议 年份： 2019 文献类型 ： 会议论文 关键词： 迁移深度降噪自动编码器   标签数据缺少   飞机关键机械部件   故障诊断  

描述： 基于迁移深度降噪自动编码器的飞机关键机械部件故障诊断方法

基于SAI-Krylov子空间算法的航空瞬变电磁三维正演研究

作者： 鲁凯亮   李貅   周建美   来源： 2019年中国地球科学联合学术年会 年份： 2019 文献类型 ： 会议论文 关键词： 全域视电阻率   瞬变电磁   子空间算法   SAI   Krylov   三维正演  

描述： 基于SAI-Krylov子空间算法的航空瞬变电磁三维正演研究

航空瞬变电磁法在阿奇山铅锌矿床的应用效果及找矿意义

作者： 张梦虎   刘帅   何希位   孙奕   来源： 第四届全国青年地质大会 年份： 2019 文献类型 ： 会议论文 关键词： 电磁响应异常   铅锌矿床   航空瞬变电磁法   时间常数  

描述： 航空瞬变电磁法在阿奇山铅锌矿床的应用效果及找矿意义

起伏地形环境中航空电磁三维有限体积灵敏度的一种快速算法

作者： 沈石含   汪宏年   杨守文   陈博   康庄庄   来源： 2019年中国地球科学联合学术年会 年份： 2019 文献类型 ： 会议论文 关键词： 地形环境   摄动方程   快速算法  

描述： 起伏地形环境中航空电磁三维有限体积灵敏度的一种快速算法

基于Simulink的飞机非线性方程组配平实现方法

作者： 申晓明   薛长乐   周晓巧   来源： 第十六届中国航空测控技术年会 年份： 2019 文献类型 ： 会议论文 关键词： 框架模型   Simulink建模   非线性方程组   代数约束  

描述： 基于Simulink的飞机非线性方程组配平实现方法

基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,

作者： 李勇   曹子宁   来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测   E   RSML   Nu   SMV   形式化方法  

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。