AndreiBudea

Grupa947

AlgoritmulMusuroidefurnici (AntColonyOptimization) pentrusoluionareaconflictelordetrafic aerian

Problemarezolvariiconflictelordetraficaeriananaeronaveesteunadenaturacombinatorica sisepoaterezovaoptimprinmetodedeoptimizaredoarpentrusituatiidepanala5aeronave. SistemulAntColonoyOptimizationesteunalgoritmcepermiterezolvareaproblemelordeo anverguramaimarecepotajungechiarsila30deaeronaveaflateinconflict.Acesasta abordarepresupunemodelareanuprintrosingurafurnicaciprinnfurnicicareisialeg traiectoriaindependenteunafatadecealalta. Introducere Conflicteledetraficaerianreprezintaproblemedenaturacombinatorica.Aceasteanupotfi rezolvateprinmodeleclasicedeoptimizaresimodelematematicerealeinmomentulincare numaruldeaeronaveimplicateestemaimarede4sau5.Celmaieficientalgoritmclasicde optimizareafostdezvoltatdePalatino,FeronsiBicchi[PFB02]sifoloseamodelulde programareliniaracurestrictii.Programulputeasagestionezepanala15aeronavedar ipotezeletraiectoriilornuputeafiaplicatainconditiirealedeoareceacesteapresupuneau vitezeconstante,ratedeurcaresifaranesigurante. PrinmodeledeoptimizarestocasticecumarfiDurandsiAlliot[DA97]seputeaajungela solutionareaconflictelorincareerauimplicatepanala30deaeronave. AllgoritmiprecummetodeleBranchsiBoundcarefoloseauanalizaintervalelor[M98]sau programareasemidefinita[FMF01]aveausuccessinrezolvareaproblemelordemicaanvergura, insasiasaipotezeletraiectoriilorramaneaunonaplicabileintruncontextreal. Abordareafolosindmetodacoloniedefurnici(ACO)afostintrodusadeMarcoDoringo [DMC96]inanii90.ACOisiareinspiratiadincomportamentulunorspeciidefurnici.Acestea depoziteazaferomoniinpamantpentruamarcatraseefavorabileceartrebuiurmatede anumitimembriiaicoloniei.ACOfolosesteacelasiprincipiuinrezolvareaproblemelor.

AndreiBudea

Grupa947

Modelareaproblemei Infigura1sepotobservanavioanecaresuntsituatepeuncercderazaRsizboaracatre centrulacestuiacuaceeasiviteza.Destinatialorestepunctulsituatediametralopuspecerc. Acesttipdeproblemaestecunoscutacafiindunadificiladeaoarecefiecareaeronavaestein conflictcucelelalte.Obiectivulesteaceladeagasitraiectoriinoipentrufiecareaeronavaastfel incattoateconflictelesasesolutionezesidistantaparcursainplussafiecatmaimica.

Atatatimpcatoameniipiloteazaaeronavele,ordineledemanevrapentruevitareaconflictelor trebuiesaramanasimpledeintelessiurmat.Acestlucruinseamnacainprocesuldemodelare, osinguramanevraestealocataperaeronava.Timpulestediscretizat.Manevraincepelaun timpT1siseteminalauntimpT2.Inacestcaz,conflictelesuntsolutionateorizontal,o modificareacapuluide10,20sau30degradelastangasauladreapta,asevedeafigura2.

AndreiBudea

Grupa947

Traiectoriauneiaeronavepoatefimodelatagrafic.TimpulestediscretizatinNtpasi.Graficul pozitieiaeronaveipoatefidefinitdupacumurmeaza:fiecarenodreprezintauntimpsiopozitie aaeronavei.TranzitiadelapozitiaIlapozitiai+1estereprezentatadeomarginepecarefurnica depuneferomoni. Oaeronavasepoateaflasuccesivin3stari.OaeronavaseaflainstareaUinaintedemanevra. CandmanevraincepelatimpulT1,aceastaseaflainstareaV.Infinalcandmanevrasaincheiat latimpulT2,aeronavaseaflainstareaW.DacaUi,VisiWireprezintanumaruldepozitiiale aeronaveirespectivestarilorU,VsiWlatimpulI,atunci: Ui+1=Ui Vi+1=Vi+6 Wi+1=Vi CuU1=1,V1=6siW1=0.SepoatededucefoarteusorcaUi+Vi+Wi=12i5. DacaluaminconsiderarecaofurnicareprezintasolutiaunuisingurconflictdinACO(vezifigura 3)atuncipentrunaaeronavesintpasidetimpnumarulposibildetraseelatimpulIeste12 i5)naiarnumarultotaldetraseeposibileeste(12nt5)na. Pentruna=5sint=10maimultde10laputeareaa10traseepotfiobtinute.

AndreiBudea

Grupa947

Descriereaalgoritmului

AlgoritmulACOesteunuldetipprobabilisticpentrurezolvareaproblemelordeprogramarece potfireduselagasireaunortraseeprinmetodegrafice.Primelealgoritmeaufosttestatepe problemacomisvoiajorului.Algoritmulreproducecomportamentulfurnicilorincautareaunui traseuintrecoloniesiosursadehrana(vezifigura4).Aceastaideeafostulteriorfolositapentru rezolvareaunorproblemcuspectrularg.

AndreiBudea

Grupa947

Furnicilefolosescmediuliconjuratorcaunmediudecomunicare.Elefacschimbdeinformatii prindepuneredeferomoni.Schimbuldeinformatieestecuscopuldelocalizare.Inproblema comsivoiajoruluiprimelefurniciisialegtraseulaleatorsidepunfermomonicuatatmaimulticu catdrumulestemaiscurt.Unnouvaldefurniciisialegtraseulluandincalculsinumarulde feromoniintalnitipedrum.Cucatmaimulticuatatmaimultesansecanoilefurnicisaurmeze traseuldefinit. AlgoritmulACOfolositinacestexempluesteunexempluclasicdeACOprezentatdeDoringo. Singuradiferentaesteaceeacaofurnicaesteinlocuitacuungrupdenafurnicicarereprezinta naaeronave.Fiecarefurnicadingrupreprezintaoaeronava.Ofurnicasepoateaflaintreistari diferitedupacumsepoateobservasiinfigura5:

InaintedeoricemanevrafurnicaseaflainstareaU DupatimpulT0,isischimbadirectiasitreceinstareaV. DupatimpulT1isimodificadinnoudirectiasitreceinstareaW

AndreiBudea

Grupa947

Fiecarenodalgraficuluireprezintatraiectoriiposibilealeaeronavei,furnicaalegenodul urmatorcuoprobabilitatecedepindedenumaruldeferomonilasatipelaturaceunestecele douanoduri.Traiectoriilesuntapoitestatepentruaverificaconflicteleexistente.Furnicilecare reprezintaaeronaveinconflictnudepunferomoni,invremecefurnicilecarenuauconflicte depunferomoni.Cantitateadeferomonidepusiscadeproportionalcudecalajulcauzatde manevreleaeronavei. Graficulcutraiectoriileposibileesteconceputinasafelincatsaaccepteundecalajmaxim pentrufiecareaeronava.Lainceputulalgoritmului,feromoniinitialisuntraspanditipegarfic pentruaasiguraprobabilitatiegalecatrefiecaretraseu.Infigura6sepoateobservadistributia feromonilor.Inacestexempluaeronavelepotsavirezelastangasauladreapta(30degrade) saupotsameargadreptsidoarcativapasisuntreprezentati.Cantitateadeferomonidepe fiecaremuchieesteinconsecintaproportionalcunumaruldetraseedisponibiledupatrecerea prinacestpunct.

Fig.6.Initialamountofpheromonesonthegraph Rezultate InsectiuneaaceastaoproblemadificilaesterezolvatacualgoritmulACO.Figura7descrie solutiilecelemaibuneobtinutedupa18,46si105iteratiialealgoritmuluipentru5aeronave problema.Infiguraputemobservacumalgoritmulestecapabilsasedescurcecucaracteristicile combinatoricealeproblemeideoarecesolutiilefescoperiteindiferiteetapealealgoritmuluinu dauaceleaicombinaridemanevrecatreaeronava.

AndreiBudea

Grupa947

AndreiBudea

Grupa947

Infigura8sepoatevedeasolutiaoptimapentru30deaeronaveaflateinconflictindiferitefaze alealgoritmului.Pozainitialaaratasolutiaoptimapentruprimagenerare.