检索结果-内蒙古大学图书馆

电子学报 2007年第4期35卷 743-746页

作者：李国庆安建平杨杰大唐移动通信设备有限公司北京100083 北京理工大学北京100081

协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C... 详细信息

协议形式化描述工具ESTELLE和网络仿真工具OPNET的建模过程都是基于有限状态机的原理,本文在此基础上,采用OPNET进程树机制实现ESTELLE模块嵌套结构,采用OPNET的进程建模方法实现ESTELLE中EFSM的建模,并利用这种方法对MIL-STD 188-220C协议进行建模.

关键词：协议建模形式描述有限状态机

来源：评论

学校读者我要写书评

暂无评论

基于行为树的协议建模方法及其应用研究

引用

计算机应用研究 2014年第9期31卷 2696-2699,2710页

作者：熊海军朱永利赵建利毕建刚王德文华北电力大学控制与计算机工程学院河北保定071003 国网河北省电力公司电力科学研究院石家庄050021 中国电力科学研究院北京100192

为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试... 详细信息

为解决现有协议建模方法验证困难及测试序列生成算法复杂度高和测试序列长的问题,提出了一种基于行为树(BT)的协议描述新方法。采用行为树模型对协议的控制流程进行建模,提出了基于行为树描述的协议验证方法,并给出了基于行为树的测试序列生成方法。以某监控协议为例给出了基于行为树的建模过程,将所建模型转换为通信顺序进程(CSP)后采用过程分析工具(PAT)完成了协议验证,并完成了测试序列的计算与对比分析,结果表明提出的方法能方便地完成对协议的描述与验证,能降低测试序列计算复杂度并减少生成的测试序列长度。

关键词：行为树协议建模测试序列协议验证通信顺序进程

来源：评论

学校读者我要写书评

暂无评论

移动Ad Hoc网络路由协议建模和性能分析研究

移动Ad Hoc网络路由协议建模和性能分析研究

引用

作者：孔德生云南大学

学位级别：硕士

移动AdHoc网络(MANET)是由一组带有无线通信收发装置的移动终端节点组成的一个多跳的临时性无中心网络，它具有随机动态变化的网络拓扑结构、无中心网络的自组性和无线带宽和终端处理能力有限等不同于常规网络的特征，是现阶段研究的热... 详细信息

移动AdHoc网络(MANET)是由一组带有无线通信收发装置的移动终端节点组成的一个多跳的临时性无中心网络，它具有随机动态变化的网络拓扑结构、无中心网络的自组性和无线带宽和终端处理能力有限等不同于常规网络的特征，是现阶段研究的热点领域。\n 本文首先综述性的介绍了AdHoc网络的概念、特点和研究难点及研究现状，主要针对AdHoc网络中路由问题进行研究和分析。AdHoc路由协议根据发现路由的策略分为主动路由协议和按需路由协议两大类，经过大量的试验和实践证明，按需路由协议更适合于AdHoc网络应用的需要。面对众多的性能各异的按需路由算法，进行路由算法性能分析和评价是非常必要的，它是进一步设计和改进路由协议的基础。本文着重对动态源路由(DSR)协议和AdHoc距离矢量按需驱动路由(AODV)这两个经典的按需路由协议的路由机制和特点通过网络仿真的方法进行了比较和分析。\n 本文借鉴美国国家标准与技术研究院(NIST)所公布的AODVOPNET仿真模型(NISTAODVOPNETModel)建模方法，使用OPNET网络仿真工具建立了基于动态源路由(DSR)协议的AdHoc网络仿真模型。在此基础上参照IETF的MANET工作组发布的RFC2501有关AdHoc网络路由协议性能分析和仿真的标准，制定了合适的仿真分析方案。在不同的节点移动性和数据源数量网络环境下分别运行两个仿真模型，详细地对两个路由协议的网络负载、延迟和传输效率等仿真结果进行详细分析，为进一步有关路由协议的研究奠定基础。\n 本文将移动代理技术引入Adhoc网络路由算法中对按需路由协议性能进行改进。然而大多数的相关研究都没有对移动代理在网络中的性能进行分析，或者只是针对某个改进的基于移动代理的按需路由算法进行仿真分析，缺乏在理论上总体的分析研究。针对这些研究的不足，使用数学建模的方法来分析路由协议中移动代理的性能，提出了一种通用的基于移动代理的AdHoc网络路由查找算法，并使用随机图(randomgraph)方法建立数学模型分析了一次路由查找成功概率和移动代理在网络中数量分布两个重要的网络性能，为建立基于移动代理的AdHoc网络提供一定的理论支持。

关键词：网络仿真网络路由协议建模收发装置随机动态

来源：评论

学校读者我要写书评

暂无评论

有限理性假设下的多方计算协议建模与仿真

有限理性假设下的多方计算协议建模与仿真

引用

作者：杨春尧云南大学

学位级别：硕士

始于2004年的理性多方计算(Rational Multiparty Computation,RMPC)是密码学的新兴研究方向,在多方隐私保护合作计算、电子商务等领域有重要应用。本文旨在建立有限理性假设下的RMPC协议形式模型,使用仿真的方法分析现有RMPC协议在这种... 详细信息

始于2004年的理性多方计算(Rational Multiparty Computation,RMPC)是密码学的新兴研究方向,在多方隐私保护合作计算、电子商务等领域有重要应用。本文旨在建立有限理性假设下的RMPC协议形式模型,使用仿真的方法分析现有RMPC协议在这种情况下的一致性(简称“一致性”),即在有限理性主体假设下,现有RMPC协议能否在博弈达到均衡时,得到协议设计时所期望的输出。具体地,本文进行了以下方面的研究： (1)使用有限自动机建立了RMPC协议的形式模型,以Kol和Naor提出的理性两方秘密共享协议为实例,在Swarm仿真平台上进行了模型的仿真,得到了在有限理性假设下理性两方秘密共享协议能够有一致性输出的参数条件。 (2)以扩展行为的Petri网来描述每个参与者的内部状态变化,结合多主体仿真理论,建立了有限理性主体决策的Petri网模型,以(k,n)理性秘密共享协议为仿真实例,对可能影响RMPC协议一致性的变量和参数进行了仿真研究,验证了该模型的有效性。 (3)基于Swarm仿真平台,设计了仿真RMPC协议所需要的类,详细地介绍了这些类中的关键实现方法；针对Swarm库函数中几个比较隐蔽的软件Bug进行了深入讨论,提出了相应的解决方法。

关键词：有限理性多方计算协议建模多主体仿真博弈均衡

来源：评论

学校读者我要写书评

暂无评论

基于着色Petri网的3G网络协议建模研究-SIP协议的CPN模型与仿真

基于着色Petri网的3G网络协议建模研究-SIP协议的CPN模型与仿真

引用

作者：占东生江南大学

学位级别：硕士

SIP协议凭借其简单、易于扩展、便于实现等优点越来越得到业界的青睐,它已经成为NGN(下一代网络)和3G多媒体子系统域中的核心协议,并且市场上出现越来越多的支持SIP的客户端软件和智能多媒体终端,以及用SIP协议实现的服务器和软交换设... 详细信息

SIP协议凭借其简单、易于扩展、便于实现等优点越来越得到业界的青睐,它已经成为NGN(下一代网络)和3G多媒体子系统域中的核心协议,并且市场上出现越来越多的支持SIP的客户端软件和智能多媒体终端,以及用SIP协议实现的服务器和软交换设备。虽然SIP协议目前还不够成熟,但SIP必定是将来网络多媒体通信中非常重要的一部分。为了更好的推动SIP协议的发展和完善,本文以着色Petri网为建模工具对SIP协议进行了相应的研究。 SIP中有两个要素:SIP用户代理和SIP网络服务器。用户代理是呼叫的终端系统元素,而SIP服务器是处理与多个呼叫相关联信令的网络设备。用户代理本身具有一客户机元素(用户代理客户机UAC)和一服务器元素(用户代理服务器UAS)。客户机元素初始呼叫而服务器元素应答呼叫。这允许点到点的呼叫通过客户机-服务器协议来完成。在简单的协议机制带来强大的服务的同时也存在着安全方面的不足。如何通过研究来尽量的在安全隐患出现之前将其找出并改进是急需解决的问题。本文正是致力于这个问题而提出的网络协议建模的研究,通过成熟的Petri网分析工具对协议进行建模和仿真,从而期望找出协议本身可能存在的漏洞和不足加以改进和完善。着色Petri网是对基本Petri网的折叠,能将复杂的模型简易化,更利于对模型进行分析,论文中也引入了着色Petri网的建模和仿真工具CPN TOOLS,对协议进行建模和仿真研究。

关键词： SIP 着色Petri网 CPN Tools 协议建模用户代理网络服务器

来源：评论

学校读者我要写书评

暂无评论

一种基于协议建模和约束覆盖的接口测试数据自动生成方法和装置

一种基于协议建模和约束覆盖的接口测试数据自动生成方法和装置

引用

作者：张进坤杨红庆孙哲卢航邓霏彭艳红杨柯沈亚峰 621900 四川省绵阳市涪城区绵山路64号

本发明涉及软件测试相关设备领域，尤其涉及一种基于协议建模和约束覆盖的接口测试数据自动生成方法和装置，其中，一种基于协议建模和约束覆盖的接口测试数据自动生成方法，包括以下步骤，S10、对基于字节定义的总线接口协议进行建模... 详细信息

标准号: CN113485915B

本发明涉及软件测试相关设备领域，尤其涉及一种基于协议建模和约束覆盖的接口测试数据自动生成方法和装置，其中，一种基于协议建模和约束覆盖的接口测试数据自动生成方法，包括以下步骤，S10、对基于字节定义的总线接口协议进行建模，将自然语言描述的通信协议转化为计算机可识别的机器语言，生成接口协议描述文件；S20、对接口协议描述文件进行解析，识别接口协议的属性信息和字段特性信息；S30、按照字段类型显示接口协议的字段特性信息和数据。本发明适用于基于字节定义的TCP、UDP、RS232/422/485/UART、CAN等多种总线通信协议，通用性较好，能够准确、快速生成满足多种约束覆盖准则的测试数据集，提升测试数据覆盖的充分性和测试数据生成效率。

关键词：接口测试数据接口协议协议建模自动生成字段特性字节定义覆盖测试数据生成自然语言描述总线通信协议测试数据集方法和装置测试数据机器语言快速生成描述文件软件测试设备领域属性信息通信协议显示接口协议描述字段类型总线接口充分性对接口可识别建模解析计算机转化

来源：评论

学校读者我要写书评

暂无评论

电力监控协议建模方法、装置、存储介质与电子设备

电力监控协议建模方法、装置、存储介质与电子设备

引用

作者：梁志宏陶佳冶洪超魏力鹏杨祎巍付鋆陈霖刘俊荣徐培明班秋成徐文倩周泽元张猛方继宇杨耀袁捷严彬元 510663 广东省广州市萝岗区科学城科翔路11号J1栋3、4、5楼及J3栋3楼

本申请提供了一种电力监控协议建模方法、装置、存储介质与电子设备。该方法包括：确定步骤：确定电力监控系统建模涉及组件、子系统和通信协议；标识步骤：对组件进行标识处理；定义步骤：对组件包括的状态进行定义；事件处理步骤：标... 详细信息

标准号: CN118200160A

本申请提供了一种电力监控协议建模方法、装置、存储介质与电子设备。该方法包括：确定步骤：确定电力监控系统建模涉及组件、子系统和通信协议；标识步骤：对组件进行标识处理；定义步骤：对组件包括的状态进行定义；事件处理步骤：标识组件的状态变化的事件以及事件的转移条件；创建步骤：根据组件的类型、状态信息、事件信息以及转移条件信息创建Petri网模型；优化和调整步骤：使用Petri网工具检测Petri网模型对Petri网模型进行优化和调整。通过对电力场景的深度解析结合Petri网方法，对电力监控协议建模，以达到对电力监控系统的保护，解决了现有电力系统的常用电力协议存在漏洞以导致电力系统存在安全风险的问题。

关键词：电力监控系统优化和调整电力监控电力系统协议建模转移条件标识步骤标识处理标识组件存储介质电力协议电子设备定义步骤深度解析事件处理事件信息通信协议信息创建状态变化组件包括建模场景漏洞检测创建申请安全

来源：评论

学校读者我要写书评

暂无评论

一种多总线协议建模方法

一种多总线协议建模方法

引用

作者：王伟赵峰龙智勇刘欢黄玉龙熊龙李展鹏陈亭屹王毅 100041 北京市石景山区实兴东街3号

本发明公开了一种多总线协议建模方法，包括：将总线测试环境划分为网络层和节点层，将总线测试协议划分为消息层、信号层和描述层；定义不同总线测试环境下的网络层和节点层、定义不同总线测试协议下的消息层、信号层和描述层，得到记... 详细信息

标准号: CN105659910B

本发明公开了一种多总线协议建模方法，包括：将总线测试环境划分为网络层和节点层，将总线测试协议划分为消息层、信号层和描述层；定义不同总线测试环境下的网络层和节点层、定义不同总线测试协议下的消息层、信号层和描述层，得到记载有各类网络信息的网络列表、记载有各网络节点信息的节点列表、记载有各节点收发消息的消息列表、记载有节点收发消息中信号信息的信号列表、以及记载有描述所述信号信息的描述列表；根据建模需求，分别在网络列表、节点列表、消息列表、信号列表和描述列表中选择建模所需的网络项、节点项、消息项、信号项、以及描述项，并建立各项信息间的映射关系。本发明所述方法提高了多总线协议测试开发的效率和灵活性。<pb pnum="1" />

关键词：总线测试描述节点列表网络列表消息列表信号列表信号信息多总线节点层网络层消息层信号层列表建模收发网络节点信息环境划分网络信息协议测试协议划分协议建模映射关系描述项协议网络开发

来源：评论

学校读者我要写书评

暂无评论

一种基于协议建模和约束覆盖的接口测试数据自动生成方法和装置

一种基于协议建模和约束覆盖的接口测试数据自动生成方法和装置

引用

作者：张进坤杨红庆孙哲卢航邓霏彭艳红杨柯沈亚峰 621900 四川省绵阳市涪城区绵山路64号

标准号: CN113485915A

来源：评论

学校读者我要写书评

暂无评论

TC9012协议建模实现

引用

电子技术与软件工程 2016年第6期 33-33页

作者：聂玉庆许悦炬芯(珠海)科技有限公司广东省珠海市519085 西安联合学院陕西省西安市710014

本文研究TC9012通信协议建模实现。通过深入理解TC9012编码协议,仔细分析一帧完整数据,对一帧数据里每一部分信息参数化,使得该模型复用性更好,适用于常用串行协议对脉冲频率、位置和宽度调制模式。

关键词： TC9012通信协议协议建模 System Verilog

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：