E-Graphs für symbolische Vereinfachung

Im Zuge der Präsentation zum Status des neuen OpenModelica Backends wurden grundlegende Konzepte von E-Graphs vorgestellt und laufende Arbeiten zu symbolischer Vereinfachung mittels E-Graphs diskutiert. Mit Hilfe dieser Vereinfachungen lässt sich der Simulationsprozess beschleunigen, was mit einem höheren Kompilierungsaufwand einhergeht. Werden allerdings Modelica-Modelle nicht skalarisiert, wird auch der Kompilierungsaufwand für größere Modelle zunehmend vernachlässigbar. Zukünftig werden diese Techniken verwendet um tiefgreiferende symbolische Transformationen durchzuführen, die die Simulation weiter beschleunigen. Überdies ist der Compiler in der Lage Transformationen an Teilen des Modells vorzunehmen, die dem Modellierer unzugänglich sind.

Diese Arbeit basiert auf dem Open-Source-Project egg.

Workshop: OpenModelica Annual Workshop