University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Setif:UFA |
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Un algorithme distribué auto-stabilisant pour le problème : " Maximal Open Packing Type de document : texte imprimé Auteurs : Belala,Linda, Auteur ; Guellati, Nabil, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (40 f .) Format : 29 cm Langues : Français (fre) Langues originales : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Auto-stabilisation
Tolérance aux pannes
Exclusion mutuelle
Paking
Démon,
Maximal open packing
Réseaux ordinaire
Réseaux en anneauxIndex. décimale : 004 - Informatique Résumé : Résumé
L’auto-stabilisation est l’une des techniques de tolérance aux pannes dans les systèmes
répartis qui consiste à retourner automatiquement à un fonctionnement correct au bout d’un
temps finis. Cette technique est faisable où l’intervention d’un humain pour rétablir le
système après une panne est impossible. Plusieurs algorithmes ont étaient développé en se
basent de cette propriété pour résoudre différents problèmes : exclusion mutuelle, maximal
2-paking...etc.
Dans les systèmes auto-stabilisant un mécanisme extérieur appelé démon (ordonnanceur)
est utilisé pour choisir les processus qui vont effectuer une action. Nous allons dans ce travail
développé un algorithme distribué auto-stabilisant pour le problème " maximal open packing
" qui utilise un démon central pour effectuéer les actions.Le problème de packing peut être
utiliser dans le clustring des réseaux Ainsi notre algorithme fonctionne pour une topologie
arbitraire.Note de contenu :
Sommaire
Table des matières
Liste des figures ii
Liste des tableaux iii
Introduction générale 1
1 Généralités sur les systèmes répartis 4
1.1 introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Systèmes répartis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Objectif des systèmes distribués : . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Les topologies : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 Algorithmes distribués : . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Les problèmes répartis : . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.5 Modèles de communication : . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Tolérance aux pannes : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Auto-stabilisation : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5 L’anneau à jeton de Dijkstra : . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.1 Réseau anonyme ou basé sur un identifiant : . . . . . . . . . . . . . . . 11
1.5.1.1 Les avantages et les inconvénients de l’auto-stabilisation : . . 11
1.6 Notions et Définitions : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6.1 Demon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Conclusion : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Etat de L’art 16
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2 Les clusters : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2.1 Objectifs de la clusterisation : . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.2 Ensemble indépendant : . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.3 Notation : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3 Maximal 2-packing : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3.1 Algorithmes auto stabilisant pour Maximal 2-packing : . . . . . . . . . 19
2.4 k-packing : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4.1 Algorithme : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.2 Conclusion : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Table des matières
3 Algorithme auto-stabilisant pour le problème maximal open packing 29
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Maximal open packing : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2.1 Modèle du système : . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2.2 Description de l’algorithme : . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2.2.1 Preuve de correction : . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3 Simulation et comparaison : . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3.1 Simulation : . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3.2 Comparaison : . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3 Conclusion : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Conclusion et Perspectives 37
BibliographieCôte titre : MAI/0243 En ligne : https://drive.google.com/file/d/1cCgGrrz__xUkFbeSVbfbK5VqF0ixl2LS/view?usp=shari [...] Format de la ressource électronique : Un algorithme distribué auto-stabilisant pour le problème : " Maximal Open Packing [texte imprimé] / Belala,Linda, Auteur ; Guellati, Nabil, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (40 f .) ; 29 cm.
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Auto-stabilisation
Tolérance aux pannes
Exclusion mutuelle
Paking
Démon,
Maximal open packing
Réseaux ordinaire
Réseaux en anneauxIndex. décimale : 004 - Informatique Résumé : Résumé
L’auto-stabilisation est l’une des techniques de tolérance aux pannes dans les systèmes
répartis qui consiste à retourner automatiquement à un fonctionnement correct au bout d’un
temps finis. Cette technique est faisable où l’intervention d’un humain pour rétablir le
système après une panne est impossible. Plusieurs algorithmes ont étaient développé en se
basent de cette propriété pour résoudre différents problèmes : exclusion mutuelle, maximal
2-paking...etc.
Dans les systèmes auto-stabilisant un mécanisme extérieur appelé démon (ordonnanceur)
est utilisé pour choisir les processus qui vont effectuer une action. Nous allons dans ce travail
développé un algorithme distribué auto-stabilisant pour le problème " maximal open packing
" qui utilise un démon central pour effectuéer les actions.Le problème de packing peut être
utiliser dans le clustring des réseaux Ainsi notre algorithme fonctionne pour une topologie
arbitraire.Note de contenu :
Sommaire
Table des matières
Liste des figures ii
Liste des tableaux iii
Introduction générale 1
1 Généralités sur les systèmes répartis 4
1.1 introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Systèmes répartis . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.1 Objectif des systèmes distribués : . . . . . . . . . . . . . . . . . . . . . 5
1.2.2 Les topologies : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.3 Algorithmes distribués : . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Les problèmes répartis : . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2.5 Modèles de communication : . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Tolérance aux pannes : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.4 Auto-stabilisation : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.5 L’anneau à jeton de Dijkstra : . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.5.1 Réseau anonyme ou basé sur un identifiant : . . . . . . . . . . . . . . . 11
1.5.1.1 Les avantages et les inconvénients de l’auto-stabilisation : . . 11
1.6 Notions et Définitions : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.6.1 Demon . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.7 Conclusion : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Etat de L’art 16
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2 Les clusters : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
2.2.1 Objectifs de la clusterisation : . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.2 Ensemble indépendant : . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2.3 Notation : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3 Maximal 2-packing : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.3.1 Algorithmes auto stabilisant pour Maximal 2-packing : . . . . . . . . . 19
2.4 k-packing : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.4.1 Algorithme : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.4.2 Conclusion : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
Table des matières
3 Algorithme auto-stabilisant pour le problème maximal open packing 29
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2 Maximal open packing : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.2.1 Modèle du système : . . . . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2.2 Description de l’algorithme : . . . . . . . . . . . . . . . . . . . . . . . . 31
3.2.2.1 Preuve de correction : . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3 Simulation et comparaison : . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3.1 Simulation : . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3.2 Comparaison : . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3 Conclusion : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
Conclusion et Perspectives 37
BibliographieCôte titre : MAI/0243 En ligne : https://drive.google.com/file/d/1cCgGrrz__xUkFbeSVbfbK5VqF0ixl2LS/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0243 MAI/0243 Mémoire Bibliothéque des sciences Français Disponible
DisponibleL'algorithme exact et préconditionné d'Uzawa pour la résolution numérique du probleme de stokes / Tassadit Mendil
Titre : L'algorithme exact et préconditionné d'Uzawa pour la résolution numérique du probleme de stokes Type de document : texte imprimé Auteurs : Tassadit Mendil ; Mohamed Kara, Directeur de thèse Editeur : Setif:UFA Année de publication : 2016 Importance : 1 vol (66 f.) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Mathématiques appliquées Côte titre : MAM/0159 En ligne : https://drive.google.com/file/d/1b1MKwRbdcpHwx1ifkxzAc4tOdBUC43gA/view?usp=shari [...] Format de la ressource électronique : L'algorithme exact et préconditionné d'Uzawa pour la résolution numérique du probleme de stokes [texte imprimé] / Tassadit Mendil ; Mohamed Kara, Directeur de thèse . - [S.l.] : Setif:UFA, 2016 . - 1 vol (66 f.).
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Mathématiques appliquées Côte titre : MAM/0159 En ligne : https://drive.google.com/file/d/1b1MKwRbdcpHwx1ifkxzAc4tOdBUC43gA/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0159 MAM/0159 Mémoire Bibliothéque des sciences Français Disponible
DisponibleAlgorithme heuristique pour le problème de l'ensemble dominant connexe de poids minimum / Hebbache,Imad
Titre : Algorithme heuristique pour le problème de l'ensemble dominant connexe de poids minimum Type de document : texte imprimé Auteurs : Hebbache,Imad, Auteur ; Bouamama,Salim, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (56 f .) Format : 29 cm Langues : Français (fre) Langues originales : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Algorithme glouton
Grasp
problém de l'ensemeble dominant de poids minimumIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
Préliminaire
probléme de l'ensemble dominant connexe de poids minimum
Grasp pour MWCDZSP
Expérimentation
Conclusion générale
Côte titre : MAI/0264 Algorithme heuristique pour le problème de l'ensemble dominant connexe de poids minimum [texte imprimé] / Hebbache,Imad, Auteur ; Bouamama,Salim, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (56 f .) ; 29 cm.
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Algorithme glouton
Grasp
problém de l'ensemeble dominant de poids minimumIndex. décimale : 004 - Informatique Note de contenu :
Sommaire
Préliminaire
probléme de l'ensemble dominant connexe de poids minimum
Grasp pour MWCDZSP
Expérimentation
Conclusion générale
Côte titre : MAI/0264 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0264 MAI/0264 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Un Algorithme d’optimisation avec région de confiance Type de document : texte imprimé Auteurs : Billel Zaoui, Auteur ; Bachir Merikhi, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (51 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Région de confiance
Méthode de Dogleg
Méthode de Hebden
Hebden modifé
Rayon de Confiance.Index. décimale : 510 - Mathématique Résumé :
Dans ce mémoire, on s’intéresse à l’étude de la méthode de la région de confiance pour la
résolution d’un problème d’optimisation non linéaire. A ce propose, on a étudie en premier sa
convergence, en outre on a entamé une étude numérique pour les différentes variantes : Cauchy,
Dogleg, Hebden, Hebden modifies et la méthode de minimisation du sous-espace en deux
dimensions.
Les simulations numériques favorisent les deux méthodes Dogleg et Hebden.Côte titre : MAM/0398 En ligne : https://drive.google.com/file/d/1ok8qKKy6qX0t48_cieEfVXt36nOmiEzt/view?usp=shari [...] Format de la ressource électronique : Un Algorithme d’optimisation avec région de confiance [texte imprimé] / Billel Zaoui, Auteur ; Bachir Merikhi, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (51 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Région de confiance
Méthode de Dogleg
Méthode de Hebden
Hebden modifé
Rayon de Confiance.Index. décimale : 510 - Mathématique Résumé :
Dans ce mémoire, on s’intéresse à l’étude de la méthode de la région de confiance pour la
résolution d’un problème d’optimisation non linéaire. A ce propose, on a étudie en premier sa
convergence, en outre on a entamé une étude numérique pour les différentes variantes : Cauchy,
Dogleg, Hebden, Hebden modifies et la méthode de minimisation du sous-espace en deux
dimensions.
Les simulations numériques favorisent les deux méthodes Dogleg et Hebden.Côte titre : MAM/0398 En ligne : https://drive.google.com/file/d/1ok8qKKy6qX0t48_cieEfVXt36nOmiEzt/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0398 MAM/0398 Mémoire Bibliothéque des sciences Français Disponible
DisponibleUn algorithme de point intérieur basé sur des nouvelles directions de recherche pour le problème de la complémentarité linéaire / Dekkiche ,Rokaya
Titre : Un algorithme de point intérieur basé sur des nouvelles directions de recherche pour le problème de la complémentarité linéaire Type de document : texte imprimé Auteurs : Dekkiche ,Rokaya, Auteur ; Kebbiche ,Zakia, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (60 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problème de complémentarité linéaire
Méthodes de point intérieurIndex. décimale : 510 - Mathématique Résumé : Dans ce mémoire, on s’intéresse à l’étude théorique et numérique d'une variante de l'algorithme prédicteur-correcteur de type Mehrotra pour résoudre un problème de complémentarité linéaire avec Côte titre : MAM/0477 En ligne : https://drive.google.com/file/d/1Zg7fJ0Svzh7s9XDbaVbU518ME-jmaOVB/view?usp=shari [...] Format de la ressource électronique : Un algorithme de point intérieur basé sur des nouvelles directions de recherche pour le problème de la complémentarité linéaire [texte imprimé] / Dekkiche ,Rokaya, Auteur ; Kebbiche ,Zakia, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (60 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problème de complémentarité linéaire
Méthodes de point intérieurIndex. décimale : 510 - Mathématique Résumé : Dans ce mémoire, on s’intéresse à l’étude théorique et numérique d'une variante de l'algorithme prédicteur-correcteur de type Mehrotra pour résoudre un problème de complémentarité linéaire avec Côte titre : MAM/0477 En ligne : https://drive.google.com/file/d/1Zg7fJ0Svzh7s9XDbaVbU518ME-jmaOVB/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0477 MAM/0477 Mémoire Bibliothéque des sciences Français Disponible
DisponibleUn algorithme de point intérieur réalisable à pas de Newton complet pour P∗(κ)-LCP basé sur une nouvelle direction de recherche / Sai,Halima
PermalinkPermalinkAlgorithme de routage efficace en énergie pour WSNs basé sur la méthode HAC clustering / BELBEY, Silya
PermalinkLes algorithmes approchés pour le probléme de voyageur de commerce / Bensedira,Houria
PermalinkAlgorithmes stochastiques d'optimisation globale pour la résolution de certains problèmes en ingénierie / Abdelkarim Khenouche
PermalinkAmélioration du mécanisme de gestion MAC basé sur la contention asynchrone pour les réseaux de capteurs sans fil / Djaidri, imene
PermalinkPermalinkPermalinkAmélioration des performances d'un réseau de capteurs via de l'intelligence artificielle / Boauandes,Houda
PermalinkPermalinkAmélioration de la production des aromatiques et de l'hydrogène par la répartition non uniforme des sites actifs d'un catalyseur bimétallique et bifonctionnel de type Pt-Re/Al2O3 appliqué en reformage catalytique du naphta. / Walid Touhami
PermalinkAmelioration de la qualite de l’image mammographique pour l’aide au diagnostic du cancer de sein / Ibrahim Mamoutou
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkAnalyse d’accidents d’insertion de reactivite (RIA) dans un reacteur de recherche / widad Koidri
PermalinkAnalyse de l’Argent par activation neutronique / Missi,Maroua
PermalinkAnalyse asymptotique d’un problème dynamique pour l’élasticité linéaire avec frottement / Letoufa,Yassine
Permalink