航空航天类专业核心课程思政教学研究与实践——以“航天器姿态动力学与控制”课程为例

作者： 荣思远   白瑜亮   鲁佳   浦甲伦   来源： 第三届全国航空航天类课程思政教学改革论坛论文集 年份： 2022 文献类型 ： 会议论文 关键词： 专业核心课程   航天精神   课程思政   航天器姿态动力学与控制  

描述： 航空航天类专业核心课程思政教学研究与实践——以“航天器姿态动力学与控制”课程为例

基于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模型转换为模型检测器

基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析

作者： 刘博   游旭群   来源： 第二十二届全国心理学学术会议 年份： 2019 文献类型 ： 会议论文 关键词： 空乘人员   安全绩效   人工神经网络   PSO   BP  

描述： 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析

基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析

作者： 刘博   游旭群   来源： 第二十二届全国心理学学术会议 年份： 2019 文献类型 ： 会议论文 关键词： 空乘人员   安全绩效   人工神经网络   PSO   BP  

描述： 基于PSO-BP神经网络的民航空乘人员安全绩效建模——兼与BP神经网络和多元线性回归对比分析