找到2个数据集

标签: XML压缩文件

过滤结果

  • Phenoscape_KB_Based_进化表型数据整合与推理研究数据

    2026年1月22日 30 60 59

    数据集概述 本数据集基于Phenoscape知识库，采用本体论和机器推理方法，整合肉鳍鱼类类群的进化表型数据，生成包含639个可变性状、1051个分类单元的合成存在/缺失性状矩阵，涉及超14.5万个数据单元。数据通过推理补充缺失值，减少数据缺失率，并支持冲突检测与可视化分析，适用于表型-基因组关系研究。 文件详解 README.txt 文件格式：TXT...
    packageimg

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

    2025年12月15日 30 56 18

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