找到3个数据集

标签: 规范文件

过滤结果

  • Wikidata_PopulatedPlaces_Based_Wikidata地理实体RDF_Dump数据

    2025年12月30日 30 6 2

    数据集概述 本数据集是通过wdumps工具生成的Wikidata中有人居住地点（Populated places）的RDF格式数据转储，包含4个相关文件，涵盖配置文件、规范文件、压缩数据文件和预览文件，可用于获取Wikidata中地理实体的结构化信息。 文件详解 配置与规范文件 文件名称：info.json 文件格式：JSON...
    packageimg

  • Linux内核任务调度器函数select_idle_core形式化验证案例研究数据集

    2025年12月15日 30 188 66

    数据集概述 该数据集包含针对Linux内核任务调度器函数select_idle_core进行形式化验证的实验代码与规范文件，支撑"Understanding Linux-Kernel Code Through Formal Verification..."论文研究，为内核代码验证提供实践数据。 文件详解 文件名称: artifact.zip 文件格式:...
    packageimg

  • 生物多样性数据政策建议补充材料3

    2025年12月11日 30 46 1

    数据集概述 本数据集是《生物多样性数据政策建议》的补充材料3，包含一份关于注册中心和元数据目录的规范文件，为生物多样性数据管理相关研究与实践提供技术参考依据。 文件详解 文件名称：oo_80982.pdf 文件格式：PDF 文件内容：该文档为注册中心和元数据目录的规范说明，具体内容需查阅PDF文件获取 数据来源 EU BON Project...
    packageimg