买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

龙图腾网恭喜中国人民解放军国防科技大学申请的专利一种面向分布式路由协议的控制平面验证方法及系统获国家发明授权专利权，本发明授权专利权由国家知识产权局授予，授权公告号为：CN119629106B 。

龙图腾网通过国家知识产权局官网在2025-04-29发布的发明授权授权公告中获悉：该发明授权的专利申请号/专利号为：202510164034.2，技术领域涉及：H04L45/02；该发明授权一种面向分布式路由协议的控制平面验证方法及系统是由罗来龙;李尚森;朱先强;周鋆;丁兆云;张千桢;朱承设计研发完成，并于2025-02-14向国家知识产权局提交的专利申请。

本一种面向分布式路由协议的控制平面验证方法及系统在说明书摘要公布了：本发明公开了一种面向分布式路由协议的控制平面验证方法及系统。方法包括获取网络拓扑、配置和规约；利用图构建器将网络拓扑、配置和规约转化为一系列预设数据查询语言格式的事实；构建基于神经算法推理的控制平面验证模型；将事实输入控制平面验证模型，以使控制平面验证模型中的事实库嵌入将事实整合为事实图，控制平面验证模型中的编码器将事实图编码为隐空间表示；控制平面验证模型中的处理器利用归纳表示学习机制完善隐空间表示；控制平面验证模型中的解码器基于完善后的隐空间表示输出预测规约的满足性的布尔值；基于预测规约的满足性的布尔值确定控制平面验证结果。本发明方案具有较高的验证准确率和效率，能实现全面的端到端验证。

本发明授权一种面向分布式路由协议的控制平面验证方法及系统在权利要求书中公布了：1.一种面向分布式路由协议的控制平面验证方法，其特征在于，所述方法包括：获取待验证网络的网络拓扑、配置和规约；利用图构建器将所述网络拓扑、配置和规约转化为一系列预设数据查询语言格式的事实；所述事实为所述网络拓扑、配置和规约的抽象表示；构建基于神经算法推理的控制平面验证模型；所述控制平面验证模型包括事实库嵌入、编码器、处理器和解码器；将所述事实输入所述控制平面验证模型，以使所述控制平面验证模型中的事实库嵌入将所述事实整合为事实图，所述控制平面验证模型中的编码器将所述事实图编码为隐空间表示；所述控制平面验证模型中的处理器利用归纳表示学习机制完善所述隐空间表示；所述控制平面验证模型中的解码器基于完善后的隐空间表示输出预测规约的满足性的布尔值；基于所述预测规约的满足性的布尔值确定控制平面验证结果。

如需购买、转让、实施、许可或投资类似专利技术，可联系本专利的申请人或专利权人中国人民解放军国防科技大学，其通讯地址为：410073 湖南省长沙市开福区德雅路109号；或者联系龙图腾网官方客服，联系龙图腾网可拨打电话0551-65771310或微信搜索“龙图腾网”。