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

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

描述： 检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器

不同光照强度对入侵植物薇甘菊(Mikania micrantha)和飞机草(Chromolaena odorata)生长及生物量分配的影响

作者： 魏巍   侯玉平   彭少麟   陈鹏东   梁希平   张静   来源： 生态学报 年份： 2019 文献类型 ： 期刊 关键词： 入侵植物   群落演替   光强   比叶面积   生物量分配   群落可入侵性  

描述： 光照处理对飞机草的SLA、LAR、LARMR无显著影响。以上结果提示:(1)光照影响所在群落对外来植物入侵的抵抗力;(2)攀援植物薇甘菊较丛生型草本飞机草对变化的光环境在叶片水平上具有更高的形态可塑性,有效寻觅光资源。

职业技能大赛对现代学徒制人才培养的作用——以三亚航空旅游学院机电设备维修专业为例

作者： 王祖一   李思海   来源： 现代制造技术与装备 年份： 2020 文献类型 ： 期刊 关键词： 人才培养   技能大赛   现代学徒制  

描述： 职业技能大赛对现代学徒制人才培养的作用——以三亚航空旅游学院机电设备维修专业为例

航空器适航技术专业机载设备适航审定课程体系建设初探——以南京航空航天大学为例

作者： 丁萌   陆中   芦吉云   来源： 工业和信息化教育 年份： 2020 文献类型 ： 期刊 关键词： 课程体系建设   机载设备适航审定   航空器适航技术  

描述： 南京航空航天大学航空器适航技术专业是为了适应我国大型飞机研制和发展的迫切需求,以培养卓越适航专门人才为目的而设立的。机载设备适航审定是航空器适航技术专业的重要教学内容,本文在梳理机载设备适航审定知识体系的基础上,阐述了南京航空航天大学航空器适航技术专业在构建机载设备适航审定课程体系方面所做的工作。通过这些工作,南京航空航天大学建立了较为完善的机载设备适航审定课程体系,为将自身打造成国内重要的适航人才培养基地奠定了重要基础。

中国商飞与中铝公司大型客机铝材研制应用汇报会暨民用航空铝材研制及应用合作协议签约仪式在哈举行

作者： 记者   曹忠义   来源： 黑龙江日报 年份： 2017 文献类型 ： 报纸 关键词： 民用航空   铝材   九大   民机   大型客机   张庆伟   国防科技工业   国产大飞机   中国铝业   军工产业  

描述： 本报20日讯（记者曹忠义）20日上午，中国商用飞机有限责任公司与中国铝业公司大型客机铝材研制应用汇报会暨民用航空铝材研制及应用合作协议签约仪式在东北轻合金有限责任公司举行。省委书记、省人大常委会主任张庆伟出席并讲话。国家国防科技工业局副局长张克俭、中国商

全文：本报20日讯（记者曹忠义）20日上午，中国商用飞机有限责任公司与中国铝业公司大型客机铝材研制应用汇报会暨民用航空铝材研制及应用合作协议签约仪式在东北轻合金有限责任公司举行。省委书记、省人大常委会主任张庆伟出席并讲话。国家国防科技工业局副局长张克俭、中国商

大气数据传感器TPD2X系列和TMS320F2812在飞机大气数据中的应用

作者： 李奕宏   李坤武   来源： 科技展望 年份： 2018 文献类型 ： 期刊 关键词： 大气数据传感器   气压高度   空速   升降速度  

描述： 大气数据传感器TPD2X系列结合数字信号处理器TMS320F2812实现飞机静压、总压、大气温度等的大气数据的采集及处理,解算出飞机的气压高度、空速、升降速度等。

SITA:2017年航空公司和机场IT投资将达330亿美元——网络安全、云服务和旅客自助服务是航空运输业投资的三大重点

作者： 暂无 来源： 空运商务 年份： 2018 文献类型 ： 期刊 关键词： 自助服务   全球航空公司   网络攻击   IT投资   SITA   国际航空   趋势调查   国际机场协会   网络安全   航空运输业  

描述： 2017年9月7日,国际航空电讯集团(SITA)发布《SITA 2017航空运输业IT趋势调查》,预计今年航空公司和机场在IT领域的支出将达近330亿美元。针对技术领域的投资同样重要,网络安全和云服务投资位列航空公司和机场CIO关注的首位。此外,旅客自助服务投资也是优先投资的重点。SITA针对全球航空公司和机场调查显示,IT支出持续保持强劲增

“一带一路”战略背景下郑州航空港区航空物流产业发展现状和机遇问题分析

作者： 朱晓燕   来源： 科技经济导刊 年份： 2018 文献类型 ： 期刊 关键词： “一带一路”   航空物流   郑州航空港  

描述： 经过四五年的发展,郑州航空港区整体发展取得了很大的成就,其主体产业之一的航空物流产业在机场运输能力,航运网络设计,航空物流产业链条等方面已得到较大发展。借助"一带一路"战略的提出,对河南省的发展带来了历史性机遇,大大加快了河南省内陆开放高地,郑州航空港、国际陆港,跨境贸易电子商务服务试点等战略的实现,也为郑州航空港航空物流业的发展带来了新的发展机遇。

习近平总书记在两院院士大会上的重要讲话引起热烈反响 院士专家齐聚中国商飞为大飞机发展建言献策

作者： 周森浩   冯飞   来源： 上海质量 年份： 2018 文献类型 ： 期刊 关键词： 商用飞机   中国商飞   习近平总书记   民机技术   院士大会   两院院士   建言献策   院士专家  

描述： 创新是引领发展的第一动力,人才是创新的第一资源。习近平总书记5月28日在中国科学院第十九次院士大会、中国工程院第十四次院士大会上的重要讲话,引起了热烈反响。6月1日,24位院士、8位航空产业资深专家

Spirit AeroSystems交付首个3D打印商业飞机零部件

作者： 马晨璐   来源： 中国钛业 年份： 2019 文献类型 ： 期刊 关键词： AeroSystems   RPD   增材制造   Spirit   等离子沉积   第一个  

描述： 2019年1月4日,美国航空结构制造商Spirit AeroSystems已确认其首个3D打印结构组件已经交付使用。这是该公司与挪威-美国快速等离子沉积(RPD)开发商Norsk Titanium