CN119629106A 一种面向分布式路由协议的控制平面验证方法及系统 （中国人民解放军国防科技大学）.docxVIP

(19)国家知识产权局

(12)发明专利申请

(10)申请公布号CN119629106A

(43)申请公布日2025.03.14

(21)申请号202510164034.2

(22)申请日2025.02.14

(71)申请人中国人民解放军国防科技大学

地址410073湖南省长沙市开福区德雅路

109号

(72)发明人罗来龙李尚森朱先强周鋆丁兆云张千桢朱承

(74)专利代理机构长沙知行亦创知识产权代理事务所(普通合伙)43240

专利代理师舒云

(51)Int.Cl.

H04L45/02(2022.01)

H04L45/00(2022.01)

H04L45/44(2022.01)

G06N3/042(2023.01)

G06N5/04(2023.01)

权利要求书3页说明书16页附图5页

(54)发明名称

一种面向分布式路由协议的控制平面验证

方法及系统

(57)摘要

CN119629106A本发明公开了一种面向分布式路由协议的控制平面验证方法及系统。方法包括获取网络拓扑、配置和规约；利用图构建器将网络拓扑、配置和规约转化为一系列预设数据查询语言格式的事实；构建基于神经算法推理的控制平面验证模型；将事实输入控制平面验证模型，以使控制平面验证模型中的事实库嵌入将事实整合为事实图，控制平面验证模