找到3个数据集

分类: 公开数据 标签: graphml

过滤结果

  • A_User_Centric_Model_Based街道网络连通性研究代码与数据

    2026年1月19日 30 73 0

    数据集概述 本数据集包含论文“A User-Centric Model of Connectivity in Street Networks”所用的代码与结果数据，涵盖街道网络模型文件、实验结果表格、分析代码及使用指南，共九个文件，支持街道网络连通性的用户中心模型研究与验证。 文件详解 数据文件 文件名称：Cardiff.graphml...
    packageimg

  • SVCOMP_Witness_Visualizer_Tool_见证可视化演示数据集

    2026年1月15日 30 81 10

    数据集概述 本数据集包含三个通过Witness Visualizer工具生成的SVCOMP见证可视化数据集，涵盖工具整体全面性、按属性分类的见证、已知bug案例及全面性与验证率对比等内容，每个数据集包含原始见证文件和HTML格式的可视化文件，可用于程序验证见证的可视化分析与研究。 文件详解 数据集1（dataset_1.zip） 文件格式：ZIP...
    packageimg

  • 乌尔姆_埃金根遗址地层替代模型HMC矩阵数据集

    2025年12月19日 30 134 48

    数据集概述 本数据集是Eva Rosenstock 2022年研究论文中Figure 8的补充材料，基于C.-J. Kind 1989年发表的乌尔姆-埃金根遗址数据，构建了结合地层观察与空间关系的替代模型HMC矩阵，包含多种格式的完整与简化版本文件。 文件详解 该数据集包含8个文件，具体说明如下： - 图形标记语言文件（.graphml格式）： -...
    packageimg