数据集 - 海数据

Ground_Truth_数据集合

2026年2月15日 30 101 81

数据集概述本数据集包含2个文件，文件类型包括.md和.xlsx，无目录结构。文件样本为Systems.md和Ground-truth-details.xlsx，无训练/测试、数据/标签、原始/处理数据的划分，无README或内容预览。文件详解文件名称：Systems.md 文件格式：.md 字段映射介绍：无内容预览，无法提供具体字段信息。...

ZIP

头脑风暴优化算法应用及变体研究数据

2026年2月15日 30 67 18

数据集概述本数据集为"Brain storm optimization算法：应用与变体"研究工作提供完整数据支撑，包含一个压缩文件，无目录层级结构，未划分训练/测试、数据/标签或原始/处理数据，主要用于该算法相关的研究与分析。文件详解文件名称：Přílohy.zip 文件格式：ZIP 字段映射介绍：压缩文件包含"Brain storm...

ZIP

双黑洞模拟SXS_BBH_0499数据

2026年2月10日 30 27 21

数据集概述本数据集为SXS:BBH:0499双黑洞系统模拟数据，通过SpEC代码演化生成，包含36个文件，涵盖.json和.h5两种格式。数据涉及多精度层级（Lev1、Lev2、Lev3）的元数据、应变波形及视界信息，是研究双黑洞合并物理过程的核心模拟数据。文件详解元数据文件（Metadata）...

ZIP

SEER_Based_性能模型采样量估算系统数据

2026年1月31日 30 187 31

数据集概述本数据集包含SEER系统相关数据，SEER用于在考虑误差的情况下估算性能模型的采样量，帮助用户确定性能测量的停止时机，避免不必要的成本。数据涵盖支持SEER使用的代码、验证用的基准数据及结果文件，以压缩包形式提供。文件详解文件名称：SEER-main.zip 文件格式：ZIP 字段映射介绍：压缩包内包含三个核心文件夹：...

ZIP

CROMP_Based_工资数据_模型基准测试数据

2026年2月9日 30 85 11

数据集概述本数据集为用于CROMP模型基准测试的合成工资数据，基于Kaggle的“Data scientist salary dataset”创建。数据用于验证和测试CROMP模型的性能，其创建方法在未发表的相关论文中有详细说明。数据集包含一个文件，无目录结构和数据划分。文件详解文件名称：benchmark_wage_data.xlsx...

ZIP

RecipeRec_Based_食谱推荐异构图学习模型数据

2026年2月9日 30 131 17

数据集概述本数据集为RecipeRec异构图学习模型的配套数据，用于支持食谱推荐任务。数据以单一JSON文件形式提供，未包含训练/测试、数据/标签或原始/处理的拆分结构，是研究异构图学习在食谱推荐领域应用的基础数据资源。文件详解文件名称：recipe-rec.json 文件格式：JSON...

ZIP

Separation_Logic_无限制效果处理程序实现与测试基准数据

2026年2月6日 30 16 7

数据集概述本数据集为论文《Separation Logic for Unrestricted Effect Handlers》的支撑数据，包含分离逻辑无限制效果处理程序的最新实现代码与测试基准，以压缩包形式提供，用于支持相关研究的复现与验证。文件详解文件名称：speration_logic_for_effects.zip 文件格式：ZIP...

ZIP

FAIR_Based_数据生命周期模型评估结果数据

2026年1月31日 30 178 103

数据集概述本数据集包含依据FAIR原则对数据生命周期模型进行评估的结果，核心围绕数据模型的统计评估内容，为数据治理领域提供标准化评估参考。数据集以单个压缩文件形式存储，无分层目录结构。文件详解文件名称：Data Lifecycle Models Evaluation According to FAIR Principles.zip...

ZIP

FEMaLe_SoMe_2024年社交媒体指标数据集

2026年1月31日 30 205 193

数据集概述本数据集为2024年FEMaLe相关的社交媒体指标数据，包含全年（1月至12月）的社交媒体指标信息，以单一文件形式呈现，无分层目录结构，未区分训练/测试、数据/标签或原始/处理数据类型。文件详解文件名称：FEMaLe SoMe 2024 (M1-M12).xlsx 文件格式：XLSX...

ZIP

SXS_BBH_Based双黑洞系统数值模拟全量数据

2026年1月31日 30 17 13

数据集概述本数据集是由SpEC代码演化的双黑洞双星系统模拟数据，包含36个文件，涵盖.json和.h5两种格式，各占50%。数据涉及不同层级（Lev2、Lev3、Lev4）的元数据、应变数据及额外波形文件，用于记录双黑洞系统模拟的格式、数据信息、版本及验证等内容，是黑洞物理研究的基础模拟数据。文件详解 JSON文件（共18个）...

ZIP

mCRL2_Based_基于反链的精化检查基准测试数据

2026年1月30日 30 9 3

数据集概述本数据集是一套基于反链的精化检查基准测试，包含可通过mCRL2工具集的ltscompare工具进行比较的mCRL2规范。数据集以压缩包形式提供，用于形式化方法领域的模型检测性能评估与工具验证。文件详解文件名称：antichain-benchmarks.zip 文件格式：ZIP...

ZIP

Parameters_Based基础案例参数与数值数据

2026年1月30日 30 150 52

数据集概述本数据集包含基础案例中的参数及其对应数值信息，为相关分析提供基础参数配置参考。数据集仅包含一个文件，无目录层级划分，未区分训练/测试、数据/标签、原始/处理数据类型。文件详解文件名称：data.xlsx 文件格式：XLSX...

ZIP

CompactIE_Based开放信息抽取紧凑事实数据集

2026年1月30日 30 80 1

数据集概述本数据集为论文“CompactIE: Compact Facts in Open Information Extraction”配套数据，包含开放信息抽取任务中紧凑事实提取相关内容，仅含一个JSON格式文件，无训练测试、数据标签或原始处理数据拆分。文件详解文件名称：benchmark.json 文件格式：JSON...

ZIP

MDGP_Based_中性景观模型模拟与标度算法评估数据

2026年1月30日 30 170 100

数据集概述本数据集包含两类内容：一是用于标度算法基准测试的分类数据中性景观模型模拟结果，二是用于测试新开发的多维网格点（MDGP）标度算法一致性与敏感性的标度结果。中性景观模型通过nlmpy Python模块生成，MDGP算法及测试框架通过R实现。文件详解文件名称：mdgpScalingAlgorithmEvaluation_nlm.zip...

ZIP

CEEC_Based_历史英语拼写规范化人工标注测试集数据

2026年1月30日 30 177 115

数据集概述本数据集为CEEC语料库历史英语规范化测试集，包含人工生成的三组历史-现代拼写对列表：混合世纪列表、15世纪列表和18世纪列表，每组各100对。历史形式均源自CEEC语料库，总计包含一个文件。文件详解文件名称：test_set_of_normalizations.xlsx 文件格式：XLSX...

ZIP

秀丽隐杆线虫MT151品系行为实验数据2010_05_11

2026年1月29日 30 4 2

数据集概述本数据集为秀丽隐杆线虫MT151品系（egl-33(n151)I）的行为实验数据，记录了成年雌雄同体线虫在特定培养条件下的运动行为。数据包含实验基本信息、视频参数及行为特征文件，是线虫行为学研究的基础数据资源。文件详解行为特征文件文件名称：egl-33 (n151)I on food...

ZIP

Swiss_Based_瑞士未受扰动径流观测水文站清单数据

2026年1月29日 30 150 88

数据集概述本数据集为瑞士联邦环境局未受显著扰动的径流观测水文站清单，记录了无（或极少）水力基础设施干扰（如水电引水/放水、上游调节湖影响）的水文站信息，可用于分析自然径流梯度或测试水文模型，需注意部分站点可能受局部灌溉取水影响。文件详解文件名称：CHgauges_undisturbed_toShareV1.xlsx 文件格式：XLSX...

ZIP

IMITATOR_Based扩展参数化时间自动机基准库2_1

2026年1月29日 30 128 16

数据集概述本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。文件详解归档文件1：文件名称：benchmarks.zip 文件格式：ZIP...