-
在结果中检索

检索结果分析

结果分析中...
检索条件："关键词=协议建模 "
共 条 记 录，以下是1-8

发文量、被引量趋势图

全选清除导出
参考文献引证文献引用追踪
视图：
排序：
显示条数：
基于行为树的协议建模方法及其应用研究被引量：2
《计算机应用研究》2014年第9期2696-2699,2710,共5页熊海军 朱永利 赵建利 毕建刚 王德文 
国家自然科学基金资助项目(61074078);中央高校基本科研业务费专项资金(2014MS126);国家电网公司科技项目(GY17201200047)
为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试...
关键词：行为树 协议建模 测试序列 协议验证 通信顺序进程 
基于关键字段的物联网表协议状态机构建方法
《计量与测试技术》2025年第2期68-71,共4页徐佳立 
为了获取物联网表通信协议的协议规范,本文提出一种基于关键字段的协议状态机推断方法,并以协议命令码字段作为状态相关字段。通过捕获物联网表协议原始数据,获取关键字段,并构建三个步骤,最终生成物联网表协议状态机。实验表明:与EDSM...
关键词：物联网表协议 有限状态机 协议推断 协议建模 
层次可靠多播的差错恢复实时性分析
《电子学报》2001年第12期1723-1725,共3页马钰璐 王重钢 程时端 
本文通过建立层次可靠多播的抽象网络模型 ,以及引入等价概率链路的概念和方法 ,对层次可靠多播差错恢复的实时性进行了分析 .建立模型的目的一是为了分析一个特定层次多播树的实时性能 。
关键词：可靠多播 实时性分析 协议建模 通信网 IP网 
TC9012协议建模实现
《电子技术与软件工程》2016年第6期33-33,共1页聂玉庆 许悦 
本文研究TC9012通信协议建模实现。通过深入理解TC9012编码协议,仔细分析一帧完整数据,对一帧数据里每一部分信息参数化,使得该模型复用性更好,适用于常用串行协议对脉冲频率、位置和宽度调制模式。
关键词：TC9012通信协议 协议建模 SYSTEM VERILOG 
甚高频数据链模式2网络仿真分析被引量：8
《系统仿真学报》2006年第3期638-642,共5页王晓琳 张学军 贾旭光 
航空科学基金(02F51070)
深入分析了我国下一代的航空子网络之一--甚高频数据链模式2(VeryHighFrequencyDataLinkMode2)的下三层通信协议,使用网络仿真工具OPNETModeler,建立详细协议模型并搭建仿真平台,基于不同的飞机数量与报文特性,分析了网络吞吐量及端到...
关键词：甚高频数据链模式2 OPNET 航空网络 协议建模 网络吞吐量 网络延迟 
按空间网络中基于身份的TLS协议设计与仿真被引量：3
《计算机工程与设计》2013年第7期2517-2521,共5页张宇飞 苏锦海 张传富 
传输层安全(TLS)协议存在着握手时延大,交互次数多,计算开销大等缺点,不能够适合空间网络的传输特点。在对基于身份的加密机制和TLS协议进行分析的基础上,设计了一种面向空间网络的基于身份的TLS协议,进行了安全性分析。基于OPNET建立...
关键词：空间网络 基于身份加密 传输层安全协议 协议建模 OPNET仿真 
新型实时工业以太网MAC协议的设计与实现
《计算机工程与应用》2006年第17期15-18,34,共5页尹汝泼 蔡云泽 何星 张卫东 
国家863高技术研究发展计划资助项目(编号:2002AA412010-08);国家自然科学基金资助项目(编号:60474031)
论文介绍了一种基于载波长度的信令传播机制,根据信元的包长建立优先级,新型的实时以太网介质访问控制协议通过引入信道阻塞模式,在标准以太网信道上为硬实时信息提供具有上限的传输时延保证。在OPNET仿真环境下,详细描述了用离散时间...
关键词：工业以太网 介质访问控制 协议建模 
基于ESTELLE的网络协议建模方法被引量：2
《电子学报》2007年第4期743-746,共4页李国庆 安建平 杨杰 
协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C...
关键词：协议建模 形式描述 有限状态机 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部