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

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

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法

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

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

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

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

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

描述： 存在问题的基础上,针对实验室认可制度,结合北京航空航天大学碳纤维检测评价中心的工作,提出高校检测实验室质量管理体系的建设方法,阐述检测质量控制的关键要素,总结相关经验。

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

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

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法

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

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

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

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

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

描述： 存在问题的基础上,针对实验室认可制度,结合北京航空航天大学碳纤维检测评价中心的工作,提出高校检测实验室质量管理体系的建设方法,阐述检测质量控制的关键要素,总结相关经验。

基于半航空瞬变电磁法识别复杂地形废弃煤矿富水空间的应用研究/以福建省龙岩市废弃矿山为例

作者： 范莹琳   潘树仁   杜松   李萌   赵岳   张玉峰   丁晏   宋思彤   车巧慧   王锋利   来源： 煤炭科学技术 年份： 2023 文献类型 ： 期刊 关键词： 地形复杂矿区   酸性矿井水   煤矿   半航空瞬变电磁   含水性识别  

描述： 开展煤矿富水空间调查研究，追溯地表酸性矿井涌水源头，以处于闽西南坳陷带的福建省龙岩市雁石镇历史遗留废弃矿山为例，利用以无人机为载体的半航空瞬变电磁法，以高阻包裹的低电阻率特征为探测目标，以富水区与围岩

改良式Peyton四步教学法在《航空航天生物动力学》实践课教学中的应用——以“加速度对动物循环机能的影响”课程为例

作者： 赵汐冉   孙权   张俊飞   高原   薛桐   胡泽兵   赵疆东   郭显   张舒   石菲   来源： 心脏杂志 年份： 2023 文献类型 ： 期刊 关键词： 加速度   循环机能   教学应用   航空航天生物动力学   改良Peyton四步法  

描述： Peyton四步教学法是国外应用较多的一种程序化的技能培训方法，在医学实践课程的技能教授方面体现出较好的应用价值。本研究以《航空航天生物动力学》实践课教学体系中“加速度对动物循环机能的影响”这节课为

基于半航空瞬变电磁法识别复杂地形废弃煤矿富水空间的应用研究/以福建省龙岩市废弃矿山为例

作者： 范莹琳   潘树仁   杜松   李萌   赵岳   张玉峰   丁晏   宋思彤   车巧慧   王锋利   来源： 煤炭科学技术 年份： 2023 文献类型 ： 期刊 关键词： 地形复杂矿区   酸性矿井水   煤矿   半航空瞬变电磁   含水性识别  

描述： 开展煤矿富水空间调查研究，追溯地表酸性矿井涌水源头，以处于闽西南坳陷带的福建省龙岩市雁石镇历史遗留废弃矿山为例，利用以无人机为载体的半航空瞬变电磁法，以高阻包裹的低电阻率特征为探测目标，以富水区与围岩

改良式Peyton四步教学法在《航空航天生物动力学》实践课教学中的应用——以“加速度对动物循环机能的影响”课程为例

作者： 赵汐冉   孙权   张俊飞   高原   薛桐   胡泽兵   赵疆东   郭显   张舒   石菲   来源： 心脏杂志 年份： 2023 文献类型 ： 期刊 关键词： 加速度   循环机能   教学应用   航空航天生物动力学   改良Peyton四步法  

描述： Peyton四步教学法是国外应用较多的一种程序化的技能培训方法，在医学实践课程的技能教授方面体现出较好的应用价值。本研究以《航空航天生物动力学》实践课教学体系中“加速度对动物循环机能的影响”这节课为