-
公开(公告)号：CN116582480A
公开(公告)日：2023-08-11
申请号：CN202310847376.5
申请日：2023-07-12
Applicant: 厦门大学
Abstract: 本发明涉及一种寻找最少失效链路使得路由不可达的方法，包括随机生成若干张路由传播图训练集，每张路由传播图指定源节点与目的节点；利用消息传递神经网络构建深度强化学习神经网络；使用随机数据集训练消息传递神经网络，用于生成链路个数最少的链路集合，集合内的链路失效将使得目的节点的路由无法传播到源节点；输入现网网络配置与拓扑，转换成现网路由传播图；利用训练后的深度强化学习神经网络，针对现网路由传播图找出链路个数最少的链路集合，集合内的链路失效将使得目的节点的路由无法传播到源节点。本发明能够快速地、准确地找到要切断的最少的链路集合，可用于网络配置验证工具判断现有网络的健壮性。
-
公开(公告)号：CN114189916B
公开(公告)日：2023-07-14
申请号：CN202111397886.4
申请日：2021-11-19
Applicant: 厦门大学
IPC: H04W40/02 , H04W40/32 , H04W28/18 , H04L45/121 , H04L45/00
Abstract: 本公开提供了一种5G网络低时延端到端通信的域间边缘协同方法，包括：5G网络中的各个子网络通过线下协商，共同确定一个域间边缘网络的代价函数g；每个边缘节点i估计其与其他节点j间的流量需求lij；每个边缘节点估计其与网络中其他节点通过骨干网传输流量的时延每个边缘节点i决定一个最大时延系数αij，αij取值范围为大于零且小于一的数；基于αij和确定边缘节点i到其他节点j的最大允许传输时延；边缘节点通过与邻居节点通信过程中，对网络中各个节点分簇，并基于各个分簇，在簇内求解线性规划问题，从而得出各路径上的流量分配方式。本公开还提供了一种5G网络低时延端到端通信的域间边缘协同装置、电子设备以及可读存储介质。
-
公开(公告)号：CN115051984B
公开(公告)日：2023-03-28
申请号：CN202210164280.4
申请日：2022-02-23
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式数据平面验证方法，其特征在于，包括：验证规划器接收数据平面验证需求、网络拓扑及设备‑IP前缀映射信息；验证规划器基于数据平面验证需求和网络拓扑结构，生成有向无环网络图DVNet；验证规划器将计数任务进行分解，以使得网络中各个设备获得分解后的计数任务；以及网络中的各个设备接收分解后的计数任务，通过设备上的验证器进行计数，以获得验证结果。本公开还提供了一种分布式数据平面验证系统。
-
公开(公告)号：CN120050319A
公开(公告)日：2025-05-27
申请号：CN202510493486.5
申请日：2025-04-18
Applicant: 厦门大学
IPC: H04L67/133 , H04L67/568 , H04L49/901 , H04L49/90 , H04L49/9047
Abstract: 本发明提供了一种RPC数据处理方法、电子设备、存储介质及程序产品。本发明的RPC数据处理方法，包括：响应于发送端基于请求数据发送的数据包，通过网卡从数据包中获取包头和包体；通过网卡将包头存入第一环形缓冲区并将包体存入不同于第一环形缓冲区的第二环形缓冲区；通过中央处理器根据第一环形缓冲区和第二环形缓冲区存储的数据重构请求数据。
-
公开(公告)号：CN119597722A
公开(公告)日：2025-03-11
申请号：CN202411671403.9
申请日：2024-11-21
Applicant: 厦门大学
IPC: G06F16/182 , G06F16/13 , G06F9/54
Abstract: 本发明涉及一种基于数据处理单元DPU的分布式文件系统，包括：计算节点、DPU和存储节点：所述计算节点，包括客户端请求接口和主机共享内存；所述DPU包括文件请求处理模块、数据路径管理模块、元数据索引管理模块和元数据内存管理模块；所述存储节点，包括远端共享内存；所述文件请求处理模块采用单边轮询机制；所述数据路径管理模块采用单操作零拷贝传输；所述元数据索引管理模块采用按核索引结构；所述元数据内存管理模块采用双层分配结构。本发明在DPU中采用单边轮询机制、按核索引结构及双层分配结构减少了计算节点的CPU开销，同时为了突破DPU内存瓶颈构造了高效的数据路径。
-
Patent Agency Ranking
公开(公告)号：CN119493519A
公开(公告)日：2025-02-21
申请号：CN202311047417.9
申请日：2023-08-17
IPC: G06F3/06 , G06F12/0891
Abstract: 本申请公开了一种数据管理方法及其装置，属于文件系统技术领域。该方法包括：获取待写入外部存储器的文件中的待写入数据；当待写入数据不为重复数据时，为待写入数据分配虚拟地址和物理地址，将待写入数据记载在物理地址中，记载虚拟地址与物理地址的对应关系，及虚拟地址与待写入数据的逻辑地址的对应关系，逻辑地址用于指示待写入数据在文件中的位置；当待写入数据为重复数据时，获取待写入数据的重复数据的虚拟地址，记载虚拟地址与待写入数据的逻辑地址的对应关系。本申请避免了逻辑地址与物理地址的直接映射。
-
公开(公告)号：CN118353813A
公开(公告)日：2024-07-16
申请号：CN202410608736.0
申请日：2024-05-16
Applicant: 厦门大学
IPC: H04L43/0805 , H04L43/50 , H04L61/4511 , H04L67/10
Abstract: 本公开提供了一种域名系统配置的分布式验证方法、装置、介质及设备，该方法包括：根据接收到的针对目标区域文件的验证请求，确定所述目标区域文件对应的待验证属性类型及其对应的验证过程参数；基于所述目标区域文件，生成对应的行为树；采用符号化执行遍历所述行为树，生成本地等价类集合；根据所述待验证属性类型以及所述验证过程参数，对所述本地等价类集合进行查询验证。本申请实施例的技术方案可以提高域名系统配置验证的针对性，并保证域名系统配置验证的准确性。
-
公开(公告)号：CN117852011A
公开(公告)日：2024-04-09
申请号：CN202311854823.6
申请日：2023-12-29
Applicant: 厦门大学
Abstract: 本公开提供了一种策略验证方法、电子设备及存储介质。本公开的策略验证方法包括：根据目标策略生成初始公式数据和待验证公式，待验证公式和初始公式数据中的初始公式均为可满足性模理论公式；根据待验证公式对初始公式数据进行公式选择处理，生成目标公式数据，目标公式数据包括部分初始公式数据；根据目标公式数据和待验证公式进行可满足性模理论求解，生成第一求解结果数据；以及根据第一求解结果数据确定目标策略的策略验证结果。
-
公开(公告)号：CN117850691A
公开(公告)日：2024-04-09
申请号：CN202311854867.9
申请日：2023-12-29
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式存储方法、交换机及存储介质。本公开的分布式存储方法包括：响应于接收到客户端发送的写请求，根据交换机系统时间判断交换机是否满足本地存储条件；若是，则初始化写请求中目标写数据的目标元数据；根据交换机系统时间将目标元数据和目标写数据存储至交换机本地；以及根据交换机本地存储的目标元数据对目标写数据进行分布式存储。
-
公开(公告)号：CN117640382A
公开(公告)日：2024-03-01
申请号：CN202311636934.X
申请日：2023-12-01
Applicant: 厦门大学
IPC: H04L41/0866
Abstract: 本公开提供了一种基于网络领域知识的网络配置验证加速方法、电子设备及可读存储介质。本公开的方法，包括：筛选得到网络配置信息中与待验证的网络不变量无关的第一配置信息，将网络配置信息中的第一配置信息忽略，得到第二配置信息；对待验证的网络不变量进行编码，得到第一编码信息；对第二配置信息进行编码，得到第二编码信息，其中，在编码过程中，对第二配置信息中的数值属性信息进行抽象；将第一编码信息和第二编码信息进行组合，得到编码信息；确定编码信息中的第一变量的搜索顺序，以及，确定编码信息中的第一变量的赋值顺序；根据搜索顺序，选取编码信息中的第一变量，然后根据赋值顺序，对选取的第一变量进行赋值，进行编码信息的验证。
-
-
-
-
-
-
-
-
-
Search Results
63
records
(took 0.029 seconds)
