首页>
根据【检索词:量子计算机】搜索到相关结果 49 条
-
计算机CATIA技术在飞机装配空间定位中应用
-
作者:
张馨丹
周步玺
朱远东
邹立双
来源:
现代制造技术与装备
年份:
2019
文献类型 :
期刊
关键词:
飞机装配
空间定位
CATIA技术
-
描述:
空间定位技术为现代飞机装配找准零部件结合点奠定了良好基础。CATIA技术作为一款交互式CAD/CAE/CAM系统,具有界面友好、功能强大及贯穿产品整个研发周期的优势,被广泛应用于企业产品制造及航空航天行业之中。针对CATIA技术在飞机装配空间定位中应用进行深入研究。
-
飞机多层结构腐蚀损伤的工业电子计算机断层扫描检测可行性分析
-
作者:
尚华栋
张海兵
陈强
来源:
无损检测
年份:
2019
文献类型 :
期刊
关键词:
腐蚀
多层结构
工业CT
检测
-
描述:
根据飞机多层结构容易出现内部腐蚀的特点,设计并制作了模拟腐蚀缺陷的试件,采用工业CT(电子计算机断层扫描)进行检测试验,通过对检测图像的分析和关键尺寸的测量,分析了工业CT检测多层结构腐蚀损伤的可行性,为多层结构内部腐蚀检测提供了参考。
-
物联网背景下的计算机技术在航空发动机故障诊断中的应用
-
作者:
李海英
何高明
来源:
内燃机工程
年份:
2022
文献类型 :
期刊
关键词:
物联网
发动机故障诊断
-
描述:
近年来,物联网时代的到来使计算机技术和信息化技术得到了空前的发展并应用于各行各业,物联网技术在内燃机故障诊断领域的应用十分广泛。内燃机作为一种能将燃料的化学能转化为热能,进而转化为动能的热力发动机,广泛应用于汽车、飞机、船舶等交通工具的动力系统中。在航空领域中,
-
航空计算机机箱销套加工工艺及参数优化
-
作者:
朱光辉
蔡明
王文智
姜健
张少龙
来源:
内燃机与配件
年份:
2022
文献类型 :
期刊
关键词:
过盈配合
工装优化
仿真分析
-
描述:
本文对某型铝合金材质航空计算机机箱销套安装及加工工艺进行了研究,首先分析出了销套安装后尺寸超差的原因,通过改变销套的加工工艺路线解决了尺寸超差的问题,保证产品尺寸要求;其次根据销套和机箱的过盈量及
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2017
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。
-
中国计算机自动测量与控制技术协会诚邀您免费参加2017航空航天与军工应用方案研讨会
-
作者:
暂无
来源:
计算机测量与控制
年份:
2017
文献类型 :
期刊
关键词:
自动测量
软件定义
软件平台
控制系统
控制技术
测控系统
航空航天
自动化测试系统
测试资源
互操作性
-
描述:
先生/女士:为推动自动化测试系统、仪器、软件平台在国防与航空航天领域的应用,中国计算机自动测量与控制技术协会与上海恩艾仪器有限公司(简称NI)于2017年7月4日在西安曲江国际大酒店联合举办
-
适用于特种飞机及无人机多任务管理计算机设计与实现
-
作者:
李德
来源:
电子制作
年份:
2018
文献类型 :
期刊
关键词:
设计
无人机系统
多任务管理计算机
-
描述:
随着社会的不断发展,科技水平也在不断地上升,而各种各样的无人机也层出不穷,为了迎接未来的信息战,世界各国都在研究无人机系统,因此本文着重讲述适用于特种飞机及无人机多任务管理计算机设计与实现,仅供同行交流参考。
-
高技术产业协同创新深度的影响因素及其行业比较——以航空航天与计算机及办公产业为例
-
作者:
俞立平
方建新
王作功
来源:
广东财经大学学报
年份:
2018
文献类型 :
期刊
关键词:
协同创新深度
高技术产业
计算机及办公设备
企业技术创新
协同创新
制造业
航空航天
-
描述:
协同创新深度是企业在技术创新中进行协同创新的程度,不同的高技术产业行业,其协同创新深度存在较大差距。以航空航天器制造业与计算机及办公设备制造业为例,采用2010年~2013年中国高技术产业的相关数据
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
2019
文献类型 :
期刊
关键词:
模型检测
E
RSML
Nu
SMV
形式化方法
-
描述:
软件开发过程中需求阶段的错误比设计或实现阶段所引入的错误对系统的安全性与可靠性有更大的影响。为了能够在早期发现错误,降低开发成本,精确、简明地验证和规范软件系统和性质,在模型的形式化开发方法和模型检测的自动验证技术的研究基础上,提出了一种基于需求的形式化建模与验证的框架。运用基于四变量模型的需求状态机语言RSML-e建立了形式化模型,并给出了形式化的转换规则,将RSML-e模型转换为模型检测器Nu SMV的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。