Entwicklung und Implementierung von Heuristiken zur optimierten ...

∑ ∏
C 1 C 2 C 3 | bf df rdf shf
∑
0 0 10
2.55
∑
0 1 10
2.65
∏
0 0 10
2.55
∏
0 1 10 k.A. 136.47 1.94 10 2.56
∑
0 0 10*
3.16
∑
0 1 10*
3.37
∏
0 0 10*
3.06
∏
0 1 10*
3.37
Tabelle 7: Evaluation mit zwei Blechen (Ziele: end fb, on tb)
Die Tabellen 5, 6, 7 zeigen nun die Ergebnisse der Versuche mit zwei Blechen im
System der Fehlertoleranten Fertigungszelle. UPPAAL CORA vermag maximal noch
zu verifizieren, dass ein Werkstück bis auf den Tisch gelangt, was aber angesichts
der Größe des ganzen Systems auch nicht verwundern sollte.
Zwar liefert die randomisierte Tiefensuche erstaunlich schnelle Ergebnisse, allerdings
war dies nur maximal bei drei von zehn Versuchen der Fall (drei für start fb,
end fb, einer bei start fb, on tb und zwei bei end fb, on tb) und ist somit nicht
wirklich mit der heuristisch unterstützten Suche zu vergleichen. Diese liefert für die
Verifikation, dass ein Blech auf den Tisch und eins ans Ende des Eingabeförderbands
gelangt, das Ergebnis mehr als 50-mal schneller als die Tiefensuche.
Der Vergleich der Varianten Summe und Produkt für die Heuristik zum Abstand
zum Fehlerzustand lässt sich nicht ziehen, da die Heuristik sehr schnell Ergebnisse
für diese Anfragen liefert, aber leider für komplexere Anfragen nicht zum Ende
kommt. Trotzdem kann gerade die Heuristik, die sich nach Abstand zum Fehlerzustand
berechnet, als Erfolg gewertet werden. Die Variante des Reduzierens des
heuristischen Wertes pro Variable, die den gewünschten Wert hat, führt nicht zu
besseren Ergebnissen und wird aus diesem Grund auch nicht implementiert werden.
10 Dieses Ergebnis wurde bei zwei Versuchen erzielt, die restlichen acht Versuche blieben erfolglos.
38