找到2个数据集

标签: Porto大学

过滤结果

  • Alloy4Fun_Based_2022_23_学生形式化方法课程挑战模型数据集

    2026年1月15日 30 152 35

    数据集概述 本数据集包含2019年秋季至2023年春季期间，Minho大学和Porto大学学生在Alloy4Fun平台提交的形式化方法课程挑战模型，共约十万条记录。覆盖Trash FOL、Classroom FOL、Production line等11类挑战主题，涉及EM、MFES、MFS等多门硕士课程，用于教学评估与形式化方法研究。 文件详解...
    packageimg

  • 西班牙里瓦德维哥试点区多尺度多平台构造线性特征图_S34I项目

    2025年12月18日 30 146 145

    数据集概述 本数据集包含西班牙里瓦德维哥（Ria de Vigo）试点区的多尺度、多平台构造线性特征图，采用GPKG、PDF、XLSX等格式存储，涉及自动/手动提取的线性特征数据、提取方法文档及图像数量统计，为构造地质学研究提供数据支持。 文件详解 构造线性特征数据文件（GPKG格式）：...
    packageimg