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 : Le Contrôle de qualité au niveau du cône beam computed tomography Type de document : texte imprimé Auteurs : Ammar Guebli ; Saad Khoudri, Directeur de thèse Editeur : Setif:UFA Année de publication : 2013/2014 Importance : 1 vol (41 f.) Catégories : Thèses & Mémoires:Physique Mots-clés : Imagerie Biomédicale Résumé : Introduction générale
L'incidence du cancer dans le monde entier augmente avec Le temps. Environ la moitié de tous les malades du cancer reçoivent la radiothérapie, en tant qu'élément de leur traitement primaire ou en liaison avec des répétitions ou la palliation. L'AIEA a estimé qu'approximativement 2500 machines teletherapie étaient en service en 1998 dans les pays en voie de développement et que 10 000 telles machines peuvent être nécessaires d'ici 2015. [1]
La dose totale prescrite d’un traitement par la radiothérapie est délivrée au patient sur plusieurs séances; la radiothérapie est dite fractionnée. Au cours de celle-ci, les patients traités peuvent présenter des modifications anatomiques dont les causes peuvent être multiples : diminution des volumes tumoraux et ganglionnaires, altération de la masse musculaire, la distribution des tissus adipeux et la perte de poids. Ces changements anatomiques peuvent compromettre la précision d’irradiation réalisée par rapport à l’irradiation planifiée.
L’étude du suivi des changements anatomiques du patient au cours du traitement nécessite de réaliser des images volumiques de façon régulière au cours des séances d’irradiation. Cela est aisément rendu possible par l’avènement des systèmes d’imagerie dans les salles de traitement de radiothérapie. On parle de radiothérapie guidée par l’image, ou "Image-Guided Radiotherapy") ou (IGRT)[2].
Actuellement, l’accélérateurs linéaire moderne avec imagerie embarque c’est l’une des technique plus utilise en radiothérapie, pour aider au positionnement du patient et de la tumeur après le recalage avec les images de scanner à RX. Alors, Pour un traitement précis, les tests de contrôle de qualité doit être réalisé au niveau de l’appareil, soit le fonctionnement générale, le faisceau à RX, l’image et la tension .Donc, La structure du document est divisé sur trois chapitres comme suit:
Le premier chapitre introduit la définition de la radiothérapie guidé par l’image et les applications de cette technique. Ce chapitre aborde également les définitions des volumes et les variations anatomiques avant et au cours de traitement.
Le second chapitre décrit le système d’imagerie embarqué utilisé, (OBI®) (Varian), installé dans le Centre Anti Cancer de Sétif(CAC) permettant la réalisation d’images volumiques Cone-Beam Computed Tomographie (CBCT) en salle de traitement .le principe de fonctionnement et les composantes de l’appareil.
Le troisième chapitre c’est la partie très important, les tests du contrôle de qualité, la périodicité de chaque contrôle, la tolérance et les résultats.Côte titre : MAPH/0128 En ligne : https://drive.google.com/file/d/1dihWBlfSjVYMKGkLSEveP-ZQ9yJNaaIG/view?usp=shari [...] Format de la ressource électronique : Le Contrôle de qualité au niveau du cône beam computed tomography [texte imprimé] / Ammar Guebli ; Saad Khoudri, Directeur de thèse . - [S.l.] : Setif:UFA, 2013/2014 . - 1 vol (41 f.).
Catégories : Thèses & Mémoires:Physique Mots-clés : Imagerie Biomédicale Résumé : Introduction générale
L'incidence du cancer dans le monde entier augmente avec Le temps. Environ la moitié de tous les malades du cancer reçoivent la radiothérapie, en tant qu'élément de leur traitement primaire ou en liaison avec des répétitions ou la palliation. L'AIEA a estimé qu'approximativement 2500 machines teletherapie étaient en service en 1998 dans les pays en voie de développement et que 10 000 telles machines peuvent être nécessaires d'ici 2015. [1]
La dose totale prescrite d’un traitement par la radiothérapie est délivrée au patient sur plusieurs séances; la radiothérapie est dite fractionnée. Au cours de celle-ci, les patients traités peuvent présenter des modifications anatomiques dont les causes peuvent être multiples : diminution des volumes tumoraux et ganglionnaires, altération de la masse musculaire, la distribution des tissus adipeux et la perte de poids. Ces changements anatomiques peuvent compromettre la précision d’irradiation réalisée par rapport à l’irradiation planifiée.
L’étude du suivi des changements anatomiques du patient au cours du traitement nécessite de réaliser des images volumiques de façon régulière au cours des séances d’irradiation. Cela est aisément rendu possible par l’avènement des systèmes d’imagerie dans les salles de traitement de radiothérapie. On parle de radiothérapie guidée par l’image, ou "Image-Guided Radiotherapy") ou (IGRT)[2].
Actuellement, l’accélérateurs linéaire moderne avec imagerie embarque c’est l’une des technique plus utilise en radiothérapie, pour aider au positionnement du patient et de la tumeur après le recalage avec les images de scanner à RX. Alors, Pour un traitement précis, les tests de contrôle de qualité doit être réalisé au niveau de l’appareil, soit le fonctionnement générale, le faisceau à RX, l’image et la tension .Donc, La structure du document est divisé sur trois chapitres comme suit:
Le premier chapitre introduit la définition de la radiothérapie guidé par l’image et les applications de cette technique. Ce chapitre aborde également les définitions des volumes et les variations anatomiques avant et au cours de traitement.
Le second chapitre décrit le système d’imagerie embarqué utilisé, (OBI®) (Varian), installé dans le Centre Anti Cancer de Sétif(CAC) permettant la réalisation d’images volumiques Cone-Beam Computed Tomographie (CBCT) en salle de traitement .le principe de fonctionnement et les composantes de l’appareil.
Le troisième chapitre c’est la partie très important, les tests du contrôle de qualité, la périodicité de chaque contrôle, la tolérance et les résultats.Côte titre : MAPH/0128 En ligne : https://drive.google.com/file/d/1dihWBlfSjVYMKGkLSEveP-ZQ9yJNaaIG/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0128 MAPH/0128 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Contrôle de qualité physico-chimique de la Vitamine B12, 250μg Type de document : texte imprimé Auteurs : Djabou ,Laldja, Auteur ; Zouai,F, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (56 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Chimie Mots-clés : Chimie Index. décimale : 615.19 Chimie pharmaceutique Résumé : Afin d’obtenir une action thérapeutique toujours identique avec un même produit pharmaceutique, ce dernier doit présenter des caractéristiques constantes et parfaitement définies.
L’objectif de cette étude consiste en le contrôle physico-chimique de vitamine B12 250μg produite par l’unité de production de médicament du laboratoire d’Optipharm, et ce dans le but d’établir la conformité de produit fini avec la norme pharmacopée européenne 6éme édition.
Différentes analyses de contrôle physico-chimiques ont été réalisées au niveau du laboratoire de contrôle et au niveau de la production de l’unité VB12 : HPLC, UV …, etc. Les résultats obtenus, de ces tests, permettant de conclure que toutes les substances testées sont conformes.
Le complément alimentaire vitamine B12, 250μg (Cyanocobalamine) est considéré de bonne qualité pharmaceutique.Note de contenu :
Sommaire
Liste des tableaux
Liste des figures
Liste des abréviations
Introduction général…………………………………………………………………1
PATIE BIBIOGRAPHIQUE
Chapitre І : Contrôle de qualité des formes pharmaceutiques orales
І-1-Médicament et les éléments constitutifs………………..…………2
І-2-Formes pharmaceutiques et voies d’administration…..…………...2
І-3-La voie orale……………………………………………..……..…….4
І-3-1-Les avantages……………………………………………….…...…4
І-3-2- Les inconvénients…………………………………..…………..….4
І-4-formes pharmaceutiques solides orales………………………..…...4
І-4-1- les poudres…………………………………………..………….….4
І-4-2-les granulés……………………………………..……………….….5
І-4-3-les gélules /les capsules………………………..……………….…..5
І-4-4-les comprimés…………………………..………………………......5
І-5-Pharmacopée européenne ……………………………………..……6
I-6-Contrôle de qualité ……………………………………………..…...6
І-6-1- Contrôle physico-chimique ……………………………...………..7
І-6-2-Contrôle microbiologique ……………………………………...….7
І-7-La stratégie de contrôle……………………………………………....8
I-8-Système d’assurance qualité pharmaceutique……………………..8
І-9- les bonnes pratiques de fabrication des formes pharmaceutiques …..9
I-10-Echantillonnage……………………………………………………..9
I-11-Documentation………………………………..…………………...10
I-12-Organisation mondiale de la santé(OMS) ………………………..11
І-13- Organisation internationale de normalisation (ISO)…………….11
І-14- ICH………………………………………….……………...……..11
І-15- Autorisation de mise sur le marché…....………………………....11
Chapitre II : Analyses physico-chimiques des gélules
II-1-Analyses quantitatives…………………………………………....12
II-2-Analyses qualitatives………………………………………….….12
II-3-Tests physico-chimique des gélules……………………………….12
IІ-3-1- Tests de friabilité…………………………………………..……13
ІІ-3-2- Tests de dosage…………………………………………….…...14
ІІ-3-3-Tests d’uniformité de remplissage/uniformité de masse……….18
ІІ-3-4-Tests d’uniformité de teneur…………………………………….19
II-3-5-Tests de désagrégation……………………………………..……20
II-3-6-Tests de dissolution……………………………………….….….24
PARTIE EXPERIMENTALE
I-1- Présentation de l’entreprise………………………………………28
I-2-Généralité sur la vitamine B12…………………………….…….28
I-2-1- Cyanocobalamine…………………………….………….……29
I-2-2- Méthylcobalamine………………………………..………..…..30
I-2-3-Hydroxocobalamine………………………………..….……….31
I-2-4-Adénosylcobalamine……………………………..……….……31.
I-3-Contrôle physico-chimique de vitamine B12 (250μg)………….32
I -4-Matériel et méthode……………………………………………..33
I-4-1-Matériels………………………………….…………………….33
I-4-2-Méthode………………………………………………………..33
I-4-2-1-Teste d’uniformité de remplissage ……………………..……33
I-4-2-2-Test de dosage par HPLC……………………………………34
I-4-2-3-Teste de dissolution ………………………………..………...36
I-4-2-4-Teste de désagrégation………………………….……………38
I-4-2-5-Uniformité de teneur………………………………….….…..40
II-Résultats et discussions…………………………………………….41
II-1-Résultat d’uniformité de masse…………………………………41
II-2-Le dosage ………………………………………………………....42
II-3-La dissolution……………………………………………………....44
II-4-La désagrégation……………………………………...……..…..…45
II-5-Résultat d’uniformité de teneur……………...…………….………45
III-Identification…………………………..……………..………….….51
IV-Discussion de résultat……………………………………………. ..51
CONCLUSION……………………..………….…………..…53
REFERENCE……………………………………………...…Côte titre : MACH/0094 En ligne : https://drive.google.com/file/d/1RlfG1KmUdjEfmnQuOv2TLhq8BUj7e1Qd/view?usp=shari [...] Format de la ressource électronique : Contrôle de qualité physico-chimique de la Vitamine B12, 250μg [texte imprimé] / Djabou ,Laldja, Auteur ; Zouai,F, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (56 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Chimie Mots-clés : Chimie Index. décimale : 615.19 Chimie pharmaceutique Résumé : Afin d’obtenir une action thérapeutique toujours identique avec un même produit pharmaceutique, ce dernier doit présenter des caractéristiques constantes et parfaitement définies.
L’objectif de cette étude consiste en le contrôle physico-chimique de vitamine B12 250μg produite par l’unité de production de médicament du laboratoire d’Optipharm, et ce dans le but d’établir la conformité de produit fini avec la norme pharmacopée européenne 6éme édition.
Différentes analyses de contrôle physico-chimiques ont été réalisées au niveau du laboratoire de contrôle et au niveau de la production de l’unité VB12 : HPLC, UV …, etc. Les résultats obtenus, de ces tests, permettant de conclure que toutes les substances testées sont conformes.
Le complément alimentaire vitamine B12, 250μg (Cyanocobalamine) est considéré de bonne qualité pharmaceutique.Note de contenu :
Sommaire
Liste des tableaux
Liste des figures
Liste des abréviations
Introduction général…………………………………………………………………1
PATIE BIBIOGRAPHIQUE
Chapitre І : Contrôle de qualité des formes pharmaceutiques orales
І-1-Médicament et les éléments constitutifs………………..…………2
І-2-Formes pharmaceutiques et voies d’administration…..…………...2
І-3-La voie orale……………………………………………..……..…….4
І-3-1-Les avantages……………………………………………….…...…4
І-3-2- Les inconvénients…………………………………..…………..….4
І-4-formes pharmaceutiques solides orales………………………..…...4
І-4-1- les poudres…………………………………………..………….….4
І-4-2-les granulés……………………………………..……………….….5
І-4-3-les gélules /les capsules………………………..……………….…..5
І-4-4-les comprimés…………………………..………………………......5
І-5-Pharmacopée européenne ……………………………………..……6
I-6-Contrôle de qualité ……………………………………………..…...6
І-6-1- Contrôle physico-chimique ……………………………...………..7
І-6-2-Contrôle microbiologique ……………………………………...….7
І-7-La stratégie de contrôle……………………………………………....8
I-8-Système d’assurance qualité pharmaceutique……………………..8
І-9- les bonnes pratiques de fabrication des formes pharmaceutiques …..9
I-10-Echantillonnage……………………………………………………..9
I-11-Documentation………………………………..…………………...10
I-12-Organisation mondiale de la santé(OMS) ………………………..11
І-13- Organisation internationale de normalisation (ISO)…………….11
І-14- ICH………………………………………….……………...……..11
І-15- Autorisation de mise sur le marché…....………………………....11
Chapitre II : Analyses physico-chimiques des gélules
II-1-Analyses quantitatives…………………………………………....12
II-2-Analyses qualitatives………………………………………….….12
II-3-Tests physico-chimique des gélules……………………………….12
IІ-3-1- Tests de friabilité…………………………………………..……13
ІІ-3-2- Tests de dosage…………………………………………….…...14
ІІ-3-3-Tests d’uniformité de remplissage/uniformité de masse……….18
ІІ-3-4-Tests d’uniformité de teneur…………………………………….19
II-3-5-Tests de désagrégation……………………………………..……20
II-3-6-Tests de dissolution……………………………………….….….24
PARTIE EXPERIMENTALE
I-1- Présentation de l’entreprise………………………………………28
I-2-Généralité sur la vitamine B12…………………………….…….28
I-2-1- Cyanocobalamine…………………………….………….……29
I-2-2- Méthylcobalamine………………………………..………..…..30
I-2-3-Hydroxocobalamine………………………………..….……….31
I-2-4-Adénosylcobalamine……………………………..……….……31.
I-3-Contrôle physico-chimique de vitamine B12 (250μg)………….32
I -4-Matériel et méthode……………………………………………..33
I-4-1-Matériels………………………………….…………………….33
I-4-2-Méthode………………………………………………………..33
I-4-2-1-Teste d’uniformité de remplissage ……………………..……33
I-4-2-2-Test de dosage par HPLC……………………………………34
I-4-2-3-Teste de dissolution ………………………………..………...36
I-4-2-4-Teste de désagrégation………………………….……………38
I-4-2-5-Uniformité de teneur………………………………….….…..40
II-Résultats et discussions…………………………………………….41
II-1-Résultat d’uniformité de masse…………………………………41
II-2-Le dosage ………………………………………………………....42
II-3-La dissolution……………………………………………………....44
II-4-La désagrégation……………………………………...……..…..…45
II-5-Résultat d’uniformité de teneur……………...…………….………45
III-Identification…………………………..……………..………….….51
IV-Discussion de résultat……………………………………………. ..51
CONCLUSION……………………..………….…………..…53
REFERENCE……………………………………………...…Côte titre : MACH/0094 En ligne : https://drive.google.com/file/d/1RlfG1KmUdjEfmnQuOv2TLhq8BUj7e1Qd/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MACH/0094 MACH/0094 Mémoire Bibliothéque des sciences Français Disponible
DisponibleConvergence asymptotique d'un fluide non- newtonien avec des conditions mixtes au bord / Zeghar ,Asma
Titre : Convergence asymptotique d'un fluide non- newtonien avec des conditions mixtes au bord Type de document : texte imprimé Auteurs : Zeghar ,Asma, Auteur ; Hamid Benseridi, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (45 f .) Format : 29 cm Langues : Français (fre) Langues originales : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Convergence asymptotique
Fluide de binghem
Loi de tresca
lio de fourire
Formulation variationnelle
Solu_tion faibleIndex. décimale : 510 Mathématique Note de contenu : Sommaire
1 Préliminaires 5
1.1 Espaces fonctionnels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Modélisation et rappels de la mécanique des milieux continus . . . . . . . . . 14
2 Étude théorique de la solution d’un fluide non-Newtonien dans un couche
mince de R3 17
2.1 Position du problème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2 Formulation variationnelle du problème Pb" . . . . . . . . . . . . . . . . . . . 22
2.3 Existence et unicité de la solution du problème dans le domaine non fixe
" . 25
3 Étude asymptotique du problème Pb" sur le domaine fixe
28
3.1 Changement d’échelle et passage au domaine fixe
. . . . . . . . . . . . . . 29
3.2 Estimations a priori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3 Résultats de convergence et problème limite . . . . . . . . . . . . . . . . . . . 35
Bibliographie 43Côte titre : MAM/0247 Convergence asymptotique d'un fluide non- newtonien avec des conditions mixtes au bord [texte imprimé] / Zeghar ,Asma, Auteur ; Hamid Benseridi, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (45 f .) ; 29 cm.
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Convergence asymptotique
Fluide de binghem
Loi de tresca
lio de fourire
Formulation variationnelle
Solu_tion faibleIndex. décimale : 510 Mathématique Note de contenu : Sommaire
1 Préliminaires 5
1.1 Espaces fonctionnels . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
1.2 Modélisation et rappels de la mécanique des milieux continus . . . . . . . . . 14
2 Étude théorique de la solution d’un fluide non-Newtonien dans un couche
mince de R3 17
2.1 Position du problème . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2.2 Formulation variationnelle du problème Pb" . . . . . . . . . . . . . . . . . . . 22
2.3 Existence et unicité de la solution du problème dans le domaine non fixe
" . 25
3 Étude asymptotique du problème Pb" sur le domaine fixe
28
3.1 Changement d’échelle et passage au domaine fixe
. . . . . . . . . . . . . . 29
3.2 Estimations a priori . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3 Résultats de convergence et problème limite . . . . . . . . . . . . . . . . . . . 35
Bibliographie 43Côte titre : MAM/0247 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0247 MAM/0247 livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Convergences exponentielles par une technique itérative Type de document : texte imprimé Auteurs : Bouthaina Bouras, Auteur ; Sarra Hadi, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol (28 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problèmes elliptiques
Comportement asymptotiqueIndex. décimale : 510 - Mathématique Résumé :
Le but de cette mémoire est la présentation d’une technique conduisant à une convergence
de type exponentiel pour la solution de problèmes aux limites elliptiques, avec des conditions aux
bords de type Dirichlet posés dans des cylindres dont certaines directions tendent vers l’infini.Côte titre : MAM/0518 En ligne : https://drive.google.com/file/d/1tZ6KVacrOIMzrgBF3lirNggWbuLa7Fgi/view?usp=shari [...] Format de la ressource électronique : Convergences exponentielles par une technique itérative [texte imprimé] / Bouthaina Bouras, Auteur ; Sarra Hadi, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol (28 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Problèmes elliptiques
Comportement asymptotiqueIndex. décimale : 510 - Mathématique Résumé :
Le but de cette mémoire est la présentation d’une technique conduisant à une convergence
de type exponentiel pour la solution de problèmes aux limites elliptiques, avec des conditions aux
bords de type Dirichlet posés dans des cylindres dont certaines directions tendent vers l’infini.Côte titre : MAM/0518 En ligne : https://drive.google.com/file/d/1tZ6KVacrOIMzrgBF3lirNggWbuLa7Fgi/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0518 MAM/0518 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Coordinated Snapshot Algorithm for Distributed Computing Systems Type de document : texte imprimé Auteurs : Bouzidi, Yasmine, Auteur ; Mansouri,Hossem, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (50 f .) Format : 29 cm Langues : Français (fre) Langues originales : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Système distribué
Sûreté de Fonctionnement
Tolérance aux pannes
Point de contrôle coordonné non bloquant
ingIndex. décimale : 004 - Informatique Résumé : Résumé
La restauration de restauration dans les systèmes répartis est importante pour le calcul tolérant aux pannes. Sans tolérance de panne
mécanismes, une application fonctionnant sur un système doit être restaurée à partir de zéro si une erreur se produit dans le
milieu de son exécution, entraînant une perte de l'informatique utile. Pour fournir une restauration de restauration e? Cient pour
la tolérance aux pannes dans les systèmes distribués, il est important de réduire le nombre de points de contrôle dans l'existence
de points globaux cohérents dans des algorithmes de points distribués coordonnés.
La saisie coordonnée est une approche attrayante pour ajouter de manière transparente la tolérance aux pannes
applications attribuées car elle évite les effets domino et minimise l'exigence de stockage stable. Cependant,
il subit des frais généraux élevés associés au processus de cartographie dans les systèmes informatiques mobiles. Deux
Des approches ont été utilisées pour réduire les frais généraux: d'abord, réduire le nombre de mes-
les sages et le nombre de points de contrôle; l'autre est de rendre le processus de surveillance non bloquant. Dans ce
Nous introduisons le concept du checkpoint mutable, qui est soit un point de contrôle provisoire, soit un
point de contrôle, pour concevoir des algorithmes e-cient de points de contrôle. Les points muets peuvent être sauvegardés n'importe où.
De cette façon, prendre un point de contrôle mutable évite le transfert de grandes quantités de données vers
stockage stable. Nous présentons des techniques pour minimiser le nombre de points de contrôle mutables. Résultats de simulation
de Cao et de l'algorithme singhal montrent que l'overhead de prendre des checkpoints mutables est négligeable. Basé
sur des points de contrôle mutables, notre algorithme de non-blocage évite l'effet d'avalanche et ne force qu'un minimum
nombre de processus pour prendre leurs points sur le stockage stable.Note de contenu : Sommaire
Introduction 6
1 Dependability and Fault Tolerance in Distributed Systems 7
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Dependability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 Dependability Impairments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1.1 Fault . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1.2 Errors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1.3 Failures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.2 Dependability attributes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3 Means to Attain Dependability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3.1 Fault prevention . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3.2 Fault tolerance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3.3 Fault removal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.3.4 Fault forecasting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Failure classication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Fault Tolerance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4.1 Error Detection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.1.1 Redundancy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.2 Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.2.1 Error Handling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.2.2 Fault Handling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Fault tolerance in distributed system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.1 Distributed Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.1.1 Distributed System Architecture . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.2 Fault tolerance techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.2.1 Fault tolerance by replication . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.2.2 Fault tolerance by stable storage . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2 Checkpointing Techniques 22
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2 Backgrounds and Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3 Checkpointing techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.1 Checkpoint-Based Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.1.1 Coordinated checkpoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.1.2 Uncoordinated checkpointing . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3.1.3 Communication induced checkpointing . . . . . . . . . . . . . . . . . . . . . 26
2.3.2 Log Based . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2.1 Pessimistic logging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2.2 Optimistic logging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.2.3 Causal logging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4 Checkpointing Techniques Comparison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 Checkpointing Algorithms Classication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5.1 Classication tree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3 Coordinated Checkpointing Algorithms 33
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 ChkSim : A Distributed Checkpointing Simulator . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.2 ChkSim Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.2.1 Jdom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.2.2 Junit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.2.3 Apache ant(Another Neat Tool) . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.2.4 Gnuplot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3 Simulation Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2.4 Software Architecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2.5 Load Generator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2.6 Statistic Load Generator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.7 Simulator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.2.8 Simulator Runner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3 Cao and Singhal Checkpointing Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3.1 Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3.1.1 The Basic Idea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.2 The Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.2.1 Checkpointing Initiation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.2.2 Reception of a Checkpoint Request . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.2.3 Computation Messages Received during Checkpointing . . . . . . . . . . . . 42
3.3.2.4 Termination and Garbage Collection . . . . . . . . . . . . . . . . . . . . . . . 43
3.3.2.5 Instead of Broadcasting commit Messages to All Processes . . . . . . . . . . 43
3.3.3 Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Conclusion 47
Côte titre : MAI/0267 En ligne : https://drive.google.com/file/d/1v9BIJRc_uow9ZDl-CZC9nKSzD5X8jCvw/view?usp=shari [...] Format de la ressource électronique : Coordinated Snapshot Algorithm for Distributed Computing Systems [texte imprimé] / Bouzidi, Yasmine, Auteur ; Mansouri,Hossem, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (50 f .) ; 29 cm.
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Système distribué
Sûreté de Fonctionnement
Tolérance aux pannes
Point de contrôle coordonné non bloquant
ingIndex. décimale : 004 - Informatique Résumé : Résumé
La restauration de restauration dans les systèmes répartis est importante pour le calcul tolérant aux pannes. Sans tolérance de panne
mécanismes, une application fonctionnant sur un système doit être restaurée à partir de zéro si une erreur se produit dans le
milieu de son exécution, entraînant une perte de l'informatique utile. Pour fournir une restauration de restauration e? Cient pour
la tolérance aux pannes dans les systèmes distribués, il est important de réduire le nombre de points de contrôle dans l'existence
de points globaux cohérents dans des algorithmes de points distribués coordonnés.
La saisie coordonnée est une approche attrayante pour ajouter de manière transparente la tolérance aux pannes
applications attribuées car elle évite les effets domino et minimise l'exigence de stockage stable. Cependant,
il subit des frais généraux élevés associés au processus de cartographie dans les systèmes informatiques mobiles. Deux
Des approches ont été utilisées pour réduire les frais généraux: d'abord, réduire le nombre de mes-
les sages et le nombre de points de contrôle; l'autre est de rendre le processus de surveillance non bloquant. Dans ce
Nous introduisons le concept du checkpoint mutable, qui est soit un point de contrôle provisoire, soit un
point de contrôle, pour concevoir des algorithmes e-cient de points de contrôle. Les points muets peuvent être sauvegardés n'importe où.
De cette façon, prendre un point de contrôle mutable évite le transfert de grandes quantités de données vers
stockage stable. Nous présentons des techniques pour minimiser le nombre de points de contrôle mutables. Résultats de simulation
de Cao et de l'algorithme singhal montrent que l'overhead de prendre des checkpoints mutables est négligeable. Basé
sur des points de contrôle mutables, notre algorithme de non-blocage évite l'effet d'avalanche et ne force qu'un minimum
nombre de processus pour prendre leurs points sur le stockage stable.Note de contenu : Sommaire
Introduction 6
1 Dependability and Fault Tolerance in Distributed Systems 7
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7
1.2 Dependability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1 Dependability Impairments . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.2.1.1 Fault . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1.2 Errors . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9
1.2.1.3 Failures . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.2.2 Dependability attributes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3 Means to Attain Dependability . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3.1 Fault prevention . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3.2 Fault tolerance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
1.2.3.3 Fault removal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.2.3.4 Fault forecasting . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.3 Failure classication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
1.4 Fault Tolerance . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.4.1 Error Detection . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.1.1 Redundancy . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
1.4.2 Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.2.1 Error Handling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.4.2.2 Fault Handling . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.5 Fault tolerance in distributed system . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.1 Distributed Systems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.5.1.1 Distributed System Architecture . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.5.2 Fault tolerance techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.2.1 Fault tolerance by replication . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
1.5.2.2 Fault tolerance by stable storage . . . . . . . . . . . . . . . . . . . . . . . . . 20
1.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 20
2 Checkpointing Techniques 22
2.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.2 Backgrounds and Denitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3 Checkpointing techniques . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.1 Checkpoint-Based Recovery . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.3.1.1 Coordinated checkpoints . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.3.1.2 Uncoordinated checkpointing . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3.1.3 Communication induced checkpointing . . . . . . . . . . . . . . . . . . . . . 26
2.3.2 Log Based . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2.1 Pessimistic logging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.3.2.2 Optimistic logging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.3.2.3 Causal logging . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.4 Checkpointing Techniques Comparison . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5 Checkpointing Algorithms Classication . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.5.1 Classication tree . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
3 Coordinated Checkpointing Algorithms 33
3.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2 ChkSim : A Distributed Checkpointing Simulator . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.1 Denition . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.2 ChkSim Tools . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.2.1 Jdom . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2.2.2 Junit . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.2.3 Apache ant(Another Neat Tool) . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.2.4 Gnuplot . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
3.2.3 Simulation Model . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3.2.4 Software Architecture . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2.5 Load Generator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.2.6 Statistic Load Generator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.2.7 Simulator . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 38
3.2.8 Simulator Runner . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.3 Cao and Singhal Checkpointing Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3.1 Description . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40
3.3.1.1 The Basic Idea . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 41
3.3.2 The Algorithm . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.2.1 Checkpointing Initiation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.2.2 Reception of a Checkpoint Request . . . . . . . . . . . . . . . . . . . . . . . 42
3.3.2.3 Computation Messages Received during Checkpointing . . . . . . . . . . . . 42
3.3.2.4 Termination and Garbage Collection . . . . . . . . . . . . . . . . . . . . . . . 43
3.3.2.5 Instead of Broadcasting commit Messages to All Processes . . . . . . . . . . 43
3.3.3 Simulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3.4 Discussion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.4 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46
Conclusion 47
Côte titre : MAI/0267 En ligne : https://drive.google.com/file/d/1v9BIJRc_uow9ZDl-CZC9nKSzD5X8jCvw/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0267 MAI/0267 Mémoire Bibliothéque des sciences Français Disponible
DisponiblePermalinkPermalinkPermalinkCorrélation entre courant critique et joints de macles dans des monocristaux supraconducteurs d’YBa2 CU3 O7-8 / Boudissa, Mokhtar
PermalinkCorrélation entre les propriétés physicochimiques et électriques dans les structure CU/AU/Si effet de recuit thermique. / loubna Salik
PermalinkPermalinkCouplage : Traitement physico-chimique-microfiltration d’eau de l’oued boussellem / LAMIRI, Nabil
PermalinkCoupling radiatiive transfer models with the CASSIS Line analysis package / MAATAR, Meriem
PermalinkCours de Chimie Générale Volume I / Chabane sari ,Sidi mohamed
PermalinkPermalinkPermalinkPermalinkCréation des particules scalaire par un champ électrique dan une espace de suyder-sitter / Belhaouchet,Hichem
PermalinkPermalinkCristallisation de silicium amorphe non hydrogéné par la méthode cristallisation induite par aluminium(CIA) / Mouna Ghomid
PermalinkCroissance et caractérisations structurale et optique des couches minces SnO₂ élaborées par sol-gel / BELDJEBLI, Widad
PermalinkPermalinkPermalinkCroissances et étude des propriétés des nanostructures de cobalt obtenues par électrodéposition / KHALDI, Mohamed Rida
PermalinkPermalinkPermalinkPermalinkDatation Archéologique par la Luminescence Stimulée Optiquement OSL: Application à la datation d’une brique en terrecuite de site Archéologique de Djémila (Cuicul). / Benabdelghani,Iméne
PermalinkPermalinkPermalinkDécroissance générale d'un problème d'onde viscoélastique non linéaire avec amortissement frontière / Zineb Mentseur
PermalinkDeep Belief Networks Applied to Alzheimer’s Disease Detection and Classification using Neuroimaging Data / Yacine Deradra
PermalinkDeep-Convolution-Neural-Network-and-Autoencoders- Based-Unsupervised-Feature-Learning-of-EEG / Krachni,Rayane
PermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkPermalinkDeep learning for the recognition and classification of different postures and behaviors of vehicle drivers / Hamitouche,Ilyes
PermalinkPermalinkA deep learning Method for analyzing the spread of information in online social networks / Douadi,hasna
PermalinkPermalinkPermalinkA deep learning model for fakenewes detection / Belhakimi,Mohamed Amine
PermalinkPermalinkPermalink