用时空网络提升制造调度的抗扰能力,让计划自动应对突发延迟。
Algorithms for dynamic scheduling in manufacturing, towards digital factories Improving Deadline Feasibility and Responsiveness via Temporal Networks
- 结合约束规划与时空网络,生成可动态调整的鲁棒计划
- 在基准测试中消除100%的交期违约,仅增加3%-5%工期
- 适合追求高可靠性与自动化响应的智能制造场景
现代制造系统需在随机任务时长(源于工艺噪声、设备波动和人为干预)下满足硬性交期。传统确定性计划一旦偏离即失效,引发高昂补救成本。本文将离线约束规划(CP)优化与在线时空网络执行结合,构建在最坏不确定性下仍可行的调度方案。首先建立带交期的柔性作业车间CP模型,并插入最优缓冲Δ*,得到全主动基线;再将计划转为带不确定性的简单时空网络(STNU),验证动态可控性——确保实时调度器可在任意有界时长变化下重调任务而不违反资源或交期约束。在公开的Kacem 1–4基准集上,蒙特卡洛仿真显示:该混合方法消除100%的交期违约,仅增加3–5%总工期;中等规模实例的CP求解与STNU验证均保持亚秒级。研究证明,时空推理可弥合主动缓冲与动态鲁棒之间的鸿沟,推动制造业向真正数字化、自校正工厂迈进。
原文摘要 · Abstract (English)
Modern manufacturing systems must meet hard delivery deadlines while coping with stochastic task durations caused by process noise, equipment variability, and human intervention. Traditional deterministic schedules break down when reality deviates from nominal plans, triggering costly last-minute repairs. This thesis combines offline constraint-programming (CP) optimisation with online temporal-network execution to create schedules that remain feasible under worst-case uncertainty. First, we build a CP model of the flexible job-shop with per-job deadline tasks and insert an optimal buffer $Δ^*$ to obtain a fully pro-active baseline. We then translate the resulting plan into a Simple Temporal Network with Uncertainty (STNU) and verify dynamic controllability, which guarantees that a real-time dispatcher can retime activities for every bounded duration realisation without violating resource or deadline constraints. Extensive Monte-Carlo simulations on the open Kacem~1--4 benchmark suite show that our hybrid approach eliminates 100\% of deadline violations observed in state-of-the-art meta-heuristic schedules, while adding only 3--5\% makespan overhead. Scalability experiments confirm that CP solve-times and STNU checks remain sub-second on medium-size instances. The work demonstrates how temporal-network reasoning can bridge the gap between proactive buffering and dynamic robustness, moving industry a step closer to truly digital, self-correcting factories.
Thank you to arXiv for use of its open access interoperability. PaperDance 不是 arXiv 官方产品;中文卡片由大模型生成,请以原文为准。