用于网络配置和故障排除的方法、系统、设备和介质

    公开(公告)号:CN110710159B

    公开(公告)日:2022-08-19

    申请号:CN201880035329.8

    申请日:2018-05-24

    摘要: 描述了用于为网络意图的模型之间的对等失败生成反例的系统、方法、和计算机可读介质。获得与描述网络中的网络设备的操作和通信的网络意图的至少第一模型和第二模型之间的对等失败相对应的冲突规则的列表。计算来自第一模型的第一冲突规则与来自第二模型的相应的第二冲突规则之间的逻辑异或。至少部分地基于该逻辑异或生成与对等失败相对应的一个或多个反例,以使得给定的反例包括网络和分组条件,这些网络和分组条件使得第一冲突规则触发第一动作并使得第二冲突规则触发与第一动作不同的第二动作。在反例中标识更可能与对等失败相关联的热点字段。

    从网络收集网络模型和节点信息

    公开(公告)号:CN110785963B

    公开(公告)日:2022-08-09

    申请号:CN201880039183.4

    申请日:2018-06-14

    摘要: 用于从结构收集节点信息并且基于该节点信息生成模型的系统、方法和计算机可读介质。在一些示例中,系统可以从软件定义的网络(SDN)中的一个或多个控制器获得SDN的逻辑模型,该逻辑模型包含来自与SDN相关联的分层管理信息树(MIT)的、为SDN配置的对象,并且逻辑模型表示对象的配置,分层MIT定义SDN的可管理对象和对象属性,对象对应于可管理对象。该系统可以获得与SDN相关联的结构的拓扑模型,并且基于该拓扑模型,轮询结构中的节点以获得节点处的相应配置。基于相应的配置,系统可以生成逻辑模型的特定于节点的表示,特定于节点的表示将逻辑模型投影在每个相应节点上。

    通过图分析的模型驱动的意图策略冲突检测和解决方案

    公开(公告)号:CN114465901A

    公开(公告)日:2022-05-10

    申请号:CN202110037602.4

    申请日:2021-01-12

    发明人: C·亚

    IPC分类号: H04L41/0873 H04L41/0894

    摘要: 一种方法包括由管理多个网络设备的控制器设备维护数据结构,并且由控制器设备接收有状态意图的指示。该方法还包括由控制器设备基于有状态意图生成逻辑分组,并且由控制器设备基于逻辑分组确定数据结构的依赖意图。该方法还包括确定依赖意图与有状态意图冲突。该方法还包括:响应于确定依赖意图与有状态意图冲突,由控制器设备基于依赖意图和有状态意图确定解决依赖意图与有状态意图之间的冲突的解决方案,并且由控制器设备输出解决方案的指示。

    计算系统中的网络配置验证
    46.
    发明公开

    公开(公告)号:CN118120204A

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

    申请号:CN202280070368.8

    申请日:2022-08-06

    IPC分类号: H04L41/0873 H04L41/0866

    摘要: 本文中公开了网络配置验证技术。一个示例过程包括:在接收到用于确定虚拟网络中来自第一端点的分组是否可到达第二端点的查询之后,在网络图中标识第一端点与第二端点之间的网络路径。网络图具有表示虚拟网络中的网络策略的对应实施点的节点和连接节点对的边。该示例过程还可以包括生成复合函数,该复合函数表示在网络图中沿着所标识的网络路径的节点中的每个节点处的网络策略的联合个体约束,将生成的复合函数编译成布尔公式,以及求解经编译的布尔公式以确定是否存在到分组的分组字段的值的分配使得复合函数的所有联合个体约束可以被满足。

    多宿主错误配置的检测
    47.
    发明授权

    公开(公告)号:CN113452543B

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

    申请号:CN202010421834.5

    申请日:2020-05-18

    摘要: 本公开的实施例涉及多宿主错误配置的检测。网络设备可以从端点设备接收包括第一端点标识信息的第一消息。该网络设备可以经由多个链路连接到该端点设备。该网络设备可以从另一网络设备接收包括第二端点标识信息的第二消息。该网络设备可以确定第一端点标识信息是否与第二端点标识信息相对应。基于确定第一端点标识信息是否与第二端点标识信息相对应,该网络设备可以使多个链路的状态被维持或被改变。

    一种支持服务质量的光命名数据网络数据冲突解决方法

    公开(公告)号:CN117376136B

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

    申请号:CN202311334069.3

    申请日:2023-10-16

    发明人: 侯睿 陈士民

    摘要: 本发明公开了一种支持服务质量的光命名数据网络数据冲突解决方法。路由节点将到达的Interest包从光信号转化为电信号并处理;路由节点将达到的Response包从光信号转换为电信号,处理电信号并向相应接口预留波长资源,Data包将晚于Response包偏置时间进入光命名数据网络,路由节点收到Data包,不进行光电信号转换,从预留波长资源的接口发送。本方法对Interest包、Response包和Data包进行分级,采用包聚合机制,可以提高资源利用率,当路由节点发生冲突时,减少被抛弃Data包的数量;保证网络中高优先级包Qos,解决网络中基于消息聚合的优先级包转发处理问题。

    用于监测网络的方法、设备和系统

    公开(公告)号:CN114978900B

    公开(公告)日:2024-03-26

    申请号:CN202210537929.2

    申请日:2019-04-26

    摘要: 本申请的实施例描述了用于监测网络的方法、设备和系统。该方法包括在网络设备处检测网络属性已被更新。该方法还包括部分基于已更新的网络属性从一组网络功能测试中选择网络功能测试集合。该方法还包括执行网络功能测试集合。该方法还包括在网络设备处接收描述在网络功能测试集合期间网络的功能的信息。该方法还包括基于描述网络的功能的信息确定网络功能测试集合的结果。该方法还包括部分基于网络功能测试集合的结果计算网络功能得分。

    多节点分布式网络的通信冲突处理方法、装置和存储介质

    公开(公告)号:CN117478477A

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

    申请号:CN202311423313.3

    申请日:2023-10-30

    摘要: 本发明公开了一种多节点分布式网络的通信冲突处理方法、计算机装置和存储介质,包括当存在冲突接收节点,由冲突接收节点广播冲突反馈数据,由发送节点接收冲突反馈数据,根据冲突反馈数据中的识别信息识别冲突接收节点,判断自身与冲突接收节点之间的目标对应关系,当发送节点判定冲突接收节点为自身的非目标节点,执行数据传输退避等步骤。本发明通过由冲突接收节点通过广播冲突反馈数据,能够向发送节点和其他接收节点告知数据冲突的发生位置,有利于降低多节点分布式网络中各节点之间的相互影响,保障多节点分布式网络中各节点的畅通,提高多节点分布式网络的信道利用率,增大多节点分布式网络的数据吞吐量。本发明广泛应用于通信技术领域。