找到5个数据集

分类: 公开数据 标签: 源码

过滤结果

  • Multi_objective_Supplemental_长期平均与总奖励多目标优化实现及实验复现数据

    2026年1月3日 0 187 41

    数据集概述 本数据集是论文《长期平均与总奖励多目标优化》的补充材料，包含该研究的实现代码、模型文件、实验复现脚本及原始日志文件。实现代码已集成到模型检查器Storm中，同时包含Storm的源码、依赖项及相关工具MultiGain和PRISM-games，支持复现论文所有实验。 文件详解 文件名称：aev.zip 文件格式：ZIP...
    packageimg

  • FMICS2021出版物_系统需求形式化分析案例研究_补充数据集

    2025年12月23日 30 67 62

    数据集概述 本数据集为FMICS2021出版物《系统需求形式化分析案例研究》的补充数据，含UMC、ProB、LNT模型、SECURail交付物及翻译工具源码，以PDF文档和压缩包形式存储，支撑相关研究的细节验证与扩展分析。 文件详解 文档类文件（.pdf格式）：共4个 TIN15-v5.pdf：具体内容未详细说明的PDF文档...
    packageimg

  • NeoModeling_Based_图持久化大规模模型驱动工程完整数据

    2025年12月21日 30 38 4

    数据集概述 本数据集是论文《NeoModeling Framework: Leveraging Graph-Based Persistence for Large-Scale Model-Driven Engineering》的复制包，包含开源工具集NMF的源码、测试文件、评估工件及运行说明，用于在Neo4j数据库中处理超大规模数据集。 文件详解...
    packageimg

  • 野外微型飞行机器人群数据集

    2025年12月20日 30 166 12

    数据集概述 该数据集为《野外微型飞行机器人群》手稿配套数据，包含模拟与真实实验数据、MATLAB复现脚本、硬件设计文件及真实飞行实验软件源码，支持手稿结果验证与扩展研究。 文件详解 文件名称：data_benchmark.zip 文件格式：ZIP压缩包...
    packageimg

  • 活性极性丝状体负载推进特征研究源码与视频文件

    2025年12月15日 30 141 1

    数据集概述 本数据集包含与“活性极性丝状体负载推进特征”相关的源码、数据、分析代码及视频文件，所有内容压缩为一个ZIP归档文件，为研究活性极性丝状体在负载推进过程中的特征提供完整的实验与分析资源。 文件详解 文件名称: active_filament_w_load.zip 文件格式: ZIP (.zip) 文件内容:...
    packageimg