基于延迟累积调度的优化模理论基准数据集2025

数据集概述

本数据集包含针对“基于延迟累积调度的优化模理论”研究的基准测试数据及生成脚本，涵盖BMM2016真实数据和芬兰赫尔辛基地区环境服务局（HSY）的污水处理厂数据，支持调度算法性能评估与验证。

文件详解

• 压缩文件（基准测试集）：
• B24.zip：包含基于BMM2016真实数据的基准测试，格式为压缩包，未包含d_{w,t}值和startLevel_w字段
• L24.zip：包含本地污水处理厂24小时数据的基准测试，格式为压缩包
• L1104.zip：包含本地污水处理厂1104小时数据的基准测试，格式为压缩包
• 说明文档：
• README.md：格式为Markdown，包含基准测试生成方法、Poetry工具使用步骤、参数说明及实例生成命令

数据来源

• 赫尔辛基地区环境服务局（HSY，芬兰）
• BMM2016真实数据（https://arxiv.org/abs/1609.05367）

适用场景

• 优化模理论调度算法性能评估：用于测试基于Z3、Gurobi等求解器的延迟累积调度算法效果
• 污水处理厂调度模型验证：基于真实污水数据验证调度策略的可行性与效率
• 调度基准测试生成方法研究：参考脚本实现不同参数下的基准测试自动化生成
• 约束规划算法对比分析：通过生成的.fzn/.mzn实例对比Chuffed、Gecode等CP求解器性能