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
Etude de l’environnement radiatif sur les satellites:Comparaison de trois modeles pour simuler les upsets / Badis Keddad
Titre : Etude de l’environnement radiatif sur les satellites:Comparaison de trois modeles pour simuler les upsets Type de document : texte imprimé Auteurs : Badis Keddad ; Malek Benslama, Directeur de thèse Editeur : Setif:UFA Année de publication : 2021 Importance : 1 vol. (65 f.) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Physique Mots-clés : Satellites de télécommunication
Radiations ionisantes :environnement spatial
Radiations
PROFIT
BGR
BANDELIndex. décimale : 530 Physique Note de contenu :
Table des matières
• Introduction………………………………………………………………………..-1-
1. Chapitre 1 : Les satellites de télécommunication……………………………………………-5-
1.1 Introduction…………………………………………………………………………..-5-
1.2 Description d’un système de télécommunication par
Satellites …………………………………………………………………………..-5-
1.2.1 Secteur terrien ………………………………………………………….-5-
1.2.2 Secteur spatial ………………………………………………………….-6-
1.3 Définition des satellites de télécommunication ……………………………………-6-
1.3.1 Les satellites astronomiques ……………………………………………..-6-
1.3.2 Les satellites de navigation …………………………………………….-6-
1.3.3 Les satellites météorologiques ………………………………………....-6-
1.3.4 Les satellites de télécommunication ……………………………………-7-
1.3.5 Les satellites militaires …………………………………………………-7-
1.4 Constitution du satellite …………………………………………………………….-7-
1.5 Services offerts par le satellite ……………………………………………………...-8-
1.6 Les orbites suivies par les satellites…………………………………………………-9-
1.6.1 Orbites elliptiques.....................................................................................-9-
1.6.2 Orbites circulaires ……………………………………………………..-9-
1.6.3 Orbites géostationnaire……………………………………………..…-10-
2. Chapitre II : Radiations ionisantes de l’environnement Spatial ………………………...-12-
2.1 Introduction ………………………………………………………………………-12-
2.2 Radiations ionisantes de l’environnement spatial ……………………………...-12-
2.2.1 Les ceintures de radiations……………………………………………...-13-
2.2.2 Les vent solaire………………………………………………………….-15-
2.2.3 Les éruptions solaires ………………………………………………….-15-
2.2.4 Le rayonnement cosmique…………………………………………….. -16-
2.3 Flux de protons et d’ions lourds en fonction de l’orbite…………………….. .-16-
2.4 Effet des radiations sur les circuits intègres…………………………………...-18-
2.4.1 Effet de dose…………………………………………………………...-19-
2.4.2 Les évènements singuliers …………………………………………...-19-
3. Chapitre III : Effet des radiations sur les composant Électroniques…………………-20-
3.1 Introduction ……………………………………………………………………...-20-
B
3.2 Effet des radiations sur les mémoires statiques et dynamiques……………….-20-
3.2.1 Les mémoires SRAM ………………………………………………………-20-
3.2.2 Les mémoires DRAM....................................................................................-23-
3.3 Description du phénomène de SEU dans un SRAM………………………………-24-
3.4 Condition nécessaires au déclenchement du SEU………………………………..-24-
3.5 Estimation de la section efficace d’upset ………………………………………...-26-
3.5.1 SEU induit par ions lourds…………………………………………………-26-
3.5.2 SEU induit par protons ……………………………………………………..-27-
4. Chapitre IV : les modèles pour simuler les upsets ………………………………………….-35-
4.1 Introduction ……………………………………………………………………….-35-
4.2 Logiciel …………………………………………………………………………….-35-
4.3 Section efficace d’upset induit par ions lourds………………………………….-36-
4.4 Section efficace d’upset induit par proton ……………………………………...-39-
4.4.1 Application de modèle de BANDEL ………………………………………...-39-
4.4.2 Application de PROFIT …………………………………………………….-44-
4.4.3 Application de modèle BGR…………………………………………………-46-
4.4.4 Résultats des différents modèles : discussion ……………………………….-48-
• Conclusion ……………………………………………………………………..-50-
• Bibliographie……………………………………………………………………..-52-
• Annexe …………………………………………………………………………...-56-Côte titre : MAPH/0497 En ligne : https://drive.google.com/file/d/124PsdgK2abvTzjPu1o38TbHsN3KPh26_/view?usp=shari [...] Format de la ressource électronique : Etude de l’environnement radiatif sur les satellites:Comparaison de trois modeles pour simuler les upsets [texte imprimé] / Badis Keddad ; Malek Benslama, Directeur de thèse . - [S.l.] : Setif:UFA, 2021 . - 1 vol. (65 f.) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Physique Mots-clés : Satellites de télécommunication
Radiations ionisantes :environnement spatial
Radiations
PROFIT
BGR
BANDELIndex. décimale : 530 Physique Note de contenu :
Table des matières
• Introduction………………………………………………………………………..-1-
1. Chapitre 1 : Les satellites de télécommunication……………………………………………-5-
1.1 Introduction…………………………………………………………………………..-5-
1.2 Description d’un système de télécommunication par
Satellites …………………………………………………………………………..-5-
1.2.1 Secteur terrien ………………………………………………………….-5-
1.2.2 Secteur spatial ………………………………………………………….-6-
1.3 Définition des satellites de télécommunication ……………………………………-6-
1.3.1 Les satellites astronomiques ……………………………………………..-6-
1.3.2 Les satellites de navigation …………………………………………….-6-
1.3.3 Les satellites météorologiques ………………………………………....-6-
1.3.4 Les satellites de télécommunication ……………………………………-7-
1.3.5 Les satellites militaires …………………………………………………-7-
1.4 Constitution du satellite …………………………………………………………….-7-
1.5 Services offerts par le satellite ……………………………………………………...-8-
1.6 Les orbites suivies par les satellites…………………………………………………-9-
1.6.1 Orbites elliptiques.....................................................................................-9-
1.6.2 Orbites circulaires ……………………………………………………..-9-
1.6.3 Orbites géostationnaire……………………………………………..…-10-
2. Chapitre II : Radiations ionisantes de l’environnement Spatial ………………………...-12-
2.1 Introduction ………………………………………………………………………-12-
2.2 Radiations ionisantes de l’environnement spatial ……………………………...-12-
2.2.1 Les ceintures de radiations……………………………………………...-13-
2.2.2 Les vent solaire………………………………………………………….-15-
2.2.3 Les éruptions solaires ………………………………………………….-15-
2.2.4 Le rayonnement cosmique…………………………………………….. -16-
2.3 Flux de protons et d’ions lourds en fonction de l’orbite…………………….. .-16-
2.4 Effet des radiations sur les circuits intègres…………………………………...-18-
2.4.1 Effet de dose…………………………………………………………...-19-
2.4.2 Les évènements singuliers …………………………………………...-19-
3. Chapitre III : Effet des radiations sur les composant Électroniques…………………-20-
3.1 Introduction ……………………………………………………………………...-20-
B
3.2 Effet des radiations sur les mémoires statiques et dynamiques……………….-20-
3.2.1 Les mémoires SRAM ………………………………………………………-20-
3.2.2 Les mémoires DRAM....................................................................................-23-
3.3 Description du phénomène de SEU dans un SRAM………………………………-24-
3.4 Condition nécessaires au déclenchement du SEU………………………………..-24-
3.5 Estimation de la section efficace d’upset ………………………………………...-26-
3.5.1 SEU induit par ions lourds…………………………………………………-26-
3.5.2 SEU induit par protons ……………………………………………………..-27-
4. Chapitre IV : les modèles pour simuler les upsets ………………………………………….-35-
4.1 Introduction ……………………………………………………………………….-35-
4.2 Logiciel …………………………………………………………………………….-35-
4.3 Section efficace d’upset induit par ions lourds………………………………….-36-
4.4 Section efficace d’upset induit par proton ……………………………………...-39-
4.4.1 Application de modèle de BANDEL ………………………………………...-39-
4.4.2 Application de PROFIT …………………………………………………….-44-
4.4.3 Application de modèle BGR…………………………………………………-46-
4.4.4 Résultats des différents modèles : discussion ……………………………….-48-
• Conclusion ……………………………………………………………………..-50-
• Bibliographie……………………………………………………………………..-52-
• Annexe …………………………………………………………………………...-56-Côte titre : MAPH/0497 En ligne : https://drive.google.com/file/d/124PsdgK2abvTzjPu1o38TbHsN3KPh26_/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0497 MAPH/0497 Mémoire Bibliothéque des sciences Français Disponible
DisponibleEtude et évaluation des paramétres de déploiement d'un Réseau de capteurs sans l / Djilani,Ichrak
Titre : Etude et évaluation des paramétres de déploiement d'un Réseau de capteurs sans l Type de document : texte imprimé Auteurs : Djilani,Ichrak, Auteur ; Louail,Lemia, Directeur de thèse Editeur : Setif:UFA Année de publication : 2019 Importance : 1 vol (45 f .) Format : 29 cm Langues : Français (fre) Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseau de capteurs sans l
Paramétres de déploiementIndex. décimale : 004 Informatique Résumé : Les reseaux de capteurs sans l sont constitue un grand nombre de capteur
interconnectes par des canaux de communication sans l. Ils sont capables
de recolter et transmettre les donnees via des routes multi-sauts gr^ace a
des protocoles de routage. Lors de deploiement d'un reseau de capteur sans
l (RCSF) plusieurs parametres surviennent tel que : la porte de communication
d'un nud, la densite des reseaux, la taille de cote de la zone
de deploiement,..etc. Dans ce memoire nous nous interessons a etudier et
evaluer les parametres liees aux deploiement d'un RCSF, nous voulons voir
l'impact de ces derniers sur le fonctionnement et la performance du reseau
et sur les metriques a optimiser telles que la latence et l'energie. Nous
detaillons les parametres de deploiement et nous faisons plusieurs simulations
en changeant l'un de ces parametres. Les resultats des dierentes
simulations montrent que le changement du parametre n(nombre de nuds)
demande plus de temps et energie pour construire les routes entre les nuds
et le sink alors celle basee sur le changement de a(la taille du cote de la zone
de deploiement) genere moins de consommation d'energie et de latence.Note de contenu : Sommaire
Introduction Generale 1
1 LES RESEAUX DE CAPTEURS SANS FIL 3
1.1 Capteur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 Capteur Intelligent . . . . . . . . . . . . . . . . . . . 4
1.2 Reseaux De Capteurs Sans Fil . . . . . . . . . . . . . . . . . 5
1.3 Collecte de donnees dans les RCSFs . . . . . . . . . . . . . . 6
1.3.1 Suite a la demande . . . . . . . . . . . . . . . . . . . 6
1.3.2 Suite a un evenement . . . . . . . . . . . . . . . . . 6
1.4 Topologie des reseaux de capteurs sans l . . . . . . . . . . . 7
1.4.1 Topologie Etoile . . . . . . . . . . . . . . . . . . . . . 7
1.4.2 Topologie Maille . . . . . . . . . . . . . . . . . . . . . 8
1.4.3 Topologie Arbre et Cluster-tree . . . . . . . . . . . . 9
1.5 Domaines d'application des reseaux de capteurs sans l . . . 9
1.6 Facteurs de conception des reseaux de capteurs sans l . . . . 11
1.7 Pile protocolaire des reseaux de capteurs sans l . . . . . . . 12
1.7.1 Les limites de la pile protocolaire . . . . . . . . . . . . 14
1.8 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 PARAMETRES DE DEPLOIEMENT D'UN
RESEAUX DE CAPTEURS SANS FIL 15
2.1 Les parametres de deploiement . . . . . . . . . . . . . . . . . 16
2.1.1 Deploiement des capteurs . . . . . . . . . . . . . . . 18
2.2 Modelisation d'un reseau de capteurs . . . . . . . . . . . . . . 19
2.3 Modele de communication dans reseaux de capteurs sans l . 19
2.4 Le routage dans les RCSFs . . . . . . . . . . . . . . . . . . . 21
2.4.1 Objectifs du routage dans les RCSFs . . . . . . . . . . 22
2.4.2 Classication des protocoles de routage dans les RCSFs 22
2.5 A star . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.6 Algorithme de Dijkstra . . . . . . . . . . . . . . . . . . . . . . 26
2.7 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3
3 SIMULATION ET RESULTAT 28
3.1 L'environnement de developpement . . . . . . . . . . . . . . . 29
3.1.1 Le langage Java . . . . . . . . . . . . . . . . . . . . . . 29
3.1.2 JavaFX . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.1.3 Simulation par evenement discret . . . . . . . . . . . . 30
3.2 Simulateur utilise . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2.1 Composant du noyau de simulateur . . . . . . . . . . 30
3.3 Metriques a evaluer . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.1 La latence . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.2 La consommation energetique . . . . . . . . . . . . . . 31
3.4 Conguration des simulations . . . . . . . . . . . . . . . . . 32
3.5 Analyse et evaluation de l'eet des parametres de deploiement
sur les performances des approches de routage . . . . . . . . 33
3.5.1 Variation du n et a . . . . . . . . . . . . . . . . . . . 34
3.5.2 Resultats et Interpretation . . . . . . . . . . . . . . . 43
3.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Conclusion GeneraleCôte titre : MAI/0277 En ligne : https://drive.google.com/file/d/13mpIVDyQzjI6Cfg37NwYpfQ7ewaKZCKh/view?usp=shari [...] Format de la ressource électronique : Etude et évaluation des paramétres de déploiement d'un Réseau de capteurs sans l [texte imprimé] / Djilani,Ichrak, Auteur ; Louail,Lemia, Directeur de thèse . - [S.l.] : Setif:UFA, 2019 . - 1 vol (45 f .) ; 29 cm.
Langues : Français (fre)
Catégories : Thèses & Mémoires:Informatique Mots-clés : Réseau de capteurs sans l
Paramétres de déploiementIndex. décimale : 004 Informatique Résumé : Les reseaux de capteurs sans l sont constitue un grand nombre de capteur
interconnectes par des canaux de communication sans l. Ils sont capables
de recolter et transmettre les donnees via des routes multi-sauts gr^ace a
des protocoles de routage. Lors de deploiement d'un reseau de capteur sans
l (RCSF) plusieurs parametres surviennent tel que : la porte de communication
d'un nud, la densite des reseaux, la taille de cote de la zone
de deploiement,..etc. Dans ce memoire nous nous interessons a etudier et
evaluer les parametres liees aux deploiement d'un RCSF, nous voulons voir
l'impact de ces derniers sur le fonctionnement et la performance du reseau
et sur les metriques a optimiser telles que la latence et l'energie. Nous
detaillons les parametres de deploiement et nous faisons plusieurs simulations
en changeant l'un de ces parametres. Les resultats des dierentes
simulations montrent que le changement du parametre n(nombre de nuds)
demande plus de temps et energie pour construire les routes entre les nuds
et le sink alors celle basee sur le changement de a(la taille du cote de la zone
de deploiement) genere moins de consommation d'energie et de latence.Note de contenu : Sommaire
Introduction Generale 1
1 LES RESEAUX DE CAPTEURS SANS FIL 3
1.1 Capteur . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.1 Capteur Intelligent . . . . . . . . . . . . . . . . . . . 4
1.2 Reseaux De Capteurs Sans Fil . . . . . . . . . . . . . . . . . 5
1.3 Collecte de donnees dans les RCSFs . . . . . . . . . . . . . . 6
1.3.1 Suite a la demande . . . . . . . . . . . . . . . . . . . 6
1.3.2 Suite a un evenement . . . . . . . . . . . . . . . . . 6
1.4 Topologie des reseaux de capteurs sans l . . . . . . . . . . . 7
1.4.1 Topologie Etoile . . . . . . . . . . . . . . . . . . . . . 7
1.4.2 Topologie Maille . . . . . . . . . . . . . . . . . . . . . 8
1.4.3 Topologie Arbre et Cluster-tree . . . . . . . . . . . . 9
1.5 Domaines d'application des reseaux de capteurs sans l . . . 9
1.6 Facteurs de conception des reseaux de capteurs sans l . . . . 11
1.7 Pile protocolaire des reseaux de capteurs sans l . . . . . . . 12
1.7.1 Les limites de la pile protocolaire . . . . . . . . . . . . 14
1.8 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14
2 PARAMETRES DE DEPLOIEMENT D'UN
RESEAUX DE CAPTEURS SANS FIL 15
2.1 Les parametres de deploiement . . . . . . . . . . . . . . . . . 16
2.1.1 Deploiement des capteurs . . . . . . . . . . . . . . . 18
2.2 Modelisation d'un reseau de capteurs . . . . . . . . . . . . . . 19
2.3 Modele de communication dans reseaux de capteurs sans l . 19
2.4 Le routage dans les RCSFs . . . . . . . . . . . . . . . . . . . 21
2.4.1 Objectifs du routage dans les RCSFs . . . . . . . . . . 22
2.4.2 Classication des protocoles de routage dans les RCSFs 22
2.5 A star . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.6 Algorithme de Dijkstra . . . . . . . . . . . . . . . . . . . . . . 26
2.7 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
3
3 SIMULATION ET RESULTAT 28
3.1 L'environnement de developpement . . . . . . . . . . . . . . . 29
3.1.1 Le langage Java . . . . . . . . . . . . . . . . . . . . . . 29
3.1.2 JavaFX . . . . . . . . . . . . . . . . . . . . . . . . . . 29
3.1.3 Simulation par evenement discret . . . . . . . . . . . . 30
3.2 Simulateur utilise . . . . . . . . . . . . . . . . . . . . . . . . . 30
3.2.1 Composant du noyau de simulateur . . . . . . . . . . 30
3.3 Metriques a evaluer . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.1 La latence . . . . . . . . . . . . . . . . . . . . . . . . . 31
3.3.2 La consommation energetique . . . . . . . . . . . . . . 31
3.4 Conguration des simulations . . . . . . . . . . . . . . . . . 32
3.5 Analyse et evaluation de l'eet des parametres de deploiement
sur les performances des approches de routage . . . . . . . . 33
3.5.1 Variation du n et a . . . . . . . . . . . . . . . . . . . 34
3.5.2 Resultats et Interpretation . . . . . . . . . . . . . . . 43
3.6 Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
Conclusion GeneraleCôte titre : MAI/0277 En ligne : https://drive.google.com/file/d/13mpIVDyQzjI6Cfg37NwYpfQ7ewaKZCKh/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAI/0277 MAI/0277 Mémoire Bibliothéque des sciences Français Disponible
Disponible
Titre : Étude de l’existence de la solution d’un problème de transmission avec retard Type de document : texte imprimé Auteurs : Loucif ,Sara, Auteur ; Aissa Benseghir, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (39 f .) Format : 29 cm Langues : Français (fre) Langues originales : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Méthode de Galerkin
problème de transmission
formulation variationnelleIndex. décimale : 510 Mathématique Résumé : Dans ce mémoire nous avons considéré un problème de transmission d’équations d’ondes avec retard dans un domaine unidimensionnel. Nous dérivons une formulation variationnelle de ce problème. Puis nous prouvons l’existence et l’unicité de la solution en utilisant la méthode d’estimation de Galerkin. Note de contenu : Sommaire
Introduction 1
Introduction générale 3
1 Préliminaire d’analyse fonctionnelle 4
1.1 Définitions et propriétés élémentaires. . . . . . . . . . . . . . . . . . . . 4
1.1.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.2 Résultats utiles . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Le Théorème de Stampacchia et Lax-Milgram . . . . . . . . . . . . . . 7
1.3 Éléments d’analyse non linéaire . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Opérateurs Monotones . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.2 Sous-différentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.3 Espaces des fonctions vectorielles . . . . . . . . . . . . . . . . . 12
1.4 Les théorèmes du point fixe de Brouwer et de Schauder . . . . . . . . . 13
1.5 Équation des ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 La méthode de Galerkin . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Exemples résolus par la méthode de Galerkin 21
3 Problème de transmission d’équations d’ondes 30
3.1 Existence de la solution. . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
BibliographieCôte titre : MAM/0241 En ligne : https://drive.google.com/file/d/1h-SOhEMmGzhNFnwbdogjWvAgOmdEFcQ7/view?usp=shari [...] Format de la ressource électronique : Étude de l’existence de la solution d’un problème de transmission avec retard [texte imprimé] / Loucif ,Sara, Auteur ; Aissa Benseghir, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (39 f .) ; 29 cm.
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Méthode de Galerkin
problème de transmission
formulation variationnelleIndex. décimale : 510 Mathématique Résumé : Dans ce mémoire nous avons considéré un problème de transmission d’équations d’ondes avec retard dans un domaine unidimensionnel. Nous dérivons une formulation variationnelle de ce problème. Puis nous prouvons l’existence et l’unicité de la solution en utilisant la méthode d’estimation de Galerkin. Note de contenu : Sommaire
Introduction 1
Introduction générale 3
1 Préliminaire d’analyse fonctionnelle 4
1.1 Définitions et propriétés élémentaires. . . . . . . . . . . . . . . . . . . . 4
1.1.1 Définitions . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.1.2 Résultats utiles . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.2 Le Théorème de Stampacchia et Lax-Milgram . . . . . . . . . . . . . . 7
1.3 Éléments d’analyse non linéaire . . . . . . . . . . . . . . . . . . . . . . 8
1.3.1 Opérateurs Monotones . . . . . . . . . . . . . . . . . . . . . . . 8
1.3.2 Sous-différentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.3.3 Espaces des fonctions vectorielles . . . . . . . . . . . . . . . . . 12
1.4 Les théorèmes du point fixe de Brouwer et de Schauder . . . . . . . . . 13
1.5 Équation des ondes . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
1.6 La méthode de Galerkin . . . . . . . . . . . . . . . . . . . . . . . . . . 18
2 Exemples résolus par la méthode de Galerkin 21
3 Problème de transmission d’équations d’ondes 30
3.1 Existence de la solution. . . . . . . . . . . . . . . . . . . . . . . . . . . 31
Conclusion . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
BibliographieCôte titre : MAM/0241 En ligne : https://drive.google.com/file/d/1h-SOhEMmGzhNFnwbdogjWvAgOmdEFcQ7/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0241 MAM/0241 Mémoire Bibliothéque des sciences Français Disponible
DisponibleÉtude de l’existence de la solution d’un problème de transmission sans retard / Mellouli, Ibtissem
Titre : Étude de l’existence de la solution d’un problème de transmission sans retard Type de document : texte imprimé Auteurs : Mellouli, Ibtissem, Auteur ; Aissa Benseghir, Directeur de thèse Editeur : Setif:UFA Année de publication : 2018 Importance : 1 vol (33 f .) Format : 29 cm Langues : Français (fre) Langues originales : Français (fre) Catégories : Thèses & Mémoires:Mathématique Mots-clés : Méthode de Galerkin
problème de transmission
formulation variationnelleIndex. décimale : 510-Mathématique Résumé : Dans ce mémoire nous avons considéré un problème de transmission d’équations d’ondes sans retard dans un domaine unidimensionnel. Nous dérivons une formulation variationnelle de ce problème. Puis nous prouvons l’existence et l’unicité de la solution en utilisant la méthode d’estimation de Galerkin. Note de contenu : Sommaire
Introduction générale 3
1 Préliminaire d’analyse fonctionnelle 4
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Dé…nitions et propriétés élémentaires. . . . . . . . . . . . . . . . . . . . . 4
1.3 Le Théorème de Stampacchia et Lax-Milgram . . . . . . . . . . . . . . . . 7
1.4 Éléments d’analyse non linéaire . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.1 Opérateurs Monotones . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.2 Sous-di¤érentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Inéquations variationnelles elliptiques . . . . . . . . . . . . . . . . . . . . 12
1.6 Inéquations Variationnelles à Terme de Mémoire . . . . . . . . . . . . . . 13
1.6.1 Espaces des fonctions vectorielles . . . . . . . . . . . . . . . . . . . 13
1.7 La méthode de Galerkin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Des exemples résolu par méthode de Galerkin 17
2.1 Exemple 1 : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Exemple 2 : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3 L’éxistence de la solution d’un problème de transmission par la méthode
de Galerkin : 25
3.1 Résolution du problème variationnelle . . . . . . . . . . . . . . . . . . . . . 27
Conclusion 31
BibliographieCôte titre : MAM/0240 En ligne : https://drive.google.com/file/d/1wu7WDDZu-NLhxR5rdwQKDrjYbSp6l6CW/view?usp=shari [...] Format de la ressource électronique : Étude de l’existence de la solution d’un problème de transmission sans retard [texte imprimé] / Mellouli, Ibtissem, Auteur ; Aissa Benseghir, Directeur de thèse . - [S.l.] : Setif:UFA, 2018 . - 1 vol (33 f .) ; 29 cm.
Langues : Français (fre) Langues originales : Français (fre)
Catégories : Thèses & Mémoires:Mathématique Mots-clés : Méthode de Galerkin
problème de transmission
formulation variationnelleIndex. décimale : 510-Mathématique Résumé : Dans ce mémoire nous avons considéré un problème de transmission d’équations d’ondes sans retard dans un domaine unidimensionnel. Nous dérivons une formulation variationnelle de ce problème. Puis nous prouvons l’existence et l’unicité de la solution en utilisant la méthode d’estimation de Galerkin. Note de contenu : Sommaire
Introduction générale 3
1 Préliminaire d’analyse fonctionnelle 4
1.1 Introduction . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
1.2 Dé…nitions et propriétés élémentaires. . . . . . . . . . . . . . . . . . . . . 4
1.3 Le Théorème de Stampacchia et Lax-Milgram . . . . . . . . . . . . . . . . 7
1.4 Éléments d’analyse non linéaire . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.1 Opérateurs Monotones . . . . . . . . . . . . . . . . . . . . . . . . . 8
1.4.2 Sous-di¤érentiel . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
1.5 Inéquations variationnelles elliptiques . . . . . . . . . . . . . . . . . . . . 12
1.6 Inéquations Variationnelles à Terme de Mémoire . . . . . . . . . . . . . . 13
1.6.1 Espaces des fonctions vectorielles . . . . . . . . . . . . . . . . . . . 13
1.7 La méthode de Galerkin . . . . . . . . . . . . . . . . . . . . . . . . . . . . 15
2 Des exemples résolu par méthode de Galerkin 17
2.1 Exemple 1 : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
2.2 Exemple 2 : . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
3 L’éxistence de la solution d’un problème de transmission par la méthode
de Galerkin : 25
3.1 Résolution du problème variationnelle . . . . . . . . . . . . . . . . . . . . . 27
Conclusion 31
BibliographieCôte titre : MAM/0240 En ligne : https://drive.google.com/file/d/1wu7WDDZu-NLhxR5rdwQKDrjYbSp6l6CW/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAM/0240 MAM/0240 Mémoire Bibliothéque des sciences Français Disponible
DisponibleEtude expérimentale d’un assemblage sous critique a l’aide d’une source de neutrons / Hocine Laib
Titre : Etude expérimentale d’un assemblage sous critique a l’aide d’une source de neutrons Type de document : texte imprimé Auteurs : Hocine Laib ; Djaroum Said, Directeur de thèse Editeur : Setif:UFA Année de publication : 2015/2016 Importance : 1 vol (42f.) Catégories : Thèses & Mémoires:Physique Mots-clés : Génie Physique Subatomique Résumé : Résumé :
Dans ce présent travail, nous avons effectué une étude expérimentale et
théorique de l’assemblage sous critique « AURES01 » du Centre de Recherche
Nucléaire de Birine. Cette étude consiste à la détermination du coefficient de
multiplication effectif de cette installation. L’étude théorique a été effectuée en
utilisant le code MCNP. Les résultats expérimentaux obtenus sont très
satisfaisants comparativement aux résultats obtenus dans des expériences
antérieures. Pour l’étude théorique, l’encadrement a contribué,
considérablement, dans l’utilisation du code MCNP. Les résultats obtenus par
cette étude théorique ont montré le degré d’exactitude de nos expériences. En
effet, la valeur du coefficient de multiplication effectif obtenu par le code MCNP
est très comparable à la valeur expérimentale, l’erreur relative est de l’ordre de
2.5%.
Côte titre : MAPH/0165 En ligne : https://drive.google.com/file/d/1HO6z4FFUt0spOVWMzRVFeow05sTtMdf3/view?usp=shari [...] Format de la ressource électronique : Etude expérimentale d’un assemblage sous critique a l’aide d’une source de neutrons [texte imprimé] / Hocine Laib ; Djaroum Said, Directeur de thèse . - [S.l.] : Setif:UFA, 2015/2016 . - 1 vol (42f.).
Catégories : Thèses & Mémoires:Physique Mots-clés : Génie Physique Subatomique Résumé : Résumé :
Dans ce présent travail, nous avons effectué une étude expérimentale et
théorique de l’assemblage sous critique « AURES01 » du Centre de Recherche
Nucléaire de Birine. Cette étude consiste à la détermination du coefficient de
multiplication effectif de cette installation. L’étude théorique a été effectuée en
utilisant le code MCNP. Les résultats expérimentaux obtenus sont très
satisfaisants comparativement aux résultats obtenus dans des expériences
antérieures. Pour l’étude théorique, l’encadrement a contribué,
considérablement, dans l’utilisation du code MCNP. Les résultats obtenus par
cette étude théorique ont montré le degré d’exactitude de nos expériences. En
effet, la valeur du coefficient de multiplication effectif obtenu par le code MCNP
est très comparable à la valeur expérimentale, l’erreur relative est de l’ordre de
2.5%.
Côte titre : MAPH/0165 En ligne : https://drive.google.com/file/d/1HO6z4FFUt0spOVWMzRVFeow05sTtMdf3/view?usp=shari [...] Format de la ressource électronique : Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité MAPH/0165 MAPH/0165 Mémoire Bibliothéque des sciences Français Disponible
DisponibleEtude expérimentale des caractéristiques des diodes (6MV, 18MV) pour la dosimétrie in vivo / Mariem Ouadi
PermalinkEtude expérimentale de la passivation de surface des plaquettes de silicium multi-cristallin par une solution iode-éthanol(3629Cu+7,2814Si+ et2713Al+) / MEBAREK AZZEM, Ayache
PermalinkEtude Expérimentale du traitement thermique et thermochimique de quelques nuances d’acier / Yousra Zaaboubi
PermalinkEtude et extension d’algorithmes de point intérieur pour la programmation non linéaire / Kebbiche, Zakia
PermalinkPermalinkEtude de filtres a neutrons d'un canal radial du reacteur nur / Rihab el houda Djabou
PermalinkPermalinkPermalinkEtude de formation des siliciures de Ni en présence du W comme barrière de diffusion / Benathmane,Halima
PermalinkEtude de formation des siliciures de nickel en presence de l'yttrium / Sayah, Fares
Permalink