一种互联网分布式主动探测方法及系统

    公开(公告)号:CN115567425B

    公开(公告)日:2024-07-23

    申请号:CN202211008785.8

    申请日:2022-08-22

    申请人: 清华大学

    摘要: 本发明公开了一种互联网分布式主动探测方法及系统,其中,该方法包括:获取互联网中总地址集,并将总地址集划分得到多个子地址集;将多个子地址集和端口集中的各端口进行组合得到多个探测任务;利用探测任务分配策略将多个探测任务分配给执行探测任务的各探测节点;利用探测任务执行策略使得各探测节点对互联网进行分布式主动探测,基于探测结果得到互联网探测数据。本发明设计了一种基于优化理论的探测任务分配策略和一种基于流水线的探测任务执行策略,能大幅提高互联网分布式探测的性能,以解决分布式网络探测中的效率问题。

    物联网设备的异常检测方法、装置、设备和存储介质

    公开(公告)号:CN117955754A

    公开(公告)日:2024-04-30

    申请号:CN202410358309.1

    申请日:2024-03-27

    申请人: 清华大学

    摘要: 本发明提供一种物联网设备的异常检测方法、装置、设备和存储介质,涉及设备异常检测技术领域,所述方法包括:获取至少两个智能家居平台对应的行为图,所述行为图是基于所述至少两个智能家居平台各自对应的自动化规则构建的,所述自动化规则为事件、命令与所述至少两个智能家居平台对应的物联网设备之间的对应关系;基于所述行为图进行目标异常检测,确定异常检测结果,所述目标异常检测包括目标自动化规则执行的异常检测、跨自动化规则间的交互异常检测和至少两条自动化规则间的干涉异常检测中的至少两种。本发明可实现跨平台的异常检测,且提高异常检测的全面性。

    基于互联网路由配置的量化属性验证方法

    公开(公告)号:CN117834437A

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

    申请号:CN202410026721.3

    申请日:2024-01-08

    申请人: 清华大学

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

    基于互联网路由配置的测试数据包生成方法及装置

    公开(公告)号:CN116346647A

    公开(公告)日:2023-06-27

    申请号:CN202310193696.3

    申请日:2023-02-23

    申请人: 清华大学

    IPC分类号: H04L43/00 H04L45/02 H04L41/12

    摘要: 本申请涉及网络测试技术领域,特别涉及一种基于互联网路由配置的测试数据包生成方法及装置,其中,方法包括:根据被测网络中路由器的网络配置与拓扑信息生成扩展流量转发图集,并根据扩展流量转发图集生成第一端口可达表;根据端口可达表生成最少的测试数据包以覆盖全网链路,并根据更新的网络配置更新扩展流量转发图集,从而更新端口可达表,得到第二端口可达表,并根据第一端口可达表与第二端口可达表更新测试数据包以覆盖全网链路。由此,解决了相关技术中无法收集具有大量分布式设备的数据平面快照,并且网络设备往往在不同时刻提供其转发信息表,从而降低了收集数据平面快照的稳定性和一致性,并且降低了测试网络的准确性的技术问题。

    一种周期时变拓扑网络的控制平面验证方法和装置

    公开(公告)号:CN116208546A

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

    申请号:CN202310260144.X

    申请日:2023-03-13

    申请人: 清华大学

    IPC分类号: H04L45/02 H04L41/12

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

    云网络大规模变更发布编排方法、装置、设备和存储介质

    公开(公告)号:CN115277404B

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

    申请号:CN202210521404.X

    申请日:2022-05-13

    摘要: 本发明提出云网络大规模变更发布编排方法、装置、设备和存储介质,其中,方法包括:将所有待发布的云网络设备对应设置为无向图上的点集,根据无向图上的点集对应的云网络设备之间的互斥关系,获取云网络设备的独立发布单元;根据历史发布成功率计算每个独立发布单元的发布风险;基于每个独立发布单元的发布风险,对每个独立发布单元的发布顺序进行建模,基于发布顺序的不同排列对发布风险的影响因素,构建目标函数;对目标函数进行计算,得到所有独立发布单元的最优发布顺序。本发明解决发布规划的风险评估问题,并从中找出风险最小的发布规划,针对云网络中的各类组件需要进行版本变更以提升服务质量的场景。

    一种支持多模式的云计算网络测量规划系统及方法

    公开(公告)号:CN115314390B

    公开(公告)日:2023-05-16

    申请号:CN202210720869.8

    申请日:2022-06-23

    申请人: 清华大学

    IPC分类号: H04L41/12 H04L43/12

    摘要: 本发明公开了一种支持多模式的云计算网络测量规划系统及方法,该方法包括:获取云网络链路的用户实例和网络拓扑数据,通过切分网络拓扑数据获取拓扑切分结果;根据拓扑切分结果的关联信息得到第一探点信息,并通过第一探点信息构造链路的探测对数据;获取用户实例的探测配置数据,并根据探测对数据和探测配置数据得到链路探测结果;根据第一探点信息和和第二探点信息修正链路探测结果,得到链路修正结果。本发明在大规模云网络探测中,充分覆盖网络拓扑上的租户实例和组件设备,帮助发现不同网络产品实例和设备级别的问题。

    一种分段路由网络中考虑故障的流量工程计算方法和装置

    公开(公告)号:CN114205289B

    公开(公告)日:2023-03-24

    申请号:CN202111232419.6

    申请日:2021-10-22

    申请人: 清华大学

    摘要: 本申请实施例公开了一种分段路由网络中考虑故障的流量工程计算方法和装置,该方法包括:获取概率性故障模型,根据概率性故障模型计算预设网络状态的发生概率;根据发生概率和预设计算式计算概率阈值;构建数学规划问题;该数学规划问题的目标包括:最小化定义的损失函数的尾部损失值期望;尾部损失值期望指对于每个确定的路由配置,均已知在概率阈值情况下网络最大链路利用率的最大可能值,将大于该最大可能值的最大链路利用率的期望作为尾部损失值期望;数学规划问题的约束包括:所有流量都在网络中被完整路由、路由量为非负数和压缩状态有最大的损失值;求解该数学规划问题,获取路由配置。该实施例方案实现了在发生网络故障时避免网络拥塞。