全部
图书
期刊
学位论文
会议论文
报纸
图片
视频
新闻
关键词
- 是德科技推出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冶金企业管理创新论坛 年份： 2017 文献类型 ： 会议论文 关键词： 凝固 端盖 铸造 计算机模拟
- 描述： ,使用计算机模拟软件对铸件的铸造过程进行模拟,有助于分析出铸造缺陷,为铸造工艺方案的改进提供有效的参考依据。本文以端盖铸造为例,在分析端盖初始铸造工艺设计的基础上,使用计算机模拟软件View Cast对
- 计算机电源在飞机电源系统中的适用性研究
- 作者： 吕文杰 周星星 来源： 机电信息 年份： 2017 文献类型 ： 期刊 关键词： 飞机电源系统 机载测试计算机 计算机电源
- 描述： 通过分析计算机电源原理研究了计算机对输入电源的适应性,从理论上分析了计算机电源在飞机电网环境中适用的可能性,并进行了电路仿真。在飞机电网环境下做了带载测试,结果证明计算机电源适用于交流115 V/400 Hz电源系统。
- 计算机模拟技术在航空发动机涡轮叶片制造中的应用
- 作者： 王润楠 许庆彦 柳百成 来源： 自然杂志 年份： 2017 文献类型 ： 期刊 关键词： 工艺优化 航空发动机 模拟仿真 单晶叶片
- 描述： 航空发动机涡轮叶片结构复杂,制造工艺繁琐,在高温高压环境下服役需要使用特殊的材料——单晶高温合金。随着叶片几何结构的日趋复杂(如空心、薄壁等),单纯依靠经验和实验进行叶片研制和工艺开发已经落后于时代的要求,而模拟仿真技术不仅能够计算凝固过程中的各项参数,极大地丰富研发手段,而且能够精准、高效、可视化地分别针对缺陷、性能进行预测和优化,从而达到工艺-组织-性能相耦合的多尺度、全流程模拟的目标。
- 航空航天嵌入式计算机体系架构评估模型研究
- 作者： 孙魁元 来源： 科技创新导报 年份： 2017 文献类型 ： 期刊 关键词： 评估模式 计算机体系 航空航天 嵌入式
- 描述： 航空航天嵌入式计算机具有很多不同的特点,但是在整体构架当中,其所具有的共通性也非常多。从飞机中央控制台、导弹的制导计算机以及星载控制计算机这几种典型的嵌入式计算机进行分析可以得到其共通性技术的组成,以及计算机系统架构的共通性。从而归纳出评价维度以及构建评估模型。
- 基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
- 作者： 李勇 曹子宁 来源： 计算机技术与发展 年份： 2017 文献类型 ： 期刊 关键词： 模型检测 E RSML Nu SMV 形式化方法
- 描述： 软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。