Area 01 – Scienze matematiche e informatiche

In quest’opera viene proposta una tecnica per formalizzare il problema di “Pianificazione dell’Attività di Volo” (Flight Activity Scheduling Problem) e per risolverlo in modo ottimo con un algoritmo matematico.Il problema oggetto di studio, in particolare, è stato prima formalizzato in un modello matematico ed è stato poi riformulato in un problema lineare di complementarità, per predisporlo all’applicazione dell’algoritmo di ottimizzazione L.C.P. SOLVE e alla successiva soluzione con la sperimentazione su diversi problemi aventi complessità crescente. La validità scientifica del lavoro è provata dal fatto che il piano dei voli determinato con L.C.P. SOLVE risulta la soluzione ottima del problema e rappresenta la migliore assegnazione, degli equipaggi e dei velivoli efficienti, ai voli da effettuare. I diversi casi risolti nella fase di validazione, inoltre, sono una verifica empirica delle capacità del modello matematico formalizzato; in tutti i problemi presi in esame, infatti, le evidenze sperimentali dimostrano l’efficienza della procedura proposta e la robustezza dell’algoritmo di ottimizzazione utilizzato, riducendo tra l’altro in misura considerevole il tempo necessario per produrre il piano ottimale dei voli da effettuare.

SINTESI