数据集 - 海数据

同余速度公式支持数据集

2025年12月15日 30 149 69

数据集概述本数据集包含一个PDF文件，展示了对十万级非10模数基a的常数同余速度的直接计算结果，验证了《同余速度公式》论文中提出的逆映射关系，为该理论提供实证数据支持。文件详解文件名称: Data file for the kind reviewers about the constant congruence speed of a.pdf...

ZIP

Objaverse_Busto_2_Based_基于54张图像的Busto_2三维重建完整数据

2025年12月14日 30 134 61

数据集概述该数据集为使用RealityCapture软件，基于54张图像重建的“Busto 2”三维模型数据，重建耗时约13分18秒，包含三维模型文件与配套预览图片，支持三维模型相关研究与应用。文件详解三维模型文件： fe807823f5ed4a1ea1bcf3e16d58867c.glb：GLB格式三维模型文件，存储Busto...

ZIP

基于最小二乘准则的快速定年算法数据集

2025年12月14日 30 57 21

数据集概述本数据集围绕基于最小二乘准则的快速定年算法展开，针对大型系统发育树（如含数千分类群的病毒数据），提出近线性时间复杂度的定年方法，可估计替代率、祖先节点日期及根位置，支持带时间采样的序列数据，提供约束与非约束两种设置的算法实现。文件详解文件名称:...

ZIP

海洋锋面检测基准数据集

2025年12月13日 30 46 14

数据集概述本数据集为测试和展示Python海洋锋面检测工具库“Fronts-toolbox”中的各类算法而设计，包含用于算法性能验证的基准数据，支持对复杂锋面检测算法的效果评估与功能展示。文件详解文件名称：MODIS.zip，文件格式：ZIP压缩包，内容：可能包含MODIS卫星数据，用于海洋锋面检测算法的基准测试文件名称：ESA-...

ZIP

B_I_Sat算法评估用基准Petri网模型数据集

2025年12月13日 30 207 23

数据集概述本数据集包含用于评估B-I-Sat算法的基准Petri网模型及其文档资料，核心为模型文件与说明文档，为B-I-Sat算法的性能验证提供基础模型支持。文件详解文件名称: bisat-pn-models.zip，文件格式: .zip（压缩包），包含用于B-I-Sat算法评估的基准Petri网模型文件文件名称: bisat-pn-...

ZIP

SMT公式高效体积计算数据集KR_25

2025年12月13日 30 131 15

数据集概述该数据集包含复现KR-25会议论文《Efficient Volume Computation for SMT Formulas》结果所需的必要数据，主要由基准测试数据和计算集群生成的日志文件组成，为验证SMT公式体积计算方法的效率提供数据支持。文件详解文件名称：benchmarks.zip 文件格式：ZIP压缩包...

ZIP

本体对齐评估计划2005基准测试数据集_bench25

2025年12月13日 30 33 22

数据集概述该数据集包含2005年本体对齐评估计划（OAEI）使用的bench25基准测试数据，通过系统修改文献领域种子本体生成，用于评估本体匹配工具的性能与进展，提供稳定可复用的测试资源。文件详解数据集为单一压缩文件，具体说明如下： - 文件名称: bench25.zip - 文件格式: ZIP压缩包 - 压缩包内包含: -...

ZIP

Zenodo_OAEI2025_Based_本体对齐评估倡议bench23测试完整数据

2025年12月11日 30 65 31

数据集概述该数据集包含本体对齐评估倡议（OAEI）2025年使用的bench23基准测试数据，基于文献领域种子本体的系统性修改生成，用于评估本体匹配工具的性能与稳定性。文件详解压缩包文件: bench23.zip，包含所有测试相关文件，具体内容如下： index.html：主文档文件...

ZIP

拼图碎片数据集

2025年12月9日 30 140 90

数据集概述该数据集包含九百一十二个数字拼图的图像碎片，每个拼图存储在编号为0至912的文件夹中。数据集旨在支持计算机视觉、图像重建和数字拼图处理领域的研究，用于测试和评估拼图重建算法与图像处理技术。文件详解该数据集由一个压缩文件和一个说明文档组成，具体说明如下： - 核心文件: - puzzles.zip:...

ZIP

精确算法在棒材排样中的应用研究代码与数据

2025年12月6日 30 25 1

数据集概述本数据集包含研究论文《Exact Algorithms in Bar Nesting: How to Cut General Items from Linear Stocks so that Wastage is Minimised》中使用的代码和结果数据，旨在通过精确算法实现线性棒材切割时的废料最小化，支持棒材排样优化的相关研究与应用。...

ZIP

ICSE_24论文Artifact_非良分离GR_1_规范的类型控制器与快速启发式

2025年12月5日 30 154 83

数据集概述该数据集是ICSE'24会议论文的附属Artifact，用于复现论文中关于非良分离GR(1)规范的类型控制器与快速启发式方法的实验结果，支持论文核心实验的验证与重复。文件详解 LICENSE.txt：TXT格式，包含BSD 3-Clause License授权信息，涉及版权归属（特拉维夫大学与软件建模实验室）及使用条款。...