按文献类别分组
按栏目分组
关键词
美国国家航空航天局试验证实碳化硅(SiC)集成电路可用于金星探测任务
作者: 暂无 来源: 半导体信息 年份: 2017 文献类型 : 期刊 关键词: 表面温度   环形振荡器   研究中心   网筛   器件寿命   陶瓷基   大气环境   SiC   美国航天   性能测量  
描述: 美国航天航空局(NASA)格伦研究中心的科学家近期完成了一项技术展示——使用碳化硅(SiC)集成电路的电子器件在金星表面恶劣大气环境下首次长时间工作,证实该技术能够支撑在金星表面开展更多科学任务。背景由于金星表面上的极端大气环境状况,现有金星探测器只能在金星表面工作几个小时。金星表面温度大约是460℃,高于大多数微波炉;有一个高压力(9.4MPa)且呈酸性的CO2环境。由于商用电子器件并不工作在此环境下,过去金星
独立学院基层团组织活力提升的路径研究——基于南京航空航天大学金城学院的调查研究
作者: 孙成行   王宇宁   来源: 价值工程 年份: 2017 文献类型 : 期刊 关键词: 方法路径   基层团组织   独立学院   活力提升  
描述: 文章分析了目前独立学院基层团组织活力提升研究现状,针对研究中存在的问题设计出了新的基层团组织活力提升的方法,以一种全新的视角去探索活力提升的路径和方法,指出了首先要从概念上搞清楚什么是团组织活力,强调了要从量化考核评价体系角度采用闭环反馈工作思路以系统化思维方式去设计实现基层团组织活力提升的路径和方法。
北京航空航天大学樊瑜波教授等荣获“黄家驷生物医学工程奖”基础研究类一等奖
作者: 暂无 来源: 医用生物力学 年份: 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 文献类型 : 期刊 关键词: 模型检测   E   RSML   Nu   SMV   形式化方法  
描述: 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
< 1 2 3 ... 60 61 62 ... 79 80 81
Rss订阅