-
公开(公告)号：CN117640382A
公开(公告)日：2024-03-01
申请号：CN202311636934.X
申请日：2023-12-01
Applicant: 厦门大学
IPC: H04L41/0866
Abstract: 本公开提供了一种基于网络领域知识的网络配置验证加速方法、电子设备及可读存储介质。本公开的方法，包括：筛选得到网络配置信息中与待验证的网络不变量无关的第一配置信息，将网络配置信息中的第一配置信息忽略，得到第二配置信息；对待验证的网络不变量进行编码，得到第一编码信息；对第二配置信息进行编码，得到第二编码信息，其中，在编码过程中，对第二配置信息中的数值属性信息进行抽象；将第一编码信息和第二编码信息进行组合，得到编码信息；确定编码信息中的第一变量的搜索顺序，以及，确定编码信息中的第一变量的赋值顺序；根据搜索顺序，选取编码信息中的第一变量，然后根据赋值顺序，对选取的第一变量进行赋值，进行编码信息的验证。
Search Results
1
records
(took 0.013 seconds)
筛选
AND
AND
过滤
NOT
NOT
Scan to Join
