Entwicklung und Implementierung von Heuristiken zur optimierten ...
Entwicklung und Implementierung von Heuristiken zur optimierten ...
Entwicklung und Implementierung von Heuristiken zur optimierten ...
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
5.5 <strong>Implementierung</strong><br />
Neben dem UPPAAL-Service-Fenster, das dem Benutzer ermöglicht, einen Namen<br />
der ta-Datei sowie die zu abstrahierenden Variablen anzugeben, existiert nun ein<br />
CO-UPPAAL-Service-Fenster, mit dem der Benutzer zusätzlich die heuristischen<br />
Eingaben tätigen kann. Es existieren Textfelder <strong>zur</strong> Eingabe der gewünschten Kosten<br />
für einen Zyklus <strong>und</strong> eine Treibertransition sowie ein Switch, ob die Heuristik aus<br />
Kapitel 5.3 mit Produkt oder Summe berechnet werden soll.<br />
Abbildung 15: CO-UPPAAL-Service-Fenster<br />
Die <strong>Implementierung</strong> der Kosten für Zyklus <strong>und</strong> Treibertransition gestaltete sich<br />
dann nicht sehr schwierig, was sich mit den Kapiteln 5.1 <strong>und</strong> 5.2 nachvollziehen lässt.<br />
Deswegen wird hierauf innerhalb dieses Kapitels nicht weiter eingegangen.<br />
39