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

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

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

基于“产出导向法”的独立学院大学英语线上线下混合式“金课”设计研究——以中原工学院信息商务学院2019级艺术类空乘专业为研究对象

作者： 王书艳   来源： 景德镇学院学报 年份： 2020 文献类型 ： 期刊 关键词： “产出导向法”   独立学院大学英语   线上线下混合式“金课”   “应用型”人才  

描述： 为响应教育部消灭"水课",打造"金课"的号召,在"产出导向法"理论指导下,结合中原工学院信息商务学院实施大学英语分级教学的实际和2019年外研社"教学之星"大赛的要求,借助的"大学英语"精品课程网站

高校检测实验室质量控制关键要素与管理体系建设方法——北京航空航天大学高性能碳纤维检测评价中心实例分析

作者： 吕雪   顾轶卓   张佐光   来源： 科技管理研究 年份： 2018 文献类型 ： 期刊 关键词： 质量管理体系   实验室认可   高校检测实验室   实验室管理  

描述： 高校检测实验室在仪器设备、人员素质、开放性等方面具有独特优势,为保证检测数据准确、客观,建立完善的实验室质量管理体系,实现检测质量有效控制至关重要。在总结分析我国高校检测实验室特点和管理体系中存在问题的基础上,针对实验室认可制度,结合北京航空航天大学碳纤维检测评价中心的工作,提出高校检测实验室质量管理体系的建设方法,阐述检测质量控制的关键要素,总结相关经验。

行动为导向的项目教学法在航空航天临床医学课程教学改革中的应用——以航空卫生宣教微课制作任务为例

作者： 吴侃   张旭涛   刘峰舟   张敏   王小成   王瀚   来源： 医学教育研究与实践 年份： 2022 文献类型 ： 期刊 关键词： 航空航天临床医学   卫生宣教   项目教学法   行动为导向   微课  

描述： 航空军医和78名部队飞行员作为研究对象。6名学员和1名带教教师组成一个项目小组，按确定项目任务、制定项目计划、实施项目计划、项目检查评估、项目结果应用等步骤完成航空卫生宣教微课制作项目，通过问卷调查微课

考虑非期望产出的航空公司运营效率及影响因素研究——基于SBM-Malmquist-luenberger指数和Tobit方法

作者： 章连标   杨倩倩   来源： 商业会计 年份： 2022 文献类型 ： 期刊 关键词： Tobit模型   SBM模型   运营效率   航空公司   M   L生产率指数  

描述： 关注节能减排的同时提高航空公司运营效率是当今民航可持续发展的重要课题之一。文章基于我国主要航空公司2014—2018年面板数据，构建了二氧化碳这一非期望产出约束条件下我国航空公司投入产出指标体系，运用Malmquist-luenberger指数方法对我国航空公司全要素生产率动态变化进行分解，并用随机效应Tobit回归对航空公司效率影响因素进行分析。实证结果得出：在考虑非期望产出的情况下，只有国航、海航、春秋航空三家一直位于生产前沿面上；航空运输业整体在技术进步方面表现不好，仍存在很大潜力；此外，航班客座率、市场占有、货运比例和航空公司类型都对航空公司运营效率有正向驱动影响；平均机龄则对其有负向影响。

基于CASI航空高光谱数据和MODIS卫星数据的大襟岛周边海域水环境监测方法研究

作者： 黄国容   来源： 浙江大学 年份： 2020 文献类型 ： 学位论文 关键词： MODIS数据   CASI航空高光谱数据   中华白海豚栖息   水环境监测   大襟岛  

描述： 基于CASI航空高光谱数据和MODIS卫星数据的大襟岛周边海域水环境监测方法研究

从民航安全看航空器适航责任及法律运行机制——基于波音737系列事故的分析

作者： 王晶   来源： 广西大学学报(哲学社会科学版) 年份： 2022 文献类型 ： 期刊 关键词： 适航责任   法律规制   民航安全   波音737系列  

描述： ，以及对作为颁发机型许可的美国联邦航空局是否应承担空难责任的讨论。民航客机作为一种航空器具有特定法律内涵。国际法机制规定了适航责任的最低标准。美国、欧盟等各主体对区域适航审定法律机制各有规定，有相似点也有

国企思想政治工作体系的建设实践与研究：以航空工业一飞院为例——评《思想政治教育方法论》

作者： 白俊丽   来源： 科技管理研究 年份： 2023 文献类型 ： 期刊 关键词： 实践与研究   思想政治工作体系   《思想政治教育方法论》  

描述： 由陕西人民出版社王彦军、何芸主编的《思想政治教育方法论》一书，以马克思列宁主义、毛泽东思想、邓小平理论、“三个代表”重要思想、科学发展观、习近平新时代中国特色社会主义思想为指导，根据新时代发展与人的全面发展的实际需要，按照世界观与方法论相统一的原则，介绍了思想政治教学方法论的基本概念、研究对象、理论基础、体系结构、功能特点、历史发展及继承改革；采用系统方法，建构了思想政治教育认识方法，思想政治教育信息分析方法，思想政治决策方法等，对跳出“就政工做政工”的旧思路，积极探索思想政治工作与实际工作结合的有效形式，应用思想教育方法特点及规律，将思想政治工作作为一种重要的生产力注入具体项目，具有重要的指导作用。

跨界：用辅导员的方法开出“最火选修课”——专访西南交通大学力学与航空航天学院党委副书记孔祥彬

作者： 王黎   汪旦旦   莫唯然   陈华康   来源： 大学 年份： 2022 文献类型 ： 期刊 关键词： 选修课程   辅导员   学生工作  

描述： 高校辅导员工作内容繁杂,大多时候辅导员仅作为"幕后"角色参与高校育人过程,很少有机会站到"台前",遑论开设教学课程。实际上,辅导员开展课程教学也存在现实困难。一是事务性工作占用辅导员太多时间和精力,导致辅导员无暇参与课程教学;二是多数高校课程设置较为固定,专业性较强,没有针对辅导员开设的课程,课程都由专职教师承担,辅导员则专职学生工作,专职教师负责教书育人,辅导员负责思政育人,二者沟壑分明。在"三全育人"理念的指导下,高校支持辅导员开设课程,鼓励辅导员参与课程教学不失为一种有效尝试。文章以西南交通大学"悠然见君子"课程为例,探索如何用辅导员的方法开设育人课程。

跨界：用辅导员的方法开出“最火选修课”——专访西南交通大学力学与航空航天学院党委副书记孔祥彬

作者： 王黎   汪旦旦   莫唯然   陈华康   来源： 大学 年份： 2022 文献类型 ： 期刊 关键词： 选修课程   辅导员   学生工作  

描述： 高校辅导员工作内容繁杂,大多时候辅导员仅作为"幕后"角色参与高校育人过程,很少有机会站到"台前",遑论开设教学课程。实际上,辅导员开展课程教学也存在现实困难。一是事务性工作占用辅导员太多时间和精力,导致辅导员无暇参与课程教学;二是多数高校课程设置较为固定,专业性较强,没有针对辅导员开设的课程,课程都由专职教师承担,辅导员则专职学生工作,专职教师负责教书育人,辅导员负责思政育人,二者沟壑分明。在"三全育人"理念的指导下,高校支持辅导员开设课程,鼓励辅导员参与课程教学不失为一种有效尝试。文章以西南交通大学"悠然见君子"课程为例,探索如何用辅导员的方法开设育人课程。