Faculté des sciences exactes et appliquées
URI permanent de cette communauté
Parcourir par
Parcourir la collection Faculté des sciences exactes et appliquées par Date de publication
Voici les éléments 1 - 20 sur 1155
Résultats par page
Options de tri
- ItemTechniques de compression et d'agrégation à efficacité énergétique dans les RCSF(02-2008) BAKAR KhaledLe But des réseaux de capteurs sans fil (RCSF) de surveillance de l?environnement est de rapporter les variables dynamiques de l?environnement du site de déploiement jusqu'à la station de base (Sink) afin d?observer et de contrôler l?environnement. Avec une batterie à capacité limitée, les réseaux de capteur sans fil sont caractérisés par la situation où chaque bit envoyé diminue la durée de vie d?un noeud. Par conséquent l'économie d'énergie devient un objectif essentiel de conception. Un réseau de capteurs réussi réduira au minimum la consommation d'énergie à tous les niveaux de sa pile protocolaire, de la couche application à la couche physique. Notre étude s'inscrit dans la conservation de l'énergie en réduisant le nombre de bits transmis dans le réseau. Cette réduction est principalement accomplie par : . La compression des informations récoltées par un capteur.. L'agrégation dans un message des informations issues de plusieurs capteurs. Stone- Weierstrass à démontré par son théorème sur l?approximation des fonctions que toute fonction compliquée qu'elle soit, peut être approchée, aussi près qu?on le veut et uniformément, par les fonctions les plus simples qui existent : les polynômes. Ce projet vise à introduire la notion de l'approximation polynomiale comme technique de compression et d'agrégation dans les applications environnementales afin de réduire au minimum l'information transmise sur un réseau de capteurs et par conséquent prolonger sa durée de vie.
- ItemOn Extremum Problems Having Infinite Dimensional Image From Lagrangian Multipliers to Selection Multipliers.(Université Oran 1 Ahmed Ben Bella, 04-2009) MADANI KhaldiaThis thesis deals with image space analysis for constrained extremum problems having an infinite-dimensional image. It is shown that the introduction of the selection for point-to-set maps and of quasi-selection multipliers functions allows one, firstly to recover the classic optimality conditions for problem of Calculus of Variations of geodesic type, to give optimality conditions for problems, where the classical approach fails. Finally, an approximation by a finite dimensional image problem is given and an enlargement of the set of Lagrangian multipliers is proposed.
- ItemNouvelle approche pour l’étude de terminaison de règle active basée sur les réseaux de Pétri(06-2007) BABA-HAMED LatifaUn système de gestion de bases de données (SGBD) actif est un système qui fournit les mêmes fonctionnalités qu’un SGBD classique et est, également, en mesure de réagir automatiquement aux changements des états de la base grâce à des règles appelées règles actives. Le déclenchement de ces règles peut produire un cycle infini et entraîner ainsi un problème de non terminaison. Dans cette thèse, nous proposons une approche d’analyse de terminaison de règles actives basée sur les réseaux de Petri (RdPs) et présentons, également la structure du modèle, son exécution ainsi que son implémentation. Cette approche est meilleure que ses précédentes du fait qu’elle tienne compte des événements composés (pour représenter des situations complexes) et de la priorité des règles d’une part, et qu’un même RdP permet la représentation de la règle et son analyse d’une autre part. Cette méthode permet de détecter des cas de terminaison non détectables par les autres approches.
- ItemUn Modèle pour la prise de décision en aménagement du territoire : Une Approche multicritère et une approche de négociation(06-2008) HAMDADOU DjamilaPlusieurs auteurs ont déjà démontré des SIG aux méthodes d'analyse multicritère au service de l'aide à la décision en Aménagement du Territoire. Nous nous appliquons. à travers ce travail de recherche, à démontrer l'intérêt d'une telle association pour l'étude et la conduit des processus spatio-temporels. Notre contribution porte sur la proposition de solutions conceptuelles et méthodologiques afin d'élaborer une démarche d'aide à la décision conçue par assemblage de deux modèles indépendants autorisant, en effet, la construction d'outils de prise de décision adaptés aux besoins des utilisateurs professionnels. L'objectif du premier composant est de développer une approche constructive basée sur un modèle déterministe capable de représenter les stratégies de décision prenant en compte les interactions entre les critères et reposant sur une démarche interactive en aide multicritère à la décision. Les modèles telles que ''les mesures floues'', capables de prendre compte les interactions entre les critères, satisfont pleinement à cette exigence. Le second composant assure la négociation et la participation d'une grande diversité d'acteurs (individus ou organisation). En effet, chaque individu doit avoir dûment accès aux informations relatives à l'environnement, y compris aux informations relatives à leurs collectivités et avoir la possibilité ainsi de participer aux processus de prise de décision.
- ItemContribution à la gestion de la cohérence de répliques de fichiers dans les systèmes à large échelle(11-2007) BELALEM GhalemLes Grilles de calcul et de données constituent à l’heure actuelle des plates-formes pour répondre aux besoins des applications à grande échelle. Elles fournissent un ensemble de ressources variées, géographiquement distribuées dont le but est de réduire les coûts d’exécution des applications, d’assurer un accès rapide et efficace aux données, d’améliorer la disponibilité des ressources et de tolérer, à une large échelle, les pannes. Dans de tels systèmes, ces objectifs ne peuvent être atteints que par l’utilisation de mécanismes de réplication. La mise en oeuvre de tels mécanismes pose plusieurs problèmes, parmi lesquels celui du maintien de la cohérence des répliques d’un même ensemble de données, problème qui fait l’objet de notre thèse. Dans le cadre de cette problématique, notre contribution s’articule autour de la proposition d’une approche pour la gestion de la cohérence de répliques dans les grilles de données. Cette approche se caractérise par le fait qu’elle combine les approches pessimiste et optimiste, dans le but de bénéficier de leurs avantages, à savoir un meilleur compromis entre performance et qualité. Cette approche a été ensuite étendue par la définition d’une algorithmique pour la gestion de la cohérence de répliques, que nous avons, par la suite, évalué et validé par une série d’expérimentations.
- ItemEquilibrage de charge dans les grilles de calcul(11-2007) YAGOUBI BelabbasLes applications distribuées sont, de nos jours, de plus en plus exigeantes en ressources de calcul et en capacités de stockage et requièrent un très haut degré d'ecacité. Ces applications sont généralement déployées en utilisant comme infrastructure réseau, le réseau Internet. Comme exemples de ces applications, nous pouvons citer les applications de météorologie, de calcul scientique intensif, de datamining, de bioinformatique, de cryptage, etc.
- ItemUn Système multi-agents pour l'aide à la désicion en temps réel appliqué à yne gestion de production dynamique(11-2008) TAGHEZOUT NoriaRécemment, la technologie d'agent est considérée comme une approche importante pour développer des systèmes distribués industriels, elle a été particulièrement reconnue comme un paradigme très prometteur pour la futur génération de systèmes industriels. Les agents sont conçus pour être des solveurs autonomes de problèmes (problèmes résolveurs), et de ce fait ils peuvent communiquer entre eux et avec les utilisateurs. Tout en étant suffisamment dotés de capacités cognitives pour effectuer un raisonnement sur un problème précis, ils sont capables de prendre certains types de décision et exécuter les actions associées. Les agents sont beaucoup plus efficaces pour automatiser une tache de résolution d'un problème qu'un système d'aide à la décision ou bien un système tout court. Dans cette thèse, nous examinons l'intégration potentielle de la technologie d'agent dans un cadre de système interactif d'aide à la décision. Et, nous proposons alors un système interactif d'aide à la décision à base d'un modèle multi-agents pour l'ordonnancement d'atelier en temps réel. En gestion de production temps réel, le système d'aide à la décision mémorise l'état courant de l'atelier. Il connait à tout moment l'ensemble des décisions et des événements possibles. Nous distinguons trois contextes d'aide à la décision : (i) aide à la décision dans le contexte d'une séquence admissible ; (ii) aide à la décision pour le recouvrement de l'admissibilité et (iii) aide la décision et la négociation entre centres de décisions hors du contexte planifié. L'approche décrite dans cette thèse couvre les situations présentées aux niveaux 1 et 3. L'architecture du système interactif d'aide à la décision repose sur un ensemble de modules. La modélisation et l'implantation du système décisionnel est à base d'agents. Les actions des agents d'un même niveau hiérarchique se concrétisent à travers les procédures d'analyse et de réaction. Et déclenchent les comportements spécifiques pour compenser une perturbation. Les centres de décision (agents) négocient des compromis pour résoudre des conflits, sous le contrôle de l'entité superviseur la deuxième contribution que nous avons apportée dans cette thèse est la proposition d'un modèle de négociation qui s'appui sur l'utilisation de la méthode d'aide multicritère ELECTRE III pour modéliser les préférences des agents impliqués dans le processus de négociation. La négociation est ainsi basée sur le Contract Net Protocol. Nous avons mis en place un mécanisme de gestion de contrats. Les modes de gestion des négociations sont de deux types : le cas des ressources différents et celui des ressources communes. Le premier cas de figure ne pose aucun problème, les contrats utilisant des ressources différentes sont gérés d'une manière simple et simultanée. Par contre le cas qui pose problème est celui des ressources communes, en mode de gestion parallèle les ressources sont considérées quelque soit leur disponibilité durant le cours de la négociation, mais en mode de gestion séquentielle, certaines priorités doivent être établies pour une gestion efficace traitant les conflis.
- ItemConditionnement de la méthode de Steffensen et de la transformation T+m de Gray et Clark(12-2007) BELGHABA KacemAprès avoir présenté introduit le travail effectué dans cette thèse, nous commençons dans le chapitre 2 par faire une étude du conditionnement de la transformation de suites T + m de Gray et Clark qui dépend du paramètre m. Cette application qui est par ailleurs une transformation quasi linéaire comme la plupart des procédés usuels d.accélération est en fait une généralisation du fameux processus delta 2d.Aitken.
- ItemSur les certificats de positivité des polynômes dans la base de Bernstein(12-2007) BOUDAOUD FatimaDans cette thèse il est question de l’´etude des certificats de positivité´e des polynômes réels `à une seule indéterminée dans l’intervalle [−1, 1]. En d’autres termes, on donne une écriture du polynôme qui nous permet de reconnaitre qu’il est positif ou non, d’où l’appellation ”‘certificat de positivité ”’.
- ItemEstimation du produit de paramètres dans le cas de la famille exponentielle.(1912-02-19) Benkamra ZohraLa famille exponentielle joue un rôle très important dans une large variété de domaines en probabilités et statistique, notamment en fiabilité où les lois les plus simples utilisées sont celles dont le taux de défaillance est constant et le meilleur exemple est la loi exponentielle qui fait partie de la famille exponentielle. Dans le premier chapitre, on présente les préliminaires qui font l'outil mathématique de base pour traiter les problèmes de l'estimation Bayésienne asymptotique et d'analyse séquentielle. Dans le deuxième chapitre, on s'intéresse à l'estimation du produit de moyennes dans le cas de la famille exponentielle. On propose un schéma séquentiel à deux étapes qui détermine le nombre des observations à faire de chaque population i où chaque observation entraine un coût , de façon à minimiser le risque qui est le risque de Bayes plus le budget. Le troisième chapitre donne un exemple pratique de l'application de la famille exponentielle où on s'intéresse à un système parallèle-série et plus précisément à l'estimation de sa fiabilité dans un cadre non Bayésien. On propose un schéma séquentiel hybride qui définit le nombre des unités à tester de chaque composant sous la contrainte d'un nombre total fixe de façon à minimiser la variance de l'estimateur de la fiabilité. Des validations numériques sont données à l'aide de simulations Monte-Carlo. Dans le même esprit, le quatrième chapitre reprend le même problème avec un système parallèle mais cette fois-ci dans un cadre Bayésien. On donne un schéma séquentiel à deux étapes qui détermine les (aléatoires) qui minimisent le risque de Bayes avec une fonction de perte quadratique et sous la contrainte d'un nombre total d'essais fixe m. On montre l'optimalité asymptotique d'ordre un quand m tend vers l'infini et on compare notre schéma au meilleur plan fixe. Des exemples numériques valident l'efficacité stricte du schéma aléatoire. Au dernier chapitre, on étend les résultats sur le cas parallèle du chapitre précédent à un système parallèle-série, en construisant un schéma séquentiel hybride à deux étapes qui détermine le nombre d'essais dans chaque composant et dans chaque sous-système dans un cadre Bayésien, et on montre l'optimalité asymptotique d'ordre un du schéma proposé quand m devient grand. Des conclusions et des perspectives sont présentées en fin de ce dernier chapitre.
- ItemL'Approche axiomatique des théories quantiques supersymétriques : les Superchamp Chira(1989-06-20) BALASKA SmainDans ce travail, on a généralisé, à l’aide des concepts de superespace et de superchamps , les axiames de la théorie quantique des champs à la supersymétrie. Dans ce cadre axiomatique, Les différentes superfonctions de green exactes s’expriment comme superposition des superfonction de gren des superchanps libres avec un poid spectral, positif dans le cas de superchamps de chiralité opposée. L’étude des supercourants a permis d’établir une inégalité entre les fonctions spectrales Ώ et des amplitudes ФФet ФФ + Enfin, les états à plusieurs particules de la relation de fermeture ne contribuent aux différentes amplitudes spectrale que dans la cas ou les superchamps Ф et Ф+ sont couplés respectivement à des supercourants de même chiralité
- ItemSynthèse et étude de macromonomères à activité Biocide formulation de peintures anti-salissures(1996) BELBACHIR BoucifAu terme des résultats d'immersion obtenus, il apparait que les échantillons de peintures préparés à base d'étain étendent la protection contre la salissure de 17 à 20 mois, ce qui ne peut pas être obtenu avec des échantillons a base de pentachlorophénol, dont l'efficacité biocide s'épuise relativement vite. Nous avons aussi pu déduire que pour la période d'immersion suscitée, les échantillons de peintures comportant la plus faible teneur en étain (5%) présentaient une meilleure bio-activité; d'autre part, les échantillons formulés à partir de méthacrylate de tributylétain manifestent également un meilleur comportement en immersion. Sans doute ces peintures peuvent étendre la protection pour une période superieure à 20 mois. Mais il est à noter qu'elles étaient soumises à un test extrêmement sévère en raison du dépôt potentiel de salissure présente dans l'enceinte portuaire de Béni-Saf, milieu riche en matières nutritives venant des rejets des effluents domestiques, ce qui a un impact important sur le dépôt et la croissance de la salissure. Il existe d'autres facteurs à prendre en considération, qui determinent aussi la durée de l'action anti-salissure : -le degré de dissolution de l'agent biocide dans la phase aqueuse, -l'épaisseur de la pellicule sèche de la peinture appliquée, -la profondeur du milieu d'immersi
- ItemA perturbative approach to the critical behaviour of the matrix models in the double scaling limit(1998-10-28) BALASKA SmailLa méthode des intégrales de chemins, qui a permis de quantifier avec succès toutes les autres forces élémentaires, s’applique difficilement à la gravitation, car dans ce cas les « chemins » sont des variétés de dimension quatre. Une version simplifiée du problème, consiste à étudier la gravitation bidimensionnelle. Dans ce cas les variétés deviennemt alors des surfaces dont la topologie est mieux connues. De plus ce formalisme d’intégrales de surfaces s’applique à une théorie, dont l’objectif ambitieux de toutes les interaction : la théorie des cordes. Dans cette thése est présenté une méthode perturbative pour l’étude des modèles à plusieurs matrices hermétiques dans la limite du double changement d’échelle. Il y est prouvé en particulier que les modéles matrices décrivent le cas général de la gravitation bidimensionnelle couplée à la serie des modéles minimaux conformes.
- ItemDensité de charges, capacité et photocourant des semi-conducteurs : Application aux oxydes(Université Oran 1 Ahmed Ben Bella, 2001-06-27) BENNOUAR KarimaLe présent travail de thèse consiste à étudier théoriquement par un développement mathématique et à déterminer par simulation numérique la densité de charges, la capacité et le photocourant des semi-conducteurs cristallins, polycristallins et amorphes. Le calcul numérique de l’intégrale de fermi nous a permis de proposer une relation théorique originale décrivant la variation de la concentration de charges en fonction de l’énergie sans l’utilisation de l’approximation de la fonction de Boltzmann. Le comportement capacitif de la zone de charges d’espace des différents semi-conducteurs a été examiné à travers un modèle théorique général. Le traitement de modélisation des résultats obtenus par simulation numérique nous a permis d’établir de nouvelles expressions théoriques originales de la densité de charges et de la capacité dans le cas des semi-conducteurs polycristallins et amorphes. L’étude du photocourant a été faite en utilisant plusieurs modèles théoriques. La variation du photocourant a été établie en fonction du coefficient d’absorption et du potentiel en variant les différents paramètres. La comparaison des résultats théoriques avec ceux obtenus par des mesures expérimentales (capacitives et photoélectrochimiques) sur les films passifs et les oxydes thermiques nous permettent d’accéder aux paramètres de la structure de bande de ces derniers.
- ItemSynthèse et caractérisation de catalyseurs hétérogènes à base d'argile et de complexe organométallique : Application à la réaction d'insertion de carbènes(Université Oran 1 Ahmed Ben Bella, 2002-10-28) KADRAOUI MohammedLe travail présenté dans ce mémoire est consacré à l’élaboration de matériaux catalytiques originaux. Ces matériaux sont obtenus à partir de la bentonite de Maghnia par insertion de composés organométalliques. Le premier chapitre : traite de la synthèses des catalyseurs hétérogènes, obtenus à partir de la bentonite de Maghnia et des complexes organométalliques : -L acétyle acétyle de cuivre : Cu(acac)₂. -L acétyle acétyle de fer : Fe(acac)₃. Ces catalyseurs sont caractérisés par différents méthodes spectroscopiques en particulier RX et IR. L’augmentation de la raie d00₁ a mis en évidence l’insertion de ces complexes dans l’argile. Le deuxièm chapitre : présente un rappel bibliographique portant sur la génération des carbénes et leur insertion. L’accent est mis sur les catalyseurs spécifiques qui induisent une asymétrie. Dans le troisième chapitre : Les propriétés catalytiques des matériaux obtenus sont mises à profit dans des réactions organiques. Le modèle de réaction étudiée est la génération de carbénes et leurs insertion sur la liaison polarisée X-H(X₌O ,N,S). De nombreux composés sont obtenus et analysés par spectroscopie RMN H et RMN C. Les résultats expérimentaux mettent en évidence l’intérêt synthétique de ces matériaux catalytiques.
- ItemEtude théorique de la réaction de Diels-Alder effet de substitution par un metal de transition sur la cinétique et la regioselectivité d'addition(Université Oran 1 Ahmed Ben Bella, 2004-01-07) DJERADI HouriaLe mécanisme de la réaction de Diefs Alder est bien connu. Cependant les effets de substitution sur la cinétique et la régioselectivité d'addition le sont moins. Dans le but d'étudier l'effet du substituant TiCl en position 2 du butadiène sur la cinétique et l'orientation de la cycloaddition de Diels-Alder, nous avons déterminé, à l'aide de la méthode DFT/B3LYP/6-31G, les chemins réactionnels des différents modes d'addition de cette réaction, ainsi que sa compétitivité la réaction d'addition(1.4 ) Nos calculs sont en accord avec les données expérimentales et permettent d'interpréter la régiosélectivvité observée expérimentalement.
- ItemEtude semi-classique des résonances d'hamiltoniens de sahnoidinger à deux états(Université Oran 1 Ahmed ben Bella, 2004-05-04) GHOMARI KaoutarCe travail concerne l'étude des résonances de formes des Hamiltoniens de Schrödinger semi-classiques; les résonances sont créées par deux potentiels réguliers et assez plats à l'infini. En vertu des techniques d'analyse spectrale et des estimations micro- locales de type Agmon, on établit un résultat d'existence des résonances et d'estimation de leurs largeurs.
- ItemUtilisation de supports solides comme matériaux catalytiques dans les réactions d'oxydation d'oléfines activation par sonochimie(Université Oran 1 Ahmed Ben Bella, 2004-05-08) AIT HABOUCHE DjamilaNotre travail consiste à réaliser des oxydations d’oléfines diversement substituées par différents procédés catalytiques et activées par des méthodes non conventionnelles telle la Sonochimic, puis, nous allons combiner les deux méthodes afin de mieux maitriser ces réactions d’oxydation et afin de mettre en évidence d’éventuelles selectivité de coupure. Notre choix s’est porté sur des : a) Oléfines substituées par une amine (énamine). b) Olefines substituées par un groupement carbonyle (chalcone). c) Oléfines simples. Dans chaque cas, une étude comparative entre les différentes méthodes sera réalisée Pour mettre en évidence la spécificité de chaque support solide et l’effet catalytique enregie Ce mémoire est présenté suivant un plan divisé en quatre chapitres : Chapitre I : Rappels bibliographiques sur la réaction d’oxydation d’oléfines. Chapitre II : Méthode d’activation non conventionnelle : la sonochimie. Chapitre III : Synthèse des oléfines diversement substituées. Chapitre IV : Réaction d’oxydation sur supports solides. Partie expérimentale Conclusion générale.
- ItemSynthèse et immobilisation de récepteurs moléculaires électrocommandables à site d’encrage inédit(2005-01-18) GHOMARI NOUALI SihamL’objectif de notre travail résidait d’une part dans la conception et l’étude de récepteurs moléculaire associant les propriétés comlexantes aux caractéristiques rédox de l’unité tétrathiafulvalène ( TTF), et d’autre part par l’immobilisation en formant des monocouche autossemblèes sur surface d’or via un motif soufré : le tétrathioéthylène. Après des synthèses délicates, utilisant une réaction d’ouverture de cycle 1,3dithiole-2-one, plusieurs molècules modèles importantes incorporant le motif tétrathioéthylène ont été obtenues.
- ItemSynthèse et immobilisation de récepteurs moléculaires électrocommandables à site d’encrage inédit(2005-01-18) GHOMARI NOUALI SihamL’objectif de notre travail résidait d’une part dans la conception et l’étude de récepteurs moléculaire associant les propriétés comlexantes aux caractéristiques rédox de l’unité tétrathiafulvalène ( TTF), et d’autre part par l’immobilisation en formant des monocouche autossemblèes sur surface d’or via un motif soufré : le tétrathioéthylène. Après des synthèses délicates, utilisant une réaction d’ouverture de cycle 1,3dithiole-2-one, plusieurs molècules modèles importantes incorporant le motif tétrathioéthylène ont été obtenues.