导读:本文包含了硬件验证论文开题报告文献综述、选题提纲参考文献及外文文献翻译，主要关键词:硬件,等级,仿真器,寄存器,电子,每小时,概率。
硬件验证论文文献综述
杨绍普,贾长旺,路永婕,刘鹏[1]（2019）在《叁轴重载汽车自寻最优制动及硬件在环验证》一文中研究指出为了提高叁轴重载汽车的制动安全性能,搭建了制动动力学模型,基于TruckSim建立了叁轴重载汽车整车模型.在对Burckhardt"轮胎-路面"模型和以往自寻最优制动理论研究的基础上,设计了应用于整车模型的叁轴汽车自寻最优ABS控制器.采用硬件在环实验的方法,在高附路面、低附路面和对开路面3种工况下验证了控制器的可行性,加入传统ABS作为比较.实验结果证明,在3种工况下,自寻最优ABS将车辆控制在不同的滑移率下,低附路面下的制动效果最明显,制动时间减少0.96s,制动距离减少2.77m,横摆角速度峰值减少1°/s,说明自寻最优ABS可以自动搜索车辆当前路面下的最优滑移率,提高了叁轴重载汽车的制动性能和制动过程中的稳定性.(本文来源于《北京交通大学学报》期刊2019年05期）
刘永春,宋卫萍,王秋花,郭庆波[2]（2019）在《车载电控模块的硬件可靠性验证方法》一文中研究指出车载电控模块的可靠性测试作为产品开发过程中必不可少的一部分,对保证产品品质和寿命至关重要。本文针对其硬件可靠性需进行的测试验证项目进行研究,依据汽车电子行业标准说明各个项目的测试意义和测试内容,为车载电控模块的环境适应性和可靠性验证提供依据。(本文来源于《汽车电器》期刊2019年08期）
金志威,田毅,芦浩,王鹏[3]（2019）在《基于模型检测的机载电子硬件验证方法研究》一文中研究指出模型检测技术已广泛应用于计算机硬件、通信协议、控制系统等领域,在民用航空领域如何采用模型检测技术开展硬件符合性验证,成为设计及验证人员待解决的问题。文中介绍模型检测方法的验证机理,并提出使用该方法作为机载电子硬件的补充验证方案。以PCI总线状态机模块作为验证对象,开展模型检测补充验证,确定了状态机各状态转移路径的正确,说明了该方法的合理性。(本文来源于《现代电子技术》期刊2019年16期）
王雷,王晨光,吴斌[4]（2019）在《基于硬件加速器的高性能芯片仿真与验证》一文中研究指出展示了一款高性能无线局域网芯片采用硬件仿真加速器进行全芯片仿真与验证的工作。该芯片采用了4发4收多天线、256QAM等技术,最高可以实现1.2 Gb/s的数据吞吐率。由于该芯片设计复杂,规模庞大,只使用传统的软件模拟和FPGA仿真难以实现芯片错误的快速定位与解决。在此情况下,使用硬件仿真加速器Palladium XP提供的全电路仿真方式(In-Circuit Emulation mode,ICE mode)成为了更为有效的方式。在实际应用中一个1 000帧的测试用例可以在20 min内完成,相比传统的软件模拟提高了400倍以上的效率,相比FPGA原型系统验证则能够提供所有所需要的波形供下载分析。该方法大大加快了复杂芯片的设计效率。(本文来源于《电子技术应用》期刊2019年08期）
谢刘阳[5]（2019）在《车用IPMSM电机控制软件开发与硬件在环验证》一文中研究指出本文阐述了IPMSM电机的数学模型、基本控制算法以及基于Infineon Tricore 1782芯片开发MCU控制软件。并分析了HIL系统的基本原理且基于ETAS公司的HIL系统搭建测试平台,完成电机控制器与硬件在环系统的闭环调试与测试,同时针对闭环测试结果进行了重点分析。(本文来源于《科学技术创新》期刊2019年19期）
刘茜,肖轩,程靖,李海泉,梁建勋[6]（2019）在《面向空间机械臂任务验证的硬件在环半物理仿真系统研究》一文中研究指出针对空间机械臂在轨任务进行高保真地面仿真和验证的需求,搭建了空间机械臂操作任务验证平台(MTVF)系统。该系统基于硬件在环技术,将空间机械臂动力学仿真模型、两台地面模拟机械臂和测量系统通过实时仿真计算机实现软硬件的整合,具有响应速度快、跟踪精度高的特点。开发了闭环稳定算法和阻抗控制算法以保证MTVF系统的高保真性能,并通过搭建仿真计算模型以及设计地面试验等方法对MTVF系统的性能进行验证,结果表明,该系统能够反映真实微重力环境下空间机械臂的动力学特性,能够实现对真实微重力环境下的空间机械臂在轨操作任务进行高保真的地面试验和验证。(本文来源于《载人航天》期刊2019年02期）
曾晓辉[7]（2019）在《基于NS-3的水声网络硬件验证系统》一文中研究指出水声通信作为水下无线信息传输的强有力技术,在海洋国防实力建设、水下环境感知和定位巡航等领域有着重要应用。由于水下复杂环境和水声信道的限制,水声通信的难度不亚于深空通信,所以对于水声通信技术的探索和利用是一个热门的研究领域。通常,一个水声网络协议的提出到真正实际应用需要经过叁个阶段:基于软件仿真的早期研究、基于硬件节点的初步水下实验和系统的海上现场实测。而当前大量针对水声网络协议的研究基本还停留在基于软件仿真的早期研究阶段。一方面,由于水声信道和动力学模型的复杂性,需要将解决方案部署到水下硬件节点进行现场测试,才能对网络性能做更准确的评估,为将来实际应用打下坚实的基础。另一方面,现场测试花费高昂,搭建耗时,在修改仿真的解决方案之后又要花费大量时间进行代码移植重写,而且由于实现方法不同,仿真结果和实际测试结果很可能存在显着的差异。本文将NS-3网络仿真器和水声硬件系统结合,提出了一套水声网络研究的硬件验证系统。系统基于NS-3的UAN框架设计了一个物理层虚实结合的多线程接口模块,实现UAN协议栈和真实物理层即水声通信机的数据流对接,在此接口模块设计的基础上搭建了水声网络硬件验证系统,以“真实水下环境+硬件节点+虚拟协议栈”的模式运作。由于目前的UAN框架没有适用于自己的网络层、路由层,框架还不成熟,所以本文首先对UAN框架进行了全面扩展,实现了对不同路由协议的支持,并提出了一个最快路径节能路由算法:FPES-Flooding。通过仿真验证了提出的FPES-Flooding路由和传统的Flooding路由相比具有更高的数据包投递率和更低的能量消耗。最后,在相同网络拓扑场景下,通过对提出的验证系统的纯仿真模式和真实水下实验模式的实验结果进行对比,验证了提出的系统的可行性。该系统首先可以在纯仿真模式下,基于NS-3软件对提出的水声网络协议进行早期研究,接着,不需要重写代码,只需要切换到真实硬件模式下,利用本文设计的NS-3网络仿真器和真实硬件的虚实结合多线程接口,结合水声硬件设备就能直接进行基于硬件节点的水下实验。系统能够有效的加快水声网络协议真正应用于实际场景。(本文来源于《华南理工大学》期刊2019-04-09）
高莺[8]（2019）在《列车运行控制系统硬件安全完整性等级验证方法研究》一文中研究指出列车运行控制系统是用于控制和防护列车运行的典型安全苛求系统,其安全性是否能够满足系统的功能安全要求日益受到用户关注。IEC61508作为铁路领域安全评估主要参考标准,对安全相关系统提出了安全完整性等级(Safety Integrity Level,SIL)下每小时危险侧失效概率(Probability of Dangerous Failure per Hour,PFH)量化计算和硬件SIL验证的要求。在工程实践中,PFH计算模型中涉及的参数并不能完全准确获得,通过“确定”的参数得到的PFH计算结果及SIL评估结果可能导致系统的实际响应与预期情况存在较大偏差,给设备应用带来重大安全隐患。因此,为了提升安全评估结果的可信度,需要分析参数的不确定性对硬件安全完整性等级验证的影响。本文通过对我国铁路信号领域安全评估现状的深入分析,结合列车运行控制系统的架构需求,在查阅国内外相关领域研究文献的基础上,对系统输入参数贡献度计算、共因失效分数定量计算和硬件安全完整性等级验证方法展开研究。研究成果如下:(1)从“PFH计算”和“硬件安全完整性等级影响”两个方面,提出了输入参数的贡献度计算方法。在分析PFH计算模型中输入参数对输出结果影响特性的基础上,采用正交试验和极差分析方法,研究获得了列控系统两种典型冗余结构(2乘2取2结构和3取2结构)下输入参数对PFH计算结果的贡献度排序,并通过创建的多元线性回归机器学习模型,经过多次监督学习获得了线性回归系数,验证了正交试验的贡献度排序结果。同时,进一步研究了输入参数不确定性对列控系统硬件安全完整性等级影响的贡献度计算方法,提出了单一参数不确定对硬件安全完整性等级影响的贡献度计算模型,得出单通道危险侧失效概率、诊断覆盖率和未检测到的共因失效分数为影响硬件安全完整性等级验证结果的关键参数。(2)提出了适用于列控系统高阶冗余结构的共因失效分数定量计算模型。在分析了当前列控系统广泛采用的单一参数(SBF)模型计算共因失效分数的局限性后,将核能领域应用的Alpha参数模型引入到列控系统共因失效分数计算中。首先,通过归纳方法得到了高阶冗余结构下,共因失效导致的危险侧失效概率的计算模型,经过模型推导建立了共因失效因子与PFH计算模型间的耦合关系,并获得了可量化的共因失效分数计算模型。在此基础上,针对当前我国列车运行控制系统缺少共同原因失效数据的情况,在创建的量化共因失效分数计算模型基础上,提出了先验数据缺失条件下基于贝叶斯推断的共因失效分数计算模型,并提供了两种超参数先验数据的计算方法。通过构建的共因失效分数定量计算模型,实现对高阶冗余结构下共因失效导致的危险侧失效概率的量化计算。最后,以列控系统的两种典型冗余结构(2乘2取2结构和3取2结构)为对象,验证了本文所提模型的有效性和优越性。(3)针对列控系统PFH计算模型中输入参数不完全确定问题,提出了蒙特卡洛分析和模糊理论相结合的硬件安全完整性等级验证方法。首先,基于蒙特卡洛分析方法给出了列控系统输入参数为确定分布时的硬件SIL验证方法,并从安全评估结论保守程度出发,提出了硬件SIL验证时各输入参数推荐使用的分布。进而,基于模糊理论创建了列控系统PFH梯形模糊数计算模型,通过模糊运算及模糊测度理论,建立了硬件SIL验证的可能性测度和必然性测度方法,并通过研究PFH模糊数隶属分布,提出了SIL符合性概率计算方法,解决了当输入参数为完全不确定情况下的硬件SIL验证。考虑到输入参数可能存在不完全确定问题,提出了蒙特卡洛采样驱动下的PFH模糊数硬件SIL验证方法,并提供了解模糊化验证、平均模糊数验证两种SIL验证手段。最后,以实例应用说明了提出的硬件安全完整性等级验证方法的有效性,并通过两种验证手段的比较,获得了不同测度方法的保守程度。(本文来源于《中国铁道科学研究院》期刊2019-04-01）
侯小宇[9]（2018）在《航空发动机控制系统电子硬件设计和符合性验证方法》一文中研究指出在航空发动机控制系统设计中电子硬件应用广泛,如何对其进行符合性验证,从而满足合格审定的要求,当前仍存在着一定困惑和分歧。本文结合审查项目经验,提出了一种完整表明电子硬件符合性方法的策略。(本文来源于《民航学报》期刊2018年05期）
梅灵[10]（2018）在《基于AES算法硬件木马的检测系统设计与验证》一文中研究指出随着集成电路产业的飞速发展,多功能芯片呈指数型增长的需求促使基于硬件知识产权(Intelligent Property,IP)的片上系统(System on Chip,SoC)芯片设计得到普及。不可信加解密IP中植入寄存器传输级(Register Transfer Level,RTL)硬件木马的信息安全问题随之而来,硬件木马的高隐藏性和低面积占有率使得常用RTL硬件木马检测方法检测效率较低。为了提高RTL硬件木马的检测效率,本文设计了一种基于高级加密标准(Advanced Encryption Standard,AES)算法RTL硬件木马的检测系统。本文首先分析了AES算法和硬件木马检测的相关理论,重点研究了AES算法的结构与安全性,硬件木马的种类与常见的检测方法。然后,对基于AES算法硬件木马的检测系统进行了框架设计,将该系统进行软硬划分。系统的硬件部分包括AES加解密电路的设计并优化了其中的密钥扩展模块和轮函数模块,和五种AES加解密电路的硬件木马模型进行本地化操作分析。系统的软件部分对硬件木马检测软件进行了设计,其中包括硬件木马检测软件平台以及硬件木马软件检测的设计。最后,使用ISE软件对AES加解密电路进行功能仿真,结果表明电路功能正确,对硬件木马本地化之后的电路进行功能仿真,结果表明硬件木马生效,利用设计的硬件木马检测软件对本地化后的加解密电路进行验证,结果表明软件检测的功能正确。本文设计的基于AES算法硬件木马的检测系统对随机AES加解密电路中硬件木马检测率达到82.1%,基本满足RTL硬件木马检测的需求。为硬件木马检测提供了一种改进的检测方式,在数字设计源头检测并隔离硬件木马,为之后基于芯片级硬件木马检测进行了预处理操作。因此本文的设计具有实际应用价值及研究意义。(本文来源于《东南大学》期刊2018-06-22）
硬件验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
车载电控模块的可靠性测试作为产品开发过程中必不可少的一部分,对保证产品品质和寿命至关重要。本文针对其硬件可靠性需进行的测试验证项目进行研究,依据汽车电子行业标准说明各个项目的测试意义和测试内容,为车载电控模块的环境适应性和可靠性验证提供依据。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
硬件验证论文参考文献
[1].杨绍普,贾长旺,路永婕,刘鹏.叁轴重载汽车自寻最优制动及硬件在环验证[J].北京交通大学学报.2019
[2].刘永春,宋卫萍,王秋花,郭庆波.车载电控模块的硬件可靠性验证方法[J].汽车电器.2019
[3].金志威,田毅,芦浩,王鹏.基于模型检测的机载电子硬件验证方法研究[J].现代电子技术.2019
[4].王雷,王晨光,吴斌.基于硬件加速器的高性能芯片仿真与验证[J].电子技术应用.2019
[5].谢刘阳.车用IPMSM电机控制软件开发与硬件在环验证[J].科学技术创新.2019
[6].刘茜,肖轩,程靖,李海泉,梁建勋.面向空间机械臂任务验证的硬件在环半物理仿真系统研究[J].载人航天.2019
[7].曾晓辉.基于NS-3的水声网络硬件验证系统[D].华南理工大学.2019
[8].高莺.列车运行控制系统硬件安全完整性等级验证方法研究[D].中国铁道科学研究院.2019
[9].侯小宇.航空发动机控制系统电子硬件设计和符合性验证方法[J].民航学报.2018
[10].梅灵.基于AES算法硬件木马的检测系统设计与验证[D].东南大学.2018
论文知识图
