找到3个数据集

标签: BSD许可

过滤结果

  • 数据2D_2D异质结构设计数据集的Swarm智能元估计器

    2026年1月30日 30 197 60

    数据集概述 本数据集为Swarm智能元估计器在2D/2D异质结构设计领域的相关数据，包含代码文件、说明文档、数据集文件及许可文件，共4个文件，无目录层级，未划分训练测试集或数据标签集。 文件详解 LICENSE.txt：TXT格式，包含BSD 3-Clause License许可内容，涉及版权声明及使用条件...
    packageimg

  • 基于Isabelle的形式证明档案元数据发布_2021年4月16日

    2026年1月27日 30 187 185

    数据集概述 本数据集为2021年4月16日发布的Isabelle2021版本形式证明档案（Archive of Formal Proofs）的元数据，包含每个条目（entry）的结构化信息，涉及会话名称、标题、作者、日期、主题、摘要等核心属性，为形式化验证研究提供结构化参考资料。 文件详解 文件名称：metadata.json 文件格式：JSON...
    packageimg

  • TACAS_25论文实验材料_性能启发式GR_1_可实现性检查与相关分析

    2025年12月20日 30 148 15

    数据集概述 本数据集是TACAS'25论文《性能启发式GR(1)可实现性检查与相关分析》的配套实验材料，包含实验测试文件、结果数据、分析文档及环境配置文件，为复现论文实验及验证方法性能提供支持。 文件详解 文档类文件： LICENSE.txt：TXT格式，包含BSD 3-Clause开源许可协议内容，涉及版权归属与使用条款...
    packageimg