基于无人机航空摄影的边坡开挖质量评价方法

作者： 谢斌     窦延哲     李勇     邓子昂   来源： 红水河 年份： 2025 文献类型 ： 期刊 关键词： 点云模型   质量评价   边坡开挖   无人机航空摄影   地形分析  

描述： 基于无人机航空摄影的边坡开挖质量评价方法

基于无人机航空摄影的边坡开挖质量评价方法

作者： 谢斌     窦延哲     李勇     邓子昂   来源： 红水河 年份： 2025 文献类型 ： 期刊 关键词： 点云模型   质量评价   边坡开挖   无人机航空摄影   地形分析  

描述： 基于无人机航空摄影的边坡开挖质量评价方法

民航VHF地空通信干扰分析与研究

作者： 李勇   来源： 长沙航空职业技术学院学报 年份： 2020 文献类型 ： 期刊 关键词： 电磁干扰   VHF通信   分析与研究  

描述： 民航 VHF通信电磁环境日益复杂,干扰也出现了一些新的形式与特点。介绍民航地空通信常见干扰类型及解决办法,对一些案例进行分析,结合国内电磁环境实际情况和民航自身特点提出了解决干扰的思路及对策。

民航VHF地空通信干扰分析与研究

作者： 李勇   来源： 长沙航空职业技术学院学报 年份： 2021 文献类型 ： 期刊 关键词： 电磁干扰   VHF通信   分析与研究  

描述： 民航 VHF通信电磁环境日益复杂,干扰也出现了一些新的形式与特点。介绍民航地空通信常见干扰类型及解决办法,对一些案例进行分析,结合国内电磁环境实际情况和民航自身特点提出了解决干扰的思路及对策。

民航空管设备系统安全与可靠性研究

作者： 李勇   来源： 民航管理 年份： 2018 文献类型 ： 期刊

描述： 随着民航事业的发展,空中交通管制对空管设备的依赖性不断增强。空中交通安全与空管设备的关联度提高,受连锁效应的影响,任何时刻任意范围内的微小故障,都有可能给整个管制部门的设备正常运行带来巨大的影响,导致空管服务的中断。可以说,低故障率、高可靠性的空管设备系统担负着保障民航运输安全的重要使命,提高空管设备的可靠性对保障飞行安全来说具有十分重要的意义。从工程角度,可靠性可以直观定义为产品在一定时间

航空公司业财中台的构建研究

作者： 李勇   来源： 商讯 年份： 2023 文献类型 ： 期刊 关键词： 业财融合   数字化   数据中台  

描述： 航空公司财务业务传统处理方式效率低下、业财数据关联性差，难以为经营决策提供有效支撑，财务的价值不能充分得到体现，财务转型需要借助数字化的手段实现核算效率的提升，从而释放更多精力从事战略财务工作。以提升财务业务效率、支持业财决策为目的，具有业财一体化功能的业财中台是财务转型的基础和前提。文章就结合业务实际对业财中台的构建进行探讨和研究，为业财数字化融合提供参考。

民航地空通信系统话音比选技术分析与研究

作者： 李勇   来源： 长沙航空职业技术学院学报 年份： 2024 文献类型 ： 期刊 关键词： 最佳信号选择   话音信号比选   VoIP  

描述： 对于民航地空通信中同频异址台的接收信号，我们需要采用比选技术选出信号质量最佳的一路送给管制员，从而避免多路信号叠加带来的叠音混响及由于时延不同导致的回音等问题。讨论同频异址台接收信号时的比选技术，对传统的模拟话音信号比选技术和VoIP话音信号比选技术进行分析与研究，以阐述相关实现方法与技术优劣。

民航地空话音通信隐蔽风险分析与研究

作者： 李勇   来源： 中国民航飞行学院学报 年份： 2025 文献类型 ： 期刊 关键词： 同时传输   频率比选   频率耦合   风险隐患   地空话音通信  

描述： 民航地空话音通信隐蔽风险分析与研究

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

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

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

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

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

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