全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型
- 中国航空学会第十九届燃烧与传热传质学术交流会征文通知
- 作者： 暂无 来源： 航空动力学报 年份： 2017 文献类型 ： 期刊 关键词： 航空发动机 发动机燃烧 航空航天 航天发动机 三、会议 中国航空学会 传热传质 主燃烧室 加力燃烧室 学术交流
- 描述： 受中国航空学会动力分会燃烧与传热传质专业委员会委托,将由北京航空航天大学承办2017年第十九届燃烧与传热传质学术交流会,现将有关征文通知如下:一、征文内容1.航空、航天发动机燃烧新理论、新概念
- 不发达地区临空经济发展机制研究——以西安国家航空城实验区为例
- 作者： 张宁 来源： 郑州航空工业管理学院学报 年份： 2017 文献类型 ： 期刊 关键词： 西安国家航空城实验区 不发达地区 临空经济
- 描述： 发展临空经济对区域资源要素合理配置、产业结构调整和升级、形成区域经济发展增长极以及优化城市空间功能布局具有重要作用,是经济不发达地区"追赶超越"的有利跳板。以西安国家航空城实验区为样本,采用案例分析
- 郑州航空港经济综合试验区建设形式下的图书馆服务发展策略——以中原工学院图书馆为例
- 作者： 王佩 来源： 创新科技 年份： 2017 文献类型 ： 期刊 关键词： 信息服务 航空港建设 图书馆
- 描述： 文章通过分析郑州航空港经济综合试验区建设形式下,高校图书馆信息服务工作的背景和意义。以中原工学院图书馆为例,对其信息资源供给进行详细分析,剖析其信息服务的不足之处,提出了在新的环境和形势下图书馆信息服务的发展策略和方向,以期进一步提高服务水平和质量,助力郑州航空港的建设和发展。
- 中国航空工业集团公司检测及焊接人员资格认证管理中心
- 作者： 暂无 来源： 失效分析与预防 年份： 2017 文献类型 ： 期刊 关键词： 失效分析 非金属性 力学性能 人员资格 认证管理 认证机构 物理冶金 工业质量 无损检测 航空工业集团
- 描述： 简介中国航空工业集团公司检测及焊接人员资格认证管理中心(以下简称认证管理中心)是中航工业唯一授权的行业认证机构,隶属于中航工业质量安全管理部,挂靠在中航工业北京航空材料研究院,下设有七个鉴委会,分别
- A-SMGCS航空器滑行时间延迟的滑行路由实时更新算法
- 作者： 唐志星 朱新平 夏正洪 来源： 科学技术与工程 年份： 2017 文献类型 ： 期刊 关键词： A 路由实时更新 空中交通管制 SMGCS 机场 滑行时间延迟
- 描述： 在先进场面活动引导和控制系统(advanced surface movement guidance and control systems,A-SMGCS)中,针对航空器滑行时间延迟而导致场面运行
- 海南旅游类高职院校对外服务能力提升的实践与研究——以三亚航空旅游职业学院为例
- 作者： 孙耘 刘亢 来源： 中国市场 年份： 2017 文献类型 ： 期刊 关键词： 实践与研究 对外服务能力 旅游管理 海南
- 描述： 高层次人才缺乏等问题,需要各高职院校进一步加强组织结构建设,打造对外服务保障体系,以提升专业的对外服务能力。
- 大学物理演示实验室服务社会初探——以西安航空学院大学物理实验中心演示实验室为例
- 作者： 钟志军 丁琦 来源： 西安航空学院学报 年份： 2017 文献类型 ： 期刊 关键词： 演示实验室 大学物理实验中心 高校 服务社会
- 描述： "服务社会"是高校的四大职能之一。高校利用自身的教学、科研等资源优势服务社会,促进高教事业持续健康发展,推进社会进步是近年来学者研究的热点。以西安航空学院大学物理实验中心演示实验室为例,提出实验室面向社会开放的相关问题和解决办法,对大学物理实验室如何服务社会具有一定的参考意义。