全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
- 中国航空学会第十九届燃烧与传热传质学术交流会征文通知
- 作者： 暂无 来源： 航空动力学报 年份： 2017 文献类型 ： 期刊 关键词： 航空发动机 发动机燃烧 航空航天 航天发动机 三、会议 中国航空学会 传热传质 主燃烧室 加力燃烧室 学术交流
- 描述： 受中国航空学会动力分会燃烧与传热传质专业委员会委托,将由北京航空航天大学承办2017年第十九届燃烧与传热传质学术交流会,现将有关征文通知如下:一、征文内容1.航空、航天发动机燃烧新理论、新概念
- 郑州航空港经济综合试验区建设形式下的图书馆服务发展策略——以中原工学院图书馆为例
- 作者： 王佩 来源： 创新科技 年份： 2017 文献类型 ： 期刊 关键词： 信息服务 航空港建设 图书馆
- 描述： 文章通过分析郑州航空港经济综合试验区建设形式下,高校图书馆信息服务工作的背景和意义。以中原工学院图书馆为例,对其信息资源供给进行详细分析,剖析其信息服务的不足之处,提出了在新的环境和形势下图书馆信息服务的发展策略和方向,以期进一步提高服务水平和质量,助力郑州航空港的建设和发展。
- 中国航空工业集团公司检测及焊接人员资格认证管理中心
- 作者： 暂无 来源： 失效分析与预防 年份： 2017 文献类型 ： 期刊 关键词： 失效分析 非金属性 力学性能 人员资格 认证管理 认证机构 物理冶金 工业质量 无损检测 航空工业集团
- 描述： 简介中国航空工业集团公司检测及焊接人员资格认证管理中心(以下简称认证管理中心)是中航工业唯一授权的行业认证机构,隶属于中航工业质量安全管理部,挂靠在中航工业北京航空材料研究院,下设有七个鉴委会,分别是无损检测鉴委会、分析化学鉴委会、物理冶金鉴委会、力学性能鉴委会、非金属性能鉴委会、失效分析鉴委会、焊工鉴委会。
- 大学物理演示实验室服务社会初探——以西安航空学院大学物理实验中心演示实验室为例
- 作者： 钟志军 丁琦 来源： 西安航空学院学报 年份： 2017 文献类型 ： 期刊 关键词： 演示实验室 大学物理实验中心 高校 服务社会
- 描述： "服务社会"是高校的四大职能之一。高校利用自身的教学、科研等资源优势服务社会,促进高教事业持续健康发展,推进社会进步是近年来学者研究的热点。以西安航空学院大学物理实验中心演示实验室为例,提出实验室面向社会开放的相关问题和解决办法,对大学物理实验室如何服务社会具有一定的参考意义。
- 打造“北方之路” 助力“全域旅游” 服务“一带一路”——鄂尔多斯国际机场“航空+旅游”发展侧记
- 作者： 殷希华 来源： 空运商务 年份： 2017 文献类型 ： 期刊 关键词： 航空货运 国际航线 一类口岸 国际机场 航空口岸 航空货物运输 机场管理 旅游中心城市 全域 航空枢纽
- 描述： 2016年,鄂尔多斯机场航空口岸正式对外开放,成为内蒙古自治区(以下简称"自治区")第4家、全国第71家对外开放的一类口岸机场,开启了鄂尔多斯机场国际化发展的新篇章。与此同时,自治区《呼包鄂协同发展规划纲要》正式下发,明确了鄂尔多斯航空枢纽的定位。这
- OESM辅助的高分辨率航空正射影像拼接线自动检测算法
- 作者： 荣利会 戴晨光 聂海滨 仇多兵 来源： 测绘科学技术学报 年份： 2017 文献类型 ： 期刊 关键词： 拼接线 数字正射影像 影像高程同步模型 自动检测 城市区域
- 描述： 针对常规拼接线检测算法在城市区域影像镶嵌时容易出现拼接线穿越建筑物从而破坏地物完整性的问题,提出了一种影像高程同步模型(OESM)辅助的拼接线自动检测算法。该算法首先通过对OESM模型规格化处理标识正射影像中的地物目标;然后在非地物目标区利用改进贪婪蛇算法检测拼接线。通过对建筑物密集分布的城市区域影像进行拼接线检测实验表明,该算法是一种理想的拼接线检测算法。
- 航空发动机用连续SiC_f/SiC复合材料制备工艺及应用前景
- 作者： 刘虎 杨金华 焦健 来源： 航空制造技术 年份： 2017 文献类型 ： 期刊 关键词： 化学气相渗透 陶瓷基复合材料 前驱体浸渍/裂解 熔渗
- 描述： 介绍了连续碳化硅纤维增强碳化硅基复合材料(SiC_f/Si C)常见的3种制备工艺,即化学气相渗透(CVI)工艺、前驱体浸渍/裂解(PIP)工艺及熔渗(MI)工艺的不同特点,探讨了国外不同工艺制备的复合材料的基本性能,并简述了SiC_f/SiC陶瓷基复合材料在航空发动机上的应用情况,以期为该材料在国内航空发动机领域的发展提供一定的参考。
- 创新创业导向下地方高校创客实验室建设思路——以南昌航空大学电子信息类专业为例
- 作者： 陶秋香 涂继亮 来源： 应用型高等教育研究 年份： 2017 文献类型 ： 期刊 关键词： 电子信息类专业 创新创业导向 地方本科高校 创客实验室
- 描述： 在地方高校电子信息类专业创新创业人才培养模式中,普遍存在创新创业教育内涵挖掘不足、教育质量监控及保障体系不清晰、教学内容与培养模式失调等诸多问题。通过介绍创客和创客项目基本概念,系统论述了创新创业导向下地方本科高校电子信息类专业创客实验室的建设思路,提出了"四维一体"的创新创业人才培养体系框架,给出了创客实验室建设的具体实施方案,为地方本科高校创客实验室的建设运行和管理、协同机制、教育载体以及制度保障等方面提供了切实可行的参考。