导读:本文包含了模块验证论文开题报告文献综述及选题提纲参考文献，主要关键词:通用验证方法学,SWP,协议,模块验证
模块验证论文文献综述
郝燚,冯文楠,冯曦,胡毅,唐晓柯[1]（2019）在《基于UVM验证方法学的SWP接口模块验证方法》一文中研究指出本文提出和实现了一种基于通用验证方法学(Universal Verification Methodology,UVM)的单线协议(SingleWire Protocol,SWP)接口模块验证方法。通过此验证方法实现的验证环境可以对SWP接口模块进行充分验证。具体来讲,通过引入随机激励提高了验证效率,通过添加计分板组件实现了通信数据的自动比对。此外,本方法中层次化的验证组件还可重用到类似的接口模块验证中。(本文来源于《电子技术与软件工程》期刊2019年21期）
徐晋[2]（2019）在《伽马辐射解调软件数据有效性验证模块的实现》一文中研究指出本文主要讨论如何实现伽马辐射解调软件中的数据有效性验证模块。伽马射线又称γ射线,是原子核能级跃迁蜕变时释放出的射线,是波长短于0.2埃的电磁波。当伽马射线辐照到闪烁传感光纤时,能够在光纤内激发出光子。伽马辐射解调软件可驱动测试设备对受激光子计数。(本文来源于《电子技术与软件工程》期刊2019年20期）
涂小刚,宋志顺,常立国,洪俊[3]（2019）在《半全桥子模块混合型柔性直流换流阀的充电策略研究与样机实验验证》一文中研究指出介绍了基于半桥和全桥子模块构建的混合型柔性直流输电换流阀的拓扑结构特点和在不控充电阶段中的子模块电压分布;分析了半桥子模块存在充电电压较低导致的取能失败及充电不成功的问题;提出了一种用于混合型柔直换流阀的充电策略,并搭建了±10 kV/60 MW半全桥混合型模块化多电平换流阀样机对该策略进行验证。实验结果表明,该充电策略可以有效解决基于半桥和全桥子模块构建的混合型柔直换流阀充电过程中半桥子模块自取能失败问题。(本文来源于《高压电器》期刊2019年10期）
李敏,李键,冯晓东[4]（2019）在《一种基于PowerPC的FC网络交换模块的设计与验证》一文中研究指出文章设计了一种基于PowerPC的FC网络交换模块开发的多端口全双工FC网络交换模块,模块实现了FC网络数据单播、广播及端口监控、时钟同步等功能。本文从系统架构、硬件电路、逻辑设计、软件设计等方面全面阐述了FC网络交换模块的设计思路,并通过测试验证达到设计需求,满足可编程性强,集成度高、低功耗、开发周期短等各项需求。(本文来源于《信息通信》期刊2019年10期）
刘永春,宋卫萍,王秋花,郭庆波[5]（2019）在《车载电控模块的硬件可靠性验证方法》一文中研究指出车载电控模块的可靠性测试作为产品开发过程中必不可少的一部分,对保证产品品质和寿命至关重要。本文针对其硬件可靠性需进行的测试验证项目进行研究,依据汽车电子行业标准说明各个项目的测试意义和测试内容,为车载电控模块的环境适应性和可靠性验证提供依据。(本文来源于《汽车电器》期刊2019年08期）
王旭东[6]（2019）在《水下电子舱电子模块叁防涂覆选择验证》一文中研究指出当今民用领域广泛使用的印制板组件涂覆材料已经得到了长足的进步,选择出几种涂覆材料按航空产品的标准并结合航空吊放水下电子舱的使用环境进行试验对比,分析民用领域的几种叁防漆涂料能否为电子舱的电子模块上进行应用,旨在为航空吊放水下电子舱寻找一种即满足产品要求,又绿色环保的新型叁防涂覆材料。(本文来源于《电子世界》期刊2019年15期）
朱妍昕,王霞,徐维[7]（2019）在《循证医学数据库信息模型中证据强度模块的构建及验证》一文中研究指出目的:建立循证医学数据库信息模型中证据强度模块并进行验证。方法:通过随机对照试验报告质量标准CONSORT2010及CEBM、CASP、JBI、SIGN等评价标准,提取该模块应具备的数据元,最后通过着录和评价Dyna Med数据库中的文献验证该模块的可行性。结果:提取出PICO、顺序产生、分配隐蔽机制、盲法、样本一致、干预一致、失访比例、ITT分析、置信区间、结果、样本量、流程图等数据元构成证据强度模块,并选出9个数据元进行相应的满足度计算,作为随机对照试验证据强度的主要排序依据。通过着录验证,该模型对证据的评价等级与Dyna Med基本一致。结论:该证据强度模块是有效可行的,可作为循证医学数据库信息模型的一个重要组成部分,为初步评价证据打下基础。(本文来源于《中华医学图书情报杂志》期刊2019年06期）
丁明[8]（2019）在《综合模块化航空电子系统重构与验证方法研究》一文中研究指出为了满足飞机日益增长的军事和民用需求,综合模块化航空电子系统(Integrated Modular Avionics,IMA)近年来受到了工业界和学术界的广泛关注。IMA系统是安全攸关的嵌入式系统,当运行环境变化或组件故障时,系统对软件和硬件资源进行重构配置,保证功能和性能要求。重构必须严格遵照预先设定的策略执行,避免出现失控情况,引发系统故障。因此,重构设计过程中,如何对IMA系统资源进行分配,确保满足系统的功能性需求和安全性等质量属性要求,是整个飞机功能正常运行的关键。目前在IMA系统重构设计方面已取得了诸多研究进展和重要成果,但现有方法还面临以下挑战:首先,系统重构是逻辑架构到物理实现的重新映射,过程具有多样性和不确定性,且缺少对系统资源的精确描述,收集系统软件和硬件资源信息困难,重构自动化程度不高。其次,现有的验证方法在系统逻辑模型、物理架构模型、分区映射方面各有侧重,但缺少必要衔接,模型之间未建立统一的映射关系,验证结果的完整性有待提高。因此,通过基于模型的重构方法,简化映射过程,验证系统的功能性和安全性需求,实现对系统资源的重构配置,具有一定的研究意义和实用价值。本文围绕基于模型的IMA系统重构设计过程中建模、映射、验证、蓝图生成等内容进行详细讨论。论文的主要研究成果如下:(1)为保证重构后系统逻辑架构满足功能性需求,提出了一种SysML活动图的自动机模型构建和验证方法。采用扩展的有限自动机模型建模活动图内容和嵌套调用,使用线性时序逻辑表示功能性需求属性,通过相应的转换算法和模型检测方法确认设计的功能逻辑流程与需求的一致性。提出了一种基于模型的测试用例生成方法,将确认正确的活动图转为带约束的接口自动机,生成测试模型,通过其特有的乐观方法和博弈思想组合活动间的调用关系。然后在满足流约束条件组合覆盖准则的前提下,设计了测试用例生成算法,自动生成测试用例,用于架构的功能性测试。(2)为保证重构后系统逻辑架构满足安全性需求,提出了一种基于模型的系统安全性需求描述和验证方法。该方法针对系统功能需求、安全性目标和失效状态,建立危害用例,提取安全性需求;采用带功能失效的状态机图描述包含安全性需求的系统功能模型,并使用安全扩展层次自动机作为中间状态,通过转换算法实现系统功能模型的形式化描述,通过模型检测方法完成安全性需求验证。(3)为保证重构后系统物理架构满足安全性需求,提出了一种基于模型的组件错误行为描述和验证方法。该方法通过分析系统需求和安全性目标,建立物理架构模型,采用错误模型附件描述组件的错误行为和导致的故障影响;使用层次自动机作为中间状态,通过转换算法实现物理架构错误行为模型的形式化描述,采用模型检测验证故障影响是否满足安全性需求。(4)针对系统重配置、重映射过程复杂,功能性和安全性需求验证困难的问题,提出一种基于模式的IMA系统重构方法。将系统逻辑架构划分为多个层级,给出逻辑架构模型到AADL组件,以及AADL组件到ARINC653元素的映射规则;采用模式表示系统运行时资源配置,通过模式迁移实现不同层级的重构设计,并对各模式下的系统逻辑架构和映射所得的物理架构模型进行验证和分析;构建系统蓝图生成算法,根据模式迁移和验证结果自动生成重构蓝图,指导系统资源动态配置,实现相应的功能。(本文来源于《西北大学》期刊2019-06-01）
李强,胡元威,董余红,邓梦然[9]（2019）在《基于模块的运载火箭电气系统匹配验证仿真》一文中研究指出为了缩短运载火箭的研制周期、降低研制成本,通过数字仿真实现对运载火箭电气系统的匹配验证显得尤为迫切;提出了一种基于模块的运载火箭电气系统匹配验证方法,采用SysML语言进行了函数编写和结构建模,实现了电气系统硬件与软件设备的匹配验证;通过与真实匹配试验中测试数据的对比,证实了该方法可以有效模拟并完成各电气系统的性能参数分析和接口匹配验证,具有一定的工程应用价值。(本文来源于《计算机测量与控制》期刊2019年02期）
徐嘉隆,祖铁军,曹良志,吴宏春[10]（2019）在《NECP-Atlas中多群常数处理模块的开发与验证》一文中研究指出多群常数是确定论物理计算的基础,多群常数的准确性将直接影响到后续确定论物理计算结果的可靠性。国内外多群常数处理方法发展迅速,研究多群常数处理方法以及开发相关程序具有重要意义。多群常数包含多群截面和多群转移矩阵以及多群裂变常数等参数。基于评价核数据库和反应率守恒原理,利用可递推的超细群方法求解中子慢化方程并提出了核素混合方法,开发了Group_collapse模块,实现了多群常数的处理功能。数值结果表明,理论模型正确,所处理的多群常数可用于传统两步法以及一步法的确定论物理程序。(本文来源于《核动力工程》期刊2019年01期）
模块验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文主要讨论如何实现伽马辐射解调软件中的数据有效性验证模块。伽马射线又称γ射线,是原子核能级跃迁蜕变时释放出的射线,是波长短于0.2埃的电磁波。当伽马射线辐照到闪烁传感光纤时,能够在光纤内激发出光子。伽马辐射解调软件可驱动测试设备对受激光子计数。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
模块验证论文参考文献
[1].郝燚,冯文楠,冯曦,胡毅,唐晓柯.基于UVM验证方法学的SWP接口模块验证方法[J].电子技术与软件工程.2019
[2].徐晋.伽马辐射解调软件数据有效性验证模块的实现[J].电子技术与软件工程.2019
[3].涂小刚,宋志顺,常立国,洪俊.半全桥子模块混合型柔性直流换流阀的充电策略研究与样机实验验证[J].高压电器.2019
[4].李敏,李键,冯晓东.一种基于PowerPC的FC网络交换模块的设计与验证[J].信息通信.2019
[5].刘永春,宋卫萍,王秋花,郭庆波.车载电控模块的硬件可靠性验证方法[J].汽车电器.2019
[6].王旭东.水下电子舱电子模块叁防涂覆选择验证[J].电子世界.2019
[7].朱妍昕,王霞,徐维.循证医学数据库信息模型中证据强度模块的构建及验证[J].中华医学图书情报杂志.2019
[8].丁明.综合模块化航空电子系统重构与验证方法研究[D].西北大学.2019
[9].李强,胡元威,董余红,邓梦然.基于模块的运载火箭电气系统匹配验证仿真[J].计算机测量与控制.2019
[10].徐嘉隆,祖铁军,曹良志,吴宏春.NECP-Atlas中多群常数处理模块的开发与验证[J].核动力工程.2019