Layout & Slotting
aktivCP-SAT-Optimierung: Zuordnung SKU→Lagerplatz und Fahrzeug→Rampe.
- Modell COI/ABC, ein SKU pro Slot
- Grenze berücksichtigt die Kapazität des Lagerplatzes nicht
Jedes ist ein eigenständiger Dienst: fällt eines aus, laufen die anderen weiter.
CP-SAT-Optimierung: Zuordnung SKU→Lagerplatz und Fahrzeug→Rampe.
Physische Anlagen des Standorts mit geometrischer Herkunft, CAD-Export für das Layout.
Zwei austauschbare Strategien: ArUco-Marker und radiale Marker (LiDAR).
Diskretes Ereignismodell; Vergleich theoretische gegen beobachtete Bewegung.
Il minimo perché due moduli si capiscano senza leggere il codice dell'altro.
| Vertrag | Was er garantiert | Stand |
|---|---|---|
| Identità | tenant / cliente / proprietario / sito, versione dell'aggregato | im Code |
| Busta eventi | tempo di business ≠ tempo di registrazione; catena causale | im Code |
| Errore | una forma sola per ogni 4xx/5xx, con retryable | im Code |
| Provenienza | nessun valore senza lineage; un'assunzione senza nota è rifiutata | im Code |
| Movimento | planned / executed / detected tenuti distinti | im Code |
| CAD as-is | trasferimento geometria dal Digital Twin | zu entscheiden |