48 lines
2.4 KiB
Markdown
48 lines
2.4 KiB
Markdown
# 算法与约束路线（规划）
|
||
|
||
> 以下来自 `plan.md` 目标态。**默认未实现**。落地后把条目挪到 [scheduling-v1.md](./scheduling-v1.md) 或新开 `scheduling-v2.md`，并改 `product/features.md`。
|
||
|
||
---
|
||
|
||
## 1. 约束目录（plan §9.2a）
|
||
|
||
规划中的硬/软约束 C1–C13（工艺序、工位独占、日历、维保、机器资格、齐套、产能、交期、优先级、换线、冻结窗、班组、SOP…）。
|
||
|
||
| 现状 | 说明 |
|
||
| --- | --- |
|
||
| 已落地 | 13 类约束目录齐全（C1–C13，`constraint_catalog()`，round-39）；硬约束关闭请求被拒并审计（ConstraintProfileDenied）；RULE/CP/HYBRID/GA 硬约束语义一致黄金测试 |
|
||
| 扩展项 | SOP→约束更多模板与 LLM 槽位抽取（IND-02 已可编译换线/齐套/插单）；CP Cumulative 班组/工装聚合容量已落地（round-41） |
|
||
|
||
---
|
||
|
||
## 2. 主控参数与方案优选（§9.2b / §9.7a）
|
||
|
||
| 已落地 | Tornado one-at-a-time；候选方案硬过滤→帕累托→归一化加权；固定种子蒙特卡洛鲁棒性（24 样本首切片） |
|
||
| 已落地 | 约束级 IIS 最小冲突集与归因文案（attribution.py，矩阵 89）；敏感性与蒙特卡洛已接入 Explore 统一边界；剩余：真实 LP/CP 对偶影子价、生产级数百样本并行蒙特卡洛、偏好学习权重校准、Sobol 全局敏感性 |
|
||
|
||
---
|
||
|
||
## 3. 插单与动态重排（§9.11）
|
||
|
||
目标管线：秒级快评 → 影响半径判定 → LNS 局部修复（默认）/ 全量重排（P2）。
|
||
|
||
| 现状 | 可用替代 |
|
||
| --- | --- |
|
||
| 已落地（LNS） | `rush.evaluate` 快评附 `impact.lns` → 固定窗口局部修复（`apply_lns_local` DRAFT）→ 超阈值 ESCALATE 全量重排走 P2（`apply_rush`）；`test_rush_lns.py` 9 项 |
|
||
|
||
---
|
||
|
||
## 4. 引擎演进
|
||
|
||
| 阶段 | 内容 |
|
||
| --- | --- |
|
||
| 当前 | RULE；**CP-SAT**（工序级 Interval 全模型 + Cumulative 班组/工装，round-41）；**GA**；**NSGA-II 多目标**（nsga2_engine.py，round-40）；**HYBRID（RULE→CP）** |
|
||
| 部分落地 | LNS 插单局部修复+升级全量重排（lns.py，矩阵 90）；剩余：真实 LP/CP 对偶影子价、生产级数百样本并行蒙特卡洛、偏好学习权重校准、Sobol 全局敏感性、GA 参数模板与性能基线深化 |
|
||
|
||
---
|
||
|
||
## 5. ML 边界（产品铁律）
|
||
|
||
ML/LLM 可用于：缺省策略偏好、参数建议、报告叙事、意图理解。
|
||
**不可**：直接生成不可验证的最终排程并绕过引擎与门禁。
|