找到2个数据集

标签: 学术对比

过滤结果

  • IMITATOR_Based扩展参数化时间自动机基准库2_1

    2026年1月29日 30 118 13

    数据集概述 本数据集为IMITATOR基准库2.1，包含扩展参数化时间自动机的基准模型与相关结果。提供两个归档文件，分别存储模型和属性、完整基准及结果（含预期结果、PDF图表、独立网页摘要），支持形式化方法领域的模型验证研究。 文件详解 归档文件1： 文件名称：benchmarks.zip 文件格式：ZIP...
    packageimg

  • Just_Intonation_Based_13极限内音程命名对比研究数据

    2026年1月21日 30 181 35

    数据集概述 本数据集聚焦纯律（Just Intonation）音乐理论，整理了13极限内音程的命名信息，对比了Kilchenmann 2022、Pertout 2007、Keenan 2003、Ruhnke 1996和Blackwood 1985五位学者/研究者的命名体系，为纯律音程命名的学术研究提供结构化参考。 文件详解...
    packageimg