公开(公告)号：CN115334019B

公开(公告)日：2023-09-26

申请号：CN202210928481.7

申请日：2022-08-03

Applicant: 厦门大学

Inventor： 江靖辉 ,  黄振培 ,  向乔 ,  舒继武

IPC: H04L49/20 ,  G06N5/04 ,  G06F16/903

Abstract: 本公开提供一种可编程交换机处理SAT问题的数据处理方法，包括：可编程交换机接收服务器预处理后的SAT公式数据；可编程交换机接收服务器发送的求解指令；可编程交换机对SAT问题求解；可编程交换机将SAT问题求解结果发送至服务器。本公开还提供一种可编程交换机。

公开(公告)号：CN117850691A

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

申请号：CN202311854867.9

申请日：2023-12-29

Applicant: 厦门大学

Inventor： 向乔 ,  沈欢 ,  江靖辉 ,  宋明远 ,  范晰雯 ,  黄振培 ,  舒继武

IPC: G06F3/06 ,  G06F16/22 ,  G06F16/27

Abstract: 本公开提供了一种分布式存储方法、交换机及存储介质。本公开的分布式存储方法包括：响应于接收到客户端发送的写请求，根据交换机系统时间判断交换机是否满足本地存储条件；若是，则初始化写请求中目标写数据的目标元数据；根据交换机系统时间将目标元数据和目标写数据存储至交换机本地；以及根据交换机本地存储的目标元数据对目标写数据进行分布式存储。

公开(公告)号：CN116303328A

公开(公告)日：2023-06-23

申请号：CN202310314877.7

申请日：2023-03-28

Applicant: 厦门大学

Inventor： 黄振培 ,  向乔 ,  江靖辉 ,  范晰雯 ,  舒继武

IPC: G06F16/182 ,  G06F16/172

Abstract: 本公开提供了一种客户端及分布式文件系统，客户端配置有可编程交换机，可编程交换机被配置为执行以下操作：响应于接收到的第一写请求，将第一写请求发送至主服务器，接收主服务器发来的n个第二写请求并分别转发至相应的第一节点服务器进行副本写入，接收第一节点服务器反馈的表征写入成功的第一回复信息，在反馈第一回复信息的第一节点服务器数量达到m(m

公开(公告)号：CN115334019A

公开(公告)日：2022-11-11

申请号：CN202210928481.7

申请日：2022-08-03

Applicant: 厦门大学

Inventor： 江靖辉 ,  黄振培 ,  向乔 ,  舒继武

IPC: H04L49/20 ,  G06N5/04 ,  G06F16/903

Abstract: 本公开提供一种可编程交换机处理SAT问题的数据处理方法，包括：可编程交换机接收服务器预处理后的SAT公式数据；可编程交换机接收服务器发送的求解指令；可编程交换机对SAT问题求解；可编程交换机将SAT问题求解结果发送至服务器。本公开还提供一种可编程交换机。