关键词
未来已来:机场运营进入智能时代——以伦敦盖特威克机场为例浅析应用新技术提升机场运营效率
作者: 杨晨寅   张冀伟   来源: 空运商务 年份: 2019 文献类型 : 期刊 关键词: 技术提升   保障效率   盖特威   智能时代   旅客吞吐量   机场运营效率  
描述: 效率成为了一个值得深入研究的问题。本文重点选取了英国盖特威克机场作为高效运营的国际标杆进行案例分析,研究如何通过新技术应用实现机场运营精细化管理,最终提升机场运行服务保障效率,并由此思考我国"智慧机场"建设的发展路径。
瞄准航空制造需求 聚焦高能束流加工——走进高能束流加工技术国家级重点实验室
作者: 海山   来源: 航空制造技术 年份: 2019 文献类型 : 期刊 关键词: 高能束流加工技术   双光束激光焊接   可磨耗   成形技术   重点实验室   短脉冲激光   激光选区熔化  
描述: 高能束流加工技术以高能量密度束流为热源与材料作用,从而实现材料的去除、连接、生长和改性,已成为航空制造领域中不可或缺的技术手段。高能束流加工技术国家级重点实验室依托中国航空制造技术研究院, 1993
经济欠发达地区高职图书馆社会化服务探析——以张家界航空工业职业技术学院图书馆为例
作者: 王新荣   李腊君   来源: 中国多媒体与网络教学学报(中旬刊) 年份: 2019 文献类型 : 期刊 关键词: 高职图书馆   社会化服务   经济欠发达  
描述: 本文探讨经济欠发达地区图书馆服务现状,分析高职图书馆社会化服务存在的困难,进而以作者所在学院为例,探讨高职图书馆开展社会化服务的途径。
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
作者: 李勇   曹子宁   来源: 计算机技术与发展 年份: 2019 文献类型 : 期刊 关键词: 模型检测   E   RSML   Nu   SMV   形式化方法  
描述: 检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器
学习与分享 之十三 北京航空航天大学自动化科学与电气工程学院蔡茂林教授气动技术实验室
作者: 本刊辑部   来源: 液压气动与密封 年份: 2019 文献类型 : 期刊 关键词: 气动技术   泄漏量   北京航空航天大学   卸载压力   气动元件   介入式   流量特性   流量测量   气动元器件   蔡茂林   气体流量   电气工程学院   等温容器   实验室   空压机  
描述: 科研团队长期从事气动系统节能、气动热力储能、气动元器件精密性检测等方面的研究。正在承担国家自然科学基金6项、北京市高校青年卓越科学家计划1项,与地方政府和企业合作项目20余项。在基于气动功率的能效
< 1 2 3 ... 64 65
Rss订阅