协议描述相关论文
船舶网络数据检测分析系统是用于实时记录船舶装备运行情况和目标指示情况,还可以对各探测器、装备进行精度分析,指导装备的改进和......
一直以来，协议一致性测试是网络协议工程学中研究的热点。如何描述协议，并根据协议描述生成测试用例，是协议一致性测试领域中的关键问......
本文根据通信协议IEEE802.16d协议描述了Wimax系统的物理层原理,并使用编程实现了其符合协议标准的发射系统,通过Matlab和C仿真可......
Petri网和Estelle是国际上流行的两种描述通信协议的形式技术。基本Petri网及其衍生变种具有图形的直观表示和数学的分析方法,在协......
对网络安全协议进行形式化描述和正确性验证有助于消除协议的设计缺陷，发现协议的不精确性.本文将使用具有强数学基础和强分析能力......
移动IPv6协议是一种庞大的分布式协议，这为协议描述和测试生成带来了困难．提出分层次描述协议的思想，定义了描述协议的有限状态机和多......
介绍了基于描述PCI（pevipheral component interconnect）总线协议的、开放式微机原理与接口实验系统的设计要点,给出了设计思路,介绍......
Objective: To describe a protocol for recording electrical potentials from the scala media, saccule, and utricle in mice......
越来越多的数据通信协议中出现了选项和长度不固定的报文,给报文描述和自动解析带来困难。分析了硬编码报文解析方式的特点和存在......
网络协议的形式化模型是协议分析和设计的核心技术之一。论文在简要分析当前的几种常用网络协议形式化模型之后。指出时序逻辑作为......
提出一种基于特征关键字的多协议数据流转换方法,分析基于特征关键字的数据帧格式描述方法,通过将通信协议数据帧格式的描述与数据......
针对面向信号的测试语言ATLAS2000和面向协议的测试语言TTCN-3的缺陷,设计一种可应用于嵌入式系统软件测试的测试描述语言RASL。详......
