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