قسم الرياضيات

Permanent URI for this collection

http://localhost:4000/handle/123456789/91

Browse

Now showing 1 - 20 of 47

On the theory and Applications of Fractional differntial equations
(Oum-El-Bouaghi university, 2013) Mabrouk, Bragdi; Hazi, Mohammed
In this work we consider two type of fractional abstract differential equations. The purpose of the first part is to extend the classical results (existence, uniqueness, regularity of solution and controllability) of ordinary abstract evolution equations to fractional abstract quasilinear equations. In the second part we study existence, uniqueness and controllability of nonlinear control system governed by a semilinear differential inclusion. For completeness, these results are derived using resolvent operators, family resolvent operators, almost sectorial operators theory, fixed point theorems as well as fractional calculus.
Problèmes mixtes pour équations aux dérivées partielles avec conditions aux bords intégrales
(Université d' Oum El Bouaghi, 2014) Tayar, Nadir; Bouzit, Mohammed
Le but de cette présente thèse est d'étudier deux cas particuliers d'un problème mixte général avec conditions intégrales appelées également conditions non locales. Ces problèmes peuvent être rencontrés en théorie de transmission de chaleur, élasticité et thermo-élasticité, physique de plasmas, dynamique de populations et dynamique de fluide (applications biomédicales instables par exemple). La méthode utilisée est celle des inégalités énergétiques, basée sur la recherche d'un opérateur Mu, dit multiplicateur, qui dépend généralement de la condition non locale, la fonction u, ses dérivées et d'une certaine fonction poids. La présence de conditions non locales provoque des complications dans l'application de méthodes standards pour la résolution des équations aux dérivées partielles. Pour cela, on a transféré le problème du 1er cas en un autre pouvant être traité plus efficacement. On démontre l'existence par la méthode standard de Fourier, la preuve de l'unicité est basée sur une estimation a priori. Pour le 2ème l'existence de la solution forte découle de la densité de l.'image de l'opérateur engendré par le problème considéré, chose faisable moyennant des opérateurs de régularisation que l'on choisira suivant la nature de problème.
Etude théorique et numérique des problèmes d'identification des systèmes gouvernés par des équations aux dérivées partielles
(Université d' Oum El Bouaghi, 2015) Rezzoug, Imad-Eddine; Ayadi, Abdelhamid
Dans la première partie, on considère l'équation de la chaleur dans un domaine dont une partie de la frontière est inconnue. Une méthode pour l'identification de cette partie inconnue à partir d'une observation partielle de la solution est présentée. Elle est basée sur la méthode des sentinelles. La méthode montre l'existence de sentinelles approchées sur le système linéarisé et construit une méthode de point fixe. Pour montrer l'existence des sentinelles linéarisée le problème d'identification est reformulé en un problème de contrôlabilité approchée dont la solution est obtenue par une technique d'analyse convexe. La propriété de contraction du point fixe découle directement de la définition des sentinelles. Enfin, des résultats numériques sont présentés. Dans la deuxième partie, La modélisation des problèmes environnementaux conduit à des systèmes mathématiques à données manquantes. C'est le cas par exemple des problèmes de météorologie où l'on ne connaît jamais la donnée initiale. Nous sommes concernés dans ce travail, par l'identification des termes de pollution présents dans l'équation d'état d'un système dissipatif à donnée initiale incomplète. Dans ce but, la méthode des sentinelles de J. L. Lions. Ces sentinelles sont construites à partir de l'existence de la contrôlabilité exacte du système adjoint. Dans ce travail, on se propose de définir la notion "des sentinelles faibles" pour étudier l'estimation de la source (terme de pollution) du système parabolique faiblement contrôlable, indépendamment de la donnée initiale (terme manquant). Dans cette étude on se place dans un cadre fonctionnel assurant l'existence et l'unicité de l'état du système.
L'Etude de la solution des problèmes pour une classe d'équations aux dérivées partielles avec une condition non locale de type intégrale
(Université d' Oum El Bouaghi, 2015) Oussaeif, Taki Eddine; Zaimi, Toufik
Dans ce travail on a étudié divers problèmes non locaux pour plusieurs types d'équations aux dérivées partielles avec conditions aux limites du type intégral. On a débuté par des rappels de certaines notions préliminaires fondamentales et les outils nécessaires dans ce travail. Les chapitres 2 et 3 traitent deux problèmes mixtes avec condition intégrale à deux bornes variables pour une équation parabolique. On transfère le problème à un autre non-locale aussi, mais moins compliqué et qui ne contient pas de condition intégrale, puis on démontre l'existence et l'unicité de la solution forte. La démonstration est basée sur l'inégalité d'énergie et sur la densité de l'image de l'opérateur engendré par le problème considéré. En utilisant la même méthode dans le quatrième chapitre, on a étudié pour la première fois un problème mixte lié à une équation parabolique fractionnaire du second ordre mariant une condition classique de type Neumann et une condition intégrale. Un cinquième chapitre dans lequel on a examiné une problématique émergente qui est l'étude de l'existence et l'unicité d'une solution faible d'un problème mixte pour une équation hyperbolique non linéaire avec une condition intégrale et une condition de Neumann en utilisant un processus itératif basé sur les résultats obtenus pour le cas d'un problème linéaire. Ensuite, le sixième chapitre est voué à l'étude de l'existence et l'unicité de la solution d'un problème inverse pour une équation parabolique avec une condition au bord non locale et une condition intégrale par l'application du théorème de point fixe de Banach. Enfin en septième chapitre, une résolution numérique simple a été réalisée pour un problème avec des conditions intégrales pour une équation parabolique en utilisant la méthode des différences finies et la méthode spectrale.
Vers un environnement de simulation à évènements discrets basé sur le paradigme de la programmation orientée aspects
(Université d' Oum El Bouaghi, 2015) Chibani, Meriem; Bourouis, Abdelhabib
La simulation orientée objet est actuellement très répandue et se base sur le paradigme orienté objet (OO). Les systèmes de simulation à évènements discrets (DES) mettent en oeuvre plusieurs préoccupations transversales telles que la gestion des événements, la détection de la phase d'équilibre et le suivi de la trace d'une simulation. Ces préoccupations ont tendance à produire deux problèmes majeurs qui dépassent les capacités du paradigme OO utilisé en simulation : l'enchevêtrement et la diffusion de code de simulation. Cela augmente la complexité et réduit la maintenabilité qui exige une séparation spécifique des préoccupations (Separation of Concerns : SoC). La programmation orientée aspect (AOP) apprête une plus grande attention aux préoccupations transversales relativement à d'autres paradigmes en offrant des langages robustes tel qu'AspectJ. L'application de l'AOP dans la simulation constitue un axe de recherche novateur et d'actualité. Dans cette thèse, nous proposons une architecture pour un environnement de modélisation et de simulation à évènements discrets basé sur l'AOP. Notre contribution comprend trois volets : le premier, représente une étude comparative entre les approches de la programmation orientée aspect tel que la programmation orientée sujet et Xerox Parc AOP. Le deuxième volet concerne l'identification des besoins non fonctionnels dans le domaine de la modélisation et de la simulation à évènements discrets. En plus, une architecture pour un environnement de modélisation et de simulation à évènements discrets basé sur l'AOP est proposée, en utilisant la bibliothèque Japrosim comme un noyau. Enfin, le dernier volet concerne la proposition d'un profile UML pour l'application de l'AOP au niveau de la conception. Ce profile est spécifique au langage AspectJ et utilise l'outil Xpand pour la génération automatique de code comme un model- to- text transformation outil
Chaos et bifurcations dans les systèmes dynamiques en dimensions n (n > 1)
(Université d' Oum El Bouaghi, 2016) Menasri, Abdellah; Zeraoulia, Elhadj
Nous avons présenté dans ce mémoire un cadre de base sur le chaos et les bifurcations dans les systèmes dynamiques en dimension n (n>1). Au début, nous avons présenté l'importance de la théorie du chaos et bifurcations dans les systèmes dynamiques, et leurs applications dans les différents domaines de la science. Nous avons démontré que le chaos représente un mécanisme important d'adaptation, et qu'il intervient largement dans le monde du vivant. Après, on a focalisé sur deux théories des systèmes dynamique, on parle de la théorie de la bifurcation et la théorie de chaos. On a exposé l'un des bifurcations la plus étudiée aux systèmes dynamiques au cours des dernières années, appelé ‹‹ la bifurcation collision des frontières ›› qui ce produit aux systèmes dynamiques lisses par morceaux. On a présenté également quelques propriétés et quelques types de chaos, l'un de ces types est ‹‹ le chaos robuste ››. Finalement, on a examiné le chaos robuste sur une famille d'applications de Lozi avec la fonction max et démontré qu'ils peuvent avoir des attracteurs chaotiques robustes pour certaines valeurs de ces deux paramètres, nous avons donné certaines conditions et certaines formes de deux fonctions f et g pour les deux paramètres a et b, de sorte que ces cartes converge vers un attracteur chaotique robuste.
Etude et estimation des bornes de systèmes dynamiques chaotiques et hyper chaotique
(Université d' Oum El Bouaghi, 2016) Rezzag, Samia; Zehrour, Okba
DDans la première partie de cette thèse, en utilisant une analyse rigoureuse des fonctions multi variables, nous généralisons tous les résultats existants dans la littérature actuellepourlabornesupérieured'unsystème4-D quadratique généralisé à temps continu. En particulier, nous trouvons les grandes régions dans l'espace des paramètres de bifurcation de ce système où il est borné. Dans la deuxième partie, nous estimons la borne extrême et l'ensemble positivement invariant pour le système hyper chaotique le plus général de dimension quatre à temps continu. Spécialement, nous rapportons des conditions suffisantes pour que ce système soit contenu dans une surface ellipsoïdale à quatre dimensions. Nous prouvons également que l'ensemble des systèmes qui vérifient ces conditions n'est pas vide car le système de Lorenz-Stenflo appartient à cette
Test des systèmes multi-agents holoniques
(Université d' Oum El Bouaghi, 2016) Dehimi, Nour El Houda; Mokhati, Farid
Les systèmes multi-agents, basés organisation, s'imposent de plus en plus dans le domaine du développement de systèmes complexes et distribués. Les systèmes multi-agents holoniques (SMAH) sont considérés comme étant une organisation bien établie permettant la construction des systèmes complexes d'une manière très efficace en termes d'utilisation des ressources, de la résistance aux perturbations et de l'adaptation aux changements de leur environnement. Le développement des applications basées sur les SMAH demeure peu solide. L'activité de test, qui représente une tâche importante dans l'assurance de leur qualité, n'est pas bien couverte. Dans cette thèse, nous proposons une nouvelle approche de test basée sur les modèles spécifiques aux agents holoniques. La technique utilise les algorithmes génétiques et prend en compte l'évolution (versions successives) d'un agent. Elle est organisée en deux principaux processus qui s'exécutent d'une façon itérative. Le premier processus porte sur la détection d'une nouvelle version de l'agent à tester. Le deuxième processus porte sur le test de chaque nouvelle version détectée. La nouvelle version de l'agent est analysée afin de générer un modèle comportemental sur lequel est basée la génération des cas de test. Le processus de génération des cas de test se concentre sur les nouvelles (et / ou modifiées) parties du comportement de l'agent. De cette manière, la technique prend en charge une mise à jour incrémentielle des cas de test, qui est un problème crucial. Un outil logiciel que nous avons développé prend en charge la technique proposée. L'approche et l'outil associé sont illustrés à l'aide d'une étude de cas concrète
Algorithme de routage pour les réseaux de capteurs avec prise en charge de la consommation d'énergie
(Université d' Oum El Bouaghi, 2017) Gherbi, Chirihane; Aliouat, Zibouda
La distribution des capteurs sans fil dans une zone géographique a permis d'optimiser les applications de surveillance. La conception de ce type d'architecture est soumise à certaines contraintes. Nous nous sommes intéressé aux paramètres suivants : l'énergie, la localisation, le facteur d'échelle, les ressources limitées, la bande passante limitée, l'équilibrage de la charge et la topologie dynamique. Nous avons proposé un protocole de routage (HEBM : HierarchicalEnergybalancingmultipthroutingprotocol). Notre intérêt s'est porté sur un mécanisme d'équilibrage de charge grâce à la réalisation d'une bonne distribution des cluster-heads dans le modèle de réseaux et pour améliorer les performances en termes de durée par la réduction du signal de transmission et les messages de contrôle. En fait, dans le cas où un ensemble de capteurs se situe dans la même zone géographique et doit capter la même information, tous ces capteurs vont par la suite communiquer cette information à la station de base. De ce fait, une consommation inutile de l'énergie aura lieu (malgré l'utilisation des mécanismes d'agrégation dans le but d'éliminer les données redondantes) et qui par conséquent, dégrade les performances du réseau et diminue la durée de vie des capteurs et du réseau tout entier. Dans ce cas, un mécanisme d'équilibrage de la charge et d'énergie devient indispensable afin d'équilibrer la consommation de l'énergie. L'approche proposée vise à remplir les objectifs suivants : Diminution de la consommation globale d'énergie en équilibrant la dissipation d'énergie entre les noeuds. Cela a eu comme conséquence directe l'extension de la durée de vie du réseau. L'équilibrage de la charge des clusters doit être bien fait par l'utilisation de deux contributions : Le cluster-head temporaire et le cluster-head final. Les Cluster-heads sont parfaitement déterminés par une formule mathématique proposée, et sont convenablement répartis sur la zone d'intérêt. Le Clustering proposé prend en compte la complexité du message et le temps. Les cluster-heads et les noeuds correspondants doivent prendre en compte les métriques suivantes : diminuer la latence, la fiabilité des données reçues à la station de base. L'évaluation de performances du protocole proposé montre qu'il assure une réduction importante du nombre de clusters solitaires et un gain énergétique considérable
Problèmes aux limites avec conditions mixtes classiques et non locales
(Université Larbi Ben M'hidi Oum El Bouaghi, 2017) Bahloul, Tarek; Bouzit, Mohamed
cette thèse nous étudions deux types de problèmes aux limites. Pour le premier nous démontrons l'existence et l'unicité des solutions par l'application de différents théorèmes du point fixe. Pour le deuxième problème, nous démontrons l'existence des solutions non nulles et continues a partir des inégalités de Lyapunov et de Hartman-Wintner In this thesis, we studied two types of boundary value problems. For the first, we have demonstrated the existence and uniqueness of solutions by the application of different fixed point theorems. For the second problem, we have demonstrated the existence of non-zero and continuous solutions from the inequalities of Lyapunov and Hartman-Wintner.
System level energy consumption optimization in network on chip (NoC) for mulimedia applications
(Université d' Oum El Bouaghi, 2017) Belkebir, Djalila; Boutekkouk, Fateh
Aujourd'hui, avec l'avènement de nouvelles technologies d'intégration à très grande échelle, les réseaux sur puce sont considérés comme une solution prometteuse, offrant des coûts réduits et une haute flexibilité et performance par rapport aux systèmes sur puce à bus. Cependant, les applications multimédia actuelles intégrées sont de plus en plus de calcul intensif en raison du grand nombre de fonctions intégrées. Ces applications sont souvent mappés sur des systèmes mobiles qui doivent fonctionner à faible consommation d'énergie, mais l'accent est non pas mis sur la mise en oeuvre d'une seule application sur des plates-formes multi-coeurs, mais en utilisant une seule puce qui prend en charge des scénarios multi-applications ainsi que les stratégies du mapping projetant les tâches d'application sur la puce devraient réduire au maximum la consommation d'énergie sous contraintes temporelles. En effet, les algorithmes génétiques sont largement utilisés pour résoudre des problèmes complexes pour leurs mises en oeuvre faciles et la réalisabilité de l'optimum global avec une solution approchée correcte, mais les algorithmes évolutionnaires inspirés de la quantique ont surpassés les algorithmes évolutionnaires classiques pour leurs capacités de résoudre des problèmes complexes dans un temps polynomial est d'équilibrer entre l'exploration et l'exploitation de l'espace de solution et obtenir également de meilleures solutions, même avec une petite population. De l'autre coté, les automates cellulaires sont des systèmes dynamiques où l'une de leurs principales caractéristiques est la règle de transition qui est représentée par une structure très simple, mais le résultat de leurs comportements globaux peut être très complexe. La simplicité des automates cellulaires et le modèle mathématique rigoureux sur lequel sont fondés sont les raisons d'être fortement favoris pour être utilisé dans les systèmes complexes et en particulier dans les réseaux sur puce, où un grand nombre de processeurs sont intégrés sur une seule puce qui devrait supporter un débit élevé, une faible latence et une communication de données sous contraintes temporelles et énergétiques. Pour cela, dans le contexte de notre thèse, nous étudions comment les algorithmes génétiques quantiques peuvent évoluer les automates cellulaires pour optimiser la consommation d'énergie pour les applications multimédia sur réseau sur puce à topologie Mesh 2D où chaque règle de transition représente un chromosome qui permet une programmation automatique des nouvelles règles de transition. Nous montrons que les automates cellulaires évolutionnaires quantiques est une technique favorable qui stimule le processus de découverte de règles efficaces qui conduisent à une meilleure fonction de fitness. Dans notre travail, nous nous somme intéressés par l'optimisation de la consommation d'énergie dynamique bien que l'estimation prenne en compte la consommation d'énergies dynamique et statique
Théorèmes du point fixe commun dans les espaces métriques probabilistes
(Université Larbi Ben M'hidi Oum El Bouaghi, 2017) Benaoua, Leila; Aliouche, Abdelkrim
Dans ce travail on a étudié divers problèmes de point fixe commun dans des espaces métriques probabilistes. On a débuté dans un premier chapitre par des rappels de certaines notions préliminaires fondamentales et les outils nécessaires qui nous aident dans la démonstration des résultats obtenus dans ce travail. Le deuxième chapitre est consacré à l'étude d'un point fixe commun pour deux paires d'applications faiblement compatibles et satisfont la propriété CLR (The Common Limit Range property) dans des espaces de Menger intuitionnistes.
Asymptotic analysis of some singular perturbation problems
(université Oum-El-Bouaghi, 2018) Azouz, Salima; Guesmia, Senoussi
In the present work we focus on the analysis of the asymptotic behaviour of the solutions to anisotropic singular perturbation boundary value problems. A complete description of the asymptotic behaviour on the whole domain of definition is established. Two types of functions are constructed. The first type acts far away from the boundary layers to give the best possible approximation. The second one deals with the behaviour near the boundary layers to recover the complete approximation with a sharper rate of convergence. In fact, we go beyond the limit behaviour by considering the regular and the composite asymptotic expansions of arbitrary order. This allows to get an asymptotic approximation of a polynomial rate of convergence in arbitrary order or even an exponential one.
Attracteurs étranges et chaos
(université oum el bouaghi, 2018) Hannachi, Fareh; Zeraoulia, Elhadj
Dans ce travail, nous nous intéressons à trouver les conditions nécessaires et suffisantes pour l'émergence d'un type de ramifications spécial et important appelé équinoxe dans le cas d'une généralisation non linéaire généralisée avec plusieurs dimensions de définition bidimensionnelle. Ce type de dendriticité se produit au moyen de groupes infinis d'orbites périodiques stables. Où nous avons utilisé la définition du rang de la matrice des transactions fixes et de la matrice étendue en termes de petits déterminants de chacun pour trouver les conditions nécessaires et suffisantes pour l'occurrence de ce type de divergence.
Contribution aux techniques de modélisation et de simulation multi-paradigme et multi-formalisme basée sur l’ingénierie dirigée par les modèles
(université oum el bouaghi, 2018) Nasri, Ahlem; Bourouis, Abdelhabib
La modélisation des systèmes complexes, y compris les systèmes à événements discrets, reste un défi majeur pour les concepteurs de cette classe de systèmes. La complexité et la taille de ces systèmes empêchent de comprendre leurs modèles. Dans cette thèse, nous proposons une approche pour réduire les modèles de réseaux à files d'attente de grande taille en d'autres plus petits. L'objectif est de réduire le temps d'analyse ainsi que de la simulation en plus de la bonne compréhension du système étudié. L'idée de base est de diviser le modèle en un ensemble de sous-modèles plus petits, hiérarchiquement organisés et plus facile à gérer. Ces derniers sont analysés isolément. Les principales contributions de ce travail sont la substitution de chaque sous-modèle par une seule station M / G / ? et l'automatisation du processus de décomposition en utilisant des techniques de transformation de modèles à l'aide de l'outil de Méta-modélisation AToM3. En outre, les modèles résultants de l'application de cette approche peuvent être transformés en modèles de réseau de Petri à files d'attente ce qui réduit le coût d'analyse et/ou de simulation. Ces deux approches ont été validées à l'aide des études de cas dans lesquelles plusieurs indices de performance ont été prédits avec une grande précision. La conclusion principale est que l'approche de réduction fournit des résultats exacts pour le nombre moyen global de clients et le temps de résidence moyen sur l'ensemble du réseau. Un modèle de réseau à files d'attente peut être transformé en un modèle de réseau de Petri à files d'attente équivalent tout en prenant en considération l'aspect de représentation selon différents niveaux d'abstraction.
Optimal control of some hyperbolic equations with missing data
(university of Oum- El- Bouaghi, 2018) Hafdallah, Abdelhak; Ayadi, Abdelhamid
The objective of this thesis is to study the optimal control of distributed systems with incompletedata, particularly distributed hyperbolic systems. No-regret control or equivalently Pareto controlare used by J. L. Lions to solve the optimal control problems associated with distributed systemswith incomplete data. Averaged control was introduced recently by Zauazua to control systemsdepending upon an unknown parameter. We present some distributed systems with missing data, we control them via no-regret controland low-regret control methods, and we obtain some optimality systems that characterize theoptimum. The main idea in our work is to apply the notions of no-regret control and averaged control to ahyperbolic equation with unknown parameter and a missing boundary condition. The consideredmodel is motivated by an application in biomedicine. We have introduced the notion of averagedno-regret control to control distributed systems with two kinds of incomplete data, on contrarywith previous works, where authors have considered only one kind of missing data. The averagedno-regret control will be characterized by an optimality system.
Problèmes aux limites avec conditions non locales
(Université Oum El Bouaghi, 2018) Necib, Abdelhalim; Merad, Ahcen
Dans ce travail, nous intéressons à l'étude de l'existence et l'unicité d'une solution forte à deux problèmes d'évolutions avec des conditions aux limites non locales de type intégral. Le premier type pseudo-hyperbolique-intégro-différentiel et le second de la classe partielle fractionnaire. La preuve est basée sur des estimations à priori et la densité de l'image de l'opérateur engendré par le problème considérée. Nous avons également utilisé deux méthodes semi-analytiques pour estimer cette solution, la première est la transformée de Laplace avec l'algorithme de Stehfest et la deuxième est perturbation de l'homotopie. De plus, quelques exemples sont donnés pour comparer les solutions numériques et exactes.
Formalisation de la méthodologie passi
(université Oum-El-Bouaghi, 2018) Mazouz, Mihoub; Mokhati, Farid
Le paradigme agent a prouvé sa capacité et son efficacité dans le développement des systèmes distribués et complexes. Durant les deux dernières décennies, plusieurs méthodologies de développement des systèmes multi-agents (MAS) ont été proposées telles que Gaia, Tropos et PASSI. Bien que ces méthodologies et autres aient contribué de manière significative à relever plusieurs défis dans le domaine de développement des SMA, la plupart d’entre elles sont basées sur des notations semi-formelles et n’utilisent pas des techniques formelles, ce qui met les spécifications produites lors des phases du cycle de développement susceptibles de contenir des inconsistances, d’incohérences ou des ambiguïtés. L’utilisation de méthodes formelles fait face à ces lacunes et peut permettre une description précise et non ambigüe du système sous-développement. Dans cette thèse, nous proposons la méthodologie F-PASSI (Formal-PASSI), une extension de la méthodologie PASSI. F-PASSI vise à adopter de spécifications formelles et les exploiter pour en appliquer quelques techniques formelles. Le processus de conception de F-PASSI se compose de celui de PASSI en lui intégrant un modèle formel. Ce dernier se compose de quatre phases et vise à offrir une description formelle basée sur la logique de réécriture et son langage Maude par l’exécution de deux transformations successives. La première transformation est du type Modèle-à-Modèle (M2M) et en résulte un modèle Maude à partir d’un modèle PASSI. La deuxième transformation est du type Modèle-à-texte (M2T) et en résulte une description basée-Maude à partir du modèle Maude généré. La description formelle produite est exploitée ensuite pour valider les diagrammes comportementaux conçus dans les modèles qui précèdent le module formel, et pour vérifier des propriétés au niveau d’abstraction Multi/Single agent avant le passage au modèle de codage. F-PASSI est supportée par un outil que nous avons développé (F-PTK). L’outil développé facilite aux développeurs leurs tâches surtout le fait qu’il soit basé sur une technique de traçabilité que nous avons aussi proposée. La méthodologie proposée et l’outil développé sont illustrés à travers une étude de cas.
Amélioration des modèles de variabilité dans les lignes de produits logiciels pour une meilleure adoption
(université Oum-El-Bouaghi, 2018) Araar, Imad Eddine; Seridi Bouchelaghem, Hassina
Pendant de nombreuses décennies, plusieurs organisations ont lancé des initiatives de réutilisation des logiciels pour améliorer leur productivité. Les lignes de produits logiciels (LdP) ont abordé ce problème en organisant le développement de logiciels autour d'un ensemble de fonctionnalités qui sont partagées par un ensemble de produits. Pour accélérer la migration d'une organisation vers une solution LdP, les anciens systèmes déjà développés dans cette organisation constituent un appui fort. Afin d'exploiter les produits logiciels existants pour la construction d'une nouvelle LdP, les fonctionnalitésqui composent chacun des produits utilisés doivent être spécifiées en premier lieu. Pour ce faire, le code source des systèmes analysés représente la source la plus fiable qui capitalise sur les connaissances des experts impliqués dans le développement de ces systèmes. Il est inévitable, cependant, que les systèmes développés dans une organisation soient créés par différent programmeurs, utilisant éventuellement différents langages et techniques de programmation. Bref, on se trouve confronté à un problème d'hétérogénéité. Dans cette thèse, nous évaluons l'efficacité d'une nouvelle approche d'extraction de LdP à partir du code source des systèmes orientés objet (OO). Notre première contribution concerne l'extraction de la liste de fonctionnalités implémentées dans un système existant utilisant des techniques d'apprentissage automatique, tout en minimisant la perte d'information. Notre deuxième contribution consiste à identifier les variabilités et les commonalités dans l'ensemble des fonctionnalités extraites, tout en adressant le problème d'hétérogénéité, afin de configurer ces fonctionnalités en une LdP. L'évaluation de notre approche proposée en utilisant différentes applications Java open-source a révélé des résultats encourageants
Common fixed point theorems of several functions with applications to integral equations
(Université Oum El Bouaghi, 2019) Abdelkrim, Abdelhalim; Aliouche, Abdelkrim
In this work, we study several problems of a common fixed point in different metric spaces. We start by the recalls of some fundamental preliminary concepts and necessary tools. The second chapter is devoted to the study of a common fixed point for pairs of weakly compatible mappings by cancelling the continuity condition in metric space, and application on non-linear integral equation. Then, the third chapter is intended to achieve common fixed point theorems for mappings satisfying generalized contractive condition in a b-metric space. The result applied to prove the existence of a common solution of system of Urysohn non-linear integral equations and unique solution for linear equations system. Finally, the fourth chapter is devoted to prove some common coupled fixed point theorems for contractive mappings in Menger metric spaces. Also, we prove common fixed point theorems for pairs of weakly compatible mappings. The main result is supported by a suitable example and application to integral equations. íåÏÝ åÐå ÇáÚãá Åáì ÏÑÇÓÉ ÇáÚÏíÏ ãä ÇáãÓÇÆá ÇáãÎÊáÝÉ Íæá ÇáäÞØÉ ÇáËÇÈÊÉ ÇáãÔÊÑßÉ Ýí ÝÖÇÁÇÊ ãÊÑíÉ ãÎÊáÝÉ äÈÏÃ ÈÇáÊÐßíÑ ÈÈÚÖ ÇáãÝÇåíã ÇáÃÓÇÓíÉ¡ ÇáÃæáíÉ æÇáÃÏæÇÊ ÇáãåãÉ ÇáãÓÊÚãáÉ Ýí åÐÇ ÇáÚãá. ÇáÝÕá ÇáËÇäí íåÏÝ Çáì ÏÑÇÓÉ ÇáäÞØÉ ÇáãÔÊÑßÉ ÇáËÇÈÊÉ ãä ÇÌá ÒæÌíä ãä ÇáÊØÈíÞÇÊ ÇáÖÚíÝÉ ÊæÇÝÞíÇ ãÚ ÅáÛÇÁ ÎÇÕíÉ ÇáÇÓÊãÑÇÑ Ýí ÇáÝÖÇÁ ÇáãÊÑí. æÊØÈíÞåÇ Úáì ÇáãÚÇÏáÇÊ ÇáÊßÇãáíÉ ÛíÑ ÇáÎØíÉ. ÇáÝÕá ÇáËÇáË íÑãí Åáì ÇáÊæÕá Çáì äÙÑíÇÊ ÊÎÕ ÇáäÞØÉ ÇáãÔÊÑßÉ ÇáËÇÈÊÉ ãä ÇÌá ÇáÊØÈíÞÇÊ ÇáÊí ÊÍÞÞ ÎÇÕíÉ ÇáÔÑØ ÇáÊÞáÕí ÇáãÚãã Ýí ÝÖÇÁÇÊ È- ãÊÑíÉ¡ ãÚ ÊØÈíÞ ÇáäÊÇÆÌ áÅËÈÇÊ æÌæÏ Íá ãÔÊÑß áäÙÇã ãÚÇÏáÇÊ ÃæÑíÒæä ÇáÊßÇãáíÉ ÛíÑ ÇáÎØíÉ æÇáÍá ÇáæÍíÏ áäÙÇã ÇáãÚÇÏáÇÊ ÇáÎØíÉ. ÃÎíÑðÇ¡ íßÑÓ ÇáÝÕá ÇáÑÇÈÚ áÅËÈÇÊ ÈÚÖ äÙÑíÇÊ ÇáäÞØÉ ÇáËÇÈÊÉ ÇáãÒÏæÌÉ ÇáãÔÊÑßÉ áÊØÈíÞÇÊ Ýí ÝÖÇÁÇÊ ãäÌÑ ÇáãÊÑíÉ. ÃíÖðÇ ¡ äËÈÊ äÙÑíÇÊ ÇáäÞØÉ ÇáËÇÈÊÉ ÇáãÔÊÑßÉ áÃÒæÇÌ ÇáÊØÈíÞÇÊ ÇáÖÚíÝÉ ÊæÇÝÞíÇ. íÊã ÏÚã ÇáäÊíÌÉ ÇáÑÆíÓíÉ ãä ÎáÇá ÃãËáÉ ãäÇÓÈÉ æÊØÈíÞåÇ Úáì ÇáãÚÇÏáÇÊ ÇáÊßÇãáíÉ. Dans ce travail on a étudié divers problèmes de point fixe commun dans différents espaces métriques. On a débuté dans un premier chapitre par des rappels de certaines notions préliminaires fondamentales, et les outils nécessaires qui nous aident dans la démonstration des résultats obtenus dans ce travail. Le deuxième chapitre est consacré à l'étude d'un point fixe commun pour deux paires d'applications faiblement compatibles en annulant la condition de continuité dans l'espace métrique, et application sur une équation intégrale non linéaire. Ensuite, le troisième chapitre est destiné à réaliser des théorèmes de point fixe commun pour des applications satisfaisant la condition de contraction généralisée, dans un espace b-métrique. Le résultat appliqué pour prouver l'existence d'une solution commune de système d'équations intégrales non linéaires d'Urysohn, et d'une solution unique pour le système d'équations linéaires. Enfin, le quatrième chapitre est consacré à la démonstration de quelques théorèmes de points fixes couplés communs pour des applications dans les espaces métriques de Menger. De plus, nous démontrons des théorèmes de points fixes communs pour des paires d'applications faiblement compatibles. Le résultat principal est soutenu par un exemple approprié et une application aux équations intégrales.

Browse

Browsing قسم الرياضيات by Issue Date

Results Per Page

Sort Options