全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 北京航空航天大学樊瑜波教授等荣获“黄家驷生物医学工程奖”基础研究类一等奖
- 作者： 暂无 来源： 医用生物力学 年份： 2017 文献类型 ： 期刊 关键词： 王丽珍 牛文 张明 生物医学工程 北京会议中心 航空航天 黄家驷 研究类
- 描述： 4月21日上午,"2017中国生物医学工程大会暨创新医疗峰会"在北京会议中心开幕。在大会开幕式上颁发了刚刚评选出的"黄家驷生物医学工程奖",北京航空航天大学樊瑜波教授等荣获"黄家驷生物医学工程奖"基础研究类一等奖(樊瑜波、张明、宫赫、王丽珍、孙联文、张德文、牛文鑫)。据悉,此
- 美国Norsk Titanium建立世界第一个工业规模航空航天增材制造厂
- 作者： 萧玉麟 来源： 粉末冶金工业 年份： 2017 文献类型 ： 期刊 关键词： 钛丝 工业产品 Norsk 美国纽约州 普拉茨堡 工业规模 Titanium 航空航天 投入运转 廉价高效 纽约州立大学
- 描述： 美国Norsk Titanium科学院宣布美国纽约州与纽约州立大学理工学院合伙就购置20个公司的MERKE IV?快速等离子沉积机床订单达成协议,据称这将创立世界首个工业规模金属增材制造厂。这将是美国Norsk Titanium的子公司,在美国纽约州普拉茨堡建立与运营世界第一个快速等离子沉积
- 是德科技推出10款PXIe仪器,为5G、航空航天和国防以及量子技术研究保驾护航
- 作者： 暂无 来源： 国外电子测量技术 年份： 2017 文献类型 ： 期刊 关键词： 任意波形发生器 PXIe 正常运行时间 矢量信号分析仪 数字化仪 全能型 航空航天 宽带技术 宽带通信系统 调制带宽
- 描述： 新型PXIe任意波形发生器、数字化仪和示波器提供高达1GHz的带宽,能够方便地执行复杂的基带IQ信号生成和分析是德科技公司(NYSE:KEYS)发布了十款新PXIe仪器,包括任意波形发生器(AWG
- 是德科技推出10款PXIe仪器,为5G、航空航天和国防以及量子技术研究保驾护航
- 作者： 暂无 来源： 电子测量与仪器学报 年份： 2017 文献类型 ： 期刊 关键词： 任意波形发生器 PXIe 正常运行时间 矢量信号分析仪 数字化仪 全能型 航空航天 应用开发环境 宽带技术 调制带宽
- 描述： 新型PXIe任意波形发生器、数字化仪和示波器提供高达1 GHz的带宽,能够方便地执行复杂的基带IQ信号生成和分析是德科技公司(NYSE:KEYS)发布了10款新PXIe仪器,包括任意波形发生器
- 是德科技推出10款PXIe仪器,为5G、航空航天和国防以及量子技术研究保驾护航
- 作者： 暂无 来源： 电子测量技术 年份： 2017 文献类型 ： 期刊 关键词： 任意波形发生器 PXIe 正常运行时间 矢量信号分析仪 数字化仪 全能型 航空航天 宽带技术 宽带通信系统 调制带宽
- 描述： 新型PXIe任意波形发生器、数字化仪和示波器提供高达1GHz的带宽,能够方便地执行复杂的基带IQ信号生成和分析2017年2月23日,是德科技公司(NYSE:KEYS)今日发布了十款新PXIe仪器
- 北京航空航天大学新媒体艺术与设计学院建院十周年教师作品展
- 作者： 暂无 来源： 美术观察 年份： 2017 文献类型 ： 期刊 关键词： 人才培养 谢正 设计学院 新学院 教师作品 航空航天 数字绘画 学术取向 新媒体艺术 异梦
- 描述： 10年前的金秋十月,北京航空航天大学新媒体艺术与设计学院正式成立。为庆祝新学院的诞生,我们举办了首次新媒体艺术与设计学院教师作品展。我们将展览命名为"融合与拓展",意在宣示新生的艺术学院的办学理念与
- 中国航展见证中国力量——第十一届中国国际航空航天博览会见闻
- 作者： 李开强 来源： 军事记者 年份： 2017 文献类型 ： 期刊 关键词： 日至 中国国际航空 境外展 飞行表演 景海鹏 航展 成串 中国空军 中国力量 垂直起降
- 描述： 这是一次装备盛会。但在记者眼里,它更是一个见证中国发展、展示中国力量的窗口与平台。2016年11月1日至6日,我全程参与报道第十一届中国国际航空航天博览会(中国航展)。亮点之多,有若贝海拾珠。如今
- 全国政协委员、北京航空航天大学原党委书记胡凌云：大力发展智能制造 突破制造业瓶颈
- 作者： 记者 张弘弢 来源： 中国船舶报 年份： 2017 文献类型 ： 报纸 关键词： 维护服务 先进制造技术 融合式 网络消费 航空航天 智能制造 国际产业分工 物联网 人才基础 政协委员
- 描述： 随着我国制造业的发展，不少产业都出现了产能过剩的问题，低端代工的模式也已经失去了以往的优势。大力发展智能制造，已经成为我国突破制造业瓶颈、抢占先进制造技术制高点的突破口。“中国拥有完整的工业体系，具备一定的人才基础，只要下决心去做，推动起来并不困难。” 全
- 全文：随着我国制造业的发展，不少产业都出现了产能过剩的问题，低端代工的模式也已经失去了以往的优势。大力发展智能制造，已经成为我国突破制造业瓶颈、抢占先进制造技术制高点的突破口。“中国拥有完整的工业体系，具备一定的人才基础，只要下决心去做，推动起来并不困难。” 全
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。