|
|
|
|
CONCLUSIONI E RISULTATI
Il programma realizzato e' stato utilizzato nell'ambito di un progetto di ricerca in corso al fine di verificarne i risultati. Nel campo dello sviluppo di pianificatori, esistono problemi standard sui quali eseguire i test di valutazione. Il progetto ha sviluppato un pianificatore in grado di adattare la soluzione ottima (numero di passi minimo) S del problema standard P ad una sua variante P1.
Lo scopo e' ottenere una soluzione S1 che presenti la massima somiglianza con S (chiaramente questo vincolo puo' precludere l'ottimalita' della soluzione). Oltre ad essere notevolmente piu' rapido, il pianificatore puo' risolvere varianti del problema originale non risolvibili col pianificatore ottimo di riferimento (IPP).
La valutazione della somiglianza della soluzione S1 con S e' stata eseguita per mezzo del programma "plandiff" sviluppato durante questo lavoro. I test sono stati condotti su numerose varianti e per diversi problemi standard. Per facilitarne la lettura, i risultati sono rappresentati graficamente.
La figura sottostante illustra uno dei grafici prodotti. Ciascun punto rappresenta il valore del confronto eseguito tra la soluzione ottima del problema standard e la specifica soluzione. Per ogni variante del problema di riferimento sono state applicate tre tecniche di pianificazione: IPP (il risolutore ottimo), LOC-SIS che adotta una ricerca locale seguita da una sistematica e SIST che utilizza solamente la ricerca locale.

Il grafico dimostra che le soluzioni elaborate con le tecniche sviluppate dal gruppo di ricerca (LOC-SIS e SIST) risultano molto simili a quella di riferimento, come desiderato.
Purtroppo, questo non è sempre verificato in quanto per alcuni domini i risultati sono molto confusi, in quanto l'indice presenta una dinamica elevata, con forti variazioni tra le diverse varianti.
ELABORATO COMPLETO
La versione completa della relazione e' leggibile direttamente a questo indirizzo.
DOWNLOAD
ELABORATO
"Indici di confronto tra piani ordinati con relazioni d'ordine parziale".
Formato WINZIP, MS WORD 97 - 104 KB
Formato WINZIP, HTML - 51 KB
PROGRAMMA DI CONFRONTO
Sorgenti del programma "plandiff" scritto in C su piattaforma Linux (gcc).
(Compilare con "make all").
Formato WINZIP, 21 KB
FOGLIO EXCEL
Cartella Excel contenente la macro per la generazione automatica di tabulati e grafici.
Formato WINZIP, EXCEL 97 - 41 KB
RISULTATI (GRAFICI)
Cartelle Excel contenenti i tabulati ed i grafici dei confronti eseguiti.
Formato WINZIP, EXCEL 97 - 248 KB
RISULTATI
Problemi, soluzioni, risultati dei confronti e cartelle con i grafici.
Formato WINZIP - 1333 KB