PDDL-Modell für einen sächsischen Halbleiter-Fab-Prototyp
Übersicht
Worum es bei diesem Projekt geht.
Sie modellieren eine vereinfachte Wafer-Bewegung zwischen sieben Stationen (drei Reinraum-Stationen, vier Mess-Stationen) als klassische PDDL-Domäne. Berücksichtigen Sie Vorbedingungen, Effekte und Ressourcenkonflikte. Lösen Sie zwei Beispielinstanzen (10 und 30 Wafer) mit einem etablierten Planer (Fast Downward oder LPG). Vergleichen Sie zwei Heuristiken (h_max vs. h_add) auf Lösungszeit und Planlänge. Liefern Sie die PDDL-Dateien, einen Vergleichsreport, ein Memo zur Skalierbarkeit (Was passiert bei 200 Wafer?) und ein Übergabe-Notebook, das die Forschungsabteilung selbst weiterentwickeln kann.
Das Briefing
Was Du tust und was Du zeigst.
Kann eine klassische PDDL-Modellierung mit einem etablierten Planer die Wafer-Bewegungen in einem Forschungs-Fab in vertretbarer Zeit lösen, und wie skaliert das mit der Anzahl der Wafer?
Earning criteria — what you'll demonstrate
- PDDL als Sprache für klassische Planungsdomänen einsetzen
- Heuristiken in klassischen Planern verstehen und vergleichen
- Skalierbarkeit von Plansuche realistisch einschätzen
- Methodische Studie für eine Forschungsabteilung aufbereiten
Studienpassung
Wo dies in Dein Studium passt.
Schärft dieselben Fähigkeiten, die Dein Studium von Dir erwartet.
Fähigkeiten
Fähigkeiten, die Du unter Beweis stellst.
Jede taucht auf Deinem verifizierten Zertifikat auf.
Karrieren
Berufe, auf die dies Dich vorbereitet.
Echte Berufsbezeichnungen. Echte Skill-Brücken. Wähle die, die Deinem Werdegang am nächsten kommt.
Karrierewege, die das aufbaut
Kanonische RollenAI Engineer
PDDL-Modellierung an einem Industriefall ist eine seltene Kompetenz, die AI Engineers in der Halbleiter- und Fertigungswelt sehr sichtbar macht.
Dieses Projekt schärft
- pddl-modeling
- classical-planning
- domain-modeling
Research Scientist
Klassische Planungsheuristiken auf einer realen Domäne sauber zu vergleichen und Skalierbarkeit zu diskutieren ist klassische Planning-Forschung in Anwendung.
Dieses Projekt schärft
- classical-planning
- search-strategies
- benchmarking
ML Researcher
Methodisch saubere Studie auf einer realen Domäne mit ehrlicher Skalierbarkeitsanalyse ist die Vorarbeit zu seriöser Lern-gestützter-Planung-Forschung.
Dieses Projekt schärft
- benchmarking
- pddl-modeling
- domain-modeling
Noch eine Sache