-
ChatGPT_Based_编程辅助工具性能评估数据集
数据集概述 本数据集围绕ChatGPT作为编程辅助工具的能力评估构建，包含三类模型响应数据：一是ChatGPT、Codex、CodeGen在LeetCode基准测试的代码生成结果；二是ChatGPT与Codex针对代码修复和解释的响应；三是ChatGPT_D与Codex_D的代码修复和解释响应。数据集以压缩包形式存储，共3个文件。 文件详解...
-
mCRL2_Based_基于反链的精化检查基准测试数据
数据集概述 本数据集是一套基于反链的精化检查基准测试，包含可通过mCRL2工具集的ltscompare工具进行比较的mCRL2规范。数据集以压缩包形式提供，用于形式化方法领域的模型检测性能评估与工具验证。 文件详解 文件名称：antichain-benchmarks.zip 文件格式：ZIP...
-
ICFP24_Based_代数效应与处理验证规范支持数据
数据集概述 本数据集是提交至ICFP24的论文《Specification and Verification for Unrestricted Algebraic Effects and Handling》的支持数据，包含论文相关的源代码和基准测试样例，所有内容压缩为一个归档文件。 文件详解 文件名称：AlgebraicEffect-...
-
CCF_Based_带共因失效合成故障树算法基准测试数据
数据集概述 本数据集包含378个文件，用于对SAPHIRE、SCRAM和XFTA三种算法进行基准测试。数据基于带共因失效（CCF）的合成故障树构建，文件类型以XML为主（261个），辅以JSInp文件（117个），无目录层级结构，未划分训练/测试或原始/处理集。 文件详解 数据文件（XML格式） 文件名称：如ccf8-ft-...
-
DataChild_Map_幼儿应用基准测试评价对比数据
数据集概述 本数据集围绕幼儿应用的质量、隐私及儿童与技术的关联展开研究，包含30款Google Play商店常见家庭使用应用的相关分析材料。基于DataChild Map项目开发的基准测试工具，旨在为家长和教育者提供幼儿数字内容评估参考，涉及应用安全性、隐私政策等关键维度。 文件详解 数据文件 文件名称：benchappchild1.xlsx...
-
IMP_Source_SAXS_Merge方法基准测试数据
数据集概述 本数据集是IMP的SAXS Merge方法及网络服务器的基准测试数据，用于评估该方法的性能表现。数据集包含一个压缩文件，可支持用户复现相关建模过程，具体操作可参考指定链接或README文件。 文件详解 文件名称：saxsmerge_benchmark-v1.0.zip 文件格式：ZIP 字段映射介绍：压缩包为SAXS...
-
OWL_2_RL_Based_本体推理器基准测试语料库数据
数据集概述 本数据集是用于OWL 2 RL推理器基准测试的语料库，整合了Oxford Ontology、BioPortal、MOWLCorp三个来源的符合OWL 2 RL标准且TBox公理数≥100的本体数据，包含筛选后的本体及相关指标，支持语义网推理器性能评估。 文件详解 文件名称：owl2_rl_benchmark_corpus.zip...
-
LMAS_Source_微生物群落组装软件基准测试补充材料
数据集概述 本数据集为LMAS（自动化工作流程）的补充材料，包含用于基准测试传统及宏基因组原核生物从头组装软件的模拟数据与参考基因组信息。以ZymoBIOMICS微生物群落标准的8个细菌基因组和4个质粒（三重形式）为参考，通过inSilicoSeq生成带或不带错误的均匀分布模拟原始序列数据，共31个文件。 文件详解 表格文件（Tables）...
-
EASY_Based_多线程代码硬件综合仲裁器优化实验数据
数据集概述 本数据集为支持EASY工具（用于多线程代码的高效仲裁器综合）的实验结果集合，包含8个Excel文件，记录了HLS（高级综合）中内存分区优化的实验数据，涉及矩阵运算、字符串处理等典型应用的面积节省和执行时间改进结果。 文件详解 实验结果文件（共8个）...
-
CoEST_Based_需求分类可追溯性链接恢复基准数据集
数据集概述 本数据集包含五个可追溯性链接恢复基准数据集的需求部分分类金标准，涵盖eTour、iTrust、SMOS、eAnci和LibEST五个数据集的预处理需求，其中SMOS和eAnci的原始意大利语需求已自动翻译为英语，用于软件需求分类任务的基准测试。 文件详解 文件名称：dataset.zip 文件格式：ZIP...
-
AHAP_Based_拟人化手部评估协议实验数据_2019
数据集概述 本数据集包含《拟人化手部评估协议（AHAP）》论文的实验数据，记录了五种人工手部（ARMAR-6 v1机器人手的三种配置与KIT假肢手的两个版本）的AHAP基准测试评分结果，由五位评估者独立评审视频后打分，支持手部抓取能力的量化分析。 文件详解 文件名称：Data AHAP Zenodo.xlsx 文件格式：XLSX...
-
Datasets_Based_机场地面移动研究数据集与基准
数据集概述 本数据集是用于机场地面移动研究的数据集与基准，数据来源于OpenStreetMap和曼彻斯特机场公司提供的信息，以压缩包形式存储，可支持机场地面移动相关的研究分析工作。 文件详解 压缩包文件 文件名称：1-datasets.zip 文件格式：ZIP...
-
矿业_酷刑_缩写_科学文献_数据集_2024年10月28日
数据集概述 本数据集聚焦科学文献中的“扭曲缩写”挖掘，包含150篇开放获取的工程类文章，旨在识别学术文本中不规范的缩写现象，为检测可疑出版物提供支持。数据集含7个文件，涵盖数据档案、代码脚本、说明文档等多种类型。 文件详解...
-
SWE_Bench_V2_0_软件工程基准测试解决方案数据
数据集概述 本数据集为SWE-Bench+ V2.0版本，是一个专注于软件工程领域的基准测试数据集。包含一个JSON格式文件，主要涉及软件工程解决方案的相关输出信息，可用于软件工程任务的评估与分析。 文件详解 文件名称：swe_solution_leak_outputs.json 文件格式：JSON...
-
VISIR_2_Based_OpenCPN基准运行输入数据
数据集概述 本数据集为VISIR-2船舶气象导航模型与OpenCPN进行基准测试所需的输入数据，包含测深数据、名称列表、海流和风场数据，共2个文件，均为压缩格式，无目录结构。 文件详解 压缩文件1 文件名称：zenodo_alboran_full.zip 文件格式：ZIP 字段映射介绍：包含VISIR-2基准运行所需的完整输入数据，具体内容未提供预览...
-
基于面向对象程序的规范错误推断研究支持数据_OOPSLA24
数据集概述 本数据集是OOPSLA24会议投稿论文《Inferring Incorrectness Specifications for OO Programs》的支持数据，包含论文中呈现的源代码和基准测试内容，以压缩包形式提供，总计一个文件，无目录层级结构。 文件详解 文件名称：infer_oop.zip 文件格式：ZIP...
-
AlphaFold3_Based_抗体与纳米抗体基准测试数据集
数据集概述 本数据集包含AlphaFold3抗体与纳米抗体基准测试相关的文件，包括清理、裁剪和重新编号的晶体结构及AF3预测结构的压缩包，以及数据集元数据文件，可用于蛋白质结构预测模型的性能评估与验证。 文件详解 Compiled_Benchmark_Data.tar.gz 文件格式：.gz（压缩包）...
-
绘制基准测试全景图_补充材料_现代内存架构基准测试文献综述数据
数据集概述 本数据集是“Charting the Benchmarking Landscape - A Survey of Benchmarks for Modern Memory...
-
AxSAT_JELIA_2025_SAT规划实验代码与结果数据
数据集概述 本数据集为JELIA 2025论文《AxSAT - Bringing Axioms to SAT Planning》的配套资源，包含扩展版Fast Downward规划系统代码、PDDL基准测试用例、原始实验数据及解析后的数据，共4个文件，用于支持SAT规划算法AxSAT的实验复现与分析。 文件详解 代码文件 文件名称：code.zip...
-
Apache_Flink_Based_可扩展性基准测试结果数据
数据集概述 本数据集包含使用Theodolite基准测试方法对Apache Flink进行可扩展性测试的结果，涵盖原始记录延迟数据、实例与分区数量、确定的最小所需实例，以及生成的可扩展性图表，为分析Apache Flink的性能表现提供数据支持。 文件详解 文件名称：results.zip 文件格式：ZIP 字段映射介绍：压缩包内包含Apache...
