导读:本文包含了开放式验证方法论文开题报告文献综述及选题提纲参考文献，主要关键词:开放式公用网络,用户信息,安全,传输
开放式验证方法论文文献综述
王烨[1]（2019）在《开放式公用网络用户信息传输安全性自动验证方法》一文中研究指出为了提高开放式公用网络用户信息传输安全性,提出一种基于媒介访问控制安全加密传输的开放式公用网络用户信息传输安全性自动验证方法。构建开放式公用网络用户信息传输信道模型,在IEEE 802.1X标准协议下采用密钥管理及身份鉴别方法进行开放式公用网络用户信息传输的加密设计,使用数字证书标识协议构建用户信息传输安全性自动验证模型,采用媒介访问控制安全加密传输方法实现用户信息输出的加密验证及证书鉴别。仿真结果表明,采用该方法进行开放式公用网络用户信息传输安全性能较好,安全验证可靠性较高,提高了网络用户信息的隐私保护能力。(本文来源于《自动化与仪器仪表》期刊2019年08期）
盘峻岚,Emma,Marsden[2]（2017）在《促进二语研究的开放与验证——IRIS研究方法资源库简介》一文中研究指出IRIS(Instruments for Research into Second Languages)是储存二语实证研数据、工具等材料的免费在线数字资源库(http://www.iris-database.org)。它于2012年1月建成投入使用,截止本文完成时(2017年1月),共有2,550个文件、集合成933套研究工具入库,累计超过30,500次访问量,15,600次下载量,回应了二语研究学界对增加研究方法透明度、促进验证性研究发展和研究数据开放的需求。本文着重介绍IRIS的建设理念、内容构成和使用情况,探讨它对当今二语研究方法的影响、未来发展方向和面临的挑战,并讨论它对我国二语研究方法发展提供的参考借鉴。(本文来源于《《第二语言学习研究》2017年第2期》期刊2017-12-01）
陆骏[3]（2016）在《中国药典|沃特世联合开放实验室“药品质量标准分析方法验证”开放日圆满举行》一文中研究指出2016年4月25日,沃特世公司(Waters)与国家药典委员会合作创立的中国药典|沃特世联合开放实验室(以下简称"联合开放实验室")于北京成功举办了"药品质量标准分析方法验证"开放日活动。此次活动特邀2015版药典"9101药品质量标准分析方法验证指导原则"章节编写负责人李清教授、国家药典委员会王旭主任药师以及北京市药品检验所资深专家高青主任药师担任嘉宾,吸引了来自政府相关机构、科研院所和制药企业的众多相关人员及科研项目负责人。(本文来源于《精细与专用化学品》期刊2016年05期）
周宇,黄延凯,黄志球,吴维刚[4]（2015）在《一种开放环境下软件在线演化一致性验证方法》一文中研究指出一致性保障技术是开放环境下软件在线演化研究的热点问题.区别于传统的基于图文法或基于体系结构描述语言(architectural description language,简称ADL)对结构演化进行分析的途径,提出一种从行为角度采用层次式时间自动机对软件在线演化进行分析的方法,可支持对软件的时间属性、层次特征等直接建模.提出了层次平展化算法,将层次模型等价地转化为若干并行时间自动机模型,从而可应用现有模型检测工具针对演化规约进行一致性验证,并通过实验验证了所提方法的有效性.(本文来源于《软件学报》期刊2015年04期）
彭杰,王华荣[5]（2015）在《小型开放式口译语料库DIY与实用性验证方法》一文中研究指出随着国内外对语料库语言学研究的逐渐开展,翻译学与语料库语言学的融合也形成了语料库翻译的研究方向,从而使得面向学习者的翻译语料库成为了翻译学与相关教学研究的重点方向之一。然而,目前主流的大型通用语料库对于翻译学习者的针对性不够,而且价格往往较为昂贵。因此,面向学习者的小型翻译语料库可针对特定对象制定,具有较强针对性与低开发成本的优势,对于高校外语专业翻译人才的培养性价比相对较高。文章试从语料数据库框架的建立与语料库软件开发等方面简述面向学习者的小型开放式口译语料库DIY与实用性验证的方法。(本文来源于《鄂州大学学报》期刊2015年02期）
王鸿亮,郭锐锋,邵志香,郑飂默,彭健钧[6]（2013）在《一种开放式数控系统刀具运动轨迹验证方法》一文中研究指出为了更准确的仿真五轴数控机床各运动轴的运动情况,提出一种开放式数控系统刀具运动轨迹验证方法.本方法从运动控制组件中采集运动控制数据,利用五轴机床机构运动学模型,将运动控制数据转换为工件坐标系下刀具的运动轨迹,并以叁维线框方式显示.通过CNC系统与CAD系统STL模型数据的交换,实现了刀具运动轨迹与CAD设计模型的分析比较,并设计了轨迹误差计算模型,可以定量分析仿真的刀具运动轨迹.最后通过实验验证了方法的正确性.(本文来源于《小型微型计算机系统》期刊2013年07期）
王栋[7]（2013）在《开放验证方法学的应用研究》一文中研究指出随着集成电路技术的飞速发展，集成电路规模的迅速扩大，数字集成电路设计与验证工作正面临着越来越多的挑战。芯片的功能验证，在芯片的开发周期和工作量中，其占据的比例甚至超过了设计工作。因此，对验证方法的充分研究，对提高验证质量和效率有着重要意义的。论文在分析集成电路开发流程以及相应工具的基础上，讨论了功能性验证的重要性、面临的挑战和业界主流的验证方法学的发展历史沿革，阐明了验证方法学发展的重要性和必要性。对比分析了两种主流的验证手段-直接测试和随机测试，给出了覆盖率驱动的验证思路。详细分析了基于覆盖率的开放验证方法学OVM的构成、类库及OVC，基于分块验证的思想对OVC进行类型划分，以及对interface OVC的功能和作用做相应的分析，给出了OVM验证方法学中的检验方式、断言的控制方法、激励的产生和环境的例化方式。论文从可复用的角度分析讨论了OVM方法学的关键特性，基于OVM的验证平台中检测方式，以及搭建验证平台过程中的可复用、可配置性，给出了对应的解决方法，研究了OVM平台中OVC的可复用性，其纵向集成的出发点和解决方法。针对XBUS总线，搭建了OVM验证平台，给出了验证结果并给予分析。最后实现了从OVM验证方法学平台到UVM验证方法学平台的转换。本文还讨论了OVM验证方法学与UVM验证方法学的联系。对目前的验证技术的发展做了总结，并为之后的验证发展方向做了前瞻性展望。(本文来源于《西安电子科技大学》期刊2013-01-01）
黄水清,程冲,李志燕[8]（2008）在《开放式非相关文献知识发现方法在中文文献中的验证》一文中研究指出以中国期刊网医药卫生大类的数据为测试集,根据Swanson基于非相关文献的知识发现方法中的开放式知识发现算法,自行编写了相关软件,在中文科技文献中重现了"偏头痛/镁"这对概念的知识发现过程,验证了该方法在中文文献中同样可行。(本文来源于《情报理论与实践》期刊2008年02期）
开放式验证方法论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
IRIS(Instruments for Research into Second Languages)是储存二语实证研数据、工具等材料的免费在线数字资源库(http://www.iris-database.org)。它于2012年1月建成投入使用,截止本文完成时(2017年1月),共有2,550个文件、集合成933套研究工具入库,累计超过30,500次访问量,15,600次下载量,回应了二语研究学界对增加研究方法透明度、促进验证性研究发展和研究数据开放的需求。本文着重介绍IRIS的建设理念、内容构成和使用情况,探讨它对当今二语研究方法的影响、未来发展方向和面临的挑战,并讨论它对我国二语研究方法发展提供的参考借鉴。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
开放式验证方法论文参考文献
[1].王烨.开放式公用网络用户信息传输安全性自动验证方法[J].自动化与仪器仪表.2019
[2].盘峻岚,Emma,Marsden.促进二语研究的开放与验证——IRIS研究方法资源库简介[C].《第二语言学习研究》2017年第2期.2017
[3].陆骏.中国药典|沃特世联合开放实验室“药品质量标准分析方法验证”开放日圆满举行[J].精细与专用化学品.2016
[4].周宇,黄延凯,黄志球,吴维刚.一种开放环境下软件在线演化一致性验证方法[J].软件学报.2015
[5].彭杰,王华荣.小型开放式口译语料库DIY与实用性验证方法[J].鄂州大学学报.2015
[6].王鸿亮,郭锐锋,邵志香,郑飂默,彭健钧.一种开放式数控系统刀具运动轨迹验证方法[J].小型微型计算机系统.2013
[7].王栋.开放验证方法学的应用研究[D].西安电子科技大学.2013
[8].黄水清,程冲,李志燕.开放式非相关文献知识发现方法在中文文献中的验证[J].情报理论与实践.2008