航空高可靠处理器容错设计与实现

作者： 包斌   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 故障率　　   Leon3   空间辐射　　   高可靠处理器　　   Cache系统　　   SEU　　   整数部件　　  

描述： 本文主要围绕适用于星载计算机的宇航高可靠微处理器的设计和实现展开。空间辐射环境是宇航高可靠微处理器在设计时需要特别考虑的因素。本文研究了符合SPARC V8标准的Leon3微处理器体系结构,并在其基础上就单粒子翻转效应(SEU)对微处理器进行容错保护设计,使微处理器能避免一定量级的SEU错误。在modelsim模拟器中进行故障注入来验证容错设计的正确性,并构建FPGA平台来评估容错设计代价以及兼容性。 论文的研究成果包括以下几点: 一.对空间辐射环境进行了初步的研究和分析,总结了对处理器行为有重大影响的几种辐射效应。在Leon 3架构基础上针对SEU的影响,提出了高可靠处理器容错体系结构设计策略。 二.结合Leon 3现有的流水线实现技术,讨论了寄存器文件的容错机制,提出多种设计策略。综合考虑性能和代价之后,实现了基于汉明码的高可靠、低代价的寄存器文件容错设计。 三.根据Cache系统的情况,提出了基于循环码校验的数据重载策略,实现了用循环码来检测Cache中的错误并通过数据重载更新错误数据的高可靠Cache控制器。 四.通过体系结构容错设计,在消耗资源不多的情况下,使...

航空减速器螺旋锥齿轮啮合仿真分析

作者： 李源   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 摩擦   动态啮合   MSC.Marc   螺旋锥齿轮   仿真   准静态啮合   接触  

描述： 的工作包括:1、基于Gleason机床调整卡获得螺旋锥齿轮的精确几何信息,形成相应的CAD格式文件。选用MSC.Patran及MSC.Marc,通过人工方式,对螺旋锥齿轮进行网格划分。2、利用

基于仿射近似从航空图像重建目标三维结构

作者： 邱志强   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 三维结构　　   仿射投影模型　　   仿射矩阵分解　　   仿射投影矩阵　　   航空图像　　   仿射极线约束   仿射三线性张量　　   仿射近似　　  

描述： 在航空、工业检测、灾害监测等领域,用摄像机获取目标或场景的图像,从图像重建目标三维结构或三维场景,可以得到用户感兴趣的三维信息。 对图像的三维解析问题,是一个由二维图像获取三维数据的逆问题。由

我国导航卫星定位系统在军事航空监视中的应用研究

作者： 郑娜   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 自动相关监视　　   卫星导航系统　　   军事航空监视　　   误差  

描述： 本文在分析了军事航空监视需求和双星系统能力的基础上，提出了基于双星的军事航空监视技术框架方案；在详细分析了军事航空监视的系统结构和工作流程的基础上，设计了真实飞行搭载试验的演示验证方案并进行了相关

航空图像中道路和建筑物的自动提取技术

作者： 文贡坚   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 特征点检测   图像理解   图像分割   数字摄影测量   模糊识别   直线提取   重建建筑物   自动提取人工目标  

描述： 该论文结合国家高技术示范工程的要求,研究了从城市航空图像中自动提取和测量两类主要人造目标道路和建筑物的问题.通过研究,提出并实现了种自动提取主要道路的方法,它有以下特点:适用范围较广;抗噪性强;与现有提取一般道路的方法相结合,可以成功提取城市中的道路网.?

航空高可靠处理器容错设计与实现

作者： 包斌   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 故障率　　   Leon3   空间辐射　　   高可靠处理器　　   Cache系统　　   SEU　　   整数部件　　  

描述： 本文主要围绕适用于星载计算机的宇航高可靠微处理器的设计和实现展开。空间辐射环境是宇航高可靠微处理器在设计时需要特别考虑的因素。本文研究了符合SPARC V8标准的Leon3微处理器体系结构,并在其基础上就单粒子翻转效应(SEU)对微处理器进行容错保护设计,使微处理器能避免一定量级的SEU错误。在modelsim模拟器中进行故障注入来验证容错设计的正确性,并构建FPGA平台来评估容错设计代价以及兼容性。 论文的研究成果包括以下几点: 一.对空间辐射环境进行了初步的研究和分析,总结了对处理器行为有重大影响的几种辐射效应。在Leon 3架构基础上针对SEU的影响,提出了高可靠处理器容错体系结构设计策略。 二.结合Leon 3现有的流水线实现技术,讨论了寄存器文件的容错机制,提出多种设计策略。综合考虑性能和代价之后,实现了基于汉明码的高可靠、低代价的寄存器文件容错设计。 三.根据Cache系统的情况,提出了基于循环码校验的数据重载策略,实现了用循环码来检测Cache中的错误并通过数据重载更新错误数据的高可靠Cache控制器。 四.通过体系结构容错设计,在消耗资源不多的情况下,使...

航空减速器螺旋锥齿轮啮合仿真分析

作者： 李源   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 摩擦   动态啮合   MSC.Marc   螺旋锥齿轮   仿真   准静态啮合   接触  

描述： 的工作包括:1、基于Gleason机床调整卡获得螺旋锥齿轮的精确几何信息,形成相应的CAD格式文件。选用MSC.Patran及MSC.Marc,通过人工方式,对螺旋锥齿轮进行网格划分。2、利用

航空图像中道路和建筑物的自动提取技术

作者： 文贡坚   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 特征点检测   图像理解   图像分割   数字摄影测量   模糊识别   直线提取   重建建筑物   自动提取人工目标  

描述： 该论文结合国家高技术示范工程的要求,研究了从城市航空图像中自动提取和测量两类主要人造目标道路和建筑物的问题.通过研究,提出并实现了种自动提取主要道路的方法,它有以下特点:适用范围较广;抗噪性强;与现有提取一般道路的方法相结合,可以成功提取城市中的道路网.?

航空维修差错分析方法与差错数据管理系统研究

作者： 李涛   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 航空维修差错　　差错模式　　差错成因　　信息管理系统  

描述： 随着航空业的快速发展,航空安全问题越来越受到人们的普遍关注。航空维修差错是造成航空器安全事故的主要原因之一,因此,对航空维修差错进行分析,制定相应的规避措施,降低维修差错发生概率,从而减少由此导致

航空维修差错分析方法与差错数据管理系统研究

作者： 李涛   来源： 国防科学技术大学 年份： 2016 文献类型 ： 学位论文 关键词： 航空维修差错　　差错模式　　差错成因　　信息管理系统  

描述： 随着航空业的快速发展,航空安全问题越来越受到人们的普遍关注。航空维修差错是造成航空器安全事故的主要原因之一,因此,对航空维修差错进行分析,制定相应的规避措施,降低维修差错发生概率,从而减少由此导致