公开(公告)号：CN118018380A

公开(公告)日：2024-05-10

申请号：CN202410315387.3

申请日：2024-03-19

Applicant: 清华大学

Inventor： 王继龙 ,  李亚慧 ,  祖林美 ,  裴子栋 ,  张嘉星

IPC: H04L41/04 ,  H04L41/12 ,  H04L41/22 ,  H04L41/0895

Abstract: 本发明公开了基于网络地图的新一代网络管理系统及方法，该方法包括构建多种网络地图；分别对光传输层网络地图与光传输管理系统的数据，高性能主干网网络地图与主干网运维管理系统的数据，站点网网络地图与站点网运维管理系统的数据，虚拟切片网网络地图与虚拟切片网运维管理系统的数据，进行关联以得到多种数据的关联结果；基于多种网络地图构建最终网络地图；基于最终网络地图和所述多种数据的关联结果构建综合网管系统。本发明以地图为纽带实时关联各类网络管理应用数据，同时各个网管应用程序数据支撑被管网络的网络空间的全景图，可支撑网络运维人员与网络架构师的日常管理与运维。

公开(公告)号：CN117834437A

公开(公告)日：2024-04-05

申请号：CN202410026721.3

申请日：2024-01-08

Applicant: 清华大学

Inventor： 李亚慧 ,  王继龙 ,  张晗 ,  尹霞 ,  施新刚 ,  王之梁 ,  祖林美

IPC: H04L41/0866 ,  H04L45/00 ,  H04L45/03 ,  H04L41/12 ,  H04L41/14 ,  H04L43/16 ,  H04L9/40

Abstract: 本申请提出了一种基于互联网路由配置的量化属性验证方法，涉及网络验证技术领域，其中，该方法包括：根据待验证网络中路由器的网络配置、拓扑信息进行符号模拟执行，生成符号化的路由表；根据符号化的路由表生成网络控制平面的逻辑公式矩阵；根据网络控制平面的逻辑公式矩阵和访问控制列表ACL配置生成网络数据平面的逻辑公式矩阵；根据网络数据平面的逻辑公式矩阵，对待验证网络中k链路失效的情况下的量化属性进行验证。采用上述方案的本发明实现了路由器配置的快速、准确的验证。

公开(公告)号：CN115459873A

公开(公告)日：2022-12-09

申请号：CN202210993802.1

申请日：2022-08-18

Applicant: 清华大学

Inventor： 王继龙 ,  张千里 ,  祖林美

IPC: H04J3/06 ,  H04L67/63

Abstract: 一种应用于网络设备的数据传输方法、存储介质和设备，其中，所述方法包括：接收到来自除本网络设备之外的其他设备的数据包后，获取标签信息；所述标签信息包括：时间标签信息；将获取的标签信息写入所述数据包；对携带所述标签信息的数据包进行转发操作。

公开(公告)号：CN114513274A

公开(公告)日：2022-05-17

申请号：CN202210396532.6

申请日：2022-04-15

Applicant: 清华大学 ,  奇安信科技集团股份有限公司

Inventor： 王继龙 ,  何昆岭 ,  安常青 ,  祖林美 ,  王会 ,  喻涛 ,  李风华 ,  郑晓峰 ,  刘跃

IPC: H04J3/06 ,  G06N20/10

Abstract: 本发明提出一种面向互联网的多跳高精度时间同步协议实现方法及装置，其中方法包括，构造探测网络，构造背对背数据包，获取探测网络中受网络设备延迟影响较小的背对背数据包；对受网络设备延迟影响较小的背对背数据包基于SVM计算正负随机传播时延分布；将正负随机传播时延分布带入L估计器进行计算，并估计初步时间偏差；为初步时间偏差施加基于权重的环路校正，计算得到最终时间偏差；根据最终时间偏差调整硬件时钟，实现时钟同步。本发明方法具有高精度，低成本和高扩展性的特点。