首页>
根据【检索词:量子计算机】搜索到相关结果 108 条
-
基于计算机视觉的飞机外观智能检测算法研究与应用
-
作者:
张学林
来源:
山东大学
年份:
2022
文献类型 :
学位论文
关键词:
深度学习
目标检测
双目测距
嵌入式系统
飞机外观检测
-
描述:
基于计算机视觉的飞机外观智能检测算法研究与应用
-
面向第四代战斗机航空电子系统应用的分布式计算机系统研究与实现
-
作者:
王卫东
来源:
西北工业大学
年份:
2016
文献类型 :
学位论文
关键词:
第四代战斗机
VLSI芯片
PI
分布式系统
BUS控制器
航空电子系统
-
描述:
该文在分析了第四代战斗机航空电子系统的需求的基础上,借鉴国外机载计算机的成功经验,结合中国国情,提出了一种分布式计算机体系结构.该文研究的第二个问题是PI-BUS控制器设计与实现.该文研究的第三个问题是系统测试技术研究与实现.该文研究的第四个问题是全局存储器
-
国家教委高教二司计算机辅助办公系统瑞典航空研究院天平校准台测、控及数据处理系统
-
作者:
赵磊
来源:
北京航空航天大学
年份:
2016
文献类型 :
学位论文
-
描述:
本论文共分两部分:第一部分笔者从国家教委高教二司的工作现状出其不意,提出了在二司实现计算机辅助办公的关键所在,给出了二司办公过程中的主要过程的数学模型,介绍了用计算机来辅助人工办公的办法,并且讨论
-
基于需求的形式化建模与验证方法研究李勇,曹子宁南京航空航天大学计算机科学与技术学院,
-
作者:
李勇
曹子宁
来源:
计算机技术与发展
年份:
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的输入模型,并进行了检测,建立起了一套整体的形式化开发框架,并以航空电子系统特定实例进行了建模与验证。验证结果表明,已建航电系统模型的安全性和可靠性是有效的,为进一步开发可靠安全的系统奠定了基础。