导读:本文包含了协议时序论文开题报告文献综述及选题提纲参考文献，主要关键词:绝对式光栅尺,EnDat协议,海德汉,西门子SMC20
协议时序论文文献综述
蔺春波,吴宏圣,乔栋,张雪鹏[1]（2016）在《基于FPGA的EnDat协议时序研究》一文中研究指出国内对EnDat协议的研究局限于读取编码器的位置信息,对没有研究编码器寄存器,而这些寄存器提供了编码器在运行过程中的重要参数,本文针对这一缺陷研究了EnDat协议的寄存器读取时序。根据EnDat通讯协议手册,设计了能够访问海德汉LC183绝对式光栅尺内部寄存器的接口电路;通过测试和分析西门子SMC20协议转接盒与海德汉LC183绝对式光栅尺之间的通讯时序,在FPGA上编程实现了寄存器访问时序。实验测试证明,设计的接口电路能够按照测试的时序正确访问LC183的内部寄存器。(本文来源于《电子测量技术》期刊2016年03期）
刘照洋,龙士工[2]（2015）在《基于行为时序逻辑TLA的Pastry协议的规约与验证》一文中研究指出本文研究基于行为时序逻辑TLA的模型检测技术,阐述TLA的语义、语法和公平性问题。用基于TLA的系统描述语言TLA+对Pastry协议及其属性进行规约并用模型检测工具TLC对其进行验证。(本文来源于《贵州大学学报(自然科学版)》期刊2015年06期）
[3]（2015）在《是德科技推出业界首款存储器一致性测试解决方案 软件可以帮助工程师使用逻辑分析仪调试协议与时序违规》一文中研究指出是德科技公司日前宣布推出B4661A存储器分析软件,一款全新的软件包,可与是德科技逻辑分析仪搭配使用。在DDR4、LPDDR4总线速度发生变化时,Keysight B4661A存储器分析软件提供业内独有的功能及一致性违规测试能力。这款B4661A存储器分析软件具有一个性能分析选件,提供了功能强大的波形预览和导航特(本文来源于《电子测量与仪器学报》期刊2015年08期）
[4]（2015）在《是德科技推出存储器一致性测试解决方案 软件可以帮助工程师使用逻辑分析仪调试协议与时序违规》一文中研究指出2015年8月20日,是德科技公司(NYSE:KEYS)宣布推出B4661A存储器分析软件,一款全新的软件包,可与是德科技逻辑分析仪搭配使用。在DDR4、LPDDR4总线速度发生变化时,Keysight B4661A存储器分析软件提供业内独有的功能及一致性违规测试能力。这款B4661A存储器分析软件具有一个性能分析选件,提供了功能强大的波形预览和导航特性。除此之外还提供(本文来源于《国外电子测量技术》期刊2015年08期）
刘照洋[5]（2015）在《基于行为时序逻辑TLA的网络协议的描述与验证》一文中研究指出形式化验证方法(Formal Verification Method)是对软硬件系统进行分析和验证一种有效的方式。而模型检测(Model Checking)技术是其中一种很重要的有限状态系统自动验证技术,因其简洁和自动化程度高的特征而备受关注。它主要用于分析验证安全认证协议、通信协议、硬件检测、控制系统等方面。模型检测(Model Checking)是一种近年来比较流行的形式化验证方法。目前有基于一阶逻辑、高阶逻辑、时态逻辑、自动机、状态机等模型检测技术。行为时序逻辑TLA(Temporal Logic of Actions)是由Leslie Lamport提出的一种新的逻辑,行为时序逻辑可以在一个程序中同时表达系统模型及系统属性,使得系统形式化更为有效。目前,基于行为时序逻辑的模型检测技术也是模型检测的主流技术之一。它通过公式的形式在一种逻辑下同时表达系统模型与属性。同时它具有自己的时序规约描述语言TLA+和对应的模型检测工具TLC方便对用TLA+描述的并发系统模型进行检测。因此,这种模型检测技术具有重要的研究和利用价值。本文深入研究了模型检测技术、自动机理论和行为时序逻辑TLA,行为时序逻辑的语言TLA+以及它的验证工具TLC的结构及使用方法.在详细介绍网络协议Pastry及其工作原理的基础上,用TLA+对Pastry协议进行了分析建模同时用TLC进行了验证分析,所作的主要工作与创新之处如下:(1)深入研究行为时序逻辑TLA,及其形式化语言TLA+,自动验证工具TLC;(2)选取网络协议pastry,并对其原理及其行为进行了详细研究,分析了Join工作机制。(3)用TLA+语言对pastry协议进行建模及规约描述,通过TLC模型检测工具对规约的系统进行验证。(本文来源于《贵州大学》期刊2015-06-01）
黄佳[6]（2012）在《基于行为时序逻辑的安全协议研究》一文中研究指出随着计算机网络的不断发展,全球信息化已经成为社会发展的必然趋势。在网络的应用和服务中,信息安全是至关重要的环节。而安全协议是保障信息安全最基本内容之一,已广泛应用在计算机通信网和分布系统中。这样,高效准确的安全协议的研究是必不可少的。本文主要采用基于行为时序逻辑TLA的HLPSL语言形式化分析与检测Geopriv协议。(本文来源于《信息通信》期刊2012年04期）
白圣广,龙士工[7]（2012）在《基于行为时序逻辑TLA的安全协议形式化分析与检测》一文中研究指出随着近年来网络协议的不安全性,对安全协议进行形式化分析与检测则显的非常重要。而基于行为时序逻辑TLA的模型检测是形式化分析检测方法中重要的一种。本文主要采用基于TLA的HLPSL语言形式化分析与检测H.530协议。(本文来源于《贵州大学学报(自然科学版)》期刊2012年02期）
陶宏才[8]（2011）在《网络安全协议时序与消息结构规范化理论及方法的研究》一文中研究指出Internet的普及以及在其上各种商业交易应用(如网上购物、电子转账、电子支付等)和其他应用业务(如电子合同、电子拍卖、网上投票等)的开展,使得人们越来越关注网上应用的安全性问题。这些应用的安全性在很大程度上取决于所用安全协议的安全性,而缺乏安全性的(本文来源于《学术动态》期刊2011年04期）
王洪柱[9]（2011）在《基于子网划分和时序调度的无线传感器网络多信道MAC协议的研究》一文中研究指出无线传感器网络是由密集部署在监测区域内的大量的微型传感器节点通过无线自组织方式组成的分布式多跳网络,其目的是协作地感知、采集和处理监测区域内感知对象的信息,并报告给观察者。它作为一项新兴的数据采集技术,在军事国防、医疗卫生、环境监测、智能家居方面都获得了广泛的应用。无线传感器网络的研究热点主要集中在路由协议、MAC协议、定位技术、数据融合技术等方面。其中,无线传感器网络的MAC协议直接控制无线信道的使用方式,决定数据的收发时机,用来构建网络系统的底层基础结构,对网络的性能有很大的影响。传统的无线传感器网络MAC协议通常对能量效率进行了最多的考虑,而把带宽使用率、吞吐量等放在了次要的位置。但近来的应用,如建筑物健康状况监测等都要求网络能够快速采集大量数据,这就对网络的吞吐量指标提出了更高的要求。考虑到当前无线传感器网络节点配备的无线收发器已经支持多信道操作,本文提出了一种基于子网划分和时序调度的无线传感器网络多信道MAC协议。首先,协议按照干扰值最小的原则将整个网络划分成多个树状子网,并给每个子网分配一个不同的信道,以减小子网内干扰和子网间干扰。其次,协议在每个子网内采用基于时序调度的无线信道使用方式,给每个节点两跳范围内的所有节点分配不同的发送时隙,实现了数据包的无碰撞传输。最后,本文对提出的多信道MAC协议进行了详细的分析,并与单信道CSMA协议及多信道CSMA协议进行了比较。仿真结果表明,在合理地估计了节点密度之后,本文提出的多信道MAC协议能够获得较高的吞吐量及较低的延时,同时保证较高的能量效率。(本文来源于《山东大学》期刊2011-04-10）
杨琳琳[10]（2010）在《基于时序逻辑的安全协议验证方法的研究》一文中研究指出安全协议是以密码学为基础的协议,它在因特网和分布式系统中提供各种各样的安全服务。近年来,利用形式化方法分析安全协议正在成为一个新的趋势。本文首先在分布式时序逻辑的基础上,给出了这个逻辑中局部公式的几组等价性定理并进行了证明,并和时序逻辑中的等价性公理进行了比较。然后用分布式时序逻辑描述了IEEE802.11i协议,给出了这个协议的事件结构模型,证明了叁个主体之间的相互认证性。其次在分布式时序逻辑的基础上,增加了存在量词和全称量词,提出了分布式计算树时序逻辑。给出了分布式计算树时序逻辑的状态公式和路径公式的定义,以及这个逻辑的语义。同时也给出了分布式计算树时序逻辑中局部状态公式的几组等价性定理,并进行了证明。最后利用本文提出的分布式计算树时序逻辑描述了多方认证电子邮件协议,给出了这个协议的事件结构模型以及一些公平性公理。在有可信第叁方参与和没有可信第叁方参与的两种情况下,证明了发送者的不可否认性和接收者的不可否认性。(本文来源于《南京航空航天大学》期刊2010-12-01）
协议时序论文开题报告
（1）论文研究背景及目的
此处内容要求：
首先简单简介论文所研究问题的基本概念和背景，再而简单明了地指出论文所要研究解决的具体问题，并提出你的论文准备的观点或解决方法。
写法范例：
本文研究基于行为时序逻辑TLA的模型检测技术,阐述TLA的语义、语法和公平性问题。用基于TLA的系统描述语言TLA+对Pastry协议及其属性进行规约并用模型检测工具TLC对其进行验证。
（2）本文研究方法
调查法：该方法是有目的、有系统的搜集有关研究对象的具体信息。
观察法：用自己的感官和辅助工具直接观察研究对象从而得到有关信息。
实验法：通过主支变革、控制研究对象来发现与确认事物间的因果关系。
文献研究法：通过调查文献来获得资料，从而全面的、正确的了解掌握研究方法。
实证研究法：依据现有的科学理论和实践的需要提出设计。
定性分析法：对研究对象进行“质”的方面的研究，这个方法需要计算的数据较少。
定量分析法：通过具体的数字，使人们对研究对象的认识进一步精确化。
跨学科研究法：运用多学科的理论、方法和成果从整体上对某一课题进行研究。
功能分析法：这是社会科学用来分析社会现象的一种方法，从某一功能出发研究多个方面的影响。
模拟法：通过创设一个与原型相似的模型来间接研究原型某种特性的一种形容方法。
协议时序论文参考文献
[1].蔺春波,吴宏圣,乔栋,张雪鹏.基于FPGA的EnDat协议时序研究[J].电子测量技术.2016
[2].刘照洋,龙士工.基于行为时序逻辑TLA的Pastry协议的规约与验证[J].贵州大学学报(自然科学版).2015
[3]..是德科技推出业界首款存储器一致性测试解决方案软件可以帮助工程师使用逻辑分析仪调试协议与时序违规[J].电子测量与仪器学报.2015
[4]..是德科技推出存储器一致性测试解决方案软件可以帮助工程师使用逻辑分析仪调试协议与时序违规[J].国外电子测量技术.2015
[5].刘照洋.基于行为时序逻辑TLA的网络协议的描述与验证[D].贵州大学.2015
[6].黄佳.基于行为时序逻辑的安全协议研究[J].信息通信.2012
[7].白圣广,龙士工.基于行为时序逻辑TLA的安全协议形式化分析与检测[J].贵州大学学报(自然科学版).2012
[8].陶宏才.网络安全协议时序与消息结构规范化理论及方法的研究[J].学术动态.2011
[9].王洪柱.基于子网划分和时序调度的无线传感器网络多信道MAC协议的研究[D].山东大学.2011
[10].杨琳琳.基于时序逻辑的安全协议验证方法的研究[D].南京航空航天大学.2010