全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 具有航空航天特色的卓越工程师人才培养模式探索
- 作者： 宋凝芳 王夏霄 潘雄 高福宇 金靖 徐小斌 李勇 赵亚飞 张佳全 来源： 中国多媒体与网络教学学报(上旬刊) 年份： 2023 文献类型 ： 期刊 关键词： 航空航天 卓越工程师 培养模式
- 描述： 研究生教育是国家创新体系的重要组成部分，在培养创新人才、提高创新能力等方面具有重要作用。在新工科背景下，卓越工程师培养已成为研究生教育的核心议题。北京航空航天学扎实推进卓越工程师产教联合培养专项计划，遵循工程实践与创新规律，培养富有航天精神的卓越工程师人才。本文以北京航空航天大学仪器科学与光电工程学院为例，阐述在秉持陀螺精神下，探索具有航空航天人才特色的卓越工程师培养模式方面取得的进展。
- 民航VHF地空通信干扰分析与研究
- 作者： 李勇 来源： 长沙航空职业技术学院学报 年份： 2021 文献类型 ： 期刊 关键词： 电磁干扰 VHF通信 分析与研究
- 描述： 民航 VHF通信电磁环境日益复杂,干扰也出现了一些新的形式与特点。介绍民航地空通信常见干扰类型及解决办法,对一些案例进行分析,结合国内电磁环境实际情况和民航自身特点提出了解决干扰的思路及对策。
- 民航VHF地空通信干扰分析与研究
- 作者： 李勇 来源： 长沙航空职业技术学院学报 年份： 2020 文献类型 ： 期刊 关键词： 电磁干扰 VHF通信 分析与研究
- 描述： 民航 VHF通信电磁环境日益复杂,干扰也出现了一些新的形式与特点。介绍民航地空通信常见干扰类型及解决办法,对一些案例进行分析,结合国内电磁环境实际情况和民航自身特点提出了解决干扰的思路及对策。
- 民航空管设备系统安全与可靠性研究
- 作者： 李勇 来源： 民航管理 年份： 2018 文献类型 ： 期刊
- 描述： 随着民航事业的发展,空中交通管制对空管设备的依赖性不断增强。空中交通安全与空管设备的关联度提高,受连锁效应的影响,任何时刻任意范围内的微小故障,都有可能给整个管制部门的设备正常运行带来巨大的影响,导致空管服务的中断。可以说,低故障率、高可靠性的空管设备系统担负着保障民航运输安全的重要使命,提高空管设备的可靠性对保障飞行安全来说具有十分重要的意义。从工程角度,可靠性可以直观定义为产品在一定时间
- 某航空发动机金属密封环优化设计研究
- 作者： 赵亚飞 潘晨爽 杨滢滢 励行根 李征 来源： 风机技术 年份： 2022 文献类型 ： 期刊 关键词： W形金属密封环 接触应力 参数化模型 密封性能 优化设计
- 描述： 为了满足特殊工况下发动机中的密封要求，对W形金属密封环综合性能进行研究。对W形金属密封环进行参数化建模，采用数值模拟正交试验法，应用ANSYS软件进行W形密封环的密封性能的分析计算，根据多指标数值模拟正交仿真试验计算结果，运用MATLAB软件建立W形金属密封环关于其主要结构参数的多元线性回归方程。为保证其密封性能，应求得在最大Von-Mises等效应力不超过材料屈服极限条件下，寻找接触应力的最大值。通过C语言程序设计在其各结构参数限定范围内求解其极值，并得到极值对应的结构参数；对优化后的结构进行ANSYS模拟，并对结果进行检验，从而证明了优化设计的可靠性。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 航空发动机试车台在本科教学及科研中的应用研究
- 作者： 李勇 韩非非 来源： 教育教学论坛 年份： 2021 文献类型 ： 期刊 关键词： 科学研究 试车台 航空发动机 教学改革 工程实践
- 描述： 文章介绍了航空发动机试车台的原理、组成及其在教学、科研中的重要作用。探索了省属重点高校以优势特色学科为基础,深化教学改革,将教学、科研与工程实践相结合,为飞行器动力工程类本科人才培养提供示范和借鉴。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2019 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。