Master Mathématiques

Permanent URI for this collectionhdl:123456789/1388

Browse

Now showing 1 - 20 of 131

Algèbres de Leibniz
(université de Bordj Bou-Arréridj Faculté des mathématiques et de l'informatique, 2020-09) Bentaleb, Abdelaziz
Le but de notre mémoire est d’étudier les algèbres de Leibniz pour cela on a dé ni les espaces vectoriels, et les applications linéaire. Les algèbres de Leibniz sont des algèbres dont le produit, noté [ ; ], satisfait une certaine forme de l’identité Jacobi, sans aucune hypothèse de symétrie. Ainsi, toutes les algèbres de Lie sont Leibniz. Et on parle sur les propriétés des algèbres de Leibniz, résoluble, nilpotentes, null liforme, liforme, simple et semi-simple.
Analyse et comparaison entre le système de fourmis ;le système de colonies du fourmis et le système de fourmis max min avec différents réglages de paramètres
(Université de Bordj Bou Arreridj Faculty of Mathematics and Computer Science, 2022-09-14) GHECHAM -, YOUSRA; HAMIMID, RIANE SAHAR
Ant colony optimization is a victorious technique to resolve complicated combinatorial optimized problems.Subsequent Ant System ;the primary ACO algorith,the tremendous number of algorithmic variations have been deployed that illustrate appreciably superior performance on broad variety of optimized problems. In this thesis we present the main Ant System-AS ;Ant Colony System-ACS and MAX MIN Ant System-MMAS and we also,compared the results of these three algorithms under different parameter changes
Application Multivoque et Stabilité d’une Solution Optimale
(université de Bordj Bou-Arréridj Faculté des mathématiques et de l'informatique, 2020-10-14) Lacheheb, Hasna; Lacheheb, Hasna
Il est bien connu que l’analyse variationnelle est une branche dynamique des mathématiques dont les origines remontent à plusieurs siècles. Pendant un certain temps, elle avait été identifiée au calcul des variations, à l’exploration du comportement local de fonctions. Aujourd’hui, on entend par analyse variationnelle un ensemble de théories mathématiques dont celles de la convergence de suites d’ensembles, de l’optimisation, du contrôle, de l’analyse multivoque, de l’analyse non lisse, etc. Ces outils sont utilisés dans de nombreux domaines appliqués tels que l’économie, l’ingénierie, la mécanique et bien sûr dans le traitement de problèmes de mathématiques abstraites. Les problèmes impliquant l’analyse multivoque surgissent, par exemple, lorsque l’ensemble de solution, n’est pas réduit à un point comme dans le cas des problèmes mal posés (resp. les problèmes d’optimisation paramétrés). Ce travail est divisé en deux chapitres : Dans le premier chapitre, nous présentons les outils fondamentaux de l’analyse multivoque. En particulier, les notions élémentaires des ensembles, la continuité et la différentiabilité des multifonctions. Le deuxième chapitre est consacré aux problèmes d’optimisation paramétrique. On traite des problèmes de type
Applications des polynômes orthogonaux pour résolution des équations intégrales
(Université de Bordj Bou Arreridj Faculty of Mathematics and Computer Science, 2021) HIRECHE, Bachir; LOUAIL, Amine
Abstract This thesis is part of the mathematical field of the numerical study of equations integrals. These equations are very interesting, because there is a very close link between the latter and functional analysis and operator theory. EIs come from several fields of scientific research and mathematical modeling very varied scientific phenomena such as : the dynamics, the physics of solids, plasma physics, economics, etc. EIDs are difficult to solve analytically, so it is necessary to obtain a approximate solution. The essential objective of this work is to build methods numerical erases for the approximate resolution of these equations, such as : the method of collocation, the Galerkin method. We applied the collocation method by the Chebyshev or Legendre polynomials on the linear EIs Fredholm second species which is based on the projection methods Key Words : Integral equations, Spectral methods, operator theory, Orthogonal polynomials Résumé Cette mémoire s’inscrit dans le domaine mathématique de l’étude numérique des équations intégrales. Ces équations sont très intéressantes, car il y a un lien trés étroit entre ces dernières et l’analyse fonctionnelle et la théorie des opérateurs. Les EIs sont issues à partir de plusieurs domaines de la recherche scientifique et de la modélisation mathématique des phénomènes scientifiques très varies tels que : la dynamique, la physique des solides, la physique des plasmas, l’économie, etc. Les EIDs sont difficiles à résoudre analytiquement, il est donc nécessaire d’obtenir une solution approchée. L’objectif essentiel de ce travail est de construire des méthodes numériques effaces pour la résolution approchée de ces équations, telles que : la méthode de collocation, la méthode de Galerkin. On a appliqué la méthode de collocation par les polynômes Chebyshev ou Legendre sur les EIs linéaires Fredholm deuxième espèce qui est basée sur les méthodes de projection Mots Clés : Équations intégrale, Méthodes spectrale,théorie des opérateur,Polynômes orthogonaux.
Approximate solution of partial integro-differential equation using pseudo-spectral method
(2022) Bendjedi, Akram
The subject of this dissertation is to apply a pseudo-spectral method based on Chebyshev cardinal functions to solve parabolic partial integro-differential equations (PIDEs). Since these equations play an essential role in mathematics, physics, and engineering. Finding an approximate solution of the equation is important. The numerical technique is based on the combination between the approximation of the solution by the Chebyshev cardinal functions and using Gauss quadrature to approximate the integral appeared in the equation. The problem is reduced to a nonlinear system of algebraic equations. The convergence analysis is investigated and some numerical examples are given to guaranted the efficiency of the proposed algorithm.
Aspects théorique de l’optimisation multi-objectif
(université de Bordj Bou-Arréridj Faculté des mathématiques et de l'informatique, 2016-07-20) THLEDJANE, NOOR EL HOUDA; SALIK, NESRINE
Ce mémoire avait pour objectif de présenter dans un premier temps les principales définitions nécessaires à la présentation des problèmes d’optimisation multi-objectifss. Puis différentes problématiques liées aux spécificités du multi-objectifs, comme l’intervention du décideur dans le processus de décision, les choix des méthodes d’optimisation ‘a utiliser ou encore l’analyse de performances ont été évoquées afin de montrer l’étendue du spectre des recherches dans le domaine.
Birfucations of limit cycles from a multiple focus and bifurcations at non-hyperbolic periodic orbits
(université de Bordj Bou-Arréridj Faculté des mathématiques et de l'informatique, 2020-09-05) Baymout, Louiza
R`é˙sfi°u‹m`é Dans ce travail, nous sommes concentr´es sur les syst`emes polynomiaux planaires et nous sommes ´etudi´e les bifurcations de Hopf et les bifurcations des cycles limites `a partir d’un foyer multiple, et des bifurcations au point d’´equilibre non hyperbolique o`u les cycles limites peuvent cree. En particulier, les cycles limites et le portrait de phase global de la classe des syst`emes rigides sous ses param`etres. Les r´esultats des bifurcations de cycles limites sont prouv´es par les utilisations de la carte de Poincar´e et par le dessin de tous diff´erents les portraits de phase . Mots cl´es : Bifurcation de Hopf, carte de Poincar´e , portrait de phase, system rigide, cycle limite, non hyperbolique. Abstract In this work, we have focused on the planar polynomial systems and studied the Hopf bifurcations and bifurcations of limit cycles from a multiple focus and bifurcations at non-hyperbolic equilibrium point where limit cycles can be made to bifurcate. In particular, the limit cycles and global phase portrait of class of rigid systems under its parameters. The results of bifurcations of limit cycles are proved by the uses of the Poincar´e map and drawing all diffrent phase portraits. Key words : Hopf bifurcation, Poincar´e map, phase portrait, rigid system, limit cycle, non-hyperbolic.
Champ de Vecteurs Différentiel
(université de Bordj Bou-Arréridj Faculté des mathématiques et de l'informatique, 2013-06-25) Bouguerra, Souad; Rahal, Nadjet
Classification des Algèbres de Poisson non commutative en dimension 2
(Université de Bordj Bou Arreridj Faculty of Mathematics and Computer Science, 2021) Benziane, Mouna; Ben kara Mahammed, Ahlem
Le but de notre mémoire est de classifier les algèbre de poisson dans le cas commutative et non commutative ,pour définir une algèbre de Poisson on a besoin de définir l’algèbre de lie et l’algèbre associative . On donne aussi les variété algébrique pour chaque algèbre. Nous classifions les algèbres de Poisson en dimension deux dans le cas commutative et non commutative. abstract The aim of our paper is to classify the Poisson algebra in the commutative and non commutative case, to define a Poisson algebra we need to define the Lie algebra and the associative algebra. We also give the algebraic variety for each algebra.
Commutativity of unbounded normal operators
(UNIVERSITY BBA, 2023-06) Miloudi Feyrouz
In this work, we have studied the commutativity of the product of unbounded normal and self-adjoint operators. For instance, we showed that if S and T are two strongly commuting unbounded normal operators, Then S + T is essentially normal. Moreover, we have investigated the -commutativity for closed linear operators. We have showed that if S and T are two normal operators such that T is bounded and TS ST ̸= 0 where 2 C. Then ST is normal if and only if j j = 1: We have also presented a sufficient conditions to ensure the self-adjointness of the product of two linear operators. For example, it is shown that if S and T are two selfadjoint operators where only T is bounded, S is positive and if one of the operators TS or ST is normal, then both TS and ST are self-adjoint and ST = TS. Some examples accompany our results. 38
Conception et développement d’une application GMAO Biomédicale Hospitalière
(2022) : Allou, Loutfi
Le développement de ce projet utilise la technologie UML, qui permet l'utilisation de diagrammes de cas d'utilisation et de tâches de conception pour effectuer correctement les tâches d'analyse des besoins, les scénarios sont donc également très détaillés pour expliquer toutes les tâches.
« Conception et implémentation d’une application android Pour le diagnostic de diabète»
(2022)  AROUS, KAOUTAR
Diabetes is a chronic disease that can be caused by the body's inability to make or to use the insulin produced. Over time, diabetes can damage the heart, blood vessels, eyes, kidneys and nerves ... etc. New concepts have emerged such as telemedicine, e-health, or the Internet of Things (IoT) in the health domain. These innovations quickly spread around the world to turn the tide. This master's thesis proposes an IoT application for diagnosis and help of diabetics. The application measures blood glucose levels of a patient at reconfigurable time intervals or whenever necessary to detect potential diabetes or monitor the progress of existing diabetes.
Conception et réalisation d'une application basée sur l’architecture SOA avec Java EE
(Université Mohamed el-Bachir el-Ibrahimi Bordj Bou Arréridj Faculté de Mathématique et Informatique, 2021) Fratsa, Yassine; Zitouni, Amel
L’ANEM, l’Agence Nationale de l’Emploi, est un établissement national fondé en 1962. Elle est considérée aujourd’hui comme étant le premier intermédiaire entre les employeurs et demandeurs de l’emploi. Les besoins d’accompagnement de ces derniers ne cessent de croître et l’ANEM cherche à mieux les cibler. Dans ce contexte, une application Desktop, GEST-DAIP avait été mise en place pour gérer le dispositif d’aide à l’insertion professionnelle DAIP. Néanmoins, l’architecture applicative de « Gest-Daip » empêche l’extensibilité et l’évolution de ses services à cause des difficultés de la mettre à jour et d’ajouter des nouvelles fonctionnalités ce qui à empêcher le développement des nouveaux besoins métiers qui est l’intégration des bénéficiaires DAIP qui impose la collaboration avec les partenaires de l’ANEM pour le partage de données et de services métier. Le présent projet consiste à concevoir et réaliser une plateforme « TARSSIM » qui sera basée sur une architecture SOA. Il a pour but d’améliorer la qualité, l’extensibilité et la maintenabilité des services existant pour la gestion et le contrôle de l’opération d’intégration. Cette refonte se fera en premier lieu en unifiant les sources de données, ensuite un ensemble de services web sera développé et mis à la disposition des partenaires de l’ANEM sous forme d’API REST en utilisant la technologie Java-EE. Mots clés: Architecture Orientée Services (SOA), Application Programming Interface (API), Services Web, Representational state transfer (REST), Java Enterprise Edition (JAVA EE). vi Abstract ANEM, the National Employment Agency, is founded in 1962. Today, it is considered as the first intermediary between employers and jobseekers in Algeria. The needs of the latter for support are constantly growing and ANEM seeks to better target them. In this context, a web platform, « Gest-Daip » has been developed to manage the professional integration assistance system DAIP. Nevertheless, the application architecture of « Gest-Daip » prevents the extensibility and evolution of new services. Moreover, this system is difficult to add new functionality, hence the need for the integration of DAIP beneficiaries which requires collaboration with ANEM partners for the sharing of data and business services. This project consists of designing and building a “TARSSIM” platform which will be based on an SOA architecture. It aims to improve the quality, scalability and maintainability of existing services for the management and control of the integration operation. This redesign will be done first by unifying the data sources, then a set of web services will be developed and made available to ANEM partners in the form of a REST API using Java-EE technology. Keywords: Service-Oriented Architecture (SOA), Application Programming Interface (API), Web Services, Representational state transfer (REST), Java EE. vii ملخص الوكالة الوطنية للتشغيل هي مؤسسة وطنية أنشأت سنة 1962 ، تلعب دور الوساطة بين طالبي العمل والمستخدمين، وتسعى إلى تحسين طرق استهداف ودعم احتياجاتهم المتزايدة في مجال التشغيل. في هذا السياق، قامت الوكالة باستحداث الأرضية الرقمية GEST-DAIP لتسيير جهاز المساعدة على الإدماج المهني. ومع ذلك، فإن الوكالة الوطنية للتشغيل تواجه عقبة أمام تطوير وتنويع هذه الخدمات، نظرا لمحدودية وصعوبة تحديث هذا النظام ليتماشى مع متطلبات المرحلة الجديدة والمتمثلة في ادماج المستفيدين من جهاز المساعدة على الإدماج المهني والذي يتطلب تعاون الوكالة مع الشركاء والمستخدمين لتبادل مجموعة من البيانات والخدمات. يهدف مشروعنا هذا إلى إزالة الصعوبات التي تعرقل هذه العملية وذلك من خلال إعداد وتصميم ارضية رقمية » ترسيم Tarim « بالاستناد على هندسة النظم المعلوماتية الموجهة للخدمات SOA. هذ ا الإعداد يتم في المرحلة الأولى عن طريق توحيد مصادر البيانات، ثم تطوير مجموعة من خدمات WEB وإتاحتها لشركاء الوكالة كواجهات برمجة تطبيقات API ذات طابع REST مع استخدام تكنلوجيا Java EE الكلمات المفتاحية: هندسة النظم المعلوماتية الموجهة للخدمات (SOA) ، واجهة برمجة التطبيقات ) API (، خدمات الويب،
Contrôlabilité approchée et exacte de quelques système d évolution
(université de Bordj Bou-Arréridj Faculté des mathématiques et de l'informatique, 2020-09-05) KAHIA, Soumaya; chalabi, Randa
Dans ce mémoire, nous présentons quelques méthodes dans le but d étudier la contrôlabilité de systèmes d équations aux dérivées partielles. L objet principal de ce mémoire est d étudier les propriétés du contrôle simultané de deux équations d ondes unidimensionnelles (fortement couplées) lorsque le contrôle agit sur le bord. Plus précisément on s intéresse plus à la contrôlabilité approchée et exacte de systèmes hyperboliques formés de deux équations des ondes linéaires couplées, le couplage est une fonction régulière mais elle peut changer de signe, avec un seul contrôle par le bord, nous choisissons d étudier le cas avec des vitesses d ondes identiques et di¤érents. On commence par rappeler des résultats généraux d existence et d unicité de solutions pour ces systèmes et de dualité entre contrôlabilité et observabilité, puis on présente un outil (l inégalité de Ingham) permettant d établir des inégalités d observabilité. Notre preuve du résultat principal est basée sur une description précise du spectre associé au sys- tème et qui se comporte asymptotiquement comme l équation des ondes. On prouve des conditions nécessaires et su¢ santes pour la contrôlabilité approchée et exacte.
Contrôlabilité d'un système hyperbolique
(Université de Bordj Bou Arreridj Faculty of Mathematics and Computer Science, 2021) BENDRIS, Amina
RÈsumÈ Dans ce mÈmoire, je prÈsenter quelque mÈthodes dans le but díÈtudier la contrÙlabilitÈ díÈquation aux dÈrivÈes partielles. Líobjectif de ce mÈmoire est díÈtudier la contrÙlabilitÈ exacte aux limites de deux Èquations díonde unidimensionnelles couplÈes avec un contrÙle agissant uniquement dans Èquation. Le problËme se transforme en problËme de moment. Mots clÈe: Èquation díonde couplÈes, contrÙlabilitÈ, base de Riesz, problËme de moment. 4 Abstract In this thesis, I present some methods in order to study the controllability of partial derivatives equation.We study the exacte boundary controllability of two coupled one dimensional wave equation with a control acting only in one equation. The problem is transformed into a moment problem. Keywords: coupled wave equations, contollability, Riesz base, moment problem.
Contrôlabilité des systèmes paraboliques avec un seul contrôle
(2021) LAMARA, Madiha; SAADOUNE, Youssra
Abstract In this memory, we present some methods in order to study the controllability of systems of partial differential equations. We consider the null controllability problem for two coupled paraboic equation with a space-depending coupling term. we analyze both boundary and distributed null controllability. In each case, we exhibit a minimal time of control, that is to say, a time T0 ∈ [0,∞] such that the corresponding system is null controllable at any time T > T0 and is not if T < T0. In the distriduted case, this minimal time depends on the relative position of the control interval and the support of the coupling term. We also prove that, for a fixed control interval and a time τ0 ∈ [0,∞] , there exist coupling terms such that the associated minimal time is τ0. Keywords : Existence and uniqueness, parabolic system, the method of moments and the inequality of Ingham, inequality of observability, Approximate controllability, exact controllability. Résumé Dans cette mémoire, nous présentons quelques méthodes dans le but étudier la contrôlabilité des systèmes d’équations aux dérivées partielles. Nous considérons le problème de contrôlabilité nulle pour deux équations parabolique couplées avec un terme de couplage dépendant de l’espace. Nous analysons à la fois la contrôlabilité nulle aux limites et distribuée. Dans chaque cas, on exhibe un temps de pilotage minimale, c’est-à-dire un temps T0 ∈ [0,∞] et n’est pas T < T0. Dans le cas distribué, ce temps minimal dépende de la position relative de l’intervalle de contrôle et du support du terme de couplage. Nous montrons également que pour tout un intervalle de contrôle fixe et un temps τ0 ∈ [0, ∞] , il existe des termes minimal associé est τ0. Mots clés : Existence et unicité, système parabolique, la méthode des moments et l’inégalité de Ingham, Inégalité d’observabilité, Contrôlabilité approchée, Contrôlabilité exact.
Crossing limit cycles for some classes of piecewise linear systems
(université de Bordj Bou-Arréridj Faculté des mathématiques et de l'informatique, 2020-09-05) Ouidir, Siham; Kaabour, Randa
The study of piecewise linear di erential systems is relatively recent. Such that the dynamics of the piecewise linear di erential systems started to be studied around 1930, mainly in the book of Andronov et al [1], which is russian version. The contribution of Andronov, Vitt and Khaikin [1] provided the basis for the development of the theory for this system. Many researchers from di erent elds interested this kind of di erential systems, one of the reasons for this interest in the mathematical community is that these systems are widely used to model phenomena appearing in mechanics, electronics, economy, neuroscience,..., and it can be used to model applied problems, such as electronic circuits, biological systems, mechanical devices, etc, see for instance the book [6]. A limit cycle is a periodic orbit of a di erential system in R2 isolated in the set of all periodic orbits of that system. The study of the limit cycles goes back essentially to Poincar e [20] at the end of the 19th century. One of the main problems in the dynamics of the di erential systems in the plane is to control the existence and the number of their limit cycles. This problem restricted to polynomial di erential systems is the famous 16th Hilbert's problem. see more in [12, 14, 13]. The existence of limit cycles became important in the applications to the real world, because many phenomena are related with their existence,see for instance the van der Pol oscillator [22]. Thus in recent years, the theory of piecewise linear di erential systems has been increasingly developed and studied in order to understand the dynamics that such systems may have. In this sense one of the points of greatest interest is to obtain a lower bound for the maximum number of limit cycles that may arise around a single equilibrium point on the discontinuity set (i.e., on the region separating the linear di erential systems). This investigation started with the simplest possible case: the continuous piece- wise linear di erential systems with two zones separated by a staight line. Lum and Chua [18, 19] in 1991 conjectured that such di erential systems have at most one limit cycle. Later this conjecture was proved by Freire, Ponce, Rodrigo and Torres [9] in 1998. while for the planar discontinuous piecewise linear di erential systems in R2. Of course, the simplest piecewise linear di erential systems in R2 are the ones having only two pieces separated by a curve, and when this curve is a straight line. Han and Zhang [11] obtained di erential systems having two limit cycles and conjured that the maximum number of limit cycles of such class of di erential systems is two. But in this last years many authors have studied the limit cycles of discontinuous piecewise linear di erential systems in R2. Thus the limit cycles of these last class of discontinuous piecewise linear di erential systems has been intensively studied, see [2, 3, 7]. Up to know the results of all these papers only provide examples that the discontinuous piecewise linear di erential systems in R2 separated by a straight line can have 3 crossing limit cycles.
Crowding Population-based Ant Colony Optimization for the Multi-objective Traveling Salesman Problem
(Université de Bordj Bou Arreridj Faculty of Mathematics and Computer Science, 2022-09-19) HARADJ, Ahlem; SADAOUI, Amira
In this thesis, we propose an approximate optimization of an ant colony that depends on swarm intelligence, in order to solve one of the combinatorial optimization problems which is the multi-objective peddler problem, using the populationbased ant colony (PACO) algorithm, which uses a population in addition to a traditional pheromone matrix, after So we used PACO with Crowding Population Replacement Scheme in order to increase the efficiency and effectiveness of the research.
dddddd Etude d’un probl`eme de transport multi-objectif Cas ´ de Coop´erative des C´er´eales et Legumes Secs (CCLS) de B.B.A
(Université de Bordj Bou Arreridj Faculty of Mathematics and Computer Science, 2022-06-03) Layadi, ILyas
In our time, transport is one of the greatest problems that disrupts progress in various areas. In our work we admit studied the problem of transport related to the cooperative of cereals and pulses and proposed a mathematical model for the problem of multi-objective transpor, to serve our theme we recalled the notions of basics related to multi-objective optimization and also the problem of mono and multi-objective transport.
Détection du covid-19 à partir des images radiographiques grâce à deep learning
(2022-07-02) Saidi, Sara; Boukhari, Nesrine
Dans ce chapitre, nous passerons en revue les différents outils et algorithmes que nous avons utilisés pour mener à bien ce projet .Nous avons fixé un objectif à cette recherche, qui est de comparer les performances de différentes approches de classification des images pathologiques. Ensuite, à partir de base de données collectés, nous avons présenté les résultats des architectures que nous avons développées. Nous avons comparé les différentes méthodes des classificateurs comme SVM et KNN.