数据集 - 海数据

数据集概述该数据集为神经组织的各向异性扫描透射电镜（ssTEM）分割数据，包含果蝇神经组织电镜成像中神经元边界、线粒体和突触分割的训练数据，支持相关生物图像分析模型训练与验证。文件详解该数据集包含3个文件，具体说明如下： - 文档文件: - vnc.md: MD格式文档，可能包含数据集说明、使用指南等信息 - 预览文件: -...

ZIP

人工智能在源代码理解任务中的系统性映射研究数据集

数据集概述本数据集包含《人工智能在源代码理解任务中的系统性映射研究》论文分析的原始研究文献的收集与分类数据，涵盖论文元数据、任务分类、AI模型技术、嵌入预处理方法及评估策略，支持该领域的复现研究与新分析。文件详解文件名称：AI in SE SMS - Dataset and Analytic - Clean Data - 17 April...

ZIP

组合式并发系统验证补充材料_2019

数据集概述本数据集是论文《Compositional Verification of Concurrent Systems by Combining Bisimulations》的补充材料，包含带附录的论文全文、TFTP协议示例及RERS 2018挑战赛并行基准测试的模型、属性与验证脚本，为理解组合式并发系统验证方法提供支持。文件详解文件名称:...

ZIP

OAEI_Ontology_Alignment_Based_2006_bench33本体对齐基准测试完整数据

数据集概述该数据集为2006年本体对齐评估计划（OAEI）的基准测试数据，对应bench33版本，通过系统修改文献领域的种子本体生成，包含测试本体、参考对齐及生成脚本等，用于评估本体匹配工具的性能与进展。文件详解核心压缩文件: bench33.zip: 压缩包格式，包含数据集全部内容，具体文件包括： index.html:...

ZIP

数据3D扫描应用基准测试数据集

数据集概述本数据集为3D扫描应用的基准测试结果，对比了原生Leica软件与多种iPad LiDAR扫描方案的性能，测试地点位于安特卫普大学产品开发校区的2.17教室，以图片形式呈现测试数据。文件详解文件名称: Benchmark table from Excel-03.jpg 文件格式: JPG（.jpg）文件内容:...

ZIP

二元细胞分割用迷你胶质瘤数据集

数据集概述本数据集为用于二元细胞分割的迷你胶质瘤数据集，仅包含Glioma C6-gen子集，由原始数据集下采样而来，含25张训练图像和5张验证图像。数据为C6胶质瘤细胞的相衬显微镜图像及对应二元分割掩码，仅标注细胞区域，不区分细胞类型或细胞核。文件详解压缩文件: glioma_mini.zip: 压缩文件，包含训练集和验证集的所有图像及掩码文件...

ZIP

C程序形式化验证高效技术_SV_COMP2022数据集

数据集概述本数据集包含工具Theta在SV-COMP 2022的最后一轮预运行基准测试结果，由SV-COMP 2022组织者执行，相关评估见于学士论文，旨在为论文读者提供可访问的基准结果存档。文件详解该数据集包含十八个文件，具体说明如下： - 核心基准结果文件（.bz2格式，共十三个）： -...

ZIP

模糊测试程序特征基准测试工件集

数据集概述本数据集包含支持论文《Program Feature-based Benchmarking for Fuzz Testing》的FeatureBench基准程序、代码及数据，用于模糊测试的程序特征基准测试研究，含实验数据与可视化内容。文件详解文件名称: The Artifacts for Program Feature-based...

ZIP

CoastTrain_8类RGB_768x768_NAIP图像Res_UNet分割模型数据集

数据集概述该数据集包含基于CoastTrain图像及标签训练的Residual-UNet模型，用于768x768像素RGB NAIP图像的8类海岸环境分割，覆盖水体、植被、开发区域等类别，模型由Segmentation Gym工具创建，提供完整的模型文件及元数据。文件详解数据集包含多组模型文件及辅助文件，具体如下： -...

ZIP

生成式歌声分离模型客观评估指标数据集

数据集概述本数据集为WASPAA 2025相关论文的配套数据，包含用于计算生成式歌声分离模型客观评估指标的音频数据、DCR测试用响度归一化刺激音频、含DMOS分数与指标的CSV文件及SRCC计算演示Python脚本，提供完整评估资源。文件详解文件名称: gensvs_eval_data.zip 文件格式: ZIP压缩包包含内容:...

ZIP

聚类问题实例标准化基准数据集

数据集概述该数据集是论文《用于比较黑箱优化器的聚类问题实例标准化基准集》的可复现性资源库，包含复现论文结果所需的代码、数据、图表及脚本等文件，为聚类算法与黑箱优化器的性能对比研究提供标准化基准数据支持。文件详解可复现性说明文件： Reproducibility.ipynb：Jupyter...

ZIP

自定义树分裂准则测试数据集

数据集概述本数据集包含十八个用于测试自定义树分裂准则的文件，以CSV格式为主，辅以压缩文件。涵盖人工生成数据集、经典公开数据集及医学相关数据集，可用于算法性能评估与验证。文件详解文件名称:...

ZIP

ABECTO_Benchmark_Based_系统性能基准测试完整数据

数据集概述该数据集包含ABECTO基准测试的脚本文件与结果数据，涵盖系统信息、基准测试结果文档、分析脚本及JSON格式的基准测试结果文件，为ABECTO工具的性能评估提供数据支持。文件详解系统信息文件： systeminfo.txt：TXT格式，包含操作系统、内核版本、处理器等系统环境信息基准测试结果文档（PDF格式，共5个）：...

ZIP

CASAS_ARUBA和HHL120数据集合成异常测试集

数据集概述该数据集基于公开的CASAS ARUBA和HHL120智能家居数据集生成，通过注入合成异常模拟老年人日常行为中的异常活动或模式，为使用非侵入式环境传感器数据检测老年人行为异常的研究提供可复现的基准测试集。文件详解压缩文件: CASAS.zip（.zip格式），包含两个主文件夹及子文件结构 Aruba文件夹:...

ZIP

荧光寿命测量基准测试数据集_关联光子方法

数据集概述本数据集围绕关联光子方法的荧光寿命测量基准测试展开，包含相关研究的程序代码、原始数据、图表，以及手稿修改追踪文件，为复现研究结果、理解方法改进提供支持。文件详解 README.pdf：PDF格式文档，可能包含数据集的使用说明、文件结构及研究背景介绍。 Data.zip：压缩包格式，可能包含研究中使用的程序代码、原始数据和生成的图表文件。...

ZIP

整合蛋白质_配体相互作用数据库_IPLID

数据集概述该数据集为整合蛋白质-配体相互作用数据库（IPLID），整合了BindingDB、ChEMBL等多源数据，包含蛋白质-配体相互作用数据（数值或二进制标签）、配体结构相似性（Tanimoto系数）、蛋白质序列相似性等信息，支持机器学习项目检索与基准测试开发。文件详解数据压缩包文件：...

ZIP

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

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

ZIP

研究数据存储测试运行数据集

数据集概述本数据集包含用于研究数据存储（Forschungsdatenspeicher）测试运行的文件，核心是一个Jupyter Notebook，用于执行云基研究数据存储与高性能计算流程集成的基准测试，涉及配置调整、文件操作及目标存储系统的测试。文件详解文件名称：FDS...

ZIP

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

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

ZIP

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