[发明专利]一种变频器的数据传输方法、系统及设备在审

专利信息
申请号: 202310862308.6 申请日: 2023-07-13
公开(公告)号: CN116962533A 公开(公告)日: 2023-10-27
发明(设计)人: 谢泳波;向晟;钟声 申请(专利权)人: 长沙市英威腾电气技术有限公司
主分类号: H04L69/00 分类号: H04L69/00;H04L69/18
代理公司: 深圳市深佳知识产权代理事务所(普通合伙) 44285 代理人: 夏欢
地址: 410205 湖南省长沙市高新开发区岳麓西*** 国省代码: 湖南;43
权利要求书: 暂无信息 说明书: 暂无信息
摘要: 本申请公开了一种变频器的数据传输方法、系统及设备,应用于变频器通讯技术领域,主处理装置分别与变频器和从处理装置通信连接,从处理装置通过以太网总线与至少1个主机通信连接,该方法包括:接收变频器发送的待传输数据;确定出待传输数据的类型;当待传输数据的类型为N种类型中的第i类型时,将待传输数据置入从处理装置的第i存储区域中,以使得从处理装置基于第i总线协议的规范,通过以太网总线将待传输数据发送至指定主机;从处理装置兼容N种总线协议,N为不小于2的正整数。可以有效地实现变频器的数据传输,灵活性高,并且有利于降低接线复杂度、硬件成本以及开发成本。
搜索关键词: 一种 变频器 数据传输 方法 系统 设备
【主权项】:
暂无信息
下载完整专利技术内容需要扣除积分,VIP会员可以免费下载。

该专利技术资料仅供研究查看技术是否侵权等信息,商用须获得专利权人授权。该专利全部权利属于长沙市英威腾电气技术有限公司,未经长沙市英威腾电气技术有限公司许可,擅自商用是侵权行为。如果您想购买此专利、获得商业授权和技术合作,请联系【客服

本文链接:http://www.vipzhuanli.com/patent/202310862308.6/,转载请声明来源钻瓜专利网。

同类专利
  • 一种电动车新型扩展方法及系统-202310911287.2
  • 张德飞;桑永根;马增勇;陈骏 - 深圳市壹马智行科技有限公司
  • 2023-07-24 - 2023-10-27 - H04L69/00
  • 本发明公开了一种电动车新型扩展方法及系统,方法包括步骤:接口协议定义阶段:分别在扩展设备的驱动层、控制系统的驱动层进行SOI协议定义;硬件连接:通过单根DAT线将扩展设备与电动车的控制系统的扩展口通信连接,其中,扩展口包括一个IO口和一个内部定时器一个IO口和一个内部定时器;数据传输阶段:利用单根DAT线,根据SOI协议进行数据传输。实施本发明,通过在控制系统与扩展设备的驱动层设计SOI协议,将扩展设备与电动车的控制系统通过单线DAT线连接,控制系统的扩展口只需要一个定时器和一个普通IO口即可构成,降低了对系统资源的占用,SOI协议简单,硬件成本极低,从而使得集成或扩展系统功能变得更加简单灵活。
  • 一种变频器的数据传输方法、系统及设备-202310862308.6
  • 谢泳波;向晟;钟声 - 长沙市英威腾电气技术有限公司
  • 2023-07-13 - 2023-10-27 - H04L69/00
  • 本申请公开了一种变频器的数据传输方法、系统及设备,应用于变频器通讯技术领域,主处理装置分别与变频器和从处理装置通信连接,从处理装置通过以太网总线与至少1个主机通信连接,该方法包括:接收变频器发送的待传输数据;确定出待传输数据的类型;当待传输数据的类型为N种类型中的第i类型时,将待传输数据置入从处理装置的第i存储区域中,以使得从处理装置基于第i总线协议的规范,通过以太网总线将待传输数据发送至指定主机;从处理装置兼容N种总线协议,N为不小于2的正整数。可以有效地实现变频器的数据传输,灵活性高,并且有利于降低接线复杂度、硬件成本以及开发成本。
  • 一种SENT协议解码检测电路-202310971279.7
  • 陈志刚;徐红如;陶长来 - 南京英锐创电子科技有限公司
  • 2023-08-03 - 2023-10-13 - H04L69/00
  • 本发明公开一种SENT协议解码检测电路,涉及解码领域;SENT协议解码检测电路包括:数据解码电路用于根据SENT帧格式信息和滤波后的SENT串行数据生成SENT解码数据并传输至数据校验电路和设有接收主机的外部系统;数据校验电路用于据SENT解码数据和滤波后的SENT串行数据生成错误监测信息并传输至设有接收主机的外部系统。SENT协议解码检测电路集成于发送芯片和接收主机的接口芯片之间,在数据进入接收主机之前就可以对数据进行解码处理,避免了只能依赖接收主机进行解码检测的局限性,且数据在进入接收主机前就通过SENT协议解码检测电路进行了解码检测,降低了接收主机的操作复杂性。
  • 上报数据解析处理方法、系统、设备及存储介质-202310845003.4
  • 沈晨延;杨传虎;蒋杰;华凯 - 苏州东剑智能科技有限公司
  • 2023-07-11 - 2023-10-13 - H04L69/00
  • 本申请设计物联网设备数据处理的领域,尤其是涉及一种上报数据解析处理方法、系统、设备及存储介质,方法包括获取与上报数据的格式一一对应的协议说明文档,依据协议说明文档配置得到对应的解析协议规范;依据解析协议规范生成对应的解析协议程序;获取上报数据,依据公共解析框架解析上报数据得到对应的解析结果,依据解析结果确定出对应的解析协议程序;依据解析协议程序解析对应的上报数据,得到可读业务数据;将可读业务数据存储至数据库中。本申请具有便于提升系统平台对上报数据解析与处理效率的效果。
  • 协议生成方法、端云协同推荐方法及装置-202310865087.8
  • 王腾;孙仁恩;魏鹏;张冠男 - 支付宝(杭州)信息技术有限公司
  • 2023-07-13 - 2023-10-10 - H04L69/00
  • 本说明书一个或多个实施例提供一种协议生成方法、端云协同推荐方法及装置。该方法应用于协议生成器,协议生成器与云服务器和客户端通信连接,所述云服务器包括多个云上系统;所述方法包括:构建预设格式的协议模板,所述协议模板包括场景模块、策略模块和特征模块;根据待应用的推荐场景确定所述场景模块的场景参数,并根据所述多个云上系统的数据确定所述策略模块中的目标策略参数以及特征模块中的云特征,得到目标协议,所述目标协议用于使所述客户端根据所述目标协议进行端云协同资源推荐。通过根据端云协同推荐场景中的数据结构,构建通用的标准化数据协议,可以提高协议在客户端与不同云上系统之间的复用性,降低管理的复杂性和成本。
  • 定制化的EPA设备-202311011515.7
  • 顾昊;邓文敏;仇光强;王焱 - 浙江国利信安科技有限公司
  • 2023-08-11 - 2023-09-08 - H04L69/00
  • 本发明提供了一种定制化的EPA设备。该EPA设备包括:EPA协议栈模块,EPA协议栈模块包括:工作状态控制模块,工作状态控制模块被配置为在EPA设备上电后,从外部控制设备接收EPA设备的组态配置参数;非周期数据调度模块,其被配置为从工作状态控制模块接收组态配置参数,并且基于组态配置参数与EPA设备所位于的EPA系统中的其他EPA设备竞争主时钟设备,以及在竞争完成后与其他EPA设备进行时钟同步;以及周期数据调度模块,其被配置为在时钟同步完成之后,在周期时间段期间向其他EPA设备发送周期报文以及从其他EPA设备接收周期报文。
  • 一种WiFi承载Modbus的无线传感网络协议构建方法-202310807200.7
  • 张治忠;付彦伟;颜佳;解勒;张鑫瑶 - 国能大渡河枕头坝发电有限公司
  • 2023-07-04 - 2023-09-01 - H04L69/00
  • 一种WiFi承载Modbus的无线传感网络协议构建方法,首先对WiFi的时序进行重新定义,减少消息类型和节点状态,简化无线通信协议流程。其次优化了WiFi的MAC帧格式,分配更多字段给Payload Type,同时将Modbus协议嵌入WiFi协议中,充分扩展WiFi数据帧容量,构建了一个新的涵盖数据链路层和应用层的通信协议。最后在大型水电站对所设计的无线传感网络协议进行了应用测试,测试结果表明分散数据源无线传输能力强、通信可靠性高,根据应用实际情况选择不同的频域有效信道带宽可最大程度满足大型水电站的数据采集和设备监测需求,在出现信道占用的情况下,采取提高TTL延拓设定策略,可以有效减少丢包率,保证数据的完整性。
  • 一种智慧体测与算法实时交互方法-202310454599.5
  • 霍春松;魏代邦;李浩 - 山东浪潮超高清智能科技有限公司
  • 2023-04-25 - 2023-09-01 - H04L69/00
  • 本发明提供了一种智慧体测与算法实时交互方法,通过使用测试终端选择体测项目,摄像头设备发出请求启动服务端的算法,通过测试终端发送测试请求,创建客户端并与服务端进行连接;服务端接收到测试请求,执行请求开始测试接口,调用算法服务,通过处理检测到的图像,检测当前的体测状态;客户端发出请求调用语音播报接口,并将请求发送到客户端,客户端收到语音播报接口数据,发送消息通知设备播报语音;服务端算法监测到体测完成,调用成绩上传接口上报成绩,服务端收到播报成绩,调用语音播报接口语音播报接口播报成绩;服务端记录成绩入库,并发送到客户端显示成绩结果。本发明操作更方便、通信更精准高效。
  • 韦根信号的处理设备及门禁权限验证系统-202210834083.9
  • 张天宇;钱士森 - 杭州海康威视数字技术股份有限公司
  • 2022-07-07 - 2023-09-01 - H04L69/00
  • 本申请实施例提供了一种韦根信号的处理设备及门禁权限验证系统,由于现有技术容易出现韦根信号丢失的情况出现。基于该问题,本申请实施例通过处理设备中设置的采集装置对D0信号线和D1信号线输入的初始韦根信号进行处理得到目标韦根信号,在获得目标韦根信号的过程中,不需要通过频繁的中断识别装置正在处理的其它线程来获得目标韦根信号,识别装置仅需从采集装置中接收目标韦根信号,使得对识别装置的占用率少,从而能够改善或者避免韦根信号丢失的情况发生。
  • 支付通信方法、系统及存储介质-202310597768.0
  • 朱庆昌 - 度小满科技(北京)有限公司
  • 2023-05-25 - 2023-08-29 - H04L69/00
  • 本申请公开了一种支付通信方法,应用于支付系统,支付系统包括支付通道、至少一个支付终端设备、包含至少一个服务的第三方支付系统,支付终端设备基于低开销、低带宽通信协议并通过中介服务器与第三方支付系统通信。本申请还公开了支付通信系统及存储介质。本申请的技术方案可在低网络质量下提高支付成功率、降低支付耗时,实现支付终端设备与支付通信系统高效通信,提高支付终端设备支付稳定性。
  • 一种基于改进KCP的OPC UA高效通信的实现方法-202310656812.0
  • 李强;吴正波;刘嘉铭;张大兴;韩建平 - 绍兴数亿科技有限公司;杭州电子科技大学上虞科学与工程研究院有限公司
  • 2023-06-05 - 2023-08-25 - H04L69/00
  • 本发明公开了一种基于改进KCP的OPCUA高效通信的实现方法。本发明利用KCP与UDP相互结合替代了原传输层中的TCP传输协议。客户端和服务器的通讯架构如下:应用程序的请求首先被OPCUA通信栈转化为OPCUA消息,然后传至KCP通信栈,KCP通信栈将其分片封装为KCP数据包发送至广域网中。一旦KCP通信栈从广域网中接收到KCP数据包,KCP通信栈就将KCP数据包重组为OPCUA消息。最后通过OPCUA通信栈将OPCUA消息转化常见的容易处理的消息格式。KCP通信改进包括KCP协议数据段头部的设计、采用随机初始化的序列号保证通信安全性、记录时间戳防止序列号回绕、使用捎带确认报文减少数据的传输量。本发明对比常见的OPCUA通信可以保证更低的通信延迟,有较大的实际意义。
  • 协议自动分段方法和装置-202210652741.2
  • 李宏波;牟桂贤;刁作清;张振宇 - 珠海格力电器股份有限公司
  • 2022-06-10 - 2023-08-25 - H04L69/00
  • 本申请涉及一种协议自动分段方法和装置;所述方法包括:获取预设的特征值公式;按照预设的分段规则将整体协议数据进行分段,获得至少两条分段协议数据;根据所述特征值公式计算整体协议数据的第一特征值和分段协议数据的第二特征值;根据所述第一特征值和所述第二特征值判断分段协议数据是否满足分段条件;如果满足分段条件,则将分段协议数据作为新的整体协议数据再次进行分段,直至不满足分段条件。本申请的方案基于通用协议数据帧的抽象结构,设计了统一的分段计算模型,能够实现多协议的支持,适应多种不同场景,应用范围广;通过本方案对数据进行分段后再读取,就可以使读取设备能够自动读取非连续地址点位,从而大幅度提高读取效率。
  • 一种基于IP网络的设备通用操控方法-202310127326.X
  • 郭城;刘宇;周立君;刘飞;王静;陈洪彩 - 西安应用光学研究所
  • 2023-02-17 - 2023-08-15 - H04L69/00
  • 本发明公开了一种基于IP网络的设备通用操控方法,对于包括多种型号的传感器平台的侦察网络,通过对传感器平台的控制模式、控制特性、图像/数据获取能力进行统一建模,使得这些异构类装备能够遵循一致的控制逻辑框架完成人机交互;基于统一的报文封装规则,建立一种控制流、数据流的重定向机制,使得原先通过各自独立的点对点连接链路实现的本地终端与传感器设备间的数据交互可以重定向到远程终端或传感器设备,使任意节点的控制终端均具备对远程节点传感器设备的操控能力。本发明方法可用于各种基于IP互联的侦察/监控网络,可以方便地实现节点间的远程互操作。
  • 一种基于接收对齐的动态MAC协议实现方法-202310378805.9
  • 余华;张天翔;季飞;陈芳炯 - 华南理工大学
  • 2023-04-10 - 2023-08-04 - H04L69/00
  • 本发明公开了一种基于接收对齐的动态MAC协议实现方法。相比陆地无线网络协议,水声网络协议需要考虑时空不确定性。现有接收对齐思想中提出从定量的角度合理安排节点发送时刻,实现高信道利用率,低数据碰撞率。但是该想法并未作为网络协议落地,同时未考虑低负载场景,动态场景和水声信道的高误码特性。针对上述问题,本发明通过增加控制信息优化了在低负载场景下的数据发送效率。通过设计初始化阶段,网络节点可以获取运行所需的全局信息,通过设计重启阶段,协议可以在节点退出或加入,节点失效或恢复等多个动态场景中稳定运行。针对水声信道中的高误码特性,协议增加了Ack反馈机制,通过超时重传和快速重传,提高了协议的发送成功率。
  • 在RTOS平台实现多路复用协议的系统和方法-202310372443.2
  • 周卫 - 展讯通信(深圳)有限公司
  • 2023-04-04 - 2023-08-01 - H04L69/00
  • 本发明公开了一种在RTOS平台实现多路复用协议的系统和方法,其中,在RTOS平台实现多路复用协议的系统包括多路复用模块和接口模块;多路复用模块与接口模块通信连接;接口模块封装有与不同RTOS平台分别对应的应用服务编程接口;多路复用模块用于通过接口模块调用与多路复用模块适配的RTOS平台,并发送运行指令至RTOS平台,以触发RTOS平台将功能模块数据发送至多路复用模块;多路复用模块用于将功能模块数据发送至应用服务,以使应用服务运行。本发明通过接口模块与多路复用模块的通信连接,实现应用服务与RTOS平台之间的多路复用协议,降低业务层次的移植难度,有利于维护RTOS平台设备。
  • 一种雷达数据传输方法、装置、设备及存储介质-202310723875.3
  • 倪旭春 - 惠州市德赛西威汽车电子股份有限公司
  • 2023-06-19 - 2023-07-28 - H04L69/00
  • 本发明实施例提供了一种雷达数据传输方法、装置、设备及存储介质,该方法应用于雷达,包括:获取预先定义的元描述文件,元描述文件采用数据序列化YML格式;根据元描述文件,对待传输的原始雷达数据进行序列化处理,获得雷达数据包;将雷达数据包通过物理链路传输至上位机。利用该方法,整个数据传输过程仅依赖预先定义的YML格式的元描述文件进行数据对齐,不依赖于h头文件,适用于各类语言开发,通用性强;通过采用统一的序列化方法,将需要传输的原始雷达数据,按照标准格式进行标注,描述通信内容的每一个字段,采用通用的语法,不依赖于任何一种语言,可以做到跨平台和跨语言通信,采用前后端分离的开发模式,极大提高开发效率。
  • NOC总线网络中路由信息配置方法、装置、设备及介质-202310528447.5
  • 崔昭华 - 太初(无锡)电子科技有限公司
  • 2023-05-10 - 2023-07-25 - H04L69/00
  • 本发明公开了一种NOC总线网络中路由信息配置方法、装置、设备及介质。NOC总线网络中路由信息配置方法,包括:获取目标路由信息文件集;调用用于路由信息批量解析的第一宏定义,基于第一宏定义对目标路由信息文件集进行解析,得到当前NOC总线网络中各网络接口单元NIU的路由信息表;其中,当前NOC总线网络中每个NIU配置有至少一个路由信息寄存器;将各NIU的路由信息表,批量存储至各NIU配置的路由信息寄存器。本发明实施例的技术方案能够在NOC总线网络验证中提升路由配置信息的仿真速度。
  • 基于流规则协议的通信方法、设备和系统-202010490398.7
  • 李振斌;庄顺万;陈霞;吴楠;梁乾灯 - 华为技术有限公司
  • 2016-03-21 - 2023-07-21 - H04L69/00
  • 本发明实施例提供一种基于流规则的通信方法、设备和系统,该方法包括:控制器获取转发设备上的第一资源需要关联该转发设备上的第二资源的需求;该控制器根据该需求,向该转发设备发送边界网关协议流规则BGP Flow Spec协议报文,该BGP Flow Spec协议报文包括网络层可达性信息字段与扩展团体属性字段,该网络层可达性信息字段携带第一资源的特征信息,该扩展团体属性字段携带用于指示该第二资源的全局标识GID,该BGP Flow Spec协议报文用于指示关联该第一资源与该第二资源。本发明实施例能够有效避免无限制地扩展BGP Flow Spec协议。
  • 一种针对bit级未知协议字段的自适应识别方法-202310052051.8
  • 付安民;黄涛;况博裕;苏铓;俞研 - 南京理工大学;江苏省未来网络创新研究院
  • 2023-02-02 - 2023-07-18 - H04L69/00
  • 本发明公开了一种针对bit级未知协议字段的自适应识别方法,包括:基于现有成熟的PRE方法识别出特征明显的byte级协议字段,进而提取可能含有bit级字段的目标byte样本;针对可能含有bit级字段的目标byte样本,提前识别其中的固定值字段;针对目标byte,根据不同字段划分等级,提取字段预划分策略集合;构建bit级字段全局划分模型,并求解每个字段预划分策略集合的pareto解集;结合所有pareto解集中的pareto解,计算目标字节中每个bit的效用值,该效用值可以作为判断对应bit是否为bit级字段划分点的依据;最后,采用平均效用值法,提取相应的bit作为最终的bit级字段划分点。本发明基于协议字段的全局特征,构建bit级字段全局划分模型,能够有效规避bit级字段局部数理特征模糊的缺陷,显著提升了现有PRE方法对bit级字段的识别能力。
  • 一种应用层消息传输方法及通信接口平台-202010600713.7
  • 骆正新;康峰;焦凤霞;袁重阳;杨艳京;张志鹏;袁子薇 - 通号城市轨道交通技术有限公司
  • 2020-06-28 - 2023-07-18 - H04L69/00
  • 本发明实施例提供一种应用层消息传输方法及通信接口平台,方法包括:根据接收到的客户端发送的配置信息进行安全层通信协议初始化,并建立客户端与真实信号子系统之间的通信通道;其中配置信息为客户端所处的信号仿真系统基于客户端与真实信号子系统进行安全层通信所配置的信息;若接收到客户端发送的第一应用层消息,则对第一应用层消息进行安全层通信协议封装,并通过通信通道将封装后的第一应用层消息转发至真实信号子系统;若接收到真实信号子系统发送的携带有安全层通信协议的第二应用层消息,则对第二应用层消息进行安全层通信协议解析,并通过通信通道将解析后的第二应用层消息转发至客户端。
  • 报文维护方法及装置-202110006755.2
  • 周国威;娄芳;汪双双 - 银清科技有限公司
  • 2021-01-05 - 2023-07-14 - H04L69/00
  • 本发明提供一种报文维护方法及装置,方法包括:获取各个交互系统定义的报文;对所述报文进行结构拆分并进行结构化分组维护。装置包括:获取单元,用于获取各个交互系统定义的报文;维护单元,用于对所述报文进行结构拆分并进行结构化分组维护。本发明能够降低报文数据的维护成本。
  • 一种基于FPGA的智能网卡数据转发方法、系统及终端-202110806562.5
  • 吴智谦;陈翔 - 苏州浪潮智能科技有限公司
  • 2021-07-16 - 2023-07-14 - H04L69/00
  • 本申请公开了一种基于FPGA的智能网卡数据转发方法、系统及终端,该方法包括:定义智能网卡的FPGA上用于存放高热度流表规则的模块为第一缓存模块,智能网卡上用于存放低热度流表规则的硬件模块为第二缓存模块;当数据流中的数据报文进入智能网卡时,通过查询智能网卡SOC CPU内部的流表规则,确定数据报文所执行的动作,并将该流表规则下发至第一缓存模块中;通过周期性轮询的方法确定当前流表规则的热度,并根据当前流表规则的热度,控制当前流表规则在第一缓存模块和第二缓存模块之间切换。该系统包括:第一缓存模块、第二缓存模块和软件控制模块。该终端包括存储器和处理器。通过本申请,能够有效提高智能网卡的数据转发性能和转发效率。
  • 代码的自动化生成方法、设备及存储介质-202111657132.8
  • 唐飞;叶亮 - 苏州盛科通信股份有限公司
  • 2021-12-31 - 2023-07-11 - H04L69/00
  • 本发明揭示了一种代码的自动化生成方法,所述代码用于对OAM报文进行编辑,所述方法包括:获取数据总线位宽BW、待编辑字段位宽FW和编辑位置的起始偏移地址OA;通过所述BW、FW和OA,自动计算首个待编辑报文片段的编号M、首个待编辑报文片段的字节偏移量P1和待编辑报文片段数量N;根据所述BW、FW、M、P1和N,自动将每个待编辑报文片段中需要编辑的字段,替换为预设设计好的编辑字段的对应字段,生成每个待编辑报文片段的编辑代码。与现有技术相比,本发明的代码的自动化生成方法,自动生成对OAM报文进行编辑的代码,将不确定性强、重用性差、设计难度大的可变位宽的报文编辑的设计流程进行规范和量化,大大提高其代码的重用性。
  • 协议版本适配的方法及相关设备-202111646262.1
  • 封静娴;刘洋;杨涛;杨峰义 - 中国电信股份有限公司
  • 2021-12-30 - 2023-07-11 - H04L69/00
  • 本公开关于一种协议版本适配的方法及相关设备,涉及通信技术领域。由集中单元CU执行的方法包括:接收分布单元DU发送的F1接口建立请求消息,F1接口建立请求消息携带DU的协议版本号;根据DU的协议版本号和CU的协议版本号,确定目标协议版本号,根据目标协议版本号更改CU的协议版本号;向DU发送携带目标协议版本号的F1接口建立响应消息,以便DU根据目标协议版本号更改DU的协议版本号。该方法能够在不停机状态下执行协议软件版本更新,保证F1接口建立后的CU、DU版本一致。
  • 基于SomeIp协议生成APP数据的序列化和反序列化方法及系统-202310180992.X
  • 王军德;张婷婷 - 武汉光庭信息技术股份有限公司
  • 2023-02-24 - 2023-06-30 - H04L69/00
  • 本发明涉及一种基于SomeIp协议生成APP数据的序列化和反序列化方法及系统。该方法包括如下步骤:获取AutoSar架构的SomeIp协议通信数据的基本类型数据及复合类型数据;基于重载运算符进行基本类型数据的序列化和反序列化操作;根据基本类型数据的序列化和反序列化操作结果、并基于重载运算符进行所述复合类型数据的序列化和反序列化操作;根据所述基本类型数据的序列化和反序列化操作结果与所述复合类型数据的序列化和反序列化操作结果,对APP数据进行序列化和反序列化操作,生成APP数据的序列化和反序列化代码。既能高效解决SOMEIP通信协议的序列化和反序列化的问题,又能自动生成APP数据类型的代码,不仅能减少开发测试的工作量使项目快速迭代,还能降低错误的产生。
  • 一种网络安全协议的自动形式化验证方法-202211083948.9
  • 黄文超;熊焰;汪万森;孟昭逸;苏诚;熊峰;方贤进 - 中国科学技术大学
  • 2022-09-06 - 2023-06-30 - H04L69/00
  • 本发明公开了一种网络安全协议的自动形式化验证方法,包括步骤:一、输入协议模型;二、初始树构建;已依据静态策略路径选择执行六、否则执行三;三、依据静态策略进行路径选择;四、依据静态策略进行路径检查;路径循环执行二;完整且正确输出验证结果;正确但不完整执行五;五、定理树合并,已依据静态策略路径选择执行六、否则执行三;六、依据动态策略进行路径选择;七、依据动态策略进行路径检查;路径循环时训练神经网络优化证明策略再返回二;路径完整且正确时输出验证结果;路径正确但不完整时执行八;八、定理树合并:定理树合并,已依据静态策略进行了路径选择执行六、否则执行三。本发明全过程都自动化,准确性高,效率高。
专利分类
×

专利文献下载

说明:

1、专利原文基于中国国家知识产权局专利说明书;

2、支持发明专利 、实用新型专利、外观设计专利(升级中);

3、专利数据每周两次同步更新,支持Adobe PDF格式;

4、内容包括专利技术的结构示意图流程工艺图技术构造图

5、已全新升级为极速版,下载速度显著提升!欢迎使用!

请您登陆后,进行下载,点击【登陆】 【注册】

关于我们 寻求报道 投稿须知 广告合作 版权声明 网站地图 友情链接 企业标识 联系我们

钻瓜专利网在线咨询

400-8765-105周一至周五 9:00-18:00

咨询在线客服咨询在线客服
tel code back_top