氢能航空运行场景研究

作者： 崔容     杨晨光   来源： 航空科学技术 年份： 2024 文献类型 ： 期刊 关键词： 氢能源   系统工程   需求捕获   飞机设计   场景分析  

描述： 氢能是实现航空业“低碳”运行的重要路径，氢能飞机设计及氢能航空的体系级应用成为研究焦点。本文分析了民航运输体系为保障氢能飞机运行的新场景，从氢能供应链条和终端使用保障出发，对不同预期目标下的机场

球形钛合金粉末制备技术及航空增材制造应用研究进展

作者： 李有余     余力     高扬   来源： 粉末冶金工业 年份： 2024 文献类型 ： 期刊 关键词： 球形粉末   航空构件   研究现状   增材制造   钛合金  

描述： 钛合金具有高强轻质耐高温的特点，因而成为拥有巨大前景的航空结构材料。传统的机械制造工艺难度大、成本高，限制了钛合金的应用。增材制造(AM)作为新兴的先进制造技术，可以通过逐层加工的方式制造出具有较高三维精度的金属部件，从而实现钛合金的近净形加工。因此，首先介绍了球形钛合金粉末制备技术，其中包括等离子旋转电极雾化法（PREP)、电极感应气体雾化法（EIGA）、等离子体雾化（PA）和等离子球化技术（PS）等，对比4种球形钛合金粉末的制备技术和优缺点，以及在航空增材制造的应用，包括激光选区熔化（SLM）、电子束选区熔化（EBSM）和激光熔化沉积（LMD）等，总结了不同钛合金粉末制备技术在航空增材制造的应用特点和发展趋势，并指出钛合金增材制造未来发展的关键是低间隙钛粉的制备，增材制造设备高精度、高效率和大型化将是未来的发展趋势。

我国高等学校在航空航天领域的研究现状及前沿分析

作者： 于辉   游骏   来源： 航空工程进展 年份： 2022 文献类型 ： 期刊 关键词： 可视化分析   高等学校   研究现状   航空航天   未来研究主题  

描述： 高等学校是航空航天原始创新的重要发源地,在航空航天技术发展和进步中发挥了重要作用。为了分析我国高等学校在航空航天领域的发展情况,以JCR收录的航空航天工程类期刊为数据源,选取2011—2020年我国

我国高等学校在航空航天领域的研究现状及前沿分析

作者： 于辉   游骏   来源： 航空工程进展 年份： 2022 文献类型 ： 期刊 关键词： 可视化分析   高等学校   研究现状   航空航天   未来研究主题  

描述： 高等学校是航空航天原始创新的重要发源地,在航空航天技术发展和进步中发挥了重要作用。为了分析我国高等学校在航空航天领域的发展情况,以JCR收录的航空航天工程类期刊为数据源,选取2011—2020年我国

我国高等学校在航空航天领域的研究现状及前沿分析

作者： 于辉   游骏   来源： 航空工程进展 年份： 2022 文献类型 ： 期刊 关键词： 可视化分析   高等学校   研究现状   航空航天   未来研究主题  

描述： 高等学校是航空航天原始创新的重要发源地,在航空航天技术发展和进步中发挥了重要作用。为了分析我国高等学校在航空航天领域的发展情况,以JCR收录的航空航天工程类期刊为数据源,选取2011—2020年我国

我国高等学校在航空航天领域的研究现状及前沿分析

作者： 于辉   游骏   来源： 航空工程进展 年份： 2022 文献类型 ： 期刊 关键词： 可视化分析   高等学校   研究现状   航空航天   未来研究主题  

描述： 高等学校是航空航天原始创新的重要发源地,在航空航天技术发展和进步中发挥了重要作用。为了分析我国高等学校在航空航天领域的发展情况,以JCR收录的航空航天工程类期刊为数据源,选取2011—2020年我国

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

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

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

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

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

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

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

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

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

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

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

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