-
Petri_Games_Based_网络更新合成实验复现数据
数据集概述 本数据集是论文“Automatic Synthesis of Transiently Correct Network Updates via Petri Games”的配套实验复现工具包，包含实验所需的脚本、二进制文件、源代码及预生成模型。支持执行网络拓扑更新合成实验，验证暂态正确性，可复现论文中的实验结果并支持实验修改与扩展。 文件详解...
-
ODP_Leg_144_Hole_801C_井眼地层测井数据
数据集概述 本数据集包含ODP Leg 144项目中801C钻孔的井眼测井数据，记录了钻孔周围地层的物理性质测量结果，涵盖电阻率、伽马辐射、速度、密度、井眼图像等参数，数据采集方式包括取心后电缆测井和随钻测井，具体参数范围由科学目标和作业约束决定，总计包含2个文件。 文件详解 文件名称：readme.docx 文件格式：DOCX...
-
UDOT_Based_沥青混合料半圆弯曲试验材料性能评估数据
数据集概述 本数据集为犹他州交通运输部支持的沥青混合料性能研究的一部分，包含犹他州7种沥青混合料在工厂和摊铺现场采集的样本数据。样本经Superpave旋转压实仪压实为圆柱体后切割成带缺口的半圆试样，按AASHTO T124-16规范（调整加载速率）进行测试，用于制定规范限值，共含544个文件。 文件详解 文本文件（.txt，共543个）...
-
ARRIVE_Guidelines_动物实验伦理报告规范数据
数据集概述 本数据集为动物实验报告相关的ARRIVE指南文件，核心内容是依据伦理审批要求制定的动物实验报告规范，旨在指导动物实验研究的合规性报告，仅包含一份文档文件。 文件详解 文件名称：The ARRIVE Essential.docx 文件格式：DOCX 字段映射介绍：无字段映射信息，文件为动物实验报告伦理规范相关的文档内容 适用场景...
-
IMITATOR_Based扩展参数化时间自动机基准库2_1
数据集概述 本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。 文件详解 归档文件1： 文件名称：benchmarks.zip 文件格式：ZIP...
-
GPU_Based_自适应反距离加权插值算法并行加速实验数据
数据集概述 本数据集为GPU加速自适应反距离加权（AIDW）插值算法相关的实验数据与源代码。AIDW是标准IDW的改进版，可根据数据点空间分布自适应确定幂参数，提升预测精度。数据集包含单双精度下基于不同数据布局的朴素版与分块版GPU加速AIDW的实现代码及测试数据，用于验证算法性能。 文件详解 文件名称：GPU_AIDW.zip 文件格式：ZIP...
-
SafeLog_Based_多智能体路径规划算法基准测试数据
数据集概述 本数据集由SafeLog项目生成，用于多智能体路径规划算法的基准测试。包含21张密度递增的地图（基于20×20顶点的正方形图构建，边数从生成树的800条到近4连通图的1500条），以及针对每张地图的500组随机任务分配（每组含100个智能体），支持算法性能评估。 文件详解 核心数据文件...
-
DBGI_KG_Based热带植物知识图谱玩具数据集v0_4
数据集概述 本数据集是Digital Botanical Gardens Initiative Knowledge Graph（DBGI-KG）的热带植物知识图谱玩具数据集，用于知识图谱相关任务的测试与验证。数据集为简化压缩包格式，无训练/测试、数据/标签或原始/处理数据划分，仅包含一个压缩文件。 文件详解 压缩文件...
-
Tabu_Search_最大多样性分组问题禁忌搜索算法研究数据
数据集概述 本数据集围绕“最大多样性分组问题”展开，包含用于研究禁忌搜索结合策略振荡算法的相关数据。数据以压缩包形式呈现，支持对该算法在最大多样性分组问题中的应用研究，为运筹学领域的算法优化提供参考。 文件详解 文件名称：mdgplib.zip 文件格式：ZIP...
-
Isaac_Sim_Based_多臂机器人平台数字孪生合成数据
数据集概述 本数据集为基于Isaac Sim构建的多臂机器人平台数字孪生相关数据，用于合成数据生成。数据与AISciencePlatform的icra2023_synthetic_data_pretraining_for_robotics仓库相关联，包含一个压缩文件，可支持机器人学领域的合成数据研究与应用。 文件详解 文件名称：data.zip...
-
AlphaFold3_Based_抗体与纳米抗体基准测试数据集
数据集概述 本数据集包含AlphaFold3抗体与纳米抗体基准测试相关的文件，包括清理、裁剪和重新编号的晶体结构及AF3预测结构的压缩包，以及数据集元数据文件，可用于蛋白质结构预测模型的性能评估与验证。 文件详解 Compiled_Benchmark_Data.tar.gz 文件格式：.gz（压缩包）...
-
AVP_LVT_Based_人声打击乐音频与标注数据集_扩展版
数据集概述 本数据集整合了AVP和LVT两个公开数据集的人声打击乐数据，包含四十八名无或极少beatbox经验参与者的音频与标注。数据扩展了原始标注，新增音节级语音标注，遵循国际音标（IPA）规范，包含音头音素与韵尾音素信息，支持人声打击乐的语音与音乐特征分析。 文件详解 文件名称：AVP-LVT_Dataset.zip 文件格式：ZIP...
-
MedLatin_Based_中世纪拉丁语作者分析数据集_v1
数据集概述 本数据集包含MedLatinEpi和MedLatinLit两个子数据集，合计324篇标注作者的中世纪拉丁语文本。其中MedLatinEpi含294篇书信类文本，MedLatinLit含30篇文学评论及各主题论著类文本，可为作者归属、作者验证等计算语言学任务提供研究基础。 文件详解 文件名称：MedLatin.zip 文件格式：ZIP...
-
TLS_IMU_Based_MEMS惯性测量单元现场辨识数据集
数据集概述 本数据集为MEMS惯性测量单元（IMU）的总体最小二乘（TLS）现场辨识研究提供支持，包含算法文件、实验数据集及STM32相关文件三类压缩包，用于辅助理解和实现TLS现场辨识算法。 文件详解 文件名称：Files_TLS_IMU_Identification_Algorithm.zip 文件格式：ZIP 字段映射介绍：包含TLS...
-
Fairness_Based_合成数据生成公平性研究基准数据集
数据集概述 本数据集是用于研究合成数据生成公平性的基准数据集，包含traveltime、cardio、credit、German Credit等多个子数据集，覆盖人口普查、医疗、金融等领域，涉及工作通勤时间、心血管疾病、信贷违约等预测任务，提供结构化数据及类型描述文件，支持公平性评估研究。 文件详解 数据文件（CSV格式）...
-
reassortment_Based_流感病毒重配路径研究数据
数据集概述 本数据集围绕流感病毒重配路径研究展开，包含支持重配事件检测算法开发的相关文件。研究提出两种检测方法（MLreassort和Breassort），可识别流感等分段病毒的重配事件，数据集含2个压缩文件，用于算法实现与验证。 文件详解 文件名称：scripts_reassort.zip 文件格式：ZIP...
-
Myrmecia_Navigation_昆虫导航行为研究数据集
数据集概述 本数据集围绕Myrmecia（斗牛犬蚁属）的导航行为展开，包含一个压缩文件包，未划分训练/测试集、数据/标签集或原始/处理数据集，无额外说明文档或内容预览，可用于昆虫导航相关的研究与分析。 文件详解 文件名称：Data repository.zip 文件格式：ZIP（压缩包）...
-
Chiloe_Based_奇洛埃岛能源冲突与绿色基础设施数据集
数据集概述 本数据集包含奇洛埃岛能源冲突与绿色基础设施相关的3个Excel文件，覆盖K-nn数据库、能源项目数据库及绿色能源社会领土冲突数据库三类内容，为研究该地区能源领域的社会冲突与绿色基础设施发展提供结构化数据支持。 文件详解 文件名称：Base de datos de K-nn.xlsx 文件格式：XLSX...
-
AxSAT_JELIA_2025_SAT规划实验代码与结果数据
数据集概述 本数据集为JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》的配套资源，包含扩展版Fast Downward规划系统代码、PDDL基准测试用例、原始实验数据及解析后的数据，共4个文件，用于支持SAT规划算法AxSAT的实验复现与分析。 文件详解 代码文件 文件名称：code.zip...
-
MAAT_Based机器学习软件公平性性能优化研究数据2022
数据集概述 本数据集为ESEC/FSE 2022收录论文的研究工件，包含MAAT算法及对比方法的源代码、中间结果、安装说明与复现指南。MAAT是一种用于平衡机器学习软件公平性与性能的集成方法，可复现论文中所有研究问题的结果，为相关算法研究提供支持。 文件详解 文件名称：FSE22-MAAT.zip 文件格式：ZIP...
