协议描述相关论文
最新发达的 CRISPR (定期聚类短 Palindromic 重复的 Interspaced )/Cas (联系 CRISPR ) 系统作为一个有效工具出现了为编辑染色体......
针对环境监测的应用场景,在传统无线传感器路由算法的基础上,提出了一种基于负载均衡的平面多路径路由算法FMR。为了使无线传感器......
船舶网络数据检测分析系统是用于实时记录船舶装备运行情况和目标指示情况,还可以对各探测器、装备进行精度分析,指导装备的改进和......
一直以来，协议一致性测试是网络协议工程学中研究的热点。如何描述协议，并根据协议描述生成测试用例，是协议一致性测试领域中的关键问......
从大量的分析可知，ＣＳＭＡ／ＣＤ在网络负载较轻时，能获得较好的通信效率，而ＴｏｋｅｎＰａｓｓｉｎｇＢｕｓ在网络负载较重时能保证较高的通信效率及实时响应能力。因此本文提出了......
初步论述了计算机通信网络协议自动监视与分析的概念、方法和意义，着重叙述了一种专门设计的、能精确描述各类通信协议ＰＤＵ结构及其时序......
本文以基于Ｐｅｔｒｉ网的协议工程工作站为研究目标，阐述协议工程工作站的基本功能，简介ＥＰｒ／ＴＮ网系统，着重探讨作者实现的协议描述分析辅助工具ＰＥＳＡＴ的功能......
协议是计算机网络的命脉 ,协议复杂性的提高导致了协议工程学科的出现 .该文首先分析了协议工程各项活动的内容、方法和相互关系 ,......
描述了SSL协议的工作流程,介绍了在不同的网络环境中,利用SSL构建安全数据通道的方法及相应的实现手段。
Describes the work flo......
基于有效竞争预约接入、无冲突轮询传输的思想 ,提出了支持节点移动性和多跳网络结构的UPMA(Us er dependentPerfect schedulingMu......
OBEX协议是一个简洁、灵活的通信协议,被广泛用于智能设备间的通信,它包括对象模型和会话协议两部分。对象模型采用一系列的对象头......
利用Coron、Naccache等人提出的加密签名通用的RSA填充方案对Kerberos认讧协议进行改进。对改进后的协议，用BAN逻辑验证其满足Kerbe......
随着CAN总线技术在汽车电子领域得到越来越广泛的应用,协议的一致规范表述变得日益重要。通过建立对于CAN应用层协议的描述模型,能......
针对Ｎｏ．７公共信道信令ＩＳＵＰ（ＩＳＤＮＵＳＥＲＰＡＲＴ）协议的特点，分析了利用传统的分布式测试方法实现ＩＳＵＰ一致性测试系统的困难，并借用渡船测试方法（ＦｅｒｒｙＴｅｓｔＭｅｔｈｏｄ）的思想提出了一种ＩＳＵＰ协议一......
协议描述的形式化是协议研究和发展的趋势．本文在简单回顾协议描述的内容和目的之后，着重总结了两个国际性的标准组织ISO和CCITT在协......
本文在简单描述协议一致性测试基本概念的基础上，阐述了ＩＳＵＰ协议一致性测试的理论和方法。详细介绍了已经研制成功的ＩＳＵＰ协议一致性测试系统......
分析了安全套接字层(SSL)协议(3.0)密钥管理的安全性,提出了一种实现SSL协议的密钥管理方案——自动化密钥管理方案,指出了此安全......
本文描述并分析了一种适用于多信道ＶＳＡＴ卫星数据通信网的报文传输协议，特别是考虑了无线信道误码率对传输协议的影响，分析表明利用Ｓ－ＲＥ－ＡＬＯＨＡ作为预......
为了顺应信息产业的要求，ＴＭＮ 技术必须拓宽其功能以支持分布式的管理。文章从ＴＭＮ的结构、功能需求、信息模型、协议特性和对协议描述等方......
协议测试技术是保证ＡＴＭ产品互连通的重要手段。该文首先分析了ＡＴＭ协议测试的测试内容和测试需求。基于这些分析，提出了适合于ＡＴＭ协议的测试结......
在WCDMA系统中，为了使rrrrrrrrn得来自不同厂家的设备能够rrrrrrrrn成功地进行通信，必须有标rrrrrrrrn准化的协议，但是实现者对rrrrrr......
本文描述了以太网CSMA/CD环境下的一种冲突分解机制,提出了采用这种机制的一种协议—EnetⅡ,它拟作为第二代以太网的竞选者。该协......
介绍了MODBUS串行链路协议的协议描述和通信时的状态转换过程,分析了MODBUS串行链路协议数据链路层驱动模块的实现过程和硬件需求,......
发送伪造路况消息的内部不端节点攻击是车载自组织网络(VANET)中的重要安全问题,而VANET中节点的隐私保护需求给解决这一问题带来......
本文在WCDMA空中接口测量数据的基础上研究了无线接入网Uu,Iub,Iu接口无线网络层控制平面协议信令消息的描述与编解码方法.对不同......
本文根据通信协议IEEE802.16d协议描述了Wimax系统的物理层原理,并使用编程实现了其符合协议标准的发射系统,通过Matlab和C仿真可......
提出了将形式化方法引入分布式测控系统的观点 ,使测控人拥有一套规范的协议设计、验证、实现、测试的方法 ,使开发者尽可能早地获......
该文论述了现场通信协议描述的原理及组成，并着重分析了时间Petri网的改进思路和实现方法。该方法已经在上海朗讯科技光纤有限公司......
仿真实验评估IEEE 1588精密时钟同步协议(PTP)在无线传感器网络环境下的同步性能,对开展真实环境下的开发和应用具有较强的现实意......
保证信息交换中的公平性和安全性是多方不可否认协议的重要任务。文章对基于双重组加密的多方不可否认(DGKMNP)协议进行分析研究,......
针对能耗计量仪表通信协议多标准并存的问题,分析了常用协议的特征,依据程序与数据分离的原则,提出应用三层树形结构来表示协议。......
Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协......
对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷，发现协议的不精确性.本文将使用具有强数学基础和强分析能力......
移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多......
德国生物塑料混配生产商FkuR Kunststoff公司将基于Braskem公司的生物基绿色聚乙烯生产复合材料供应欧洲市场。2011年9月15日宣布......
介绍了基于描述PCI（pevipheral component interconnect）总线协议的、开放式微机原理与接口实验系统的设计要点,给出了设计思路,介绍......
尽管我们天天在网上冲浪,下软件、聊QQ、发邮件、看电影,忙得不亦乐乎,但是你知道网络是如何工作的吗?很多朋友可能只是一知半解,......
本文提出了用一种新的基于要求时态逻辑对协议进行描述和验证,并给出了协议满足安全性和活性的充要条件。这种描述方法的优点在于......
Objective: To describe a protocol for recording electrical potentials from the scala media, saccule, and utricle in mice......
介绍了一种开放式多功能微机原理与接口实验系统，分析了设计需求，介绍了系统组成、实验安排和应用情况，并从技术角度分析了此项设计的......
随着计算机网络技术的发展,异构网络的集成研究越显重要.本文就是严格按照协议工程的观点,将EPr/TN网系统作为形式化描述工具,在对......
越来越多的数据通信协议中出现了选项和长度不固定的报文,给报文描述和自动解析带来困难。分析了硬编码报文解析方式的特点和存在......
本文讨论的ＣＣＳ在协议描述与验证方面的应用技术和两个案例分析表明，通讯系统演算ＣＣＳ在协议描述、协议验证等方面有巨大应用潜力。......
