全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
按文献类别分组
按栏目分组
关键词
- 虚拟仿真在“航空发动机结构”实践教学中的应用
- 作者： 朱昭君 方鹏亚 李仁凤 栗俊芬 来源： 教育教学论坛 年份： 2023 文献类型 ： 期刊 关键词： 航空发动机 实践教学探索 人机交互 虚拟仿真
- 描述： “航空发动机结构”是飞行器动力工程专业人才培养中的专业核心课程，针对教学过程中对于发动机各个结构件的装配和结构设计分析缺少直观认识的问题，总结分析了该课程在教学实践过程中存在的问题。提出建立先进的虚拟仿真涡扇发动机装配系统，虚拟仿真装配系统包括结构件的三维建模、发动机虚拟静态环境建立和人机交互式设计与开发等内容。在教学过程中采用虚拟仿真发动机装配系统，能够实现发动机装配结构教学内容的混合式教学，扩展创新式教学方法，拓宽学生的学习领域，提高沉浸式实验效果。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 航空发动机试车台在本科教学及科研中的应用研究
- 作者： 李勇 韩非非 来源： 教育教学论坛 年份： 2021 文献类型 ： 期刊 关键词： 科学研究 试车台 航空发动机 教学改革 工程实践
- 描述： 文章介绍了航空发动机试车台的原理、组成及其在教学、科研中的重要作用。探索了省属重点高校以优势特色学科为基础,深化教学改革,将教学、科研与工程实践相结合,为飞行器动力工程类本科人才培养提供示范和借鉴。
- 航空发动机试车台在本科教学及科研中的应用研究
- 作者： 李勇 韩非非 来源： 教育教学论坛 年份： 2021 文献类型 ： 期刊 关键词： 科学研究 试车台 航空发动机 教学改革 工程实践
- 描述： 文章介绍了航空发动机试车台的原理、组成及其在教学、科研中的重要作用。探索了省属重点高校以优势特色学科为基础,深化教学改革,将教学、科研与工程实践相结合,为飞行器动力工程类本科人才培养提供示范和借鉴。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 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的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 基于产学研用协同创新的航空发动机维修人才培养模式研究
- 作者： 任淑红 文振华 方鹏亚 王瑶瑶 苏毅 裴世勋 来源： 华东科技 年份： 2023 文献类型 ： 期刊 关键词： 产学研用 协同创新 发动机维修 培养模式研究
- 描述： 随着创新性应用型人才教育理念的不断深入，产学研用协同创新已经成为高校培养创新性应用型人才的重要途径。本文以航空发动机维修人才培养为例，提出构建高校、企业、科研院所等多方主体深化合作与联合培养机制，旨在进一步推进高校改革和完善创新性应用型人才培养模式。