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

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

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

航空专业高技能人才培养模式的思考与实践——以沈阳黎明技师学院航空发动机装配与试车岗位为例

作者： 石玉娥   王宇飞   来源： 中国培训 年份： 2020 文献类型 ： 期刊 关键词： 学习型工厂   思考与实践   高技能人才培养模式   技师学院   发动机部件   综合职业能力   发动机装配   高技能人才培训  

描述： 一、高技能人才培训的必要性高技能人才是在生产、服务等领域岗位一线的从业者中,熟练掌握专门知识和技术,具备精湛专业操作技能,在关键环节发挥作用,能解决生产操作难题的人员,主要包括技能劳动者中取得高级工

“校企融合、工学交替”人才培养模式探究——以江苏航空职业技术学院航空服务类专业为例

作者： 陈国宝   来源： 企业科技与发展 年份： 2020 文献类型 ： 期刊 关键词： 学生   工学交替   实习  

描述： "校企融合、工学交替"是高职院校推行现代学徒制的一种重要方法与途径,通过"校企融合、工学交替"教学活动,完善教师的队伍结构和知识结构、改善办学条件、改进人才培养手段、提高人才培养质量,同时拉近学校与企业之间的距离,增强校企互动,共同促进。文章以江苏航空职业技术学院航空服务类专业为例,建立"校企合作、工学交替"人才培养模式与评价体系,实现校企合作育人、共同发展,达到互利双赢。

航空专业高技能人才培养模式的思考与实践——以沈阳黎明技师学院航空发动机装配与试车岗位为例

作者： 石玉娥   王宇飞   来源： 中国培训 年份： 2020 文献类型 ： 期刊 关键词： 学习型工厂   思考与实践   高技能人才培养模式   技师学院   发动机部件   综合职业能力   发动机装配   高技能人才培训  

描述： 一、高技能人才培训的必要性高技能人才是在生产、服务等领域岗位一线的从业者中,熟练掌握专门知识和技术,具备精湛专业操作技能,在关键环节发挥作用,能解决生产操作难题的人员,主要包括技能劳动者中取得高级工

“校企融合、工学交替”人才培养模式探究——以江苏航空职业技术学院航空服务类专业为例

作者： 陈国宝   来源： 企业科技与发展 年份： 2020 文献类型 ： 期刊 关键词： 学生   工学交替   实习  

描述： "校企融合、工学交替"是高职院校推行现代学徒制的一种重要方法与途径,通过"校企融合、工学交替"教学活动,完善教师的队伍结构和知识结构、改善办学条件、改进人才培养手段、提高人才培养质量,同时拉近学校与企业之间的距离,增强校企互动,共同促进。文章以江苏航空职业技术学院航空服务类专业为例,建立"校企合作、工学交替"人才培养模式与评价体系,实现校企合作育人、共同发展,达到互利双赢。

航空服务专业在校企合作视野下人才培养模式探究——以江苏航空职业技术学院航空服务专业为例

作者： 陈国宝   来源： 科教文汇(下旬刊) 年份： 2020 文献类型 ： 期刊 关键词： 学生   航空服务   校企合作  

描述： 校企合作培养应用型技术人才是各类高职院校增强竞争力的重要手段,也是发展的必然需要。本文通过对校企合作的背景、国内外校企合作的方法、人才培养规格进行分析,着重提出了航空服务专业在校企合作视野下构建人才培养途径、操作方法和评价机制,探索航空服务专业在校企合作视野下的人才培养模式,以期练就教师队伍、改进人才培养手段、提升人才培养质量。

航空大都市概念模型视角下的航空经济区发展战略研究 以郑州航空港经济综合实验空间发展战略规划为例

作者： 丁曦光   王芳   来源： 中华建设 年份： 2018 文献类型 ： 期刊 关键词： 全球城市   虹桥枢纽   空间发展战略   城市综合体   运输速度   首都航空城   综合实验   发展战略研究   成都双流   航空枢纽  

描述： 伴随经济全球化时代的来临,航空以其无可比拟的运输速度,重要地位日益提升。依托机场形成的高端产业城市综合体,即航空大都市的建设,已成为全球区域经济发展的新航标、城市化的新模式,是全球城市发展的未来趋势。航空经济时代的来临,同时也掀起了国内航空经济区建设的大潮,国内目前已经开始建设的航空经济区主要有北京首都航空城、天津滨海航空城、成都双流临空经济区、上海虹桥枢纽等,规划建设的航空经济区有济南、南

基于行业标准的“3511”高职专业课程模式探索——以广州民航职业技术学院《典型机型飞机电子系统》课程为例

作者： 黄颖   田巨   李航   来源： 中国民航飞行学院学报 年份： 2018 文献类型 ： 期刊 关键词： 高职专业课程   模式   行业标准  

描述： 针对我国飞机维修行业人才培养存在的问题,借鉴发达国家高职教育模式,以广州民航职业技术学院《B737-800飞机电子系统》课程开发为案例,探索基于行业标准、基于现役飞机电子系统维修工作岗位的工作任务、基于行动导向的"三基于",课程内容与生产实际一致、课程模块与岗位能力要求一致、校内实训与企业工作任务一致、课程考核与岗位技能考核一致、学校课程管理与企业培训管理一致的"五一致","教学做一体"、"课证一体"的"3511"课程模式,实现课程与企业工作无缝对接,有效解决人才严重短缺问题,社会效益明显,能有效带动学校专业建设。

基于SBM-DEA模型及Malmquist指数的中国与欧盟航空运输企业能源效率比较研究

作者： 解文华   方虹   张军峰   彭博   方思然   来源： 数学的实践与认识 年份： 2018 文献类型 ： 期刊 关键词： DEA模型   技术进步变化   Malmquist   能源效率   Luenberger指数   航空运输业   SBM  

描述： 航空运输企业是高排放高污染行业,研究其能源利用效率有着重要意义.基于SBM-DEA模型,利用2010年到2015年能源投入与能源产出的相关数据,对中国和欧盟共16家航空运输企业能源利用情况进行分析研究.结果表明,总体看欧盟航空运输企业能源效率优于中国企业;动态Malmquist指数分析结果表明,中国航空企业全要素生产率波动较大,欧盟企业则更为平缓,中国企业的全要素生产率与综合效率变化指数的变动情况基本保持一致,而欧盟企业的全要素生产率则与技术进步变化指数波动保持一致;在不考虑环境因素情况下会高估TFP增长率以及技术进步增长率.中国企业应加大技术投入和管理,才能有效提升能源利用效率及全要素生产率.

全球化民航创新型人才培养探究与实践——以中国民航大学中欧航空工程师学院人才培养模式为例

作者： 张亮   来源： 首都经济贸易大学学报 年份： 2018 文献类型 ： 期刊 关键词： 民航业   混合所有制   进入路径   产业链延伸  

描述： 通过研究国内民航公司经营状况,梳理新进航空公司的发展历程,发现民航企业成功立足的重要前提条件是在关联业务领域具备优势基础,并能够结合原有的业务优势哺育带动民航业务发展;之后通过对比新进企业和在位企业的经营绩效,发现将业务纵向延伸至民航领域的新进企业,其经营效率要明显高于以国有企业为代表的在位企业。进一步地,对外部资本进入民航业以及民航运输业自身的混合所有制改革可提出具体的思路。