Ce mémoire est une synthèse de nos travaux de recherche menés au sein des laboratoires d'Orange Labs (anciennement France Télécom R&D) pour répondre à une problématique identifiée par ledit opérateur et concernant les flux d'échanges en mode pair-à-pair (P2P). Communément assimilé à un échange de fichiers, le P2P a de nombreuses applications. Il correspond à une évolution du monde du logiciel, des réseaux et des équipements. Au-delà du partage, nous sommes confrontés à une puissance disponible de façon distribuée (en termes de CPU, bande passante, stockage, etc.). La montée en puissance du P2P exige de nouveaux systèmes pouvant satisfaire les besoins des usagers, mais aussi ceux des fournisseurs d'accès à Internet (FAI) et autres opérateurs de réseaux. Les premiers cherchent en permanence une bonne qualité de service (QoS) bien perceptible. Les seconds aspirent à l'optimisation de l'usage des ressources du réseau (notamment la bande-passante) et à la réduction des différents coûts d'opération et de maintenance (dont ceux découlant de leurs accords économiques inter-opérateurs). D'où l'intérêt de nos travaux de recherche qui visent à sensibiliser un réseau P2P au réseau IP sous-jacent, afin d'aboutir à un système de routage P2P efficace, en phase avec les politiques des réseaux d'infrastructures sous-jacents. Ces travaux se focalisent sur les systèmes P2P utilisant des tables de hachage distribuées (DHT), après les avoir étudiées et analysées. Ce mémoire commence par une analyse des principaux protocoles de découverte de ressources dynamiques dans les différentes architectures de réseaux P2P. Les exigences requises pour un routage P2P efficace sont par la suite établies. Il s'en suit une présentation des techniques de génération de l'information de proximité sous-jacente, ainsi que des techniques et principaux systèmes d'exploitation de cette information. Nos travaux de recherche ont abouti à la définition, la conception, la spécification et l'analyse individuelle et comparative de deux systèmes : CAP (Context-Aware P2P system) et NETPOPPS (NETwork Provider Oriented P2P System). Le premier système est sensible au contexte et introduit une sémantique dans les identifiants des pairs et des objets. Le second système est orienté opérateur de réseau, et adapte les flux P2P à la topologie sous-jacente et aux politiques de l'opérateur, tout en simplifiant la gestion des différents identifiants.

Cette thèse est consacrée à la résolution de problèmes d'analyse non linéaire multivoque dans lesquels plusieurs variables interagissent. Le problème générique est modélisé par une inclusion vis-à-vis d'une somme d'opérateurs monotones sur un espace hilbertien produit. Notre objectif est de concevoir des nouveaux algorithmes pour résoudre ce problème sous divers jeux d'hypothèses sur les opérateurs impliqués et d'étudier le comportement asymptotique des méthodes élaborées. Une propriété commune aux algorithmes est le fait qu'ils procèdent par éclatement en ceci que les opérateurs monotones et, le cas échéant, les opérateurs linéaires constitutifs du modèle agissent indépendamment au sein de chaque itération. Nous abordons en particulier le cas où les opérateurs monotones sont des sous-différentiels de fonctions convexes, ce qui débouche sur de nouveaux algorithmes de minimisation. Les méthodes proposées unifient et dépassent largement l'état de l'art. Elles sont appliquées aux inclusions monotones composites en dualité, aux problèmes d'équilibre, au traitement du signal et de l'image, à la théorie des jeux, à la théorie du trafic, aux équations d'évolution, aux problèmes de meilleure approximation et à la décomposition de domaine dans les équations aux dérivées partielles.

On donne une preuve complète de la classification des représentations d'énergie positive unitaires de l'algèbre Neveu-Schwarz, de telle manière qu'on obtient directement les caractères de la séries discrètes. Ensuite, on explicite leur loi de fusion de Connes et on prouve que les sous-facteurs de Jones-Wassermann sont irréductibles d'indice fini, on donne leur formule.

Le sujet de cette thèse est la conception et l'implantation d'algorithmes efficaces pour des opérations de base en calcul formel, ainsi que leurs applications à des domaines connexes, comme la théorie algorithmique des nombres et la cryptographie. Une première partie traite de l'algorithmique de base sur les polynômes à une variable. L'outil systématiquement mis en oeuvre est une version constructive du principe de transposition de Tellegen, qui permet d'obtenir de nouveaux algorithmes pour l'évaluation multipoint et l'interpolation (dans diverses bases polynomiales et pour diverses familles de points d'évaluation), ainsi qu'un théorème d'équivalence entre les complexités de ces deux problèmes. La deuxième partie est consacrée à l'algorithmique des nombres algébriques. Nous étudions d'abord certaines opérations élémentaires, comme la somme, le produit et leur généralisation, le produit diamant de Brawley et Carlitz. Leur calcul repose sur l'utilisation de l'opérateur de Newton formel et de la dualité algébrique, traduite algorithmiquement par l'emploi du principe de transposition et des méthodes de type pas de bébés / pas de géants. Ces méthodes sont ensuite généralisées au cadre des systèmes de polynômes de dimension zéro, pour le calcul de polynômes minimaux dans des algèbres quotient, ainsi que de paramétrisations rationnelles. Dans la troisième partie, nous étudions la question du calcul d'un terme d'une suite récurrente linéaire à coefficients polynomiaux. Comme application, nous obtenons des améliorations théoriques et pratiques des méthodes de comptage de points utilisées en cryptographie. Nous proposons ensuite une méthode de type évaluation-interpolation pour certaines opérations usuelles sur les opérateurs différentiels linéaires à coefficients polynomiaux.

L'objectif premier de cette thèse est le développement d'une approche théorique des divers phénomènes de transport laplacien aux interfaces irrégulières: diffusion stationnaire à travers des membranes semi-perméables, transport électrique vers une électrode non bloquante dans un électrolyte, catalyse hétérogène sur une surface catalytique. L'influence de l'irrégularité géométrique, qui joue un rôle primordial dans ces phénomènes, peut être intégralement prise en compte à l'aide d'un opérateur purement mathématique, dit opérateur de Dirichlet-Neumann. Ses propriétés spectrales déterminent complètement la réponse linéaire d'un système considéré. Une étude numérique approfondie des différents aspects du transport laplacien aux interfaces irrégulières, modélisées ici par des frontières de Von Koch déterministes ou stochastiques, a apporté de nombreux résultats dont les plus importants sont: mise en évidence de la très faible proportion de modes propres de l'opérateur de Dirichlet-Neumann contribuant à l'impédance de la frontière, interprétation des valeurs propres de cet opérateur comme inverses des longueurs caractéristiques de l'interface, déduction d'un modèle analytique de l'impédance. En particulier, le modèle mathématique développé, qui exploite la hiérarchie des échelles caractéristiques, permet d'étudier des préfractales d'ordre très élevé. L'étude numérique de la mesure harmonique, dont la densité représente les probabilités de premier contact (analogue du courant primaire en électrochimie), a d'ailleurs permis de mettre au point une méthode de marches aléatoires rapides adaptées aux frontières de Von Koch considérées et de déterminer les dimensions multifractales avec une très bonne précision. Enfin, l'étude expérimentale avec une électrode de Von Koch a montré que cette approche théorique permet de prendre en compte l'irrégularité géométrique sans connaître le mécanisme de transport microscopique, ce qui ouvre toute une nouvelle branche d'applications possibles en électrochimie ou dans d'autres domaines.

Le but de cette thèse est de développer de nouvelles techniques d'éclatement d'opérateurs multivoques pour résoudre des problèmes d'inclusion monotone structurés dans des espaces hilbertiens. La dualité au sens des inclusions monotones tient une place essentielle dans ce travail et nous permet d'obtenir des décompositions qui ne seraient pas disponibles via une approche purement primale. Nous développons plusieurs algorithmes à métrique fixe ou variable dans un cadre unifié, et montrons en particulier que de nombreuses méthodes existantes sont des cas particuliers de la méthode explicite--implicite formulée dans des espaces produits adéquats. Les méthodes proposées sont appliquées aux problèmes d'inéquations variationnelles, aux problèmes de minimisation, aux problèmes inverses, aux problèmes de traitement du signal, aux problèmes d'admissibilité et aux problèmes de meilleure approximation. Dans un second temps, nous introduisons une notion de suite quasi-fejérienne à métrique variable et analysons ses propriétés asymptotiques. Ces résultats nous permettent d'obtenir des extensions de méthodes d'éclatement aux problèmes où la métrique varie à chaque itération.

Le sujet de cette thèse se situe à la frontière entre les mathématiques appliquées et la mécanique. Il s'agit d'étudier, sous un angle mathématique, des problèmes piézoélectriques, c'est à dire des problèmes couplant action mécanique et action électrique, en présence de contact et de frottement. On s'intéresse notamment à l'analyse variationnelle et numérique de ces problèmes. La thèse comporte quatre parties. La première partie contient l'ensemble des outils mathématiques, numériques et mécaniques nécessaires à une bonne compréhension du travail réalisé par la suite. La deuxième partie aborde deux problèmes statiques de contact frottant entre un corps électro-élastique et une fondation. Dans le cas des formulations primales des problèmes, nous prouvons l'existence, l'unicité, et la dépendance continue des solutions faibles, exprimées en termes de déplacements et de potentiel électrique. Une formulation duale équivalente au problème précédent, exprimée en termes de contraintes et de déplacement électrique, est étudiée pour laquelle des résultats d'existence et d'unicité sont établis. La troisième partie aborde deux modèles de contact piézoélectrique dans un cadre évolutif de type quasistatique. Pour chaque modèle, on présente un résultat d'existence. Dans la quatrième partie, le travail porte sur l'analyse numérique et les simulations par différences finies en temps (Euler implicite) et éléments finis en espace. Dans le cas statique, on traite un problème électro-élastique avec contact frottant de type compliance. Le problème discret est posé et les estimations a priori de l'erreur sont obtenues. Le problème est écrit sous forme d'un Lagrangien augmenté couplé à un algorithme de type Newton généralisé. S'ensuit une simulation numérique en dimension deux d'espace et des vérifications numériques de convergence. Des résultats similaires sont obtenus dans le cas d'un problème de contact quasistatique électro-viscoélastique.

Ce travail est une contribution à l'étude de la limite singulière des équations et des systèmes de Réaction-Diffusion. Ces derniers modélisent des problèmes issus de la physique, de la chimie, de la biologie et des sciences de la technologie. En effet, ce type de problème se présente dans la nature et sont caractérisés par la présence de paramètres qui, lorsqu' ils sont suffisamment grands, donnent lieu généralement à un phénomène appelé couches limites. Cette thèse est composée de cinq chapitres traitant les limites singulières des équations et des systèmes de Réaction Diffusion ainsi que l' existence et l'unicité de solution pour un problème d'obstacle et de quelques EDPs elliptique-parabolique doublement non linéaire avec un opérateur de type Leray Lions. Dans le premier chapitre, nous présentons des résultats théoriques et abstraits sur les limites singulières, où nous traitons aussi la compétition entre deux ou plusieurs opérateurs. Nous appliquons ces résultats dans le contexte des équations aux dérivées partielles et nous étudions le comportement de la solution d'un modèle, lorsque les coefficients de diffusion et/ou de réaction deviennent très grands. Dans les deux chapitres qui suivent, nous considérons un système de réaction diffusion intervenant dans des modèles (macroscopiques) de diffusion dans un milieu hétérogène. Nous présentons d'abord une analyse mathématique (existence et unicité de la solution), ensuite nous étudions le comportement de la solution lorsque le paramètre d'homogénéité devient très grand sur un sous domaine. Le chapitre trois est dédié à l'analyse numérique d'un modèle linéaire, nous prouvons l' existence d'une solution approchée satisfaisant des propriétés de stabilité et de convergence vers la solution du problème continu indépendamment du paramètre d'homogénéité. Le chapitre quatre a pour objet l'étude de l'existence et l'unicité de la solution d'un problème d'obstacle doublement non linéaire avec des contraintes bilatérales, dépendantes de l'espace. Enfin, dans le cinquième chapitre, nous présentons une généralisation des résultats du chapitre trois au cas d'un opérateur de type Leray-Lions et une réaction qui dépend de l'espace.

Cette thèse étudie la distribution et les propriétés de la forme appelée "supin" dans la grammaire traditionnelle du roumain, dans le cadre de la grammaire générative et dans une démarche comparative. Dans l'analyse proposée, le supin et le participe roumain sont un seul item lexical. Le statut du supin n'est pas mixte, mais verbal ou nominal en fonction du contexte. On montre que le participe - supin y compris - repose sur une opération d'externalisation de l'argument interne, qui se réalise différemment selon les environnements syntaxiques. Cette proposition sert aussi à expliquer certaines propriétés spéciales de la nominalisation du participe. On étudie le statut des domaines maximaux du supin: Groupe Prépositionnel ou Proposition non finie, et la structure des propositions participiales dont le "supin verbal" est générateur, qui sont d'un type particulier, à statut d'argument ou de prédicat.

Cette thèse est consacrée à la résolution de trois types de problèmes fondamentaux qui apparaissent en analyse fonctionnelle hilbertienne non-linéaire et dans ses applications : les problèmes d'équilibre pour les bifonctions monotones, les problèmes de point fixe pour les contractions, et les problèmes d'inclusion pour les opérateurs monotones. Notre objectif est d'élaborer de nouvelles méthodes d'approximation et de construction de solutions pour ces problèmes et d'étudier leur comportement asymptotique. Dans un premier temps, nous proposons de nouvelles perturbations visqueuses et visco-pénalisées de ces problèmes, et étudions le comportement asymptotique des courbes d'approximation associées quand la perturbation devient évanescente. Nous étudions ensuite les propriétés de divers systèmes dynamiques discrets et continus associés à ces courbes. Cette étude débouche en particulier sur de nouveaux algorithmes, dont la convergence est établie. Des applications numériques à des problèmes de restauration en traitement de l'image sont fournies pour illustrer la mise en œuvre et les performances de certains des algorithmes proposés.