قسم الرياضيات
Permanent URI for this collection
Browse
Browsing قسم الرياضيات by Issue Date
Now showing 1 - 20 of 182
Results Per Page
Sort Options
Item Représentation des réels en bases réelles(Université Oum El Bouaghi, 2011) Hantas, Amina; Zaimi, ToufikItem Résultats sur les matrices aléatoires et leurs applications(Université Oum El Bouaghi, 2011) Ben Aoua, Lèila; Ghoraf, NamirLe principal sujet de la théorie des matrices aléatoires est l'étude asymptotique de probabilités relatives aux valeurs propres des matrices aléatoires lorsque la dimension n tend vers l'infini. On a alors : a) Comportement globale : la distribution asymptotique des valeurs propres vers la loi de demi-cercle. b) Comportement local ) les probabilités A_(n ) (m;B) (: la probabilité pour que la matrice X?E_n ait m valeurs propres dans le borélien B, si E_n= C la théorie des polynômes orthogonaux et celle des déterminants de Fredholm nous permettra d'évaluer ces probabilités et d'étudier leur comportement quand n tend vers l'infini. c) Comportement asymptotique de la plus grande valeur propre. Ces propriétés ont fait un outil prometteur pour résolution des problèmes théoriques aussi bien que pratique, en particulier, leurs applications aux systèmes de communication sans fils.Item Résultats sur la fiabilité des systèmes k-consécutifs sur-n(Université Oum El Bouaghi, 2011) Oussaeif, Taki Eddine; Ghoraf, NamirL'objet de notre travail est l'étude des systèmes binaires, et plus précisément, les systèmes k-consécutifs-sur-n. Ces systèmes sont constitués de n composants disposés linéairement, ou circulairement, et sont définis comme suit : ils tombent en panne si et seulement si il y a au moins k composants consécutifs qui tombent en panne. Nous avons commencé par exposer, d'une façon brève, notions générales sur la fiabilité puis la fiabilité des systèmes complexes. Puis nous avons traité le système k-consécutifs-sur-n en détail, où nous avons proposé des formules exactes, récursives et l'encadrement de la fiabilité dans deux cas, le cas où les composants sont indépendants identiques et non identiques et le cas où les états de composants forment une chaine de Markov homogène dont les probabilités de transition sont identiques ou non nécessairement identiques. Ensuite, nous avons élaboré l'importance en fiabilité de système et discuterons l'importance de structure des composants, puis, le calcul et l'arrangement des importances de structure des composants Enfin, une partie qui porte sur la loi limite du temps de panne du système k-consécutifs-sur-n. Dans chaque partie, nous avons traité des exemples, illustrant les résultats obtenus.Item Résolution d'un problème de Robin pour une équation hyperbolique interro-différentielle par la méthode de Rothe(Université Oum El Bouaghi, 2011) Azouz, Salima; Merazga, NabilLe but de ce mémoire est de présenter un résultat d'existence et d'unicité, d'une solution faible d'un problème de Robin lié à une équation hyperbolique intégro-différentielle. La méthode utilisée ici, est la méthode de discrétisation en temps de Rothe. Grâce à cette méthode, le problème considéré est approché par une suite de problèmes stationnaires elliptiques résolubles par la méthode variation elle. Au moyen de ces derniers, un schéma d'approximation semi-discrétisé est obtenu. La convergence de ce schéma conduisant à la bonne position du problème en question, nécessite l'établissement d'un certain nombre d'estimations a priori dans des espaces fonctionnels convenablement choisis, ce qui à été mené à bien.Item Le théorème du point fixe du banach et ses applications(Université Oum El Bouaghi, 2011) Tebssi, Ishaq; Aliouche, AbdelkrimDans ce travail, on a présenté le théorème du point fixe de Banach et sa importance par quelquels applications du ce théorème aux équations différentielles, équations intégrales et aux problèmes aux limites d'ordre fractionnaireItem Méthode de " rothe " pour un problème parabolique integro-différentiel semi-linéaire avec des conditions au bord mêlées(Université Oum El Bouaghi, 2011) Harkat, Soumia; Merazga, NabilLe présent travail concerne l'étude d'un problème parabolique integro-différentiel semi-linéaire avec des conditions au bord mêlées en utilisant la méthode de discrétisation en temps de " Rothe ".Le principe de la méthode est base sur une discrétisation dans la direction de l'axe-temps qui permet de ramener l'étude du problème d'évolution considère a l'étude d'un système récurrent de problèmes stationnaires elliptiques que nous résolvons par la méthode variation elle via le théorème de Lax-mil gram. Les " solutions approchées semi-discrétisées " sont interpolées pour construire une fonction appelée fonction de Rothe. Un raffinement du taillage permet d'obtenir une suite de fonctions appelée suite de Rothe. Puis k partir d'un certain nombre d'estimations a priori obtenues dans des espaces fonctionnels convenablement choisir nous prouvons que la suite de Rothe converge vers l'unique solution du problème d'évolution original (en un certain sens) et que cette solution dépend continument des données. De la, on conclut a la bonne position du problème en question.Item Discrétisation d'un problème hyperbolique avec une condition non locale par la méthode des différences finies(Université Oum El Bouaghi, 2011) Aissaoui, Souad; Bouziani, AbdelfatahSans résuméItem Généralisation de théorème du point fixe de banach et applications(Université Oum El Bouaghi, 2011) Achour, Hamza; Aliouche, AbdelkrimDans le cadre de ce travaille on a détaillé l'essentiel du contenu des quelques articles publiés qui sont généralisés le théorème du point fixe de Banach pour un seul applications et pour plusieurs applications. Nous avons trouvés dans le dernier chapitre de ce travaille une application d'un théorème du chapitre 3 pour montrer l'existence et l'unicité d'une solution commune pour un système des équations fonctionnelles qui apparaissent dans la programmation dynamique et pour un système des équations intégrales non-linéaires.Item Théorèmes de points fixes dans des éspaces métriques partiellement ordonnés et applications(Université Oum El Bouaghi, 2012) Kouachi, Ali; Bekakra, Youcef; Aliouche, AbdelkrimNous somme intéressé dans cette mémoire d'étudier les théorèmes de points fixe et leur application dans un espace particuliers à savoir les espaces métrique partiellement ordonné i.e. ou on a munit l'espace métrique complet par une relation d'ordre. Le premier chapitre comme dans toutes les thèses, contient les éléments indispensables dont on aura besoin pour les chapitres suivants. Dans le deuxième chapitre on a intéresse d'établir les théorèmes de point fixe pour une seule fonction. Dans le troisième chapitre, pour plusieurs fonctions (deux et quatre fonctions). Le dernier chapitre contient deux applications à savoir application aux équations matricielles linéaires et application aux équations différentielles.Item Sur la distribution modulo un des suites(Université Oum El Bouaghi, 2012) Kadri, Hawa; Lafrada, Siham; Zaimi, ToufikLe but de ce mémoire est de décrire des résultats de base de la théorie de la distribution modulo un des suites réelles. On montre principalement le critère de Weyl, ainsi que quelques généralisations de ce critère. On considère ensuite les suites de puissances d'un nombre réel plus grand que 1, et l'accent est mis sur certaines classes d'entiers Algébriques.Item Mesure de hausdorff(Université Oum El Bouaghi, 2012) Farh, Saliha; Bsir, Samia; Zaimi, ToufikL'objectif de ce mémoire est d' étudier quellques propriétés des mesures de Hausdorff qui generalisent la mesure de Lebesgue. Ce travail se compose de deux chapitres : Le premier est consacre a rappeler la mesure de Lebesgue. Le probleme dans cette mesure est quellque ne différence pas, parfois, entre les ensembles denombrables et non-denombrables. Les mesures de Hausdorff, et particulierement les dimensions de Hausdorff, expliquees dans le second chapitre, sont des outils efficaces pour distinguer, d'un point de vue metrique, entre des parties reelles.Item Théorèmes du point fixe de type Meir-Keeler(Université Oum El Bouaghi, 2012) Drissi, Saliha; Mourri, Fairouz; Aliouche, AbdelkrimLa théorie du point fixe est un champ très étendu qui a des diverses applications. Ce travail traite quelques développements de théorème du point fixe de type Meir-keeler en tant que ses généralisations remarquables sous la définition de contraction faiblement uniformément stricte dans l'espace métrique. Dans ce travail nous avons détaillé l'essentiel du contenu des quelques articles publiés qui sont généralisés ce théorème pour une seule application et pour plusieurs applications.Item Fiabilité des systèmes via les chaines de markov imbédables(Université Oum El Bouaghi, 2012) Boudebouz, Mohamed abdelwahad; Ghoraf, NamirDans ce travail nous avons présenté la modélisation de quelques systèmes usuels à partir des chaines de Markov imbédables et nous avons constaté que cette modélisation a facilité le calcul exacte de la fiabilité des systèmes est nous avons donné aussi des formules récurrentes pour calculer la valeur de la fiabilité. Et à partir des résultats cités dans cet mémoire nous avons vu qu.on peut toujours résoudre baucoup de problèmes à partir de cette modélisation. Nous notons aussi que plusieurs problèmes restent à résoudre dans le futur comme le calcul des importances des composants dans un MIS et aussi la modélisation des configurations plus compliquées par une chaine de markov imbeddable et on a calculer la matrice de transition est par cette matrice on a estimer la formule récurrente de la fiabilité.Item Contrôlabilité et observabilité(Université Oum El Bouaghi, 2012) Moudjeb, Nawel; Chibani, Soulef; Ayadi, AbdelhamidNous avons introduit, dans notre travail, des nouvelles notions telles que contrôlabilité, observabilité, stabilisabilité et en détectabilité. Ces notions nous ont permis étudier certains problèmes réels dans divers domaines. Ce travail a conduit à des conclusions des plusieurs propriétés et résultats intéressants.Item Problèmes paraboliques et hyperboliques avec des conditions non locales(Université Oum El Bouaghi, 2012) Ferrag, Farouq; Bechebeche, Imad; Bouziani, AbdelfatahLe présent travail concerne l'étude de quelques problèmes hyperboliques et paraboliques avec des conditions non locales, qui remplacent les conditions aux limites, en utilisant la méthode de semi discrétisation en espace, qui s'appelle aussi "la méthode des lignes" L'idée fondamentale de la méthode des lignes (MOL, NMOL, NUMOL) est de remplacer les dérivées spatiales avec leurs équivalents de diférences lignies. Ce dernier nous permet d'écrire de façon générale une EDP comme un système diférentielle ordinaire. La résolution de ce système d'edos dans la variable de temps, nous pousse à utiliser une programmation Matlab où on a besoin d'appeller la commande ode 45 qui est basée sur la méthode explicite de Runge-kutta d'ordre 4, la solution obtenue et une approximation de la solution de l.EDP originale. Le présent travail concerne aussi l'étude de la méthode des lignes en quatre formes (MOL 1- MOL 2- MOL 3- MOL 4) qui donnent chacune une solution approchée des edps considérés.Item Résolution d'un problème parabolique inergro-différentiel dans un x domaine dépendant du temps par la méthode de Rothe(Université Oum El Bouaghi, 2012) Chouchane, Abdelaziz; Merazga, NabilLe but de ce travail est d'établir un résultat d'existence, d'unicité et de continuité par rapport aux données, d'une solution faible d'un problème parabolique intégro-différentiel sur un domaine dépendant du temps, avec la méthode de discrétisation en temps de Rothe. Grâce à cette méthode, l'étude du problème considéré est ramenée à l'étude d'un système récurrent de problèmes stationnaires elliptiques solvables par la méthode variation elle basé sur le théorème de Lac-Mil gram. Au moyen de ces Solutions on construit une fonction appelée fonction de Rothe. Un raffinement du maillage permet d'obtenir une suite de fonctions appelée suite de Rothe. Puis Grâce à quelques estimations à priori qu'on établit, nous prouvons la convergence (en un certain sens) de la suite de Rothe vers l'unique solution du problème. Menant ainsi à la bonne position de problèmeItem Etude d'une méthode de résolution numérique d'équation integro-différentielle basée sur l'ondelette de haar(Université Oum El Bouaghi, 2013) Kaies, Fadhil; Hadjou, BrahimUne méthode de résolution numérique d'équations intégro-diférentielles basée sur l'ondelette de Haar est présentée. Son eficacité et sa maniabilité sont mises en évidence par des tests réalisés sur plusieurs types d'équations. Des aspects théoriques de la méthode sont abordés dans le cas d'une équation diférentielle ordinaire du premier ordre où deux résultats importants sont obtenus. La premiér concerne l'existence et l'unicité de la solution numérique tandis que l'autre concerne la convergence de celle-ci vers la solution exacte.Item Calcul par différences finies compactes de quelque modèle de la chaleur(Université Oum El Bouaghi, 2013) Aouabdia, Nabila; Bouzit, MDans ce mémoire, on a présenté la résolution numérique d'un problème de la chaleur avec des conditions aux limites non classiques en utilisant la méthode des différences finies compactes d'ordre six pour l'espace, et l'application de la méthode de Runge-kutta d'ordre quatre pour le temps. Ce travail a nécessite une étude d'un algorithme adapté aux problèmes posés et une mise en oeuvre informatique importante. Un solveur a été réalisé lequel a donné des résultats d'une assez grande précision.Item Estimation à posteriori du problème de stokes par éléments finis mixtes(Université Oum El Bouaghi, 2013) Kamli, Assia; Kechar, NL'implantation fiable des méthodes mixtes d'éléments finis pour la discrétisation du problème de Stokes en régime permanent est abordée dans le présent travail. L'analyse a posteriori des solutions discrètes est devenue l'outil de base pour l'adaptation de maillages. Elle permet de déterminer les parties du domaine où on a besoin d'une discrétisation plus fine afin de réduire l'erreur globale. Les indicateurs a posteriori d'erreur donnent une excellente idée sur l'erreur entre les solutions continues et discrètes de vitesse et de pression. Trois différents types d'indicateurs a posteriori d'erreur sont introduits et analysés dans un cadre unificateur. Entre autres, on montre que les trois indicateurs sont équivalents à l'erreur de discrétisation.Item Calcul par décomposition d'adomain de quelques modèles des ondes(Université Oum El Bouaghi, 2013) Hadidi, Firdaws; Bouzit, MDans ce travail on s'intéresse à la méthode de décomposition d'adomian et à son utilisation à la résolution de problèmes avec conditions non standards de type intégral. Après avoir exposé les grands principes de la méthode, on montre ici comment on peut l'appliquer pour résoudre un problème hyperbolique et on illustre par des exemples numériques l'efficacité de cette puissante technique qui donne la solution sous forme de série rapidement convergente