中国航展见证中国力量——第十一届中国国际航空航天博览会见闻

作者： 李开强   来源： 军事记者 年份： 2017 文献类型 ： 期刊 关键词： 日至   中国国际航空   境外展   飞行表演   景海鹏   航展   成串   中国空军   中国力量   垂直起降  

描述： 这是一次装备盛会。但在记者眼里,它更是一个见证中国发展、展示中国力量的窗口与平台。2016年11月1日至6日,我全程参与报道第十一届中国国际航空航天博览会(中国航展)。亮点之多,有若贝海拾珠。如今

全国政协委员、北京航空航天大学原党委书记胡凌云：大力发展智能制造 突破制造业瓶颈

作者： 记者   张弘弢   来源： 中国船舶报 年份： 2017 文献类型 ： 报纸 关键词： 维护服务   先进制造技术   融合式   网络消费   航空航天   智能制造   国际产业分工   物联网   人才基础   政协委员  

描述： 随着我国制造业的发展，不少产业都出现了产能过剩的问题，低端代工的模式也已经失去了以往的优势。大力发展智能制造，已经成为我国突破制造业瓶颈、抢占先进制造技术制高点的突破口。“中国拥有完整的工业体系，具备一定的人才基础，只要下决心去做，推动起来并不困难。” 全

全文：随着我国制造业的发展，不少产业都出现了产能过剩的问题，低端代工的模式也已经失去了以往的优势。大力发展智能制造，已经成为我国突破制造业瓶颈、抢占先进制造技术制高点的突破口。“中国拥有完整的工业体系，具备一定的人才基础，只要下决心去做，推动起来并不困难。” 全

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

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

描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。

2018财年美国航空航天局预算蓝图公布 美国民用航天发展方向尚待观察

作者： 张扬眉   谷知行   来源： 国际太空 年份： 2017 文献类型 ： 期刊 关键词： 预算计划   木卫二   国家环境保护局   重定向   特朗普   行星科学   地球科学   政府预算   政府住房   航空航天局  

描述： 2017年3月16日,特朗普政府公布了2018财年联邦政府预算纲要报告,题名为《美国优先:让美国再次伟大的预算蓝图》,提议按上限增加国防预算540亿美元,并从美国国务院、联邦政府住房与城市发展部、美国国家环境保护局、农业部等非国防部门中削减相应的540亿美元预算,旨在不扩大财政赤字的前提下增强美国

中国计算机自动测量与控制技术协会诚邀您免费参加2017航空航天与军工应用方案研讨会

作者： 暂无 来源： 计算机测量与控制 年份： 2017 文献类型 ： 期刊 关键词： 自动测量   软件定义   软件平台   控制系统   控制技术   测控系统   航空航天   自动化测试系统   测试资源   互操作性  

描述： 先生/女士:为推动自动化测试系统、仪器、软件平台在国防与航空航天领域的应用,中国计算机自动测量与控制技术协会与上海恩艾仪器有限公司(简称NI)于2017年7月4日在西安曲江国际大酒店联合举办

沈阳航空航天大学民航学院副院长于耕：社会资本加入促民航业洗牌

作者： 本报记者   何芳   洪鸿   钟文   来源： 中国企业报 年份： 2017 文献类型 ： 报纸 关键词： 航业   民航学院   中国民航局   副院长   航空运输企业   空管系统   空管部门   民航建设   航空维修   飞机燃油  

描述： 中国民航局起草的《国内投资民用航空业规定（征求意见稿）》文件，对开放国内民航建设市场和运行市场有了一个明确的指导意见。长期以来，民航业作为一个特许准入行业，在诸多领域和工种都有严格准入限制，比如对投资主体、控股比例等都作了很多严格限制。而本次征求意见稿首

全文：中国民航局起草的《国内投资民用航空业规定（征求意见稿）》文件，对开放国内民航建设市场和运行市场有了一个明确的指导意见。长期以来，民航业作为一个特许准入行业，在诸多领域和工种都有严格准入限制，比如对投资主体、控股比例等都作了很多严格限制。而本次征求意见稿首

中国气象局与北京航空航天大学共商观测领域产学研合作和人才培养

作者： 记者   贾静淅   来源： 中国气象报 年份： 2017 文献类型 ： 报纸 关键词： 人才培养   张军   气象事业   中国气象局   创新优势   高科技成果   气象观测   航空航天   公共气象服务   气象业务  

描述： 本报讯记者贾静淅报道9月21日，中国气象局党组书记、局长刘雅鸣会见北京航空航天大学党委书记张军一行，就推动气象观测装备技术产学研合作、科技创新平台建设和人才培养等进行座谈。张军指出，北京航空航天大学与中国气象局的发展均以国家战略需求为先导，肩负重要使命

全文：本报讯记者贾静淅报道9月21日，中国气象局党组书记、局长刘雅鸣会见北京航空航天大学党委书记张军一行，就推动气象观测装备技术产学研合作、科技创新平台建设和人才培养等进行座谈。张军指出，北京航空航天大学与中国气象局的发展均以国家战略需求为先导，肩负重要使命

中国航天科工参加2017四川国际航空航天高峰论坛

作者： 李睿   来源： 中国航天报 年份： 2017 文献类型 ： 报纸 关键词： 技术创新   技术进步   商业模式创新   企业和社会   近地轨道   创新整合   中国航天科工   通用航空   航空航天   装备制造产业  

描述： 本报讯 9月28日,2017四川国际航空航天高峰论坛暨第四届中国国际通用航空发展高峰论坛在德阳广汉市举行。在以“创新融合、区域引领”为主题的演讲环节中,中国航天科工集团公司党组成员、副总经理刘石泉指出,新型企业和社会资本的引入,给航天带来了全新的思维方式、发展理

全文：本报讯 9月28日,2017四川国际航空航天高峰论坛暨第四届中国国际通用航空发展高峰论坛在德阳广汉市举行。在以“创新融合、区域引领”为主题的演讲环节中,中国航天科工集团公司党组成员、副总经理刘石泉指出,新型企业和社会资本的引入,给航天带来了全新的思维方式、发展理

中航国际航空制造工艺应用中心——开创航空制造技术服务新理念、新工艺、新方案

作者： 暂无 来源： 航空精密制造技术 年份： 2017 文献类型 ： 期刊 关键词： 柔性自动化   柔性生产线   机械加工   市场化导向   技术服务   应用中心   航空制造技术   国际航空   航空工业   建设单位  

描述： 中航国际航空制造工艺应用中心(简称中航国际工艺中心)成立于2015年5月,隶属于中航国际航空发展有限公司。工艺中心以航空工业各建设单位为主要服务对象,坚持市场化导向,以国内外顶级的技术资源为后盾,以

航空发动机静子叶片榫头加工工艺的研究

作者： 胡登洲   安铃芝   白凤光   刘志学   来源： 成都航空职业技术学院学报 年份： 2017 文献类型 ： 期刊 关键词： 加工工艺   航空发动机静子叶片榫头   优化   回归分析原理   金属切削实验  

描述： 为使榫头加工达到形状准确、尺寸精确、表面质量高精度的要求,对榫头现有的加工方案进行优化;通过金属切削实验获得刀具三个方向切削力实验数据,使用回归分析原理求解出精加工刀具承受的最大切削力和表面粗糙度的经验公式,采用多目标优化方式得到刀具最优切削参数,利用vericut对程序进行刀路、过切、碰撞检查,PM软件对程序加工效率进行优化,最终得到一套合理高效的加工方案。