一种基于意图的运行时P4程序自动更新方法

    公开(公告)号:CN117667151A

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

    申请号:CN202311723787.X

    申请日:2023-12-14

    申请人: 东北大学

    IPC分类号: G06F8/65 G06F8/41

    摘要: 本发明提出基于意图的运行时P4程序自动更新方法,包括获取用户更新意图和初始交换机程序,对用户更新意图进行解析,得到用户意图语义分析结果;根据用户意图语义分析结果,修改初始交换机程序的转发逻辑,得到更新交换机程序以及注释代码;获取用户的安全规范;引入保护变量,根据保护变量将注释代码编译为控制草图,将安全规范与控制草图融合为安全控制草图,将安全控制草图转换为控制流图,根据控制流图迭代得到求解器验证条件;根据求解器验证条件,综合求解得到运行时交换机配置更新的目标交换机程序和转换序列计划,根据目标交换机程序和转换序列计划进行运行时P4程序的自动更新。本发明能根据用户输入意图进行P4程序自动更新且减少错误。

    基于跳数依赖和偏序计算的路由保护方法

    公开(公告)号:CN116489076A

    公开(公告)日:2023-07-25

    申请号:CN202310538660.4

    申请日:2023-05-12

    申请人: 东北大学

    摘要: 本发明公开了一种基于跳数依赖和偏序计算的路由保护方法,充分利用偏序路由计算和跳数来解决路由保护任务。首先将所有路径划分为原子比较路径和非原子比较路径,通过偏序路由计算将源目的节点的所有路径划分不可比较路径集和可比较路径集,利用分岔节点下一跳的累积计算方式保证路径一致性转发,其次通过跳数剪枝策略、交汇点集和跳数结合的剪枝策略对可比较路径集进行剪枝,最后获得Top1路径的备选路径集和Top2路径的备选路径集,特别的,本发明通过双栈结构,降低处理路径的时间复杂度。本发明在真实网络拓扑中,相对于现有常用路由保护方案,提高了对Top1路径的保护率,同时能够保证Top2路径性能更优。

    D2D网络多媒体流码率调节方法及多媒体流实时传输系统

    公开(公告)号:CN112165636B

    公开(公告)日:2021-12-14

    申请号:CN202010945219.4

    申请日:2020-09-10

    申请人: 东北大学

    IPC分类号: H04N21/238 H04W4/70

    摘要: 本发明公开一种D2D网络多媒体流码率调节方法及多媒体流实时传输系统,属于无线网络通信技术领域,该系统在Android平台上进行实现,充分利用手机上的Wi‑Fi Direct技术以及其他多媒体功能,搭建起D2D通信群组,实现在一定范围内的D2D网络组建、文件传输、视频流数据编解码功能,本发明还提出了自适应多媒体流码率调节方法,该方法能感知接收端的网络状况,并依此请求不同码率的视频内容,实现多媒体流的实时传输。本发明将资源共享服务从蜂窝网络设施转移到设备到设备,提高频谱利用率和扩展系统容量。

    D2D辅助的以内容为中心多跳协作式路由方法

    公开(公告)号:CN112261626B

    公开(公告)日:2021-11-09

    申请号:CN202011123667.2

    申请日:2020-10-20

    申请人: 东北大学

    摘要: 本发明公开一种D2D辅助的以内容为中心多跳协作式路由方法,属于网络通信技术领域。该方法首先根据CCN节点结构设计适合D2D网络设备通信的节点结构,并设计传输过程的资源请求包和资源数据包;然后通过动态维持CCN流表结构及使用D2D通信共同完成资源发现中的请求包转发过程;当找到匹配资源后进行资源回溯,同时参考传统网络中的基于链路状态的路由协议,设计了D2D网络中GO节点拓扑维持过程。本发明以内容为中心进行资源的发现,结合CCN的思想,设计了适用于D2D网络的CCN节点结构,提升了数据传输效率,增强用户服务质量。

    基于领域特定语言实现OSPF协议配置综合方案

    公开(公告)号:CN112532517A

    公开(公告)日:2021-03-19

    申请号:CN202011220342.6

    申请日:2020-11-05

    申请人: 东北大学

    摘要: 本发明是基于领域特定语言实现OSPF协议配置综合方案,用户编写目标网络的策略文件与拓扑文件作为系统图输入,系统检验用户策略的可行性并自动为目标网络路由设备生成满足用户策略的配置文件。方案设计了描述OSPF协议流量策略的高层次语法,设计了验证用户意图可行性的方法,设计了将策略语句转译为一阶逻辑表达式的方法及优化,设计了配置参数生成求解的方法,以及整体系统的流程与架构。本发明能够为用户提供高效、正确的域内网络OSPF协议流量策略的自动配置,极大的减轻用户手动配置的工作量,减少了由于人工配置导致网络故障发生的可能。

    基于DSL的网络配置文件测试方法

    公开(公告)号:CN112084786A

    公开(公告)日:2020-12-15

    申请号:CN202010767723.X

    申请日:2020-08-03

    申请人: 东北大学

    摘要: 本发明一种基于DSL的网络配置文件测试方法,主要步骤包括:步骤1:包含错误的配置文件数据集的准备;步骤2:用于执行静态错误匹配的相关内容的准备,包括解析错误配置文件集中的每个配置文件与待测配置文件,构建用于可疑错误检测的学习模式和用于可疑错误验证的断言模板;步骤3:可疑错误的检测及验证,包括与学习模式的匹配、基于断言模板和形式化验证器以便验证可疑错误;步骤4:基于步骤3的验证结果,利用语义分析技术来判断其他配置文件中是否存在该相同的错误,基于语义学习的方法检查其他配置文件中是否存在相同的错误,从而更加全面、快速地检测错误,提高工作效率。

    网络配置知识图谱的构建方案

    公开(公告)号:CN112015906A

    公开(公告)日:2020-12-01

    申请号:CN202010782007.9

    申请日:2020-08-06

    申请人: 东北大学

    摘要: 本发明是一种网络配置知识图谱的构建方案,该方案形象、直观的显示配置的逻辑层次结构及关联关系,为网络智能运维奠定基础;创新定义专有名词,包括对各类关系的定义、配置模板树、配置实例树、配置实例网;配置知识图谱的架构和构建流程图,架构由模式层和数据层两部分构成,利用配置文件,经过多项构建步骤,最终生成模板树、关联关键字库以及由若干实例树关联而成的实例网;该方案的方法包括配置文件解析、树形重构、配置文件归并合成、关联关键字库的构建、实例网生成。本发明能够为用户提供可视化的配置检索,当用户需要对某一节点进行更新时,能够迅速检索可能需要参考的关联节点,极大减轻用户的管理难度。

    一种用于无蜂窝网络信号区域的文件传输、聊天系统及方法

    公开(公告)号:CN110177345A

    公开(公告)日:2019-08-27

    申请号:CN201910472050.2

    申请日:2019-05-31

    申请人: 东北大学

    摘要: 本发明提供一种用于无蜂窝网络信号区域的文件传输、聊天系统及方法,本发明系统,包括:实现单元和手机单元;实现单元包括基于Wi-Fi模块的设备互联模块、文件发送模块、文件接收模块、存储模块、实时聊天模块、摄像模块以及手电筒模块;手机单元为已经配备了手机Wi-Fi模块并预装了Android 4.0及以上操作系统的设备;手机单元通过手机Wi-Fi模块与实现单元无线连接,实现文件发送、文件接收以及聊天功能。本发明基于Wi-Fi技术开发,能够在无线蜂窝网络无法覆盖的地方,比较大的范围内进行图片共享、聊天、以及对视频的边下边播等操作,具有不耗流量、用途广泛、实用性强、形式新颖、可扩展性强、前景广阔等优点,能够解决人们在信号不好的大型场所交流困难的问题。

    一种网络配置领域生成式大语言模型的实现方法、电子设备及存储介质

    公开(公告)号:CN118869426A

    公开(公告)日:2024-10-29

    申请号:CN202410844342.5

    申请日:2024-06-27

    申请人: 东北大学

    摘要: 本发明提供一种网络配置领域生成式大语言模型的实现方法、电子设备及存储介质,属于网络管理领域。本发明首先采取网络配置领域的相关文档对开源大语言模型进行增量预训练,将网络配置的相关知识注入大语言模型,得到增量预训练模型;然后采用高质量的“自然语言,网络拓扑,全网范围内的网络配置”对齐数据,对增量预训练模型进行进一步有监督微调,交给大语言模型如何实现全网配置生成任务,得到有监督微调模型;最后采用有监督微调模型生成的配置作为负样本,训练集中的正确配置作为正样本,对有监督微调模型进行直接偏好优化,提高模型生成的准确率,得到最终的配置领域生成式大语言模型,该模型不仅能理解网络配置的复杂性,还能生成符合实际需求的配置方案。

    一种分布式的数据平面资源优化方法与系统

    公开(公告)号:CN116800610A

    公开(公告)日:2023-09-22

    申请号:CN202310367763.9

    申请日:2023-04-07

    申请人: 东北大学

    摘要: 本发明公开了一种分布式的数据平面资源优化方法与系统,充分利用合并算法和拆分算法来优化数据平面程序资源,解决可编程网络下交换机的资源限制问题。首先对输入程序进行分类,接着针对资源稀疏型程序使用合并算法,对资源密集型程序使用拆分算法,由合并算法和拆分算法获得子任务集合,最后获得子任务集合中各任务在底层网络的部署方案。相比于现有技术本发明能够提升程序合并的速度以及效果、有效减少程序冗余,拆分程序减少程序放置粒度、减少设备之间的调度开销,同时能够提供资源利用率更高的部署方案,证明了一种分布式的数据平面资源优化方法与系统的实用性。