公开(公告)号：CN116208546A

公开(公告)日：2023-06-02

申请号：CN202310260144.X

申请日：2023-03-13

Applicant: 清华大学

Inventor： 王之梁 ,  叶方丹 ,  李冠达 ,  李亚慧 ,  陈雅正 ,  蓝天鸣 ,  李贺武 ,  施新刚 ,  尹霞

IPC: H04L45/02 ,  H04L41/12

Abstract: 一种周期时变拓扑网络的控制平面验证方法和装置，所述方法包括：确定待验证周期时变拓扑网络中所有的设备，并获取所述所有的设备各自对应的网络信息；针对所获取的每个设备进行如下操作：分别根据该设备对应的网络信息，确定该设备每个路由前缀所对应的多个生效时间，对所述多个生效时间取并集处理，得到该设备中每个路由前缀的生效时间；在待验证周期中，分别根据该设备中每个路由前缀的生效时间确定该设备到该路由前缀所对应的设备的可达性；其中，所述网络信息包括路由信息；所述路由信息包括：路由的前缀信息、路由的时间约束信息。

公开(公告)号：CN116418663A

公开(公告)日：2023-07-11

申请号：CN202111679320.0

申请日：2021-12-31

Applicant: 华为技术有限公司 ,  清华大学

Inventor： 王之梁 ,  李亚慧 ,  于家浩 ,  姚姜源 ,  李冠达 ,  姜政 ,  施新刚 ,  尹霞

IPC: H04L41/0803 ,  H04L41/08 ,  H04L45/00

Abstract: 本申请公开了一种错误配置的定位方法，应用于互联网领域。在本申请方法中，通过判断与配置定位目标相关的转发节点中的转发表是否满足要求，来确定路由类的网络配置是否有误。在路由类的网络配置有误时，则基于路由传播过程中与配置定位目标相关的转发节点中的路由宣告配置，定位到引起网络更新错误的配置片段，从而实现错误配置片段的自动定位。