Propositiondeprojetsdefintudesenoptimisationcombinatoire

pourMasterrechercheAcadmiqueetSTICenseignant:A.LAYEB

1.Utilisationdesmthodesdoptimisationpourdesproblmesrelles
Sujet1:UtilisationdesmtaheuristiquespourleproblmedeDispatchingEconomique
Le dispatching conomique est un problme doptimisation statique qui consiste rpartir la productiondelapuissanceactivedemandeentrelesdiffrentescentralesdurseaulectrique,de sorte exploiter ce dernier de la manire la plus conomique possible. Cette distribution doit videmment respecter les limites de production des centrales. La variable optimiser est donc le cot de production. Le cot de production dune centrale est gnralement modlis par une fonction polynomiale du second degr en PG (puissance active gnre par la centrale) dont les coefficientssontdesconstantespropreschaquecentrale: Ccentrale ( P ) a b.P G G

c.PG2

Sujet2:UtilisationdesmtaheuristiquesdanslesRseauxMobiles.
Dufaitdel'troitebandepassanteaffecteauliendetransmissionradio,l'optimisationde l'allocationderessourcesdanslesrseauxmobiless'avrecrucialepourpouvoiryintgrerlesupport hautdbit.Eneffet,ladiminutiondelatailledescellulespermetunerutilisationdesressources plusimportanteetdmultiplielenombredetransfertsintercellulaires.Ceciimpliqueunegestion complexedesressourcestraverslesstationsdebase.

Sujet3:UneApprocheMultiObjectivepourrsoudreleproblmedAlignementdes StructuresARNs
LaprdictionstructurelledesARNestunproblmenonencorersoluenbioinformatique.Plusieurs approches on t suggres pour rsoudre ce problme. Malheureusement, aucune approche n'a russidans cedomaine. Leproblme consisteoptimiserdeux critres. Lepremierestlefameux SPS(SumofPairwiseScore)qui mesurelasensitivitdelaprdictionstructurelledel'ARN.Lautre mesure la plus importante est lindex de la conservation de la structure (Structure Conservation Index) SCI. Cet index donne la mesure de la structure secondaire conserve dans un alignement. Contrairement au score SPS, cette mesure est indpendante de lalignement de rfrence. Nous notons que le SCI marque seulement l'exactitude de l'alignement en termes d'information secondairedestructures.

2.Utilisationdesmthodesdoptimisationpourdesproblmes acadmiques
Domaine1:Utilisationdesmthodesdoptimisationpourleproblmedesatisfiabiliten logiquepropositionnelle.
Leproblmedesatisfiabilitdeformulespropositionnellessousformenormaleconjonctive(SAT)est depuis un grand nombre dannes un problme central dans bon nombre de domaines dont la vrificationetlaspcificationdecircuitslectroniques,lestechniquesdetypeModelChecking,la planificationdetchesetlacryptographie,etc.Leproblmedesatisfiabilit(SAT)consistetrouver une affectation boolenne validant une formule en logique propositionnelle. Ce problme possde plusieursvariantesdontleproblmeMAXSAT,auquelnousnousintressonsplusparticulirement danscettethse.Ceproblmepeutalorstrevucommeuneformulationalternativeduproblme

Propositiondeprojetsdefintudesenoptimisationcombinatoire
pourMasterrechercheAcadmiqueetSTICenseignant:A.LAYEB
SAT qui consiste trouver une affectation maximisant le nombre de clauses satisfaites dans une formuleboolenne. Sujet1:UnalgorithmegntiquebassuruneprocdureBranchandBoundpourrsoudrele problmedesatisfiabilitenlogiquepropositionnelle. Sujet2:UnalgorithmequantiqueScatterSearchpourrsoudreleproblmedesatisfiabiliten logiquepropositionnelle. Sujet3:Unalgorithmedessaimdeparticulesbasquantiquepourrsoudreleproblmede satisfiabilitenlogiquepropositionnelle.

Problmedordonnancementdanslesgraphesdedcisionbinaire.
Lun des problmes rencontr dans le domaine de la vrification formelle est lexplosion combinatoire. Par exemple dans le modelechecking, le nombre dtats dans les graphes des transitions peut atteindre des niveaux prohibitifs ce qui rend leur manipulation difficile, voire impossible.Pourcela,onutilisedesmthodesdecompressionafinderduirelatailledesgraphes dtats.La compressionsefaiten utilisantdesstructuresde donnesafinde reprsenter defaon concisedesensemblesdtats.Danscecas,Lesoprationssefontalorssurdesensemblesdtats pluttquesurdestatsexplicites.Cettetechniqueestsouventqualifiedesymbolique. Parmilesreprsentationssymboliqueslesplusconnues,ontrouvelareprsentationpardiagrammes de dcision binaire (BDD, de Binary Decision Diagrams). Les BDD sont des structures de donnes utilisespourreprsenterdesfonctionsboolennes.LesBDDsontlargementutilissdansplusieurs domainesparcequilsoffrentunereprsentationcanoniqueetunemanipulationfacile.Cependant, latailledesBDDdpenddelordredevariableschoisi.Decefait,ilestimportantdetrouverunordre de variables qui minimise le nombre de nuds dans un BDD. Malheureusement, cette tche nest pasfacilevuquonaunnombreexponentieldordrespossibles. Sujet1:UnAlgorithmeEvolutionnaireaveclheuristiqueSIFTINGpourrsoudreleproblme dordonnancementdanslesDiagrammesdeDcisionBinaire. Sujet2:unalgorithmeparalllevolutionnaireavecrecherchelocalepourrsoudreleproblme dordonnancementdanslesGraphededcisionbinaire.

NB:Lenombredebinmesretenusest3pourM2Acadmique

Prrequis Intrtpourlessciencesdeloptimisationetlintelligenceartificielle; Unbonniveauenmathmatiques,ainsiquenalgorithmique; Bonneaptitudelaprogrammation; Langages:C++/JAVA/Matlab(connaissanceVisualStudio2008seraitunplus); Lespersonnesintressescontactentlenseignantsurlayeb.univ@gmail.com