导读:本文包含了开放验证方法学论文开题报告文献综述及选题提纲参考文献，主要关键词:开放式公用网络,用户信息,安全,传输
开放验证方法学论文文献综述
王烨[1]（2019）在《开放式公用网络用户信息传输安全性自动验证方法》一文中研究指出为了提高开放式公用网络用户信息传输安全性,提出一种基于媒介访问控制安全加密传输的开放式公用网络用户信息传输安全性自动验证方法。构建开放式公用网络用户信息传输信道模型,在IEEE 802.1X标准协议下采用密钥管理及身份鉴别方法进行开放式公用网络用户信息传输的加密设计,使用数字证书标识协议构建用户信息传输安全性自动验证模型,采用媒介访问控制安全加密传输方法实现用户信息输出的加密验证及证书鉴别。仿真结果表明,采用该方法进行开放式公用网络用户信息传输安全性能较好,安全验证可靠性较高,提高了网络用户信息的隐私保护能力。(本文来源于《自动化与仪器仪表》期刊2019年08期）
周宇,黄延凯,黄志球,吴维刚[2]（2015）在《一种开放环境下软件在线演化一致性验证方法》一文中研究指出一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.(本文来源于《软件学报》期刊2015年04期）
彭杰,王华荣[3]（2015）在《小型开放式口译语料库DIY与实用性验证方法》一文中研究指出随着国内外对语料库语言学研究的逐渐开展,翻译学与语料库语言学的融合也形成了语料库翻译的研究方向,从而使得面向学习者的翻译语料库成为了翻译学与相关教学研究的重点方向之一。然而,目前主流的大型通用语料库对于翻译学习者的针对性不够,而且价格往往较为昂贵。因此,面向学习者的小型翻译语料库可针对特定对象制定,具有较强针对性与低开发成本的优势,对于高校外语专业翻译人才的培养性价比相对较高。文章试从语料数据库框架的建立与语料库软件开发等方面简述面向学习者的小型开放式口译语料库DIY与实用性验证的方法。(本文来源于《鄂州大学学报》期刊2015年02期）
王鸿亮,郭锐锋,邵志香,郑飂默,彭健钧[4]（2013）在《一种开放式数控系统刀具运动轨迹验证方法》一文中研究指出为了更准确的仿真五轴数控机床各运动轴的运动情况,提出一种开放式数控系统刀具运动轨迹验证方法.本方法从运动控制组件中采集运动控制数据,利用五轴机床机构运动学模型,将运动控制数据转换为工件坐标系下刀具的运动轨迹,并以叁维线框方式显示.通过CNC系统与CAD系统STL模型数据的交换,实现了刀具运动轨迹与CAD设计模型的分析比较,并设计了轨迹误差计算模型,可以定量分析仿真的刀具运动轨迹.最后通过实验验证了方法的正确性.(本文来源于《小型微型计算机系统》期刊2013年07期）
王栋[5]（2013）在《开放验证方法学的应用研究》一文中研究指出随着集成电路技术的飞速发展，集成电路规模的迅速扩大，数字集成电路设计与验证工作正面临着越来越多的挑战。芯片的功能验证，在芯片的开发周期和工作量中，其占据的比例甚至超过了设计工作。因此，对验证方法的充分研究，对提高验证质量和效率有着重要意义的。论文在分析集成电路开发流程以及相应工具的基础上，讨论了功能性验证的重要性、面临的挑战和业界主流的验证方法学的发展历史沿革，阐明了验证方法学发展的重要性和必要性。对比分析了两种主流的验证手段-直接测试和随机测试，给出了覆盖率驱动的验证思路。详细分析了基于覆盖率的开放验证方法学OVM的构成、类库及OVC，基于分块验证的思想对OVC进行类型划分，以及对interface OVC的功能和作用做相应的分析，给出了OVM验证方法学中的检验方式、断言的控制方法、激励的产生和环境的例化方式。论文从可复用的角度分析讨论了OVM方法学的关键特性，基于OVM的验证平台中检测方式，以及搭建验证平台过程中的可复用、可配置性，给出了对应的解决方法，研究了OVM平台中OVC的可复用性，其纵向集成的出发点和解决方法。针对XBUS总线，搭建了OVM验证平台，给出了验证结果并给予分析。最后实现了从OVM验证方法学平台到UVM验证方法学平台的转换。本文还讨论了OVM验证方法学与UVM验证方法学的联系。对目前的验证技术的发展做了总结，并为之后的验证发展方向做了前瞻性展望。(本文来源于《西安电子科技大学》期刊2013-01-01）
开放验证方法学论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
开放验证方法学论文参考文献
[1].王烨.开放式公用网络用户信息传输安全性自动验证方法[J].自动化与仪器仪表.2019
[2].周宇,黄延凯,黄志球,吴维刚.一种开放环境下软件在线演化一致性验证方法[J].软件学报.2015
[3].彭杰,王华荣.小型开放式口译语料库DIY与实用性验证方法[J].鄂州大学学报.2015
[4].王鸿亮,郭锐锋,邵志香,郑飂默,彭健钧.一种开放式数控系统刀具运动轨迹验证方法[J].小型微型计算机系统.2013
[5].王栋.开放验证方法学的应用研究[D].西安电子科技大学.2013