导读:本文包含了完备性验证论文开题报告文献综述及选题提纲参考文献，主要关键词:电路设计,验证完备性,ADE,verifier
完备性验证论文文献综述
林慧,蒋武,熊熙,李元祝,黄志荣[1]（2016）在《Verifier提高验证完备性》一文中研究指出随着集成电路设计技术的不断发展,电路设计中经常出现一些问题。因此,设计验证技术成为了电路设计中不可或缺的部分。如何提高验证完备性,是验证技术的难题之一。本文介绍了Cadence最新发布的适用于模拟设计的ADE Verifier的工具使用流程,以及根据海思业务需求定制的使用方法。该工具整合了验证工具ADE Explorer和ADE Assembler的特性,完善了模拟电路设计验证流程,解决了模拟设计验证完备性中的问题。(本文来源于《电子技术应用》期刊2016年08期）
穆建成,辛未,马连川,曹源[2]（2016）在《基于因果图法的CTCS-3级列控系统测试案例完备性验证方法》一文中研究指出通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的测试充分性准则,并据此导出测试覆盖域;通过测试案例判定表内的事件组合与测试覆盖域元素的对比,验证列控系统测试案例的完备性。以CTCS-3级列控系统车载设备待机模式下的模式转换功能为例,运用该验证方法对现有相关测试案例进行完备性验证和结果分析。结果表明:应用该验证方法可以验证测试案例对于SRS的完备性,并能有效发现测试案例中可能存在的不足。(本文来源于《中国铁道科学》期刊2016年01期）
辛未[3]（2016）在《CTCS-3级测试案例完备性的自动验证》一文中研究指出CTCS-3级列控系统作为确保高速铁路系统高效、安全运营的关键,有着极其严格安全性、可靠性要求。为了确保CTCS-3级列控系统满足《CTCS-3级列控系统需求规范(SRS) (v1.0)》中规定的功能需求,需要对其进行充分的测试,而《CTCS-3级列控系统测试案例(v3.0)》构成了测试过程的基础和标准。测试案例的完备性,即测试案例的设计可以覆盖全部的系统功能需求,是测试过程能够充分验证列控系统是否符合SRS规定的关键。因此,为了确保测试案例的完备性,本文提出了一种CTCS-3级列控系统测试案例完备性的验证方法。论文的主要工作如下：(1)对CTCS-3级列控系统的测试过程以及测试案例的生成方法和描述形式进行研究,明确了CTCS-3级列控系统测试案例完备性验证的主要需求,以及需要解决的关键问题。(2)通过对关键问题的分析,提出基于Event-B和因果图法的测试案例完备性验证方法。利用Event-B方法对SRS进行严格的形式化建模,并将建模结果转换为因果图形式,通过生成SRS判定表并对测试案例进行因果图建模和判定表生成,统一SRS和测试案例的描述方式,同时依据SRS判定表得到测试案例的完备性衡量依据,最终通过对比验证得出测试案例的完备性验证结果。(3)在对上述方法进行详细设计的过程中,为了实现模型转换,设计了Event-B模型的改写、映射规则；为了明确SRS和测试案例的对应关系,提出了利用SRS因果图模型内事件对测试案例进行建模的方法,并相应设计了基于SRS判定表的测试充分性准则和覆盖域；根据测试案例判定表和覆盖域,设计了测试案例完备性的对比验证流程,使验证结果便于工作人员的使用。(4)在设计上述测试案例完备性验证方法的基础上,结合Rodin建模平台设计并开发了CTCS-3级列控系统测试案例完备性的自动验证工具。利用车载设备待机模式下的模式转换功能和RBC切换功能的相关测试案例作为实例,应用自动验证工具对其进行了完备性验证,发现了现有测试案例中可能存在的不足并提出了处理建议,验证了本文方法和工具的有效性。(本文来源于《北京交通大学》期刊2016-01-13）
李彬,吴云,李征航[4]（2015）在《GNSS接收机自主完备性监测高级算法的有效性验证》一文中研究指出针对RAIM的高级算法——ARAIM,使之应用于对GNSS完备性和生命安全要求更高的领域,基于GNSS实测数据对ARAIM算法下的垂直保护水平、精度、有效监测阈值、连续性风险进行了研究,并对ARAIM算法下GNSS的可用性进行了评估。结果表明,相对于GPS系统而言,GPS/GLONASS系统下的垂直保护水平、精度、有效监测阈值、连续性风险及可用性完全满足LPV-200阶段的导航性能要求,验证了ARAIM算法在预测垂直保护水平、精度、有效监测阈值、连续性风险方面的有效性。(本文来源于《武汉大学学报(信息科学版)》期刊2015年06期）
李志淮,谭贤四,王红,姚延军[5]（2012）在《基于DM2的体系结构数据完备性验证方法》一文中研究指出为进行有效、规范的体系结构构建,现有体系结构大多采用美国国防部体系结构框架(Department of Defense architecture framework,DoDAF)作为指导,针对采用该框架构建的体系结构的数据完备性验证问题,提出了一种基于国防部体系结构框架元模型(DoDAF meta-model,DM2)的验证方法。该方法利用DM2中数据实体之间的关系,直接从DM2中提取数据的完备性规则,进而构建完备性验证矩阵,并通过验证矩阵判断体系结构数据的完备性。最后,通过一个案例进行完备性验证步骤说明和可行性分析,验证结果说明了该方法的有效性。(本文来源于《装备学院学报》期刊2012年05期）
张辉清[6]（2008）在《基于CADM的C~4ISR体系结构数据完备性验证方法研究》一文中研究指出首先分析C4ISR体系结构数据完备性验证的概念和内容,在介绍CADM和IDEF1X相关概念的基础上,利用形式化的方式详细阐述如何根据CADM实体之间的约束关系分析体系结构数据的完备性,为体系结构数据完备性验证提供了一种通用的方式,最后通过一个案例对该方法进行了演示和说明。(本文来源于《舰船电子工程》期刊2008年10期）
陆斌,张鸿庆[7]（2002）在《验证形式可积系统解的完备性的机械化算法》一文中研究指出在 Reid等人标准型概念的基础上 ,引进形式可积系统的概念 .并给出验证形式可积系统解的完备性的机械化算法 ,并用此方法证明了各向同性弹性力学方程组的胡海昌解的完备性问题 .(本文来源于《工科数学》期刊2002年01期）
完备性验证论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
通过建立CTCS-3级列控系统需求规范(SRS)因果图,并利用改进的遍历式回溯算法生成符合验证需求的SRS判定表;根据SRS判定表内的事件建立列控系统测试案例因果图,生成测试案例判定表,实现测试案例与SRS描述方式的统一;设计基于SRS判定表的测试充分性准则,并据此导出测试覆盖域;通过测试案例判定表内的事件组合与测试覆盖域元素的对比,验证列控系统测试案例的完备性。以CTCS-3级列控系统车载设备待机模式下的模式转换功能为例,运用该验证方法对现有相关测试案例进行完备性验证和结果分析。结果表明:应用该验证方法可以验证测试案例对于SRS的完备性,并能有效发现测试案例中可能存在的不足。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
完备性验证论文参考文献
[1].林慧,蒋武,熊熙,李元祝,黄志荣.Verifier提高验证完备性[J].电子技术应用.2016
[2].穆建成,辛未,马连川,曹源.基于因果图法的CTCS-3级列控系统测试案例完备性验证方法[J].中国铁道科学.2016
[3].辛未.CTCS-3级测试案例完备性的自动验证[D].北京交通大学.2016
[4].李彬,吴云,李征航.GNSS接收机自主完备性监测高级算法的有效性验证[J].武汉大学学报(信息科学版).2015
[5].李志淮,谭贤四,王红,姚延军.基于DM2的体系结构数据完备性验证方法[J].装备学院学报.2012
[6].张辉清.基于CADM的C~4ISR体系结构数据完备性验证方法研究[J].舰船电子工程.2008
[7].陆斌,张鸿庆.验证形式可积系统解的完备性的机械化算法[J].工科数学.2002