Vers la reconfiguration structurelle d’un système de type SoS par la méthode MAX-SAT

Notice brève
dc.contributor.authorBOUCHAOUR Hamza Cherif
dc.date.accessioned2022-11-13T11:27:57Z
dc.date.available2022-11-13T11:27:57Z
dc.date.issued2019-10-31
dc.description.abstractLes systèmes intégrés à grande échelle qui collaborent afin de réaliser une mission commune sont connus sous le nom de Système de Systèmes (SdS). Dans ce travail, nous introduisons une méthode de récupération permettant à ce type de système de faire face aux défaillances de l'un de ses constituants élémentaires. Le but est d'éviter l'effondrement de l'ensemble du SdS. Pour trouver un nouvel état de fonctionnement, nous proposons un cadre de supervision basé sur un modèle hypergraphique dédié aux SdS. Cela implique la réalisation de deux phases qui sont la modélisation et la reconfiguration. Ces méthodes sont de nature combinatoire et difficilement implémentables sur machine. L'objectif principal de ce travail est de réduire la complexité informatique de la procédure de supervision. Pour la partie modélisation, compte tenu de la haute densité de connexions de l'hypergraphe représentant le SdS, nous proposons de décomposer ce modèle au moyen de la propriété d'acyclicité basée sur un arbre hypergraphique. Ce dernier pro duit une résolution du problème en un temps linéaire. Pour la partie reconfiguration, nous proposons de la résoudre comme étant un problème d'isomorphisme de sous-graphe auquel nous adjoignons une fonction de filtrage. Le but est de pallier les contraintes de complexité hypergraphiques induites par de telles procédures. Nous prévoyons aussi d'utiliser la méthode Max-Sat dans le cas où la reconfiguration par isomorphisme de sous-graphes ne donnerait aucune solution. Enfin, la procédure de supervision proposée est mise en oeuvre par l'approche programmation par contraintes et appliquer sur des exemples de SdS.
dc.formatpdf
dc.identifier.urihttps://dspace.univ-oran1.dz/handle/123456789/682
dc.language.isofr
dc.publisherUniversité oran1 Ahmed Ben Bella
dc.subjectSystème de Systèmes
dc.subjectHypergraphes
dc.subjectProgrammation par Contraintes
dc.subjectAcyclicité
dc.subjectIsomorphisme de Sous-Graphes
dc.subjectComplexité de Calculs
dc.subjectMax-Sat
dc.subjectProblème de Satisfaction de Contraintes
dc.subjectChordalité
dc.subjectGecode
dc.titleVers la reconfiguration structurelle d’un système de type SoS par la méthode MAX-SAT
dc.typeThesis
grade.ExaminateurBELALEM Ghalem, Professeur, Université Oran 1
grade.ExaminateurMERZOUKI Rochdi, Professeur, Université LILLE 1 (France)
grade.ExaminateurDjebbar Bachir, Professeur, USTO-M.B.
grade.ExaminateurNOUIBET Wahid, Professeur, USTO-M.B.
grade.GradeDoctorat
grade.PrésidentBOUAMRANE Karim, Professeur, Université Oran 1
grade.RapporteurHAFFAF Hafid, Professeur, Université Oran 1
l'article.1.DateParution25 Juin 2019
l'article.1.RevueInternational Journal of System of Systems Engineering
l'article.1.RéférenceBouchaour, H.C. and Haffaf, H. (2019) ‘Hypergraph restructuration for the supervision of system of systems’, Int. J. System of Systems Engineering, Vol. 9, No. 2, pp.117–138.
l'article.1.TitreHypergraph restructuration for the supervision of system of systems
la.MentionTrès honorables
la.SpécialitéINFORMATIQUE
la.coteTH5093
Fichiers
Bundle original
Voici les éléments 1 - 1 sur 1
Vignette d'image
Nom :
TH5093.pdf
Taille :
2.63 MB
Format :
Adobe Portable Document Format
Description :
Télécharger
Collections
Thèses de Doctorat "Informatique"