西安交通大学张鹏获国家专利权
买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！
龙图腾网获悉西安交通大学申请的专利一种计算机网络的配置形式化验证方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN116614375B 。
龙图腾网通过国家知识产权局官网在2025-08-19发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202310745072.8，技术领域涉及：H04L41/0866；该发明授权一种计算机网络的配置形式化验证方法及系统是由张鹏;文思思;康宁;王换招设计研发完成，并于2023-06-21向国家知识产权局提交的专利申请。
本一种计算机网络的配置形式化验证方法及系统在说明书摘要公布了：本发明涉及计算机网络配置验证技术领域，具体为一种计算机网络的配置形式化验证方法及系统，从待验证属性出发，根据配置指令之间存在的依赖关系来多次遍历配置语法分析树，进而提取与待验证属性相关的配置指令。当获得相关配置之后，可以选择合适的控制平面验证工具来分析待验证属性是否成立。本发明通过计算与待验证属性相关的配置指令，减少待分析的网络规模，可以显著改善现有的控制平面验证工具的可扩展性，如显著减少验证时间，显著降低内存消耗，使得验证工具能够应用于现实世界中大规模复杂网络的分析；由于使用自定义的配置指令依赖关系，因而易于修改依赖关系来适应新的网络特性、新的配置格式和新的配置语义等。
本发明授权一种计算机网络的配置形式化验证方法及系统在权利要求书中公布了：1.一种计算机网络的配置形式化验证方法，其特征在于，包括如下步骤： 步骤1，读取待验证属性，其中包括属性类型、源节点、目的节点和链路容忍值，并使用ANTLR编写符合厂商规范的配置语法文件从而构建配置文件语法分析树； 步骤2，将所读取的待验证属性和所构建的语法分析树为对象，根据自定义依赖关系来多次遍历语法分析树，获得影响与待验证属性相关的路由通告和分组转发行为的配置指令； 步骤3，以获得的配置指令的节点为源节点和目的节点，使用迪杰斯特拉算法和最小割算法来获得所有影响待验证属性的网络节点和链路； 步骤4，以获得的网络节点和链路为对象，根据配置指令之间的依赖关系来检索和待验证属性相关的配置指令； 步骤5，以所获得的网络节点、链路、配置指令为对象，将相邻任意一条链路失效都会导致没有消息的节点进行等效删除，完成计算机网络的配置形式化验证工作。
如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人西安交通大学，其通讯地址为：710049 陕西省西安市碑林区咸宁西路28号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。
以上内容由AI智能生成
免责声明
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
1、本报告根据公开、合法渠道获得相关数据和信息，力求客观、公正，但并不保证数据的最终完整性和准确性。
2、报告中的分析和结论仅反映本公司于发布本报告当日的职业理解，仅供参考使用，不能作为本公司承担任何法律责任的依据或者凭证。
开放平台
担保交易
惠及多方
会员特惠
专属平台
适合多方
数据共享
功能齐全
皖公网安备 34010402703815号