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 : Impact des additions (Na2CO3) sur les propriétés de l’anorthite Type de document : texte imprimé Auteurs : Chabiha Benidir ; Soumia Zaiou, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol. (43 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Physique Mots-clés : Céramique
Anorthite
Frittage
Na2CO3
DensitéIndex. décimale : 530 Physique Résumé :
La composition d'Anothite (qui a la formule chimique CaO.Al2O3.2SiO2) à partir des matières premières locales disponibles telles que le Kaolin de type DD1, et l'Oxyde de Calcium (CaO) extrait de Carbonate de Calcium, a été préparée pour la première fois. On a étudié l'effet de la température et de l'addition de petites quantités de Na2CO3 sur le frittage et la cristallisation d'Anorthite. Pour une température relativement basse (900 °C) et une addition de 3% en poids de Na2CO3, le taux de frittage atteint est plus élevé (estimé à 97%). Pour cette même température et sans addition ; ce taux de frittage est arrivé à 95% de la densité théorique d'Anorthite.
La caractérisation par la diffraction des rayons X, la spectroscopie Infrarouge, la spectroscopie Raman et microscopie électronique à balayage a confirmé le rôle de Na2CO3 sur l'accélération (activation) de la cristallisation et le frittage de l'anorthite.Côte titre : MAPH/0478 En ligne : https://drive.google.com/file/d/1ujQjQxw8hx2au2hWzW3wve9AXSIpgq5A/view?usp=shari [...] Format de la ressource électronique : Impact des additions (Na2CO3) sur les propriétés de l’anorthite [texte imprimé] / Chabiha Benidir ; Soumia Zaiou, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol. (43 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Physique Mots-clés : Céramique
Anorthite
Frittage
Na2CO3
DensitéIndex. décimale : 530 Physique Résumé :
La composition d'Anothite (qui a la formule chimique CaO.Al2O3.2SiO2) à partir des matières premières locales disponibles telles que le Kaolin de type DD1, et l'Oxyde de Calcium (CaO) extrait de Carbonate de Calcium, a été préparée pour la première fois. On a étudié l'effet de la température et de l'addition de petites quantités de Na2CO3 sur le frittage et la cristallisation d'Anorthite. Pour une température relativement basse (900 °C) et une addition de 3% en poids de Na2CO3, le taux de frittage atteint est plus élevé (estimé à 97%). Pour cette même température et sans addition ; ce taux de frittage est arrivé à 95% de la densité théorique d'Anorthite.
La caractérisation par la diffraction des rayons X, la spectroscopie Infrarouge, la spectroscopie Raman et microscopie électronique à balayage a confirmé le rôle de Na2CO3 sur l'accélération (activation) de la cristallisation et le frittage de l'anorthite.Côte titre : MAPH/0478 En ligne : https://drive.google.com/file/d/1ujQjQxw8hx2au2hWzW3wve9AXSIpgq5A/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0478 MAPH/0478 Mémoire Bibliothéque des sciences Français Disponible
DisponibleImpact dosimétrique de deux techniques de l’IMRT hypofractionnées dans le cas du cancer de la prostate / Hidaya Belloui
Titre : Impact dosimétrique de deux techniques de l’IMRT hypofractionnées dans le cas du cancer de la prostate Type de document : texte imprimé Auteurs : Hidaya Belloui, Auteur ; S Khoudri, Directeur de thèse Editeur : Setif:UFA Année de publication : 2020 Importance : 1 vol (66 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Physique Mots-clés : Cancer de la prostate
IMRT
hypofractionnée
5faisceaux
7 faisceaux
DVO
Optimisation
, HDVs
Contraintes de dose
Indices dosimétriquesIndex. décimale : 530 - Physique Résumé :
Ce mémoire est fait en collaboration avec le centre de lutte contre cancer, dans le but
de comparer entre deux balistiques : 5 faisceaux et 7 faisceaux.
Ce travail se base sur la technique IMRT hypofractionnée avec une dose totale 60 Gy
(3Gy par jour dans 20 fractions). Ce dernier est appliqué sur 18 patients, ont un cancer de la
prostate localisé.
La comparaison entre les deux balistiques se base sur des histogrammes (pourcentage
de volumes en fonctions de dose) calculés avec la méthode de planification inverse en
utilisant l’algorithme de dose volume optimisation (DVO).
Les informations dose –volume des histogrammes nous permet de calculer des indices
dosimétriques (indices de couverture, indice d’homogénéité et indice de similarité) pour les
volumes traitée PTV60, aussi nous permet d’évaluer les volumes des organes à risques avec
des contraintes des doses bien définies (paroi rectale, paroi vésicale, têtes fémoraux).
Les résultats obtenus nous permettent de déduire que la balistique à 7 faisceaux est la
meilleur à utiliser dans le traitement de cancer de la prostate avec la technique de l’IMRT
hypofractionné.Côte titre : MAPH/0425 En ligne : https://drive.google.com/file/d/1yUDJQbwI0LTl3u38LuFnzNNAomsCpaMZ/view?usp=shari [...] Format de la ressource électronique : Impact dosimétrique de deux techniques de l’IMRT hypofractionnées dans le cas du cancer de la prostate [texte imprimé] / Hidaya Belloui, Auteur ; S Khoudri, Directeur de thèse . - [S.l.] : Setif:UFA, 2020 . - 1 vol (66 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Physique Mots-clés : Cancer de la prostate
IMRT
hypofractionnée
5faisceaux
7 faisceaux
DVO
Optimisation
, HDVs
Contraintes de dose
Indices dosimétriquesIndex. décimale : 530 - Physique Résumé :
Ce mémoire est fait en collaboration avec le centre de lutte contre cancer, dans le but
de comparer entre deux balistiques : 5 faisceaux et 7 faisceaux.
Ce travail se base sur la technique IMRT hypofractionnée avec une dose totale 60 Gy
(3Gy par jour dans 20 fractions). Ce dernier est appliqué sur 18 patients, ont un cancer de la
prostate localisé.
La comparaison entre les deux balistiques se base sur des histogrammes (pourcentage
de volumes en fonctions de dose) calculés avec la méthode de planification inverse en
utilisant l’algorithme de dose volume optimisation (DVO).
Les informations dose –volume des histogrammes nous permet de calculer des indices
dosimétriques (indices de couverture, indice d’homogénéité et indice de similarité) pour les
volumes traitée PTV60, aussi nous permet d’évaluer les volumes des organes à risques avec
des contraintes des doses bien définies (paroi rectale, paroi vésicale, têtes fémoraux).
Les résultats obtenus nous permettent de déduire que la balistique à 7 faisceaux est la
meilleur à utiliser dans le traitement de cancer de la prostate avec la technique de l’IMRT
hypofractionné.Côte titre : MAPH/0425 En ligne : https://drive.google.com/file/d/1yUDJQbwI0LTl3u38LuFnzNNAomsCpaMZ/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0425 MAPH/0425 Mémoire Bibliothéque des sciences Français Disponible
DisponibleImpact de la Mise à jour de la section efficace neutronique dans le calcul des paramètres neutroniques: Cas des réacteurs nucléaires naturels d’Oklo / Boussefsaf ,Dounia
Titre : Impact de la Mise à jour de la section efficace neutronique dans le calcul des paramètres neutroniques: Cas des réacteurs nucléaires naturels d’Oklo Type de document : texte imprimé Auteurs : Boussefsaf ,Dounia, Auteur ; Salah-Eddine Bentridi, Directeur de thèse Editeur : Setif:UFA Année de publication : 2019 Importance : 1 vol (50 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Physique Mots-clés : Phsique du rayonnement Index. décimale : 530 Physique Résumé : Une quinzaine de réacteurs nucléaires naturels ont été découverts dans les années 70 dans le
gisement d’uranium d’Oklo au Gabon, il y a environ 2 milliard d’années. D’abord étudiés pour
l’aspect physique et neutronique du phénomène nucléaire. Le but du présent travail est la
vérification des données obtenus précédemment dans des études ultérieures (plus de 30 ans) et ce
en utilisant des librairies de section efficace relativement récentes (>2000). Les résultats montrent en
effet, que l’impact de la mise à jour de la section efficace neutronique n’est pas négligeable dans le
calcul des paramètres neutroniques des réacteurs nucléaires d’Oklo. Il permet en fait d’obtenir des
valeurs plus précises et mise à jour de l’indice de spectre, de la fluence qui permettront mieux
d’ajuster les simulations numériques qui auront pour objet l’étude de la dynamique de ces réacteurs.Note de contenu :
Sommaire
Liste des tableaux
Introduction
Chapitre01 : Le phénomène d’Oklo
1. Description des gisements d’Oklo :…………………………………………………..........04
1.1. Situation du gisement :………………………………………………………………..04
1.2. Stratigraphie du gisement d’Oklo :………………………………………………...…05
2. Les zones de réaction :……………………………………………………………………..05
3. Caractéristiques des principaux éléments pour l’étude du phénomène d’Oklo :……….….07
3.1. L’uranium :……………………………………………………………………………07
3.2. Le plomb et le thorium :……………………………………………………………....08
3.3 .Les terres rares :……………………………………………………………………....08
3.4. Le ruthénium et le palladium :……………………………………………………..…09
Chapitre02 : Méthodes de calcul des paramètres neutroniques
1. Notion neutronique :…………………………………………………………………….....11
1.1. La fission nucléaire :…………………………………………………………………..11
1.2. Les neutrons de fission :……………………………………………………………....11
1.3. Les neutrons thermiques :………………………………………………………….….12
1.4. Facteur de multiplication :………………………………………………………….....12
1.5. La section efficace :…………………………………………………………………...13
2. La fluence neutronique :…………………………………………………...........................16
2.1. Calcul à partir de l’appauvrissement de l’uranium :…………………………….........16
2.2. Calcul à partir d’un isotope capturant :……………………………………………..…19
2.3. Section efficace effective et indice du spectre :…………………………………….....20
3. Le facteur de conversion :……….........................................................................................21
4. Date des réactions nucléaires à Oklo :………………………………………………….....22
4.1. Calcul à partir du plomb :……………………………………………………………..22
4.2. Calcul à partir nombre de fission d’U235 :…………………………………………...23
5. Contribution des trois noyaux : U235, U238 et Pu239 dans les réactions de fission……..24
Table de matière
Chapitre03 : Résultats et discussion
1. Calcul de la fluence et l’indice de spectre :…………………………………………….….26
1.1. La fluence minimaleCôte titre : MAPH/0340 En ligne : https://drive.google.com/file/d/17awscGiPaVKJMk7nW7hPu9ZC-9NWbvKi/view?usp=shari [...] Impact de la Mise à jour de la section efficace neutronique dans le calcul des paramètres neutroniques: Cas des réacteurs nucléaires naturels d’Oklo [texte imprimé] / Boussefsaf ,Dounia, Auteur ; Salah-Eddine Bentridi, Directeur de thèse . - [S.l.] : Setif:UFA, 2019 . - 1 vol (50 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Physique Mots-clés : Phsique du rayonnement Index. décimale : 530 Physique Résumé : Une quinzaine de réacteurs nucléaires naturels ont été découverts dans les années 70 dans le
gisement d’uranium d’Oklo au Gabon, il y a environ 2 milliard d’années. D’abord étudiés pour
l’aspect physique et neutronique du phénomène nucléaire. Le but du présent travail est la
vérification des données obtenus précédemment dans des études ultérieures (plus de 30 ans) et ce
en utilisant des librairies de section efficace relativement récentes (>2000). Les résultats montrent en
effet, que l’impact de la mise à jour de la section efficace neutronique n’est pas négligeable dans le
calcul des paramètres neutroniques des réacteurs nucléaires d’Oklo. Il permet en fait d’obtenir des
valeurs plus précises et mise à jour de l’indice de spectre, de la fluence qui permettront mieux
d’ajuster les simulations numériques qui auront pour objet l’étude de la dynamique de ces réacteurs.Note de contenu :
Sommaire
Liste des tableaux
Introduction
Chapitre01 : Le phénomène d’Oklo
1. Description des gisements d’Oklo :…………………………………………………..........04
1.1. Situation du gisement :………………………………………………………………..04
1.2. Stratigraphie du gisement d’Oklo :………………………………………………...…05
2. Les zones de réaction :……………………………………………………………………..05
3. Caractéristiques des principaux éléments pour l’étude du phénomène d’Oklo :……….….07
3.1. L’uranium :……………………………………………………………………………07
3.2. Le plomb et le thorium :……………………………………………………………....08
3.3 .Les terres rares :……………………………………………………………………....08
3.4. Le ruthénium et le palladium :……………………………………………………..…09
Chapitre02 : Méthodes de calcul des paramètres neutroniques
1. Notion neutronique :…………………………………………………………………….....11
1.1. La fission nucléaire :…………………………………………………………………..11
1.2. Les neutrons de fission :……………………………………………………………....11
1.3. Les neutrons thermiques :………………………………………………………….….12
1.4. Facteur de multiplication :………………………………………………………….....12
1.5. La section efficace :…………………………………………………………………...13
2. La fluence neutronique :…………………………………………………...........................16
2.1. Calcul à partir de l’appauvrissement de l’uranium :…………………………….........16
2.2. Calcul à partir d’un isotope capturant :……………………………………………..…19
2.3. Section efficace effective et indice du spectre :…………………………………….....20
3. Le facteur de conversion :……….........................................................................................21
4. Date des réactions nucléaires à Oklo :………………………………………………….....22
4.1. Calcul à partir du plomb :……………………………………………………………..22
4.2. Calcul à partir nombre de fission d’U235 :…………………………………………...23
5. Contribution des trois noyaux : U235, U238 et Pu239 dans les réactions de fission……..24
Table de matière
Chapitre03 : Résultats et discussion
1. Calcul de la fluence et l’indice de spectre :…………………………………………….….26
1.1. La fluence minimaleCôte titre : MAPH/0340 En ligne : https://drive.google.com/file/d/17awscGiPaVKJMk7nW7hPu9ZC-9NWbvKi/view?usp=shari [...] Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0340 MAPH/0340 Mémoire Bibliothéque des sciences Français Disponible
DisponibleImplémentation d'un algorithme auto-stabilisant pour le calcul d'un arbre couvrant / Bensedira,meriem
Titre : Implémentation d'un algorithme auto-stabilisant pour le calcul d'un arbre couvrant Type de document : texte imprimé Auteurs : Bensedira,meriem ; GUELLATI, N, Directeur de thèse Editeur : Setif:UFA Année de publication : 2016 Importance : 1 vol (55f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux
Systèmes Distribués
Systèmes répartis
tolérance aux pannes
auto-stabilisation
arbres couvrantsIndex. décimale : 004 Informatique Résumé : Résumé
Les systèmes distribués sont particulièrement sujets à des pannes, lorsqu’on augmente le nombre de processeurs de tels systèmes, la possibilité que ces composants tombent en panne va être également élevée, l’auto-stabilisation est l’une des techniques de tolérance aux pannes
particulièrement les pannes transitoires.
En 1973, E.W. Dijkstra a définit l’auto-stabilisation comme la propriété pour un système de se retrouver lui-même dans un comportement correct en un nombre fini d’étapes, et ce, quel que soit son état initial. L’auto-stabilisation constitue donc un moyen efficace pour tolérer les pannes transitoires.
Notre étude a pour objectif alors de transformer et implémenter un algorithme autostabilisant permettant à un ensemble de nœuds d’un réseau, en démarrant d’une configuration
quelconque, d’arriver à une configuration correct, dite légitime, après un temps fini en
utilisant le modèle de communication par échange de messages.Note de contenu : Table des matières
INTRODUCTION GENERALE .......................................................................... 1
Chapitre 1: Systèmes distribués et auto-stabilisation
1.1 INTRODUCTION............................................................................................. 4
1.2 SYSTEMES DISTRIBUES ............................................................................................. 4
1.2.1 OBJECTIFS DES SYSTEMES DISTRIBUES ............................................................................. 5
1.2.2 LES MODES DE COMMUNICATIONS................................................................................ 5
1.2.3 ALGORITHMES DISTRIBUES ........................................................................................... 7
1.2.3.1 Problèmes classiques en algorithmique distribuée ....................................................................... 8
1.2.3.1.1 Les problèmes statiques............................................................................... 8
1.2.3.1.2 Les problèmes dynamiques ....................................................................... 8
1.2.3.2 Topologies classiques .................................................................................. 9
1.2.4 TOLERANCE AUX PANNES................................................................................. 9
1.2.4.1 Classification des pannes............................................................................. 10
1.2.4.2 Tolérance classique aux pannes ................................................................... 10
1.2.4.3 L’auto-stabilisation : ............................................................................. 11
1.2.4.3.1 Token-ring de Dijkstra...................................................................... 12
1.2.4.3.2 Définitions formelles........................................................................ 15
1.2.4.4 Atomicité :..................................................................................... 17
1.2.4.5 Démon :...................................................................................... 17
1.2.4.6 Complexité ............................................................................ 18
1.3. CONCLUSION .................................................19
Chapitre 2: Etat de l'art sur les algorithmes auto-stabilisants de calcul d'arbres couvrants
2.1 INTRODUCTION..................................................................................... 21
2.2 DEFINITIONS .......................................................................................... 21
2.3 ARBRES COUVRANTS ET PLUS COURT CHEMIN DANS LES SYSTEMES DISTRIBUES . 22
2.4 ALGORITHMES UTILISANT UN MODELE DE COMMUNICATION PAR MEMOIRE PARTAGEE ............................................ 23
2.4.1 ALGORITHMES UTILISANT UN DEMON CENTRALISE .............................................................................. 23
2.4.1.1 Algorithme de Huang et Chen.................................................................................... 23
2.4.1.2 Algorithme de Dolev, Israeli et Moran ......................................................................... 23
2.4.1.3 Algorithme de Dolev ......................................................................................... 24
2.4.1.4 Algorithme de Afek............................................................................................. 26
2.4.1.5 Algorithme de T.C.Huang ....................................................................................... 26
2.4.1.6 Algorithme de Lélia Blin...................................................................................... 28
2.4.1.7 Algorithme de Lélia Blin.................................................................................. 29
2.4.2 ALGORITHMES UTILISANT UN DEMON DISTRIBUE .................................................................. 31
2.4.2.1 Algorithme de Lavallé............................................................................... 31
2.4.2.2 Algorithme de T.C. Huang ................................................................................ 32
2.4.2.3 Algorithme de Lélia Blin.................................................................................. 34
2.5 ALGORITHMES UTILISANT UN MODELE DE COMMUNICATION PAR ECHANGE DE MESSAGES............................................. 35
2.5.1 ALGORITHME DE GUPTA ET SRIMANI .............................................................................. 35
6. CONCLUSION.............................................................................................. 36
Chapitre 3: conception et implémentation
3.1 INTRODUCTION....................................................................................... 38
3.2 TRANSFORMATION DE L’ALGORITHME AUTO-STABILISANT........................................... 38
3.2.1 LANGAGE DE PROGRAMMATION ET ENVIRONNEMENT..................................................................... 40
3.2.2 PRESENTATION DE L’ALGORITHME :............................................................................... 41
3.3 CONCEPTION ..................................................................................................... 43
3.3.1 SPECIFICATION INFORMELLE DES BESOINS ...................................................................... 43
3.3.2 MODELISATION ................................................................................................. 44
3.3.2.1 Modélisation des interactions..................................................................................... 44
3.3.2.2 Modélisation de la sémantique .............................................................................. 49
3.3.2.3 Modélisation de la structure ................................................................................... 49
3.4 SIMULATION D’UNE PANNE TRANSITOIRE .............................................................................. 50
3.5 CONCLUSION ......................................................................................................... 53
CONCLUSION GENERALE ................................................................................................ 54Côte titre : MAI/0135 En ligne : https://drive.google.com/file/d/1WDqzdpT3X98n5_y74vwIY9_Yq80iLFbX/view?usp=shari [...] Format de la ressource électronique : Implémentation d'un algorithme auto-stabilisant pour le calcul d'un arbre couvrant [texte imprimé] / Bensedira,meriem ; GUELLATI, N, Directeur de thèse . - [S.l.] : Setif:UFA, 2016 . - 1 vol (55f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux
Systèmes Distribués
Systèmes répartis
tolérance aux pannes
auto-stabilisation
arbres couvrantsIndex. décimale : 004 Informatique Résumé : Résumé
Les systèmes distribués sont particulièrement sujets à des pannes, lorsqu’on augmente le nombre de processeurs de tels systèmes, la possibilité que ces composants tombent en panne va être également élevée, l’auto-stabilisation est l’une des techniques de tolérance aux pannes
particulièrement les pannes transitoires.
En 1973, E.W. Dijkstra a définit l’auto-stabilisation comme la propriété pour un système de se retrouver lui-même dans un comportement correct en un nombre fini d’étapes, et ce, quel que soit son état initial. L’auto-stabilisation constitue donc un moyen efficace pour tolérer les pannes transitoires.
Notre étude a pour objectif alors de transformer et implémenter un algorithme autostabilisant permettant à un ensemble de nœuds d’un réseau, en démarrant d’une configuration
quelconque, d’arriver à une configuration correct, dite légitime, après un temps fini en
utilisant le modèle de communication par échange de messages.Note de contenu : Table des matières
INTRODUCTION GENERALE .......................................................................... 1
Chapitre 1: Systèmes distribués et auto-stabilisation
1.1 INTRODUCTION............................................................................................. 4
1.2 SYSTEMES DISTRIBUES ............................................................................................. 4
1.2.1 OBJECTIFS DES SYSTEMES DISTRIBUES ............................................................................. 5
1.2.2 LES MODES DE COMMUNICATIONS................................................................................ 5
1.2.3 ALGORITHMES DISTRIBUES ........................................................................................... 7
1.2.3.1 Problèmes classiques en algorithmique distribuée ....................................................................... 8
1.2.3.1.1 Les problèmes statiques............................................................................... 8
1.2.3.1.2 Les problèmes dynamiques ....................................................................... 8
1.2.3.2 Topologies classiques .................................................................................. 9
1.2.4 TOLERANCE AUX PANNES................................................................................. 9
1.2.4.1 Classification des pannes............................................................................. 10
1.2.4.2 Tolérance classique aux pannes ................................................................... 10
1.2.4.3 L’auto-stabilisation : ............................................................................. 11
1.2.4.3.1 Token-ring de Dijkstra...................................................................... 12
1.2.4.3.2 Définitions formelles........................................................................ 15
1.2.4.4 Atomicité :..................................................................................... 17
1.2.4.5 Démon :...................................................................................... 17
1.2.4.6 Complexité ............................................................................ 18
1.3. CONCLUSION .................................................19
Chapitre 2: Etat de l'art sur les algorithmes auto-stabilisants de calcul d'arbres couvrants
2.1 INTRODUCTION..................................................................................... 21
2.2 DEFINITIONS .......................................................................................... 21
2.3 ARBRES COUVRANTS ET PLUS COURT CHEMIN DANS LES SYSTEMES DISTRIBUES . 22
2.4 ALGORITHMES UTILISANT UN MODELE DE COMMUNICATION PAR MEMOIRE PARTAGEE ............................................ 23
2.4.1 ALGORITHMES UTILISANT UN DEMON CENTRALISE .............................................................................. 23
2.4.1.1 Algorithme de Huang et Chen.................................................................................... 23
2.4.1.2 Algorithme de Dolev, Israeli et Moran ......................................................................... 23
2.4.1.3 Algorithme de Dolev ......................................................................................... 24
2.4.1.4 Algorithme de Afek............................................................................................. 26
2.4.1.5 Algorithme de T.C.Huang ....................................................................................... 26
2.4.1.6 Algorithme de Lélia Blin...................................................................................... 28
2.4.1.7 Algorithme de Lélia Blin.................................................................................. 29
2.4.2 ALGORITHMES UTILISANT UN DEMON DISTRIBUE .................................................................. 31
2.4.2.1 Algorithme de Lavallé............................................................................... 31
2.4.2.2 Algorithme de T.C. Huang ................................................................................ 32
2.4.2.3 Algorithme de Lélia Blin.................................................................................. 34
2.5 ALGORITHMES UTILISANT UN MODELE DE COMMUNICATION PAR ECHANGE DE MESSAGES............................................. 35
2.5.1 ALGORITHME DE GUPTA ET SRIMANI .............................................................................. 35
6. CONCLUSION.............................................................................................. 36
Chapitre 3: conception et implémentation
3.1 INTRODUCTION....................................................................................... 38
3.2 TRANSFORMATION DE L’ALGORITHME AUTO-STABILISANT........................................... 38
3.2.1 LANGAGE DE PROGRAMMATION ET ENVIRONNEMENT..................................................................... 40
3.2.2 PRESENTATION DE L’ALGORITHME :............................................................................... 41
3.3 CONCEPTION ..................................................................................................... 43
3.3.1 SPECIFICATION INFORMELLE DES BESOINS ...................................................................... 43
3.3.2 MODELISATION ................................................................................................. 44
3.3.2.1 Modélisation des interactions..................................................................................... 44
3.3.2.2 Modélisation de la sémantique .............................................................................. 49
3.3.2.3 Modélisation de la structure ................................................................................... 49
3.4 SIMULATION D’UNE PANNE TRANSITOIRE .............................................................................. 50
3.5 CONCLUSION ......................................................................................................... 53
CONCLUSION GENERALE ................................................................................................ 54Côte titre : MAI/0135 En ligne : https://drive.google.com/file/d/1WDqzdpT3X98n5_y74vwIY9_Yq80iLFbX/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0135 MAI/0135 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Implémentation d'un algorithme auto-stabilisant pour le calcul d'un arbre couvrant Type de document : texte imprimé Auteurs : Daikh, issam ; GUELLATI, N, Directeur de thèse Editeur : Setif:UFA Année de publication : 2017 Importance : 1 vol (43f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux
Systèmes Distribués
auto-stabilisation
arbre couvrant
système distribué
panneIndex. décimale : 004 Informatique Résumé : Résumé
Dans le contexte des réseaux a grande échelle, la prise en compte des pannes est une
nécessité évidente. Ce document s’intéresse a l’approche auto-stabilisante qui vise a
concevoir des algorithmes se réparant d’eux-même en cas de pannes transitoires. Dans
la littérature de l’auto-stabilisation, La structure de communication la plus utilisée est
souvent un arbre couvrant. La construction d’arbres couvrants participe a la résolution
de nombreux problèmes fondamentaux de l’algorithmique distribué. ce mémoire porte
plus particulièrement sur l’auto-stabilisation d’algorithmes distribués construisant des
structures couvrantes d’un système distribué.
Un grand nombre d’algorithmes auto-stabilisants pour la construction d’arbres couvrants
ont été proposés dans la littérature. Dans notre travail nous avons choisi un algorithme
et transformé du modèle théorique (hypothèses fortes) vers un modèle implémentable
(hypothèses réalistes), l’algorithme est implémenté sous JAVA en utilisant les sockets.Note de contenu : Table des matières
Introduction générale 1
1 Systèmes distribués et Auto-Stabilisation 3
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Systèmes distribués . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1 Objectifs des systèmes distribués . . . . . . . . . . . . . . . . . . 4
1.2.2 Algorithmes distribués . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.3 Modèle de communication . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Tolérance aux pannes . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Auto stabilisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Token ring de Dijkstra . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.2 Avantages de l’auto-stabilisation . . . . . . . . . . . . . . . . . . 11
1.3.3 Limites de l’auto-stabilisation . . . . . . . . . . . . . . . . . . . . 11
1.3.4 Démons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Algorithmes auto-stabilisants et arbres couvrants 13
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Arbres couvrants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.1 Arbres couvrants de poids minimum (MST) . . . . . . . . . . . . 14
2.2.2 Arbre de Steiner . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2.3 Arbre couvrant de plus court chemin . . . . . . . . . . . . . . . . 16
2.3 Algorithmes auto-stabilisants . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3.1 Algorithme de NS Chen et Shing-Tsaan Huang . . . . . . . . . . 18
2.3.2 Algorithme de Sumit Sur et Pradip K Srimani . . . . . . . . . . . 19
2.3.3 Algorithme de Gheorghe Antonoiu et Pradip K Srimani . . . . . 21
2.3.4 Algorithme de S.Dolev, A.Israeli, S.Moran . . . . . . . . . . . . . 22
2.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Construction d’arbre couvrant auto-stabilisante 25
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Objectifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.3 Architecture Générale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4 Modélisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.4.1 Diagramme de classe . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.4.2 Diagrammes des séquences . . . . . . . . . . . . . . . . . . . . . 29
3.4.3 Diagramme états-transitions . . . . . . . . . . . . . . . . . . . . . 32
3.5 Environnement de développement . . . . . . . . . . . . . . . . . . . . . . 32
3.6 Choix du langage de programmation . . . . . . . . . . . . . . . . . . . . 32
3.7 Explication de la partie programmation de l’algorithme . . . . . . . . . . 32
3.8 Aperçu de l’application . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.9 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Conclusion générale 41
Bibliography 43
Résumé 44Côte titre : MAI/0153 En ligne : https://drive.google.com/file/d/14nh0-KxaeKVP-YGGRLuOhkjQwhKR1WwG/view?usp=shari [...] Format de la ressource électronique : Implémentation d'un algorithme auto-stabilisant pour le calcul d'un arbre couvrant [texte imprimé] / Daikh, issam ; GUELLATI, N, Directeur de thèse . - [S.l.] : Setif:UFA, 2017 . - 1 vol (43f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseaux
Systèmes Distribués
auto-stabilisation
arbre couvrant
système distribué
panneIndex. décimale : 004 Informatique Résumé : Résumé
Dans le contexte des réseaux a grande échelle, la prise en compte des pannes est une
nécessité évidente. Ce document s’intéresse a l’approche auto-stabilisante qui vise a
concevoir des algorithmes se réparant d’eux-même en cas de pannes transitoires. Dans
la littérature de l’auto-stabilisation, La structure de communication la plus utilisée est
souvent un arbre couvrant. La construction d’arbres couvrants participe a la résolution
de nombreux problèmes fondamentaux de l’algorithmique distribué. ce mémoire porte
plus particulièrement sur l’auto-stabilisation d’algorithmes distribués construisant des
structures couvrantes d’un système distribué.
Un grand nombre d’algorithmes auto-stabilisants pour la construction d’arbres couvrants
ont été proposés dans la littérature. Dans notre travail nous avons choisi un algorithme
et transformé du modèle théorique (hypothèses fortes) vers un modèle implémentable
(hypothèses réalistes), l’algorithme est implémenté sous JAVA en utilisant les sockets.Note de contenu : Table des matières
Introduction générale 1
1 Systèmes distribués et Auto-Stabilisation 3
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2 Systèmes distribués . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2.1 Objectifs des systèmes distribués . . . . . . . . . . . . . . . . . . 4
1.2.2 Algorithmes distribués . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2.3 Modèle de communication . . . . . . . . . . . . . . . . . . . . . . 6
1.2.4 Tolérance aux pannes . . . . . . . . . . . . . . . . . . . . . . . . 7
1.3 Auto stabilisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Token ring de Dijkstra . . . . . . . . . . . . . . . . . . . . . . . . 9
1.3.2 Avantages de l’auto-stabilisation . . . . . . . . . . . . . . . . . . 11
1.3.3 Limites de l’auto-stabilisation . . . . . . . . . . . . . . . . . . . . 11
1.3.4 Démons . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
2 Algorithmes auto-stabilisants et arbres couvrants 13
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2 Arbres couvrants . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
2.2.1 Arbres couvrants de poids minimum (MST) . . . . . . . . . . . . 14
2.2.2 Arbre de Steiner . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2.2.3 Arbre couvrant de plus court chemin . . . . . . . . . . . . . . . . 16
2.3 Algorithmes auto-stabilisants . . . . . . . . . . . . . . . . . . . . . . . . 17
2.3.1 Algorithme de NS Chen et Shing-Tsaan Huang . . . . . . . . . . 18
2.3.2 Algorithme de Sumit Sur et Pradip K Srimani . . . . . . . . . . . 19
2.3.3 Algorithme de Gheorghe Antonoiu et Pradip K Srimani . . . . . 21
2.3.4 Algorithme de S.Dolev, A.Israeli, S.Moran . . . . . . . . . . . . . 22
2.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
3 Construction d’arbre couvrant auto-stabilisante 25
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.2 Objectifs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
3.3 Architecture Générale . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3.4 Modélisation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.4.1 Diagramme de classe . . . . . . . . . . . . . . . . . . . . . . . . . 28
3.4.2 Diagrammes des séquences . . . . . . . . . . . . . . . . . . . . . 29
3.4.3 Diagramme états-transitions . . . . . . . . . . . . . . . . . . . . . 32
3.5 Environnement de développement . . . . . . . . . . . . . . . . . . . . . . 32
3.6 Choix du langage de programmation . . . . . . . . . . . . . . . . . . . . 32
3.7 Explication de la partie programmation de l’algorithme . . . . . . . . . . 32
3.8 Aperçu de l’application . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.9 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
Conclusion générale 41
Bibliography 43
Résumé 44Côte titre : MAI/0153 En ligne : https://drive.google.com/file/d/14nh0-KxaeKVP-YGGRLuOhkjQwhKR1WwG/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0153 MAI/0153 Mémoire Bibliothéque des sciences Français Disponible
DisponibleImplémentation d'un algorithme auto-stabilisant pour le calcul d'un ensemble indépendant en utilisant la communication par messages / Bessou, mouhamed
PermalinkImplémentation d'un algorithme de Data Mining dans le modèle de programmation MapReduce / Bensedira, Ayoub
PermalinkImplémentation d’une application d’identification de langue dialectale ou pérenne pour les textes arabes / Sarri,Racha
PermalinkImplémentation d'une application d'identification de langue dialectale ou pérenne pour les textes arabes / Soualhi,Sabrina
PermalinkImplémentation des deux algorithmes AAA et GGPB dans le système de planification Eclipse pour les faisceaux de photons et électrons / Saad Khoudri
PermalinkImplémentation de la neutronographie statique de transfert et de la tomographie autour du réacteur de recherche Es-Salam / Fayçal Kharfi
PermalinkImplémentation numérique d’un algorithme pour résoudre le problème des moindres carrés semi-défini à contraintes linéaires / Kheireddine Dilmi
PermalinkImplémentation numérique d'une méthode barrière logarithmique pour la programmation linéaire / Soraya Chaghoub
PermalinkImplémentation numérique d'une méthode de trajectoire centrale avec poids pour la programmation linéaire / Lamia Sebia
PermalinkPermalink