基于Timoshenko梁理论的航空发动机高压转子动力学分析与试验研究

作者： 南凯刚     张庆山     李光明     洪军     裴世源   来源： 制造业自动化 年份： 2023 文献类型 ： 期刊 关键词： 自动化数据采集   航空发动机高压转子   高压转子试验平台设计   Timoshenko梁理论  

描述： 针对传统的航空发动机高压转子动力学分析方法计算效率低下及无符合实际工况的试验平台的现象，基于Timoshenko梁理论建立了模拟航空发动机高压转子的有限元模型，提出了相应的数值求解方法，并设计了高压

利用旋翼机和固定翼飞机的空气动力学理论综合估算电动垂直起降飞行器的飞行性能（英文）

作者： 雷忠   来源： Transactions of Nanjing University of Aeronautics and Astronautics 年份： 2024 文献类型 ： 期刊 关键词： 先进空中飞行器   旋翼   飞行性能   固定翼   气动理论   电动垂直起降飞行器  

描述： 根据旋翼机和固定翼飞机的气动理论开发了一个综合方法过程用于估算电动垂直起降（Electric vertical takeoff and landing, e VTOL）飞行器的飞行性能。这种飞机通常采用多旋翼垂直飞行，螺旋桨和机翼的不同组合方式实现飞行。其中，对旋翼和螺旋桨的气动性能采用传统动量理论分析和旋翼元素分析。本文利用此综合理论研究了12架e VTOL飞行器的飞行性能，包括多旋翼飞行器、矢量推进飞行器和升力巡航飞行器。计算了悬停、爬升和下降以及巡航水平飞行，不同飞行状态时驱动电机、旋翼和机身的飞行特性。据此，可以进一步确定电力推进系统的性能指标，以匹配螺旋桨或旋翼，从而满足飞行任务。

基于Plant Simulation的航空复合材料生产线工艺布局仿真建模及评估

作者： 崔晶   李慧   来源： 航空制造技术 年份： 2019 文献类型 ： 期刊 关键词： 航空   复合材料生产线   仿真建模   评估   生产线布局  

描述： 研究航空复合材料生产线工艺布局仿真评估技术,建立复合材料工艺流程及生产线布局的数字化模型。以航空复合材料数字化生产线实际项目为依托,完成复合材料生产线工艺布局仿真建模和模拟试验。通过仿真技术量化分析、论证复合材料生产线的工艺布局方案,从而指导复合材料生产线的规划设计及运营。

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

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

描述： 检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器

民航飞行员安全绩效的建模与预测——多元线性回归模型与Elman神经网络模型的比较与应用

作者： 陈雨嘉   王竞慧   韩越   余湛   来源： 人类工效学 年份： 2020 文献类型 ： 期刊 关键词： 安全绩效   飞行员   交通工程   民航   工作压力   交通事故   径向基函数(RBF)   多元回归模型   神经网络  

描述： 民航飞行员安全绩效的建模与预测——多元线性回归模型与Elman神经网络模型的比较与应用

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

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

描述： 检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器