航空发动机试车台在本科教学及科研中的应用研究

作者： 李勇   韩非非   来源： 教育教学论坛 年份： 2021 文献类型 ： 期刊 关键词： 科学研究   试车台   航空发动机   教学改革   工程实践  

描述： 文章介绍了航空发动机试车台的原理、组成及其在教学、科研中的重要作用。探索了省属重点高校以优势特色学科为基础,深化教学改革,将教学、科研与工程实践相结合,为飞行器动力工程类本科人才培养提供示范和借鉴。

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

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

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

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

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

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

航空公司运行成本数据链构建研究

作者： 李勇   葛蓓蓓   阎悦海   来源： 民航管理 年份： 2020 文献类型 ： 期刊 关键词： 需求方   清算中心   供应方   构建研究   成本数据   数据流程分析   机供品  

描述： 智慧引领创新,技术驱动变革。在各种新技术新应用的推动下,构建具有航空公司特点的运行成本数据链,分模式建立航空公司运行成本信息平台,将打破航空公司与上下游单位间的数据壁垒,实现行业数据链信息的共建共享,最终达到降低企业成本,提升工作效率,加强业财融合,支撑财务转型的目的。航空公司运行成本数据现状(一)航空公司成本结构航空公司成本结构较为复杂,其中一部分成本具有明显的行业特点,例如航油成本、起降费用、机场地面服务费用、外配餐食费

虚拟仿真实验在航空燃气涡轮发动机教学中的实践与应用

作者： 郭霄   刘雨   李勇   张翔   来源： 教育教学论坛 年份： 2021 文献类型 ： 期刊 关键词： 虚拟仿真实验   OBE理念   教学改革   航空类课程  

描述： 对航空类课程而言,大部分高校不能满足该类课程课堂教学对实验条件和成本的要求。文章以航空燃气涡轮发动机为例,探讨虚拟仿真实验在该课程中应用的可行性,并以典型案例说明虚拟仿真实验在推进课堂教学改革方面的优越性。

大型复合材料航空件固化成型模具技术研究与应用进展

作者： 肖遥   李东升   吉康   李勇   来源： 复合材料学报 年份： 2022 文献类型 ： 期刊 关键词： 模具材料   模具制造工艺   热压罐固化   模具设计   复合材料航空件  

描述： 固化成型模具是诱导热固性树脂基复合材料构件制造变形的关键因素之一。大型航空用复合材料构件整体化、批量化及高精度高性能发展趋势对固化用模具提出了更高的精度及寿命要求，推动了模具材料、设计及制造工艺方面的新发展，但目前相关研究尚缺乏系统梳理。因此，针对航空用大型复合材料构件对高精度模具的广泛需求，综述了模具对复合材料构件成型精度的影响和作用机制，固化用模具材料及其设计与制造技术现状。重点详述了在制造精度、效率及成本综合考虑下，从模具材料到制造工艺的发展。最后，对当前大型复合材料构件高精度模具在材料、设计及制造技术方面的发展现状进行了总结，并对未来主要研究方向提出了明确建议。

大型复合材料航空件固化成型模具技术研究与应用进展

作者： 肖遥   李东升   吉康   李勇   来源： 复合材料学报 年份： 2022 文献类型 ： 期刊 关键词： 模具材料   模具制造工艺   热压罐固化   模具设计   复合材料航空件  

描述： 固化成型模具是诱导热固性树脂基复合材料构件制造变形的关键因素之一。大型航空用复合材料构件整体化、批量化及高精度高性能发展趋势对固化用模具提出了更高的精度及寿命要求，推动了模具材料、设计及制造工艺方面的新发展，但目前相关研究尚缺乏系统梳理。因此，针对航空用大型复合材料构件对高精度模具的广泛需求，综述了模具对复合材料构件成型精度的影响和作用机制，固化用模具材料及其设计与制造技术现状。重点详述了在制造精度、效率及成本综合考虑下，从模具材料到制造工艺的发展。最后，对当前大型复合材料构件高精度模具在材料、设计及制造技术方面的发展现状进行了总结，并对未来主要研究方向提出了明确建议。

WBS方法在航空型号试验项目管理中的应用研究

作者： 田斌   李勇   李彬   来源： 管理观察 年份： 2019 文献类型 ： 期刊 关键词： WBS   计划管理   型号研制   工作结构分解  

描述： 本文针对航空企业在型号研制过程中面临的多型号项目管理,计划制定精细化程度低,甚至工作项目遗漏等不科学、不合理的问题,基于时WBS方法的介绍,以航空型号研制中的重要、典型的试验项目管理为示例,研究分析了WBS方法在航空型号产品中的应用,对航空型号试验项目分级网络计划的构建提供指导。

航空公司运行成本数据链构建研究

作者： 李勇   葛蓓蓓   阎悦海   来源： 民航管理 年份： 2020 文献类型 ： 期刊 关键词： 需求方   清算中心   供应方   构建研究   成本数据   数据流程分析   机供品  

描述： 智慧引领创新,技术驱动变革。在各种新技术新应用的推动下,构建具有航空公司特点的运行成本数据链,分模式建立航空公司运行成本信息平台,将打破航空公司与上下游单位间的数据壁垒,实现行业数据链信息的共建共享,最终达到降低企业成本,提升工作效率,加强业财融合,支撑财务转型的目的。航空公司运行成本数据现状(一)航空公司成本结构航空公司成本结构较为复杂,其中一部分成本具有明显的行业特点,例如航油成本、起降费用、机场地面服务费用、外配餐食费

WBS方法在航空型号试验项目管理中的应用研究

作者： 田斌   李勇   李彬   来源： 管理观察 年份： 2017 文献类型 ： 期刊 关键词： WBS   计划管理   型号研制   工作结构分解  

描述： 本文针对航空企业在型号研制过程中面临的多型号项目管理,计划制定精细化程度低,甚至工作项目遗漏等不科学、不合理的问题,基于时WBS方法的介绍,以航空型号研制中的重要、典型的试验项目管理为示例,研究分析了WBS方法在航空型号产品中的应用,对航空型号试验项目分级网络计划的构建提供指导。