排程调度副驾驶

业务痛点，讲人话

调度员每天要回答的问题是：接下来几个小时，哪一炉钢先炼、走哪条精炼路径、进哪台连铸机、按什么顺序轧。

约束多到令人窒息：

• 浇次连续性——连铸一旦开浇，同一浇次的几炉钢必须连续供上，断浇代价极高
• 钢种相容——同一浇次内钢种要相近，成分差太多会造成过渡坯报废
• 交期——这炉钢要赶下午三点的船
• 设备可用性——2 号精炼位在检修，钢包 7 号包龄到上限了
• 温度窗口——钢水在钢包里一直在降温，等太久就得回炉重加热
• 轧制批次规则——轧辊磨损要求同一批次的宽度只能由宽到窄

现实中这件事高度依赖老调度员的经验。而经验有三个问题：难以传承、班次之间不一致、没法在几十种方案里比较优劣。

正确的分工：LLM 编排 + 求解器决策 + 人工确认

调度员（自然语言）
   │  「H2024-105 这炉要赶 15:00 的船，优先安排」
   ▼
[LLM] 意图解析 → 转成模型修改
   │  add_constraint: completion_time("H2024-105") <= 15:00
   │  objective += 1000 * tardiness("H2024-105")
   ▼
[求解器] MILP / CP  ← 硬约束库（浇次连续性、钢种相容、设备可用）
   │
   ├─ 有解 → [LLM] 解释：与上一版的差异、代价、受影响的其他炉次
   │            ▼
   │         调度员确认 → 下发 MES
   │
   └─ 无解 → [LLM] 冲突诊断：「15:00 交期 与 2 号连铸机检修窗口 冲突，
                 可选：① 改走 1 号机（+40 分钟）② 交期放宽到 16:30」

数据长什么样

# 排程模型的输入（教学示意）
heats:                          # 待排炉次
- id: "H-2024-105"
  grade: "Q355B"
  weight_t: 210
  due: "2024-XX-XX 15:00"
  route: [BOF, LF, CC2]       # 可行工艺路径
  ready_at: "13:10"
#
casters:
- id: "CC2"
  width_mm: 1250
  sequence_id: "SEQ-88"       # 当前浇次
  sequence_grades: ["Q355B", "Q355C"]   # 浇次内允许的钢种
  maintenance: ["14:20", "15:00"]        # ★ 与上面的交期冲突
#
hard_constraints:
- "同一浇次内相邻炉次的钢种必须相容"
- "浇次一旦开始不可中断"
- "钢包温降 ≤ 阈值，否则需回 LF 加热"
- "同一时刻一台设备只能处理一个炉次"
#
soft_objectives:
- {name: "交期延误", weight: 1000}
- {name: "钢水等待时间", weight: 50}
- {name: "电费（分时电价）", weight: 20}