公开(公告)号：CN117852011A

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

申请号：CN202311854823.6

申请日：2023-12-29

Applicant: 厦门大学

Inventor： 向乔 ,  宋明远 ,  方星 ,  丁飞燕 ,  游理钊 ,  舒继武

IPC: G06F21/44 ,  G06F21/56 ,  G06F21/57

Abstract: 本公开提供了一种策略验证方法、电子设备及存储介质。本公开的策略验证方法包括：根据目标策略生成初始公式数据和待验证公式，待验证公式和初始公式数据中的初始公式均为可满足性模理论公式；根据待验证公式对初始公式数据进行公式选择处理，生成目标公式数据，目标公式数据包括部分初始公式数据；根据目标公式数据和待验证公式进行可满足性模理论求解，生成第一求解结果数据；以及根据第一求解结果数据确定目标策略的策略验证结果。

公开(公告)号：CN117850691A

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

申请号：CN202311854867.9

申请日：2023-12-29

Applicant: 厦门大学

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

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

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