-
公开(公告)号：CN118378231A
公开(公告)日：2024-07-23
申请号：CN202410519458.1
申请日：2024-04-28
Applicant: 厦门大学
Abstract: 本公开提供了一种访问控制策略验证方法、电子设备及存储介质。本公开的访问控制策略验证方法包括：对待验证属性进行编码，得到初始验证数据，待验证属性基于待验证访问控制策略生成；根据初始验证数据和默认约束数据生成目标验证数据，默认约束数据为默认针对访问请求进行约束的数据；以及根据目标验证数据确定待验证访问控制策略的验证结果。
-
公开(公告)号：CN116684249A
公开(公告)日：2023-09-01
申请号：CN202310710346.X
申请日：2023-06-15
Applicant: 厦门大学
Abstract: 本公开提供了一种基于故障场景的分布式数据平面验证方法，包括：根据数据平面验证需求、网络拓扑结构、设备节点的网络协议前缀以及预设故障场景中各种链路故障状态，生成包含预设故障场景中所有有效路径的有向无环图；将计数任务分解之后的子任务分配给各个设备节点，以使得各个设备节点上的验证器基于子任务进行计数；响应于实际故障链路与预设故障场景相匹配的判断结果，在有向无环图中调取对应于实际链路故障状态的有效路径洪泛实际故障链路；调取有效路径中的各个设备节点基于子任务进行重新计数，以重新计数的结果作为数据平面验证结果。本公开还提供一种基于故障场景的分布式数据平面验证系统。
-
公开(公告)号：CN116739052A
公开(公告)日：2023-09-12
申请号：CN202310710305.0
申请日：2023-06-15
Applicant: 厦门大学
IPC: G06N3/0464 , H04L9/40 , G06N3/048 , G06N3/092
Abstract: 本公开提供了一种针对网络任务应答信息的优化方法，包括：根据机器学习模型对网络任务的应答逻辑，确定关于应答逻辑的至少一个验证问题，其中网络任务包括网络拥塞控制任务、视频流速率控制任务和数据中心流调度任务，应答逻辑表征机器学习模型生成应答信息的原理；对验证问题进行编码，以将验证问题转换为第一可满足性模理论公式；由编码器对机器学习模型的网络结构进行编码，以获得多个第二可满足性模理论公式；调用规划器对第一可满足性模理论公式和第二可满足性模理论公式进行分析，生成用于表征机器学习模型的应答逻辑合理性的解释结论。本公开还提供一种针对网络任务应答信息的优化系统。
-
公开(公告)号：CN115051984A
公开(公告)日：2022-09-13
申请号：CN202210164280.4
申请日：2022-02-23
Applicant: 厦门大学
Abstract: 本公开提供了一种分布式数据平面验证方法，其特征在于，包括：验证规划器接收数据平面验证需求、网络拓扑及设备‑IP前缀映射信息；验证规划器基于数据平面验证需求和网络拓扑结构，生成有向无环网络图DVNet；验证规划器将计数任务进行分解，以使得网络中各个设备获得分解后的计数任务；以及网络中的各个设备接收分解后的计数任务，通过设备上的验证器进行计数，以获得验证结果。本公开还提供了一种分布式数据平面验证系统。
-
公开(公告)号：CN119647560A
公开(公告)日：2025-03-18
申请号：CN202411692716.2
申请日：2024-11-25
Applicant: 厦门大学
Abstract: 本发明公开了基于层冻结的混合专家模型训练系统，涉及模型训练领域，包括外存、冻结控制器、资源分配控制器和若干计算设备；外存存储用于训练混合专家模型的数据集；冻结控制器根据专家选择路径进行冻结决策，交与计算设备执行；资源分配控制器基于冻结层专家选择路径执行词元分组算法计算专家热度，根据专家热度分配计算资源；计算设备存储混合专家模型，执行模型训练操作，根据层冻结决策执行层冻结任务，将冻结层专家选择路径和专家选择路径分别反馈给资源分配控制器和冻结控制器。本发明通过层冻结技术进行混合专家模型的训练，保持模型精度的同时减小训练成本；基于词源分组算法进行计算资源分配，实现设备负载均衡。
-
Patent Agency Ranking
公开(公告)号：CN119271569A
公开(公告)日：2025-01-07
申请号：CN202411305942.0
申请日：2024-09-19
Applicant: 厦门大学
IPC: G06F12/02
Abstract: 本发明公开了一种基于零预留空间固态硬盘的数据管理方法、装置及可读介质，包括：获取当前周期的待写入的数据、垃圾回收的数据量和剩余TLC类型的空闲空间容量，根据待写入的数据的预测热度以伪编程的方式将待写入的数据编程到对应热度类型的SLC类型的闪存块，对热度管理链表进行更新，得到更新后的热度管理链表；若满足阈值判断条件，则在更新后的热度管理链表中选择最佳的SLC闪存块作为重编程目标，并以重编程的方式编程到TLC类型的闪存单元中，将重编程目标重编程得到的作为额外空间作为预留空间；若不满足阈值判断条件，则将TLC类型的闪存单元作为预留空间。本发明能够在保证存储空间的同时保留较大的预留空间，提供稳定高速的读写性能。
-
-
公开(公告)号：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；验证规划器将计数任务进行分解，以使得网络中各个设备获得分解后的计数任务；以及网络中的各个设备接收分解后的计数任务，通过设备上的验证器进行计数，以获得验证结果。本公开还提供了一种分布式数据平面验证系统。
-
公开(公告)号：CN119807057A
公开(公告)日：2025-04-11
申请号：CN202411877049.5
申请日：2024-12-19
Applicant: 厦门大学
IPC: G06F11/3668 , G06F16/242 , G06F18/22 , G06N5/022
Abstract: 本发明公开了一种基于大语言模型的数据库测试用例扩展方法、装置及可读介质，包括：构建每个数据库管理系统对应的特征知识库；通过错误恢复机制识别初始数据库管理系统的原始查询SQL语句中的原始方言特征，将原始方言特征在目标数据库管理系统对应的特征知识库中进行方言映射，得到目标方言特征及其对应的描述和示例；将初始数据库管理系统的原始查询SQL语句输入到转换模型，构建第一提示词，通过第一提示词指导转换模型生成目标数据库管理系统的原始查询SQL语句；将目标数据库管理系统的原始查询SQL语句输入到所选的变异策略对应的经微调的变异模型，生成对应的目标数据库管理系统的变异查询SQL语句，有效提高通用性和可靠性。
-
-
-
-
-
-
-
-
-
Search Results
23
records
(took 0.021 seconds)
