找到6个数据集

标签: 永久链接

过滤结果
  • GND_ID_人物与机构_柏林音乐会生活史数据_1880_1945

    2026年1月27日 30 27 22

    数据集概述 本数据集记录了1880-1945年柏林音乐会生活领域255位人物及机构的历史地址、地理坐标,包含对应的GND-ID,以及关联免费文献与传记系统的永久链接。数据由柏林音乐会生活地形学研究项目生成,用于呈现该时期柏林音乐文化相关主体的空间分布与身份信息。 文件详解...
    packageimg
  • FMP_SMT_Based_Formal_Methods_Playground脚本分析数据集

    2026年1月17日 30 81 34

    数据集概述 本数据集为FMP_smt数据集,包含在Formal Methods Playground平台上编辑和分析的SMT-LIB脚本。每条数据记录包含唯一标识、父项关联、完整脚本代码、平台永久链接及时间戳,用于形式化方法领域的脚本分析与研究。 文件详解 文件名称:fmp_smt.json 文件格式:JSON...
    packageimg
  • Formal_Methods_Playground_Based_Alloy模型编辑分析数据集

    2026年1月17日 30 67 10

    数据集概述 本数据集包含在Formal Methods Playground平台(https://play.formal-methods.net/)上编辑和分析的Alloy模型数据,核心记录Alloy模型实验的关键信息,支持形式化方法领域的模型研究与分析。数据集包含一个文件。 文件详解 文件名称:fmp_als.json 文件格式:JSON...
    packageimg
  • USNM_COL_CAM_Computer_Vision_Based甲虫标本标签多源数据集

    2026年1月13日 30 125 37

    数据集概述 本数据集包含史密森尼国家自然历史博物馆提供的912张高分辨率甲虫标本标签JPEG图像,涵盖6个鞘翅目科,标注有多标签信息。辅以OCR文本转录JSON文件和基于文本相似度的聚类CSV文件,支持鞘翅目研究、生物多样性信息学及计算机视觉相关应用。 文件详解 主数据文件 文件名称:USNM_CURC_CAM.csv 文件格式:CSV...
    packageimg
  • Sweden_COVID_19_Based_瑞典疫情政府干预与事件时间线数据_2019_2023

    2026年1月8日 30 195 168

    数据集概述 本数据集记录了2019年12月31日至2023年5月5日期间瑞典应对COVID-19疫情的政府干预措施与相关事件时间线。通过梳理政府及媒体档案,结构化呈现事件日期、标签、参与主体、事件描述及原始资料链接,为研究瑞典疫情治理模式或开展国际比较提供详细参考,包含2个Excel文件。 文件详解 文件名称:The COVID-19 Epidemic...
    packageimg
  • 数据16世纪奥格斯堡编年史印刷品_VD16收录多版次德语编年史列表

    2025年12月13日 30 67 51

    数据集概述 本数据集为16世纪奥格斯堡地区出版的德语编年史印刷品列表,基于《16世纪德语区印刷品目录(VD16)》编制,涵盖多版次、修订版、续编及重印版本,含核心编年史(A-D类)及衍生韵文编年史附录,提供基础出版信息及VD16链接。 文件详解 文件名称: Liste_Chronikdrucke_VD16_Eckhart.pdf 文件格式: PDF...
    packageimg