协议、建模

本专辑为您列举一些协议、建模方面的下载的内容,协议、建模等资源。把最新最全的协议、建模推荐给您,让您轻松找到相关应用信息,并提供协议、建模下载等功能。本站致力于为用户提供更好的下载体验，如未能找到协议、建模相关内容，可进行网站注册，如有最新协议、建模相关资源信息会推送给您。

阅读全文

协议、建模

: 能量收集无线传感器网络的CSMA / CA协议建模和分析能量收集无线传感器网络的CSMA / CA协议建模和分析
评级：0 浏览量：60 收藏量：0 资源大小：615KB 上传时间：2021-03-14

: 论文研究-基于分层EFSM的OpenFlow协议建模 .pdf 基于分层EFSM的OpenFlow协议建模，章志豪，张先恩，OpenFlow协议作为软件定义网络（SDN）目前事实的南向标准协议之一，受到了越来越多的研究者的关注。在本文中，针对OpenFlow协议建模，��
评级：0 浏览量：111 收藏量：0 资源大小：461KB 上传时间：2019-08-20

: 论文研究-网络控制论系统的协议建模研究.pdf 介绍了网络控制论系统的相关概念，描述了网络控制论系统的结构和行为层面，分析了网络控制论系统中协议的...基于有限状态机FSM模型，用OPNET进行了协议建模的实例分析，为网络控制论系统的协议建模分析提供了新的途径。
评级：0 浏览量：67 收藏量：0 资源大小：128KB 上传时间：2019-07-22

: 基于随机时间自动机和统计模型检验技术的无线传感网络协议建模与分析针对以上问题,本文提出了一种基于随机时间自动机和统计模型检验技术的WSN协议建模、分析和评估途径.在建模阶段,首先将采用时间自动机对协议在理想环境下的基本业务流程进行建模.考虑到WSN系统实际工作中会遇到的各种...
评级：0 浏览量：95 收藏量：0 资源大小：1.87MB 上传时间：2021-02-08

: 论文研究-基于行为树的协议建模方法及其应用研究.pdf 为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题，提出了一种基于行为树（BT）的协议描述新方法。采用行为树模型对协议的控制流程进行建模，提出了基于行为树描述的协议验证方法，并给...
评级：0 浏览量：127 收藏量：0 资源大小：1.03MB 上传时间：2019-07-22

: SPIN在无线网络安全认证协议建模中的应用为确保无线网络安全认证,应用模型检查工具SPIN对EAP-TLS认证协议进行建模,根据SPIN给出攻击轨迹,指出EAP-TLS可能存在双向认证失败的安全隐患,从抵抗攻击和协议改进提出了基于隧道的认证方法。使用SPIN PROMELA语言对...
评级：0 浏览量：147 收藏量：0 资源大小：514KB 上传时间：2020-07-06

: 论文研究-一种基于CIPN的网络协议建模方法.pdf 基于Petri网的网络协议建模技术需要更有效地与现有通用网络协议仿真技术协同工作，结合CPN和IPN，提出了一种新的Petri网派生类CIPN用于网络协议的建模和形式化分析，突出了协议的离散事件系统特性。给出了CIPN的定义...
评级：0 浏览量：109 收藏量：0 资源大小：526KB 上传时间：2019-07-22

: 一种航空自组网中带查分服务的跳频MAC协议建模.zip 文献学习
评级：0 浏览量：15 收藏量：0 资源大小：355KB 上传时间：2023-08-02

: 论文研究-基于Petri网的Socks协议建模与分析.pdf 论述基于Petri网的Socks协议分析，通过对Socks协议的分解，给出了Socks协议各阶段的流程，并建立相应的Petri网模型，从而完成对Socks协议运行机制和实现原理的分析。
评级：0 浏览量：100 收藏量：0 资源大小：305KB 上传时间：2019-07-22

: 基于Horn扩展逻辑的非否认协议建模与验证 (2012年) 使用Horn逻辑扩展模型的逻辑规则描述非否认协议中消息的传输过程，并基于 Horn逻辑扩展模型对协议的非否认性、公平性进行了建模，同时对参与协议的诚实主体、恶意主体、仲裁进行了建模，提出了针对非否认协议的验证...
评级：0 浏览量：29 收藏量：0 资源大小：1.25MB 上传时间：2021-05-09

: 网络游戏-基于端到端网络的多径传输协议建模与研究.zip 网络游戏-基于端到端网络的多径传输协议建模与研究.zip
评级：0 浏览量：29 收藏量：0 资源大小：10.86MB 上传时间：2021-09-19

: 基于随机着色Petri网的RUDP协议建模与分析 (2009年) 鉴于运输层传输协议TCP的低效率和UDP的不可靠性，文章提出了一种新型的多帧无线传输RUDP协议，同时引入了广义随机着色Peti网（GSCPN），并利用GSCPN对本RUDP进行了建模和分析，为以后更好地研究RUDP协议提供了模型...
评级：0 浏览量：42 收藏量：0 资源大小：203KB 上传时间：2021-05-15

: 论文研究-基于稳定路径的可靠数据传输协议建模研究.pdf 分析了基于稳定路径的数据传输方式，发现如果采用传统的可靠数据传输协议存在效率低下的问题，提出了一种...采用CPN(coloured Petri net) tools对协议进行了建模分析。状态空间结果表明，该协议是可靠、可行和完备的。
评级：0 浏览量：78 收藏量：0 资源大小：182KB 上传时间：2019-07-22

: CPNTOOLS的网络协议建模与仿真技术研究 CPNTOOLS的网络协议建模与仿真技术研究
评级：0 浏览量：130 收藏量：1 资源大小：230KB 上传时间：2012-02-22

: BACnet协议中文版本协议将每个楼宇自动控制系统计算机建模成为一些数据结构的集合，并且称这些数据结构为对象。对象的各个属性代表了这个设备硬件、软件以及操作的各个方面。这些对象提供了一种不需了解设备的内部设计或配置细节，而...
评级：0 浏览量：795 收藏量：4 资源大小：16.98MB 上传时间：2022-07-14

: paml:协议活动建模语言协议活动建模语言安装 pip3 install paml 原料药要在客户端应用程序中使用PAML，请转到项目存储库的根目录： import paml API遵循与相同的约定。建筑文件在命令行中运行以下命令将为PAML数据模型生成UML图。 ...
评级：0 浏览量：60 收藏量：0 资源大小：59KB 上传时间：2021-04-12

: 协议形式描述语言主要是协议形式描述语言，主要讲的是XPDL概述以及他的一些分类，可以详细了解此描述语言的功能和作用
评级：4 浏览量：93 收藏量：0 资源大小：1.03MB 上传时间：2014-11-05

: 对TCP协议的Petri网建模好东西希望大家好好的用大幅度佛得角福建队卡发反对法大反对法大幅度
评级：4 浏览量：88 收藏量：1 资源大小：87KB 上传时间：2009-03-15

: 现场总线协议的建模与仿真本文意义在于用形式化的方法描述三种总线协议，使协议易于理解，状态机模型的仿真动态展示总线系统的通信行为，并为总线控制系统的通信研究提供一个仿真平台。
评级：5 浏览量：126 收藏量：1 资源大小：4.66MB 上传时间：2009-03-16

: 2023华为杯研究生数学建模优秀参考论文（优秀论文参考2004-2022年）该论文主要介绍了数学建模在计算机网络中的应用，包括网络协议设计、网络优化和网络安全等方面。 2016年优秀论文链接：链接：https://pan.baidu.com/s/1NU2mXOLRCChh8ZiIABvngw提取码：cgip 该论文主要介绍了数学...
评级：0 浏览量：310 收藏量：1 资源大小：242KB 上传时间：2023-09-26

: 基于无线HART协议的数据链路层协议模型设计无线HART是一种专门为过程控制领域而设计的网络通信协议，是HART现场总线在无线领域的延伸，其通信模型主要由应用层、网络层、数据链路层、物理层组成。其中数据链路层在物理层提供服务的基础上向网络层提供服务，其...
评级：0 浏览量：178 收藏量：0 资源大小：96KB 上传时间：2020-07-29

: ROHC协议分析与建模 ROHC协议分析与建模对ROHC分析很透彻的一篇文章
评级：4 浏览量：132 收藏量：1 资源大小：250KB 上传时间：2011-09-17

: 基于CPN 的RUDP 建模与分析 (2012年) 针对该问题，运用着色Petri 网(CPN)对RUDP 进行形式化建模，使用CPN Tools 对模型进行仿真，通过生成的状态空间报告验证该协议模型的信息一致性、完整性和系统活性等性质。采用3 次不同的实验对模型进行性能分析，...
评级：0 浏览量：77 收藏量：0 资源大小：277KB 上传时间：2021-05-22

: RBC切换协议的建模和验证 RBC切换协议的建模和验证
评级：0 浏览量：50 收藏量：0 资源大小：1.25MB 上传时间：2021-02-25

: 论文研究-基于SMV的滑动窗口协议的形式化建模与分析 .pdf 基于SMV的滑动窗口协议的形式化建模与分析，赵也非，杨宗源，本文采用模型检测的方法，在理想信道、信道可能丢失报文、受到入侵攻击这3种情况下，给出了滑动窗口协议的形式化模型，对协议的��
评级：0 浏览量：87 收藏量：0 资源大小：467KB 上传时间：2019-08-19

: 论文研究-基于OPNET的一种动态时分多址协议的网络建模仿真 .pdf 基于OPNET的一种动态时分多址协议的网络建模仿真，蔡溪琛，李绍胜，分析了Link-16数据链中的组网方式，阐述了其中的优势与劣势。之后根据跳频通信系统组网的特点提出并详细介绍了一种新型的时分多址��
评级：0 浏览量：98 收藏量：0 资源大小：437KB 上传时间：2019-08-16

: 语音编码解码协议G.729及建模.pdf 语音编码解码协议G.729及建模详解。G.729编码方案是电话带宽的语音信号编码的标准，对输入语音性质的模拟信号用8kHz、采样，16比特线性PCM量化。G.729A是ITU最新推出的语音编码标准G.729的简化版本。
评级：0 浏览量：136 收藏量：1 资源大小：1.02MB 上传时间：2020-03-06

: STOMP 协议规范，版本 1.2 STOMP 服务器被建模为一组可以向其发送消息的目的地。STOMP 协议将目标视为不透明字符串，其语法是特定于服务器实现的。此外，STOMP 没有定义目的地的传递语义。目的地的传递或“消息交换”语义可能因服务器而异，...
评级：0 浏览量：82 收藏量：0 资源大小：777KB 上传时间：2023-08-13

: MATLABSimulink建模标准协议第四版(上) MATLAB Simulink 建模标准协议第四版（上） MATLAB Simulink 建模标准协议第四版（上）是 MBD（Model-Based Design，模型 기반设计）标准协议的第四版，上半部分。该协议主要对 MATLAB、Simulink 和 Stateflow 控制...
评级：0 浏览量：30 收藏量：0 资源大小：4.8MB 上传时间：2023-07-26

: 电力系统通信协议.ppt IEC 61850标准通过对变电站自动化系统中的对象统一建模，采用面向对象技术和独立于网络结构的抽象通信服务接口，增强了设备之间的互操作性，可以在不同厂家的设备之间实现无缝连接。智能化一次设备和数字式变电站...
评级：0 浏览量：68 收藏量：0 资源大小：272KB 上传时间：2022-11-16

: 基于CPN的安全协议形式化建模及安全分析方法.docx 基于CPN的安全协议形式化建模及安全分析方法.docx
评级：0 浏览量：67 收藏量：0 资源大小：699KB 上传时间：2022-05-29

: netconf协议（全）强大的数据建模能力，强大的过滤能力，良好的事务管理能力，良好的可扩展性
评级：0 浏览量：2076 收藏量：2 资源大小：1.22MB 上传时间：2018-08-06

: 一种基于有色Petri网的安全协议分析方法研究搭建一个能够覆盖大部分安全性质的CPN查询函数库，提出一种基于CPN的通用和规范的安全协议形式化分析语言，该语言可以像用面向对象编程语言编程一样对安全协议进行建模。
评级：0 浏览量：96 收藏量：0 资源大小：244KB 上传时间：2020-10-20

: 2021年北京高校数学建模校际联赛题目 .zip 2021年北京高校数学建模校际联赛题目某出版社出版发行与初等教育相关的图书, 在运营过程中, 遇到了图书印量、图书销售量和图书库存之间如何协调的问题。在印制图书的时候，除了根据印量会产生纸张费、印刷费、装订...
评级：0 浏览量：1293 收藏量：0 资源大小：2.16MB 上传时间：2021-07-21

: IEC61850 MMS协议解析 MMS 协议的主要特点是面向对象建模方法，能够实现网络环境下不同制造设备之间的互操作。每个设备中必须存在一组标准对象（standard objects），可以执行读写事件信令（event signaling）等操作。VMD（Virtual ...
评级：0 浏览量：344 收藏量：1 资源大小：1.29MB 上传时间：2023-10-11

: 基于AVISPA的快速切换认证协议FHAM的安全建模与检测文章运用模型检测技术,以Dolev-Yao模型为基础,使用HLPSL语言和模型检测工具AVISPA对快速切换认证协议FHAM进行了建模和安全检测,检测结果表明该协议是安全的,能抵制多种恶意攻击,符合FHAM协议设计的安全目标。
评级：0 浏览量：293 收藏量：0 资源大小：1.26MB 上传时间：2021-02-10

: MATLABSimulink建模标准协议第四版(下) MATLABSimulink建模标准协议第四版(下）
评级：0 浏览量：25 收藏量：0 资源大小：5.59MB 上传时间：2023-07-26

: 车载网络ADHOC MAC协议的性能建模和分析车载网络ADHOC MAC协议的性能建模和分析
评级：0 浏览量：82 收藏量：0 资源大小：1.12MB 上传时间：2021-03-12

: 基于协议的建模方法及装置与流程.docx 基于协议的建模方法及装置与流程.docx
评级：0 浏览量：6 收藏量：0 资源大小：28KB 上传时间：2021-11-18

: 基于层次CPN的OpenFlow建模研究文中首先介绍了OpenFlow协议及CPN(Coloured Petri Nets)，然后基于层次CPN对OpenFlow网络进行了建模，对每一层的模型都做了详细的说明，充分体现OpenFlow的工作机制。在建模的过程中，详细地考虑了模型中token的选取...
评级：0 浏览量：51 收藏量：0 资源大小：2.48MB 上传时间：2021-04-14

: 安全协议的SPIN建模与分析 (2009年) 总结了利用模型检测工具SPIN对安全协议进行建模的方法。以Helsinki协议和Helsinki改进协议作为分析实例，用Promela语言建模并使用SPIN对模型进行行为模拟和属性校验，发现了Helsinki存在的Horng-Hsu攻击漏洞以及...
评级：0 浏览量：77 收藏量：0 资源大小：342KB 上传时间：2021-05-28

: [合同&协议书]效果图制作协议.doc 效果图制作协议根据《中华人民共和国经济合同法》和有关法律规定，结合双方项目合作的具体情况，本着精益求精、精诚合作的原则，甲乙双方就效果图绘制合作事宜达成如下协议：一、合作流程 * 合作流程主要包括...
评级：0 浏览量：17 收藏量：0 资源大小：22KB 上传时间：2023-11-02

: 具有有限缓冲区的WBAN MAC协议的建模和性能分析具有有限缓冲区的WBAN MAC协议的建模和性能分析
评级：0 浏览量：60 收藏量：0 资源大小：777KB 上传时间：2021-03-03

: 多方不可否认协议的增广CSP建模与分析基于逆向工程的思想，使用前期工作中提出的面向两方不可否认协议分析的增广CSP方法，对典型的Kremer-Markowitch多方不可否认协议的安全性进行了探索性建模与分析。借助该分析成功发现此协议在满足不可否认性和公平性...
评级：0 浏览量：47 收藏量：0 资源大小：714KB 上传时间：2021-01-15

: 无线网络安全协议Kerberos的Petri网建模.pdf 无线网络安全协议Kerberos的Petri网建模.pdf
评级：0 浏览量：61 收藏量：0 资源大小：268KB 上传时间：2021-09-20

: 基于Petri网的密码协议形式化建模 (2012年) 采用新方法对TMN协议的多次并发会话通信进行形式化建模，模型依据会话配置和会话顺序进行功能单元划分，采用on-the-fly方法生成攻击路径。采用状态空间搜索技术，发现了该协议的多次并发会话不安全状态，并获得了新...
评级：0 浏览量：46 收藏量：0 资源大小：416KB 上传时间：2021-05-26

: 深空通信中Licklider传输协议（LTP）的性能建模深空通信中Licklider传输协议（LTP）的性能建模
评级：0 浏览量：134 收藏量：0 资源大小：1.26MB 上传时间：2021-02-24

: 软件建模与分析课程设计知识.pdf * 使用简单的消息协议、函数或方法 * 把设计变动减至最小 5. 时间安排本课程设计的时间安排包括： * 设计准备及需求分析（2天） * 设计静态结构模型（4天） * 设计动态行为模型（5天） * 设计物理模型（1.5天） ...
评级：0 浏览量：236 收藏量：0 资源大小：451KB 上传时间：2022-02-12

资源推荐

相关资源标签

总线协议 ROHC协议 CPNTOOLS的网络协议建模与仿真技术研究协议、建模 NETCONF 网络协议计算机应用语音编码解码协议 G.729 模型检测认证协议协议验证可扩展认证协议传输层安全无线HART协议数据链路层协议模型设计技术应用网络通信无线网络 Deep space tolerant data propagation protocols 研究论文 Python OpenFlow 自然科学论文工程技术数学建模校际联赛网络安全网络技术计算机网络参考文献专业指导网络文档文档资料 BACnet matlab Stomp websocket 协议解析报文解析 iec61850 合同范本