首页>
根据【作者:李勇】搜索到相关结果 19 条
-
民航VHF地空通信干扰分析与研究
-
作者:
李勇
来源:
长沙航空职业技术学院学报
年份:
2021
文献类型 :
期刊
关键词:
电磁干扰
VHF通信
分析与研究
-
描述:
民航 VHF通信电磁环境日益复杂,干扰也出现了一些新的形式与特点。介绍民航地空通信常见干扰类型及解决办法,对一些案例进行分析,结合国内电磁环境实际情况和民航自身特点提出了解决干扰的思路及对策。
-
民航VHF地空通信干扰分析与研究
-
作者:
李勇
来源:
长沙航空职业技术学院学报
年份:
2020
文献类型 :
期刊
关键词:
电磁干扰
VHF通信
分析与研究
-
描述:
民航 VHF通信电磁环境日益复杂,干扰也出现了一些新的形式与特点。介绍民航地空通信常见干扰类型及解决办法,对一些案例进行分析,结合国内电磁环境实际情况和民航自身特点提出了解决干扰的思路及对策。
-
民航空管设备系统安全与可靠性研究
-
作者:
李勇
来源:
民航管理
年份:
2018
文献类型 :
期刊
-
描述:
随着民航事业的发展,空中交通管制对空管设备的依赖性不断增强。空中交通安全与空管设备的关联度提高,受连锁效应的影响,任何时刻任意范围内的微小故障,都有可能给整个管制部门的设备正常运行带来巨大的影响,导致空管服务的中断。可以说,低故障率、高可靠性的空管设备系统担负着保障民航运输安全的重要使命,提高空管设备的可靠性对保障飞行安全来说具有十分重要的意义。从工程角度,可靠性可以直观定义为产品在一定时间
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2017
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
-
航空发动机试车台在本科教学及科研中的应用研究
-
作者:
李勇
韩非非
来源:
教育教学论坛
年份:
2021
文献类型 :
期刊
关键词:
科学研究
试车台
航空发动机
教学改革
工程实践
-
描述:
文章介绍了航空发动机试车台的原理、组成及其在教学、科研中的重要作用。探索了省属重点高校以优势特色学科为基础,深化教学改革,将教学、科研与工程实践相结合,为飞行器动力工程类本科人才培养提供示范和借鉴。
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2019
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
-
WBS方法在航空型号试验项目管理中的应用研究
-
作者:
田斌
李勇
李彬
来源:
管理观察
年份:
2017
文献类型 :
期刊
关键词:
WBS
计划管理
型号研制
工作结构分解
-
描述:
本文针对航空企业在型号研制过程中面临的多型号项目管理,计划制定精细化程度低,甚至工作项目遗漏等不科学、不合理的问题,基于时WBS方法的介绍,以航空型号研制中的重要、典型的试验项目管理为示例,研究分析了WBS方法在航空型号产品中的应用,对航空型号试验项目分级网络计划的构建提供指导。
-
虚拟仿真实验在航空燃气涡轮发动机教学中的实践与应用
-
作者:
郭霄
刘雨
李勇
张翔
来源:
教育教学论坛
年份:
2021
文献类型 :
期刊
关键词:
虚拟仿真实验
OBE理念
教学改革
航空类课程
-
描述:
对航空类课程而言,大部分高校不能满足该类课程课堂教学对实验条件和成本的要求。文章以航空燃气涡轮发动机为例,探讨虚拟仿真实验在该课程中应用的可行性,并以典型案例说明虚拟仿真实验在推进课堂教学改革方面的优越性。
-
WBS方法在航空型号试验项目管理中的应用研究
-
作者:
田斌
李勇
李彬
来源:
管理观察
年份:
2019
文献类型 :
期刊
关键词:
WBS
计划管理
型号研制
工作结构分解
-
描述:
本文针对航空企业在型号研制过程中面临的多型号项目管理,计划制定精细化程度低,甚至工作项目遗漏等不科学、不合理的问题,基于时WBS方法的介绍,以航空型号研制中的重要、典型的试验项目管理为示例,研究分析了WBS方法在航空型号产品中的应用,对航空型号试验项目分级网络计划的构建提供指导。
-
航空公司运行成本数据链构建研究
-
作者:
李勇
葛蓓蓓
阎悦海
来源:
民航管理
年份:
2020
文献类型 :
期刊
关键词:
需求方
清算中心
供应方
构建研究
成本数据
数据流程分析
机供品
-
描述:
智慧引领创新,技术驱动变革。在各种新技术新应用的推动下,构建具有航空公司特点的运行成本数据链,分模式建立航空公司运行成本信息平台,将打破航空公司与上下游单位间的数据壁垒,实现行业数据链信息的共建共享,最终达到降低企业成本,提升工作效率,加强业财融合,支撑财务转型的目的。航空公司运行成本数据现状(一)航空公司成本结构航空公司成本结构较为复杂,其中一部分成本具有明显的行业特点,例如航油成本、起降费用、机场地面服务费用、外配餐食费