全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
按文献类别分组
按栏目分组
关键词
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 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神经网络和多元线性回归对比分析
- 基于有限元仿真的飞机发动机尾喷口整流结构优化设计研究
- 作者： 曹婷 胡碧阳 李杰 来源： 内燃机与配件 年份： 2020 文献类型 ： 期刊 关键词： 有限元分析 裂纹 整流结构 结构优化 发动机尾喷口
- 描述： 发动机尾喷口整流结构是发动机短舱的延续,它处在发动机尾喷口的外围,对发动机的排气起到一定的整流作用,按照现有飞机的布局约束,该处结构形成尖角区,存在严重的应力集中,导致外场使用过程极易产生裂纹。本文通过对该发动机尾喷口整流结构优化及有限元分析,使其刚度、强度提升,应力集中区明显减少,降低裂纹产生的风险,满足外场飞行要求。
- 基于有限元仿真的飞机发动机尾喷口整流结构优化设计研究
- 作者： 曹婷 胡碧阳 李杰 来源： 内燃机与配件 年份： 2020 文献类型 ： 期刊 关键词： 有限元分析 裂纹 整流结构 结构优化 发动机尾喷口
- 描述： 发动机尾喷口整流结构是发动机短舱的延续,它处在发动机尾喷口的外围,对发动机的排气起到一定的整流作用,按照现有飞机的布局约束,该处结构形成尖角区,存在严重的应力集中,导致外场使用过程极易产生裂纹。本文通过对该发动机尾喷口整流结构优化及有限元分析,使其刚度、强度提升,应力集中区明显减少,降低裂纹产生的风险,满足外场飞行要求。
- 某型航空发动机附件传动系统动力学仿真分析
- 作者： 吕胜 来源： 机械研究与应用 年份： 2021 文献类型 ： 期刊 关键词： 航空发动机 动力学仿真分析 附件传动系统 MASTA
- 描述： 通过MASTA软件构建某型航空发动机附件传动系统分析模型,计算其系统动力学响应,并将计算得到的振动响应与试验所测振动响应对比,相对误差值最大为8.3%,验证了MASTA软件对航空发动机附件传动系统进行仿真分析的可行性与准确性,可以为航空发动机附件传动设计提供新方法。