-
Kaki_Concurrent_Update_Synthesis_制品包
2026年1月21日 30 194 69
数据集概述 本数据集是论文"Kaki: Concurrent Update Synthesis for Regular Policies via Petri Games"的配套制品包，包含运行Kaki工具、生成实验问题及复现论文结果所需的文件，帮助使用者验证Kaki工具的功能与实验结论。 文件详解...
-
OAEI_Ontology_Alignment_Benchmark_Based_2006本体对齐基准测试完整数据
2025年12月16日 60 183 41
数据集概述 本数据集包含2006年本体对齐评估计划（OAEI）使用的bench35基准测试数据，基于文献领域种子本体的系统性修改生成，旨在为本体匹配器的性能评估提供覆盖广、可复用的测试资源。 文件详解 该数据集包含一个ZIP格式的压缩文件，具体说明如下： - 文件名称: bench35.zip - 文件格式: ZIP压缩包 - 内部包含内容: -...
-
化学信息学与计算药物化学程序数据集
2025年12月21日 30 86 67
数据集概述 该数据集包含用于化学信息学和计算药物化学领域的程序工具，是实验室开发的免费化合物数据集与软件工具库的一部分，更新版本将通过F1000Research数据说明文档发布。 文件详解 压缩文件:...
-
OAEI本体对齐评估基准测试数据集2025
2025年12月12日 30 171 52
数据集概述 该数据集为2025年本体对齐评估倡议（OAEI）的基准测试数据，基于文献领域种子本体系统生成，包含测试本体、参考对齐及相关文档与脚本，用于评估本体匹配工具的性能与稳定性。 文件详解 主文件: bench21.zip，ZIP格式，包含完整基准测试数据，内部结构如下： index.html：主文档，提供数据集说明...
-
量子退火生成网络物理系统测试用例实验包
2025年12月16日 30 102 60
数据集概述 本数据集为实验包，对应论文《Using quantum annealing to generate test cases for cyber-physical systems》，包含与该研究相关的实验材料，以压缩包形式提供，支持复现量子退火生成网络物理系统测试用例的研究内容。 文件详解 文件名称：lab-package-quantum-...
-
Zenodo_OAEI2006_Benchmark_Based_本体对齐测试数据集完整数据
2025年12月16日 30 15 8
数据集概述 该数据集是2006年本体对齐评估计划（OAEI）使用的基准测试数据，对应2006年7月发布的bench31数据集。以文献领域种子本体的系统性变更为基础，提供覆盖广、渐进且稳定的测试集，用于评估本体匹配器的性能与进展。 文件详解 文件名称: bench31.zip 文件格式: ZIP压缩包 内部包含内容: index.html: 主文档文件...
-
USENIX25_TLS状态机互联网学习研究数据集
2025年12月11日 30 51 19
数据集概述 本数据集是USENIX Security '25会议论文《Towards Internet-Based State Learning of TLS State Machines》的配套成果，包含研究中使用的工具、收集的TLS实现状态机及分析方法相关统计信息，可通过附录文档复现实验。 文件详解 文件名称:...
-
氘代丙烯酸酯类化合物分析证书数据集2022
2025年12月6日 30 158 125
数据集概述 本数据集包含三种氘代丙烯酸酯类化合物的分析证书（CoA），具体为氘代十五丙烯酸正辛酯、氘代二十三丙烯酸正十二酯和氘代三十一丙烯酸正十六酯，所有文件均以PDF格式存储。 文件详解 文件名称：CoA Chemical Deuteration_2022_7GHU63B_Gradzielski_n-hexadecyl...
