Production Scheduler - User Guide Production Scheduler - Používateľská príručka Production Scheduler - Benutzerhandbuch

Einführung

RoboPol Production Scheduler plant Fertigungsaufträge, deren Jobs aus geordneten Operationen auf festen Maschinen bestehen. Das Programm ist für Job Shop Scheduling (JSSP) ausgelegt: Jede Operation hat eine Maschine und eine Bearbeitungszeit, Jobs behalten ihre Reihenfolge, und der Solver sucht einen möglichst kompakten Produktionsplan.

Die Anwendung bietet zwei native Solver-Wege: Robopol Refined für heuristische Suche und CP-SAT für exakte bzw. constraint-programming-basierte Berechnungen. Derselbe eigene Datensatz kann im Browser bearbeitet und an den passenden Solver gesendet werden.

Schnellstart

1. Öffne Datensatz und verwende Zufallsfabrik, oder klicke Bearbeiten und trage Maschinen, Produkte, Planzeilen und Jobs manuell ein.
2. Für Produktionsprojekte bleibt Datenquelle auf Eigener Datensatz. Für Benchmark-Beispiele kannst du auf Eingebaute Instanz umschalten.
3. Wähle Robopol Refined mit dem Profil Normal für einen schnellen praktischen Lauf, oder CP-SAT, wenn ein exakter Solver-Weg gewünscht ist.
4. Wähle das Ziel. Makespan wird von beiden Solver-Wegen unterstützt; Gewichtete Terminverspätung läuft aktuell über CP-SAT.
5. Klicke Optimierung starten. Nach einer erfolgreichen Berechnung werden die Gantt-Karte und Laufausgaben aktualisiert.
6. Exportiere Projekt, Gantt PNG, SVG, Plan-JSON oder Plan-CSV über die Werkzeuge Projekt und Laufausgaben.

Programmübersicht

Das Programm startet im Modus eigener Datensatz. Wenn der Datensatz leer ist, meldet die Validierung, dass vor der Berechnung mindestens ein Job vorhanden sein muss. Änderungen am Datensatz schalten automatisch auf eigener Datensatz, damit das sichtbare Projekt und die an den Solver gesendeten Daten zusammenpassen.

Systemanforderungen

• Die Anwendung ist als gehostete Webanwendung auf dem RoboPol Server vorgesehen, einschließlich Hetzner-Bereitstellung.
• Der Benutzer öffnet die URL der Anwendung in einem modernen Browser wie Chrome, Edge, Firefox oder Safari.
• Auf dem Rechner des Benutzers muss kein Solver lokal installiert werden. Die Berechnungen laufen auf dem Server.
• Für komfortable Planung empfiehlt sich ein Desktop- oder Notebook-Display. Ein Tablet eignet sich zur Kontrolle, große Datensätze sind am Desktop praktischer.
• Der Browser muss Downloads erlauben, wenn Projekt-JSON, CSV-Dateien, PNG/SVG-Karten oder Planausgaben exportiert werden.
• Für produktive Arbeit sollte pro aktiver Planungssitzung nur ein Browser-Tab verwendet werden, damit derselbe lokale Entwurf nicht parallel an zwei Stellen bearbeitet wird.

Projektwerkzeuge

Systemwerkzeuge und Status

Das Panel System enthält Bedienelemente für die Anwendung, nicht für das eigentliche Planungsmodell. Diese Elemente ändern keine Maschinen, Jobs, Solver-Einstellungen oder gespeicherten Projektdaten.

Datenmodell

CSV-Import und Laden des Datensatzes

CSV-Import wird verwendet, wenn Produktionsdaten bereits aus ERP, MES, Excel oder einem anderen Planungssystem vorliegen. Der Import ist in Bereiche aufgeteilt: Maschinen, Produkte, Plan und Jobs. Jeder Import ersetzt nur den ausgewählten Bereich.

Datensatz-Werkzeuge

Empfohlener Importablauf

1. Importiere zuerst Maschinen, bei Bedarf inklusive geplanter Stillstände.
2. Importiere danach Produkte. Schritte der Produktroute müssen auf vorhandene Maschinen-IDs verweisen.
3. Importiere Plan. Planzeilen müssen auf vorhandene Produkt-IDs verweisen.
4. Öffne den Datensatz-Editor, prüfe den Plan und klicke Alle Jobs generieren.
5. Starte den Solver erst, wenn der Datensatzstatus meldet, dass der eigene Datensatz gültig ist.

Wenn ERP/MES bereits exakte Jobs auf Operationsebene exportiert, kannst du Produkte und Plan überspringen und direkt Jobs importieren verwenden. In diesem Fall muss jede Operationszeile auf eine vorhandene Maschinen-ID verweisen.

Regeln für CSV-Dateien

• Die erste Zeile muss Spaltennamen enthalten. Die Spaltenreihenfolge kann den Beispielen unten folgen.
• CSV verwendet Kommas als Trennzeichen. Werte mit Komma, Anführungszeichen oder Zeilenumbruch müssen in Anführungszeichen stehen.
• Für Dezimalzahlen wird ein Punkt verwendet, zum Beispiel 1.2. Kein Dezimalkomma wie 1,2 verwenden.
• IDs sind nullbasierte nichtnegative Ganzzahlen: 0, 1, 2.
• Dauern, Mengen und Chargengrößen müssen positive Zahlen sein. Zeiten stehen in der Projektzeiteinheit, normalerweise Minuten.
• Maschinen-IDs in Produkten oder Jobs müssen in Maschinen existieren. Produkt-IDs im Plan müssen in Produkten existieren.

Maschinen CSV

Pflichtspalten: machine_id, machine_name. Stillstandsspalten sind optional. Wenn eine Stillstandszeile gefüllt ist, sind downtime_id, downtime_start und downtime_duration erforderlich. Eine Maschine mit mehreren Stillständen steht in mehreren Zeilen mit derselben Maschinen-ID.

machine_id,machine_name,machine_description,downtime_id,downtime_name,downtime_type,downtime_start,downtime_duration,downtime_hard,downtime_description
0,Laser cutter,Cuts sheet-metal blanks,0,Lens cleaning,maintenance,120,30,true,Planned optics cleaning
1,CNC mill,Milling and drilling station,,,,,,,
2,Assembly bench,Manual assembly station,,,,,,,

Produktrouten CSV

Pflichtspalten: product_id, product_name. Ein Produkt, aus dem Jobs generiert werden sollen, braucht Zeilen mit route_step_id, machine_id und duration. machine_name ist nur informativ; der Import verwendet machine_id.

product_id,product_name,product_description,route_step_id,route_step_name,machine_id,machine_name,duration,route_step_description
0,Control cabinet,Sheet-metal cabinet,0,Cut panels,0,Laser cutter,20,Cut outer panels
0,Control cabinet,Sheet-metal cabinet,1,Drill mounts,1,CNC mill,35,Drill and tap holes
0,Control cabinet,Sheet-metal cabinet,2,Assemble frame,2,Assembly bench,45,Manual assembly
1,Pump housing,Machined housing,0,Rough mill body,1,CNC mill,30,Rough machining

Produktionsplan CSV

Pflichtspalten: plan_item_id, product_id, quantity, batch_size. due_time ist optional und muss, wenn angegeben, nichtnegativ sein. priority ist optional und hat den Standardwert 1. Die Anwendung erweitert jede Planzeile zu generierten Jobs nach ceil(quantity / batch_size).

plan_item_id,plan_item_name,product_id,product_name,quantity,batch_size,due_time,priority,description
0,Cabinet order,0,Control cabinet,12,4,480,1.0,Customer order A
1,Pump order,1,Pump housing,10,5,420,1.2,Priority order

Jobs CSV

Jobs importieren ist das direkte Solver-Eingabeformat. Verwende es, wenn Jobs bereits auf Operationsebene vorliegen und nicht aus Produktrouten und Produktionsplan generiert werden sollen. Pflichtspalten: job_id, job_name, operation_id, machine_id, duration. Ein Job besteht aus mehreren Zeilen, eine Zeile pro Operation, geordnet nach operation_id.

job_id,job_name,job_description,product_id,plan_item_id,batch_quantity,release_time,due_time,priority,operation_id,operation_name,machine_id,machine_name,duration,operation_description
0,Cabinet batch 1,First cabinet batch,0,0,4,0,480,1.0,0,Cut panels,0,Laser cutter,20,Cut panels
0,Cabinet batch 1,First cabinet batch,0,0,4,0,480,1.0,1,Drill mounts,1,CNC mill,35,Drill mounts
0,Cabinet batch 1,First cabinet batch,0,0,4,0,480,1.0,2,Assemble frame,2,Assembly bench,45,Assembly
1,Pump batch 1,First pump batch,1,1,5,0,420,1.2,0,Rough mill body,1,CNC mill,30,Rough machining

Datensatz-Editor

Klicke in der Datensatz-Karte auf Bearbeiten, um den Datensatz-Editor zu öffnen. Die Bereichskarten wechseln zwischen Maschinen, Produktarbeitsplänen, Produktionsplan und Generierten Jobs. Es ist immer nur ein Detailpanel aktiv, damit die Bearbeitung übersichtlich bleibt.

• Maschinen definieren Fertigungsressourcen und ihre Stillstandsfenster.
• Produktarbeitspläne definieren wiederverwendbare Fertigungsrezepte.
• Produktionsplan definiert Mengen, Chargengrößen, Termine und Prioritäten.
• Generierte Jobs sind der genaue operationsbasierte Eingang für den Solver.

Editor-Aktionen

Feldwerte im Produktionsplan

In Generierte Jobs verwenden Fällig und Priorität dieselben Zahlenregeln. Passe sie dort nur für einzelne Ausnahmen nach der Generierung an. Wenn Alle Jobs generieren erneut gedrückt wird, wird die vollständige Liste generierter Jobs wieder aus den Werten im Produktionsplan erstellt. Die Jobanzahl in den Produktionsplanzeilen ist nur eine Vorschau; echte Solver-Jobs entstehen erst nach dem Klick auf Alle Jobs generieren.

Die kleinen ?-Schaltflächen im Editor zeigen kurze Hilfe zur aktuellen Karte. Sie helfen zu erkennen, ob ein Feld zur Planungsebene oder direkt zum Solver-Eingang gehört.

Maschinen und Stillstand

Maschinenstillstand blockiert eine ausgewählte Maschine für ein festes Zeitfenster. Verwende ihn für geplante Wartung, technische Pausen, Reparaturen, Kontrollen, Kalibrierung, Reinigung oder bekannte Ausfälle. Robopol Refined und CP-SAT behandeln harten Stillstand als belegte Maschinenzeit; keine Operation darf ihn überlappen.

Manuelle Einrichtung im Datensatz-Editor

1. Öffne den Datensatz-Editor und wähle Maschinen.
2. Wähle die Maschinenkarte, zum Beispiel Laser cutter oder CNC mill.
3. Klicke im Bereich Stillstand / Wartung auf Stillstand hinzufügen.
4. Wähle einen Typ, zum Beispiel Wartung, technische Pause, Reparatur oder unerwarteter Ausfall.
5. Trage Start und Dauer in derselben Zeiteinheit wie die Operationen ein, normalerweise Minuten.
6. Lasse Hart aktiviert. Weicher Stillstand ist als zukünftiges Konzept sichtbar, der aktuelle Solver-Weg arbeitet mit hartem Stillstand.
7. Optional kannst du Name und Notizen ergänzen, damit der exportierte Plan erklärt, warum die Maschine blockiert ist.

Beispiel

Wenn CNC mill ab Minute 120 für 30 Minuten Wartung hat, setze Start = 120 und Duration = 30. Das blockierte Fenster ist 120-150. Die Gantt-Karte zeichnet es als roten Stillstandsblock, und der Plan-CSV-Export enthält eine Stillstandszeile.

Validierungsregeln

• Der Stillstandsbeginn muss eine nichtnegative Ganzzahl sein.
• Die Stillstandsdauer muss eine positive Ganzzahl sein.
• Stillstands-IDs müssen innerhalb der ausgewählten Maschine eindeutig sein.
• Aktuelle Stillstandsfenster werden als harter Stillstand geplant.

Produktionsplan und generierte Jobs

Produktarbeitspläne und Produktionsplan sind Planungsebenen für den Anwender. Der Solver optimiert Produktmengen nicht direkt; er plant die daraus erzeugten Jobs mit festen Maschinen. Klicke nach Fertigstellung des Plans auf Alle Jobs generieren. Änderungen an Planfeldern erzeugen Jobs nicht automatisch neu; die sichtbare Jobanzahl in einer Planzeile ist nur eine Vorschau.

Wie generierte Jobs entstehen

1. Zuerst den Produktarbeitsplan definieren: Reihenfolge der Operationen, feste Maschine pro Operation und Operationsdauer für einen generierten Job/eine Charge.
2. Im Produktionsplan eine Zeile anlegen: Produkt, Menge, Chargengröße, Termin und Priorität wählen.
3. Auf Alle Jobs generieren klicken. Die Anwendung erweitert jede Produktionsplanzeile zu konkreten Jobs und kopiert die Operationen aus dem Produktarbeitsplan in jeden Job.
4. Den Solver erst starten, wenn generierte Jobs vorhanden sind. Solver-Eingabe sind die generierten Jobs, nicht die Produktionsplantabelle selbst.
5. Wenn Menge, Chargengröße, Produktarbeitsplan, Termin oder Priorität im Produktionsplan geändert wird, erneut Alle Jobs generieren klicken.

Alle Jobs generieren ist eine Sammelaktion für den ganzen Produktionsplan, keine Aktion für einen einzelnen Job. Sie ersetzt die aktuelle Liste der generierten Jobs. Manuelle Änderungen in Generierte Jobs sind für Ausnahmen nützlich, können aber beim nächsten Alle Jobs generieren überschrieben werden.

Produktrouten

• Eine Produktroute ist ein geordnetes Rezept: Schritt 0, Schritt 1, Schritt 2 usw.
• Jeder Schritt braucht eine Maschine und eine Dauer.
• Die Reihenfolge bleibt in jedem Job erhalten, der aus diesem Produkt generiert wird.

Zeilen des Produktionsplans

• Menge ist die gesamte angeforderte Menge.
• Chargengröße legt fest, wie viele Stück ein generierter Job repräsentiert.
• Fällig ist die Ziel-Fertigstellungszeit für Jobs aus dieser Planzeile.
• Priorität wird von CP-SAT beim Ziel gewichtete Terminverspätung verwendet. Höhere Priorität macht Verspätung teurer.

Generierte Jobs

Für jede Planzeile erzeugt die Anwendung ceil(quantity / batch_size) Jobs. Beispiel: Menge 12 und Chargengröße 4 erzeugen 3 generierte Jobs. Die letzte Charge kann kleiner sein, wenn die Menge nicht durch die Chargengröße teilbar ist.

Generierte Jobs können vor der Berechnung geprüft und manuell angepasst werden. Nutze das für Ausnahmen, einmalige Nacharbeit, geänderte Dauer oder einen Job, der auf eine andere feste Maschine muss.

Zufallsfabrik

Die Zufallsfabrik erzeugt ein deterministisches synthetisches Produktionsprojekt für Demos, schnelle Prüfungen und Schulung. Wähle Größenpreset, Seed, Anzahl Maschinen, Produkte, Planzeilen und Stillstandsblöcke. Das erzeugte Projekt aktiviert den eigenen Datensatz und erstellt Jobs aus dem Plan.

Solver und Ziele

Robopol Refined Normal-Profil und Produktionsziel-Auswahl.

Makespan-Ziel

Makespan minimiert die endgültige Fertigstellungszeit des gesamten Plans. Es ist das Standardziel und wird von Robopol Refined und CP-SAT unterstützt. Verwende es, wenn die Hauptfrage lautet: „Wie früh kann der gesamte Produktionsauftrag fertig werden?“

CP-SAT gewichtete Terminverspätung

Gewichtete Terminverspätung plant gegen Liefertermine. Für jeden Job berechnet die Anwendung tardiness = max(0, completion_time - due_time). Die gewichtete Strafe ist priority * tardiness. CP-SAT minimiert die Summe dieser gewichteten Strafen.

Das ist ein anderes Ziel als Makespan. Ein Lauf mit gewichteter Terminverspätung kann den Gesamtplan später abschließen als der beste Makespan-Lauf, wenn dadurch die Strafe für verspätete Jobs sinkt. Ein makespan-optimaler Plan kann zum Beispiel bei Zeit 261 enden, während ein nach Terminen optimierter Plan bei Zeit 304 endet, weil wichtige Jobs näher an ihre Fälligkeit geschoben werden. OPTIMAL oder FEASIBLE bezieht sich immer auf das gewählte Ziel, nicht auf jede Metrik auf der Karte.

• Wähle Algorithmus = CP-SAT.
• Wähle Optimierungsziel = Gewichtete Terminverspätung.
• Setze Fällig und Priorität im Produktionsplan oder in den generierten Jobs.
• Jobs ohne Termin erzeugen keine Verspätungsstrafe.
• Priorität hat den Standardwert 1. Ein Job mit Priorität 2 macht eine Minute Verspätung doppelt so teuer wie Priorität 1.
• Die Gantt-Karte zeigt weiterhin Plan und Makespan; Laufausgaben zeigen zusätzlich Zielwert, gewichtete Terminverspätung, Gesamtverspätung, verspätete Jobs und schlimmste Verspätung, wenn diese Werte verfügbar sind.

Robopol Refined ist in dieser Version der schnelle Makespan-Weg. Für gewichtete Terminverspätung wähle CP-SAT.

Algorithmen

CP-SAT

CP-SAT ist der exakte bzw. constraint-programming-basierte Solver-Weg. Er baut ein mathematisches Planungsmodell mit Job-Reihenfolge, Nichtüberlappungsbedingungen für Maschinen und harten Stillstandsintervallen. Der wichtigste Benutzerparameter ist CP-SAT-Zeitlimit (Sekunden).

• Ein kurzes Limit liefert schnell eine Antwort, nützlich für schnelle Kontrolle oder kleinere Datensätze.
• Ein längeres Limit gibt CP-SAT mehr Zeit, den Plan zu verbessern oder Optimalität zu beweisen.
• OPTIMAL bedeutet, dass CP-SAT bewiesen hat, dass für das gewählte Ziel keine bessere Lösung existiert.
• FEASIBLE bedeutet, dass CP-SAT einen gültigen Plan gefunden hat, aber innerhalb des Limits keinen Optimalitätsbeweis liefern konnte.
• Für CP-SAT werden Makespan und Gewichtete Terminverspätung unterstützt.

Erhöhe das CP-SAT-Zeitlimit bei größeren Projekten, bei gewichteter Terminverspätung, bei vielen Stillstandsfenstern oder wenn gap/bound darauf hindeuten, dass CP-SAT das Ergebnis noch verbessern kann.

Robopol Refined

Robopol Refined ist der heuristische Weg für praktische Makespan-Optimierung. Er startet aus konstruktiven Plänen, repariert Konflikte, testet lokale Änderungen, hält vielversprechende Planbereiche und sucht mit wiederholten Läufen nach Alternativen. Er ist für kleine, mittlere und ausgewählte größere JSSP-Instanzen sinnvoll, wenn ein starker praktischer Makespan-Kandidat oder eine alternative Suchtrajektorie wichtiger ist als ein sofortiger Optimalitätsbeweis. CP-SAT bleibt der exakte Solver-Weg und die wichtigste Quelle für Optimalitätsbeweise sowie gewichtete Terminverspätung, aber schwierige zeitlimitierte Läufe können ebenfalls als FEASIBLE mit verbleibendem Gap enden. In solchen Fällen ist Refined ein praktischer Begleiter: Das Normal-Profil kann schnell einen konkurrenzfähigen Kandidaten liefern, und Benutzerdefiniert Optimum suchen kann begrenzte Refined-Chunks mit CP-SAT-Verifikation kombinieren. Der Geschwindigkeitsunterschied sollte als Reifegrad der Implementierung gelesen werden, nicht als Abwertung von Refined: Der aktuelle Robopol-Refined-JSSP-Adapter ist eine schlanke generische Schicht über einem universellen Suchkern, während OR-Tools CP-SAT von jahrelanger Forschung und hoch spezialisierten Constraint-Programming-, SAT-, Scheduling- und Local-Search-Techniken für diese Problemklasse profitiert.

Der Scheduler nutzt Robopol Refined als universelles Guided-Search-Kernsystem, das über einen JSSP-Adapter angebunden ist. Der Kern stellt die Suche bereit; der Adapter beschreibt Zustand, Bewertung, erlaubte Züge und Guidance Edges für diese Produktionsplanungsdomäne. Mehr Hintergrund steht auf TSP and Universal Robopol Refined Solver.

Refined-Makespan-Läufe können jetzt Beweismetadaten melden. Eine günstige untere Schranke kann Optimalität sofort beweisen, wenn der Refined-Makespan dieser Schranke entspricht. Der Server kann außerdem einen CP-SAT-Verifizierer ausführen, der prüft, ob ein Plan mit makespan < best existiert. Wenn dieser Verifizierer Unmöglichkeit beweist, zeigen die Laufausgaben proof_status = optimal_by_cp_sat. Normal und Stark bleiben im festen Profilbudget; bei standardmäßigen parallelen Läufen wird nach dem Refined-Lauf verifiziert, statt den Lauf in viele Verifizierer-Chunks aufzuteilen.

Benutzerdefiniert Optimum suchen ist anders: Refined läuft in begrenzten Chunks, verbesserte Zwischenergebnisse werden verifiziert, und die Suche kann bis zum Beweis, zur Stagnation, zu Chunk-, Lizenz-/Runtime-Grenzen oder zum Stop-Button weiterlaufen. Benutzerdefiniert Festes Budget führt die eingestellten Custom-Parameter einmal aus.

Robopol Refined Parameter

Im normalen Produktionsbetrieb zuerst Normal verwenden. Stark nur wählen, wenn ausdrücklich ein tieferer Lauf gewünscht ist. Benutzerdefiniert ist sinnvoll beim Tuning eines bekannten Datensatzes, dessen Ergebnisse mit früheren Plänen verglichen werden können. Im benutzerdefinierten Modus kann der Anwender Suchparameter für bessere Ergebnisqualität abstimmen: mehr Läufe, tiefere ILS-Suche, breiteres Candidate-Scouting und parallele Läufe können die Chance auf einen besseren Makespan erhöhen, benötigen aber mehr CPU-Zeit. Optimum suchen verwenden, wenn der Verifizierer entscheiden soll, ob die Berechnung stoppen oder in begrenzten Chunks weiterlaufen soll. Nicht gespeicherte benutzerdefinierte Änderungen gelten nur für den aktuellen Lauf; mit Benutzerdefinierte Parameter speichern werden sie beim nächsten Browserstart wieder geladen.

Optimierung starten

Grundoptionen

• Datenquelle: Für reale Produktionsdaten aus dem Datensatz-Editor Eigener Datensatz wählen. Eingebaute Instanz nur für Beispiel- und Benchmarkdaten verwenden.
• Instanz und Instanz-Seed: werden nur verwendet, wenn eingebaute Instanz ausgewählt ist.
• Algorithmus: Robopol Refined oder CP-SAT wählen.
• Refined-Profil: nur für Robopol Refined verfügbar. Normal ist der empfohlene abgestimmte Standard; Stark ist tiefer und langsamer; Benutzerdefiniert startet mit Normal-Suchwerten, nutzt standardmäßig Optimum suchen mit aktivierter exakter Reparatur und wird erst nach Benutzerdefinierte Parameter speichern gespeichert.

Eingebaute Instanzen verwenden den Datensatz-Editor nicht. Vor dem Rechnen mit importierten oder manuell bearbeiteten Produktionsdaten wieder auf Eigener Datensatz wechseln.

CP-SAT Exact Einstellungen

CP-SAT-Zeitlimit legt fest, wie lange CP-SAT suchen darf. Wenn der beste Wert bewiesen wird, ist der Status optimal. Findet CP-SAT eine gute Lösung ohne Beweis innerhalb des Limits, kann der Status feasible sein. Dann Zielwert, Makespan, Bound und Gap in den Laufausgaben prüfen.

• Search workers setzt OR-Tools num_workers. Der Standard nutzt mehrere Worker, damit Portfolio-, LNS- und Local-Search-Subsolver laufen können.
• Search mode wählt normale Portfolio-Suche, Interleaved-Suche oder einen Single-Full-Search-Worker.
• LNS, RINS / RENS, Feasibility Pump, Feasibility Jump und Dual Scheduling sind erweiterte CP-SAT-Schalter über backend-whitelisted Parameter.
• Violation LS, FJ restart factor, Solution pool und Alternative pool steuern Local-Search-Diversität und Restart-Verhalten.
• Verifier time und Verifier workers gelten nur für CP-SAT-Beweisprüfungen von Robopol Refined, nicht für den Hauptlauf von CP-SAT.
• Save CP-SAT Parameters speichert die aktuellen CP-SAT-Einstellungen in diesem Browser. Nicht gespeicherte Änderungen gelten für den aktuellen Lauf, werden nach dem Reload aber nicht wiederhergestellt.

Refined-Beweismetadaten

Robopol-Refined-Laufausgaben können proof_status, refined_lower_bound, verifier_result und Chunk-Zähler anzeigen. optimal_by_lower_bound bedeutet, dass der Refined-Makespan der günstigen unteren Schranke entspricht. optimal_by_cp_sat bedeutet, dass der CP-SAT-Verifizierer bewiesen hat, dass im Verifizierermodell kein Plan mit kleinerem Makespan existiert. verifier_result = better_solution_found bedeutet, dass der Verifizierer einen Plan unterhalb des Refined-Incumbents gefunden hat; das ist kein Optimalitätsbeweis für das Refined-Ergebnis. not_proven bedeutet, dass der Plan gültig, aber nicht als optimal bewiesen ist.

Schaltflächen

• Optimierung starten validiert den ausgewählten Datensatz und startet den gewählten Solver.
• Stop bricht einen aktiven Lauf ab, wenn eine Berechnung gerade läuft.
• Ausgaben löschen leert die sichtbare Laufhistorie und setzt die aktuell angezeigten Ausgaben zurück.

Vor Start

• Die Datensatz-Zusammenfassung sollte mindestens eine Maschine, einen Job und eine Operation zeigen.
• Die Validierung sollte bei eigenem Datensatz einen gültigen Datensatz melden.
• Für gewichtete Terminverspätung prüfen, dass Algorithmus = CP-SAT ist und relevante Jobs Fällig- und Prioritätswerte haben.
• Bei Maschinenstillstand nach der Berechnung die Gantt-Karte prüfen und sicherstellen, dass Operationen keine roten Stillstandsblöcke überlappen.

Gantt-Karte

Was die Karte zeigt

Nach einem erfolgreichen Lauf zeigt die Gantt-Karte eine Zeile pro Maschine. Farbige Balken sind Operationen, rote Bereiche sind harte Stillstandsfenster, und die Titelzeile zeigt Instanz, Solver, Makespan, Status und aktuelles Zoomfenster.

Kartensteuerung

Karte als Bild exportieren

Für ein visuelles Bild der berechneten Karte verwende das Panel Projekt in der linken Einstellungs-Seitenleiste.

1. Zuerst eine erfolgreiche Berechnung ausführen. Die Export-Schaltflächen brauchen einen zeichnbaren Gantt-Plan.
2. Das Panel Projekt in der Einstellungs-Seitenleiste öffnen.
3. PNG exportieren anklicken, um ein Bitmap der aktuellen Canvas-Ansicht herunterzuladen.
4. SVG exportieren anklicken, um eine skalierbare Vektorkarte des Plans herunterzuladen.
5. Der Browser lädt eine Datei mit Instanz, Solver und Makespan im Namen herunter. Wenn noch kein Plan existiert, warnt die App: Run a calculation before exporting the map.

Laufausgaben

Laufausgaben speichern erfolgreiche und fehlerhafte Ergebnisse in lesbaren Karten. Kopieren kopiert eine Textzusammenfassung, Export lädt strukturierte Plandaten herunter. JSON enthält Metadaten und den vollständigen Plan; CSV enthält Zusammenfassung, Operationen und Stillstandszeilen.

Dieser Export ist für Plandaten, nicht für das visuelle Kartenbild. Für ein Bild der Gantt-Karte verwende Projekt -> PNG exportieren oder Projekt -> SVG exportieren.

Darstellung

Visuelle Einstellungen steuern Gantt-Thema, Hintergrund, Operationsfarben, Farbe des kritischen Pfads, Operationshöhe, Rasterdichte und die Animationseinstellung für große Pläne. Diese Einstellungen wirken auf die sichtbare Zeichenfläche und auf exportierte Kartenbilder.

Aktueller Umfang

• Robopol und gewichtete Terminverspätung: Für gewichtete Terminverspätung ist CP-SAT der vorgesehene Solver-Weg. Robopol Refined ist der schnelle Makespan-Weg.
• Alternative Maschinen: Das aktuelle Datenmodell verwendet eine feste Maschine pro Operation. Alternative Maschinenrouten sind als spätere Produktionsplanungsebene vorgesehen.
• Schichtkalender: Der aktive Scheduler verwendet explizite harte Stillstandsfenster statt wiederkehrender Schichtkalenderregeln.
• Kalendermodus, Termingewicht und Gesperrte Operationen beachten: diese sichtbaren Planungssteuerungen liegen außerhalb des aktiven Solve-Vertrags. Die aktive Produktionsauswahl ist Optimierungsziel.
• Gesperrte Operationen und Rüstzeiten: aktuelle Läufe planen verschiebbare Operationen mit festen Bearbeitungszeiten.

Fehlerbehebung