全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 美国国家航空航天局试验证实碳化硅(SiC)集成电路可用于金星探测任务
- 作者： 暂无 来源： 半导体信息 年份： 2017 文献类型 ： 期刊 关键词： 表面温度 环形振荡器 研究中心 网筛 器件寿命 陶瓷基 大气环境 SiC 美国航天 性能测量
- 描述： 美国航天航空局(NASA)格伦研究中心的科学家近期完成了一项技术展示——使用碳化硅(SiC)集成电路的电子器件在金星表面恶劣大气环境下首次长时间工作,证实该技术能够支撑在金星表面开展更多科学任务。背景由于金星表面上的极端大气环境状况,现有金星探测器只能在金星表面工作几个小时。金星表面温度大约是460℃,高于大多数微波炉;有一个高压力(9.4MPa)且呈酸性的CO2环境。由于商用电子器件并不工作在此环境下,过去金星
- 独立学院基层团组织活力提升的路径研究——基于南京航空航天大学金城学院的调查研究
- 作者： 孙成行 王宇宁 来源： 价值工程 年份： 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 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。