Notre objectif dans cette thèse est de donner la propriété d'adaptabilité à l'aspect duplication. La séparation des préoccupations et l'approche par services permettent au développeur d'applications de s'abstraire de l'aspect duplication lors de ses développements. Cependant, ces approches souffrent d'une limitation majeure : il semble très difficile, voir impossible, de fournir un service/aspect générique de duplication pouvant être paramétré afin d'être utilisé dans différents contextes d'exécution et couvrant l'ensemble des protocoles existants. Ces constatations nous ont conduit à la définition d'un canevas de services de duplication, nommé RS2.7. RS2.7 est le squelette d'un service de duplication définissant sa structure. Il permet d'obtenir des services de duplication indépendants de tout code propre à l'application, pouvant être utilisés dans différents contextes non fonctionnels (transactionnel, mémoires partagées, etc.) et prenant en compte les contraintes et les protocoles spécifiques à chaque domaine. Nos contributions portent sur trois axes : (1) la modélisation des services de duplication pouvant être obtenus à partir de RS2.7, (2) l'adaptabilité du canevas par rapport au contexte non fonctionnel et (3) l'adaptabilité dans tout ou partie des protocoles de duplication. RS2.7 a été mis en \oe uvre et notre validation porte sur la démonstration des caractéristiques d'adaptabilité offertes. Nous cherchons à montrer que notre canevas permet d'obtenir des services très variés et convenant pour divers contextes non fonctionnels.

Nous nous intéressons dans cette thèse à l'estimation, dans un cadre non paramétrique, d'une fonction de régression présentant des discontinuités et, plus précisément aux pro\-blè\-mes de détection de ruptures, d'estimation des paramètres de rupture (nombre, localisations, amplitudes) et de segmentation de la fonction de régression (reconstitution de la fonction). La méthode utilisée est basée sur les propriétés du processsus de saut estimé, $\hat(\gamma)(t)$, défini en tout $t$ comme la différence entre un estimateur à droite et un estimateur à gauche, ces estimateurs étant obtenus régression linéaire locale.\par Dans un premier temps, nous considérons la situation d'une seule discontinuité et étudions les propriétés de l'estimateur de l'amplitude de la discontinuité lorsque la localisation est connue. Nous donnons l'expression de l'erreur quadratique moyenne asymptotique et montrons la convergence et la normalité asymptotique de l'estimateur. Lorsque la localisation $\tau$ n'est pas connue, nous construisons un estimateur de $\tau$ à l'aide du processus de déviation locale associé à $\hat(\gamma)(t)$ et montrons que cet estimateur converge avec une vitesse en $n^(-1)$ ou arbitrairement proche de $n^(-1)$ selon le noyau utilisé. Nous proposons ensuite trois tests d'existence d'une rupture : un test strictement local, un test local et un test global, tous trois définis en terme d'une statistique construite à l'aide du processus de saut estimé. Concernant le problème d'estimation du nombre de ruptures nous élaborons une procédure permettant à la fois d'estimer le nombre $p$ de ruptures et les localisations $\tau_1,\dots,\tau_p$. Nous montrons la convergence presque sûre de ces estimateurs et donnons aussi des résultats sur les vitesses de convergence. Enfin nous proposons une méthode de reconstitution d'une fonction de régression présentant des discontinuités basée sur la segmentation des observations. Nous montrons qu'en utilisant la procédure d'estimation du nombre de ruptures et des localisations développée auparavant, nous obtenons un estimateur de la fonction de régression qui a la même vitesse de convergence qu'en l'absence de ruptures. Des expérimentations numériques sont fournies pour chacun des problèmes étudiés de manière à mettre en évidence les propriétés des procédures étudiées et leur sensibilité aux divers paramètres.

Cette thèse est consacrée à l'étude des équations de réaction diffusion non-locale du type $u_(t)-(\int_(\R)J(x-y)[u(y)-u(x)]dy)=f(u)$. Ces équations non-linéaires apparaissent naturellement en physique et en biologie. On s'intéresse plus particulièrement aux propriétés (existence, unicité, monotonie) des solutions du type front progressif. Trois classes de non-linéarités $f$ (bistable, ignition, monostable) sont étudiées. L'existence dans les cas bistable et ignition est obtenue via une technique d'homotopie. Le cas monostable nécessite une autre approche. L'existence est obtenue via une approximation des équations sur des semi-intervales infinis $(-r,+\infty)$. L'unicité et la monotonie des solutions sont quand elles obtenues par méthode de glissement. Le comportement asymptotique ainsi que des formules pour les vitesses sont aussi établis.

L'analyse de la corrosion en milieu salin de matériaux composites à matrice d'aluminium renforcée par des fibres de carbone fait partie de l'évaluation du comportement en service de ces matériaux. La dégradation par la corrosion dans les matériaux composites est accentuée par la présence d'un couple galvanique entre le renfort de carbone et l'alliage d'aluminium. L'amorçage et la propagation de la corrosion ont fait l'objet d'études expérimentales locales in situ à l'interface fibre/matrice ainsi que d'une modélisation semi-analytique. Il est mis en évidence que la corrosion s'amorce perpendiculairement à l'axe de la fibre puis se propage parallèlement à son axe le long de l'interface et par dissolution des carbures d'aluminium. Ces mécanismes locaux ont été comparés aux mécanismes globaux qui prennent en compte l'architecture fibreuse du composite. Une simulation par éléments frontières de la dissolution anodique a permis de proposer des solutions pour améliorer le comportement en service de ces matériaux composites.

Les canalisations en polyéthylène haute densité (PEHD) prennent une part de plus en plus importante dans les réseaux de distribution d'eau potable. Pour assurer une bonne qualité microbiologique de l'eau distribuée, des agents désinfectants, comme le chlore, sont introduits dans les réseaux. La durabilité de ces tuyaux, initialement prévus pour durer 50 ans, est un enjeu capital pour Veolia, qui souhaiterait disposer d'un modèle de prédiction de durée de vie, tenant compte à la fois, des mécanismes de dégradation du PE au contact du chlore et de l'impact sur la tenue mécanique du tube. Pour cela, deux modèles physiquement motivés sont proposés : l'un prédit l'état physico-chimique du PE suite à sa dégradation au contact d'agents chlorés, tandis que l'autre estime la durée de vie résiduelle d'un tube dégradé, initialement fissuré. Le modèle cinétique de dégradation chimique est issu de la thermo-oxydation du PE auquel des réactions d'amorçage radicalaire dues au chlore ont été ajoutées. Les constantes de vitesse et les coefficients de diffusion sont déterminés à partir des résultats expérimentaux sur échantillons vieillis de façon accélérée. L'impact de l'oxydation sur le comportement mécanique en fluage du PE est étudié à partir de matériaux modèles représentatifs d'un état neuf et d'un état vieilli. Les mécanismes d'endommagement et de rupture sont analysés en fonction du degré de vieillissement. Le modèle mécanique s'intéresse à la propagation d'une fissure, amorcée par l'oxydation sur la surface en contact avec le désinfectant. Deux méthodologies sont proposées pour prédire la durée de vie résiduelle d'un tube : l'approche globale qui repose sur une courbe maîtresse C* = f (tR), et l'approche locale qui s'inspire des mécanismes d'endommagement et modélise ainsi la rupture grâce à un code de calcul par éléments finis. La loi de comportement utilisée dans ce cas s'appuie sur les résultats expérimentaux obtenus aux échelles macroscopique et microscopique.

La péréquation française est devenue un enjeu fort des finances publiques locales. La croissance des moyens financiers et du nombre de dispositifs consacrés à la réduction des inégalités entre collectivités territoriales en est l'illustration. Malgré la mise en œuvre de péréquations nationales aux résultats encourageants, la cohérence et la complexité des mécanismes restent à parfaire. L'incapacité législative à contenir la péréquation dans un cadre stable et délimité n'est pas étrangère aux difficultés à appréhender la conciliation entre deux grands principes : la liberté et l'égalité. A ce titre, les grandes théories de la justice redistributive développées depuis le siècle des Lumières sont à considérer. Au contraire de la Loi fondamentale allemande, la Constitution française permet au législateur d'organiser très librement la solidarité inter-collectivités, d'autant que le juge constitutionnel, précurseur et gardien du droit à la péréquation, exerce en la matière, un contrôle incomplet au détriment de l'autonomie financière et fiscale des collectivités. A partir des fondements théoriques et positifs de la péréquation, un droit effectif et respectueux de l'autonomie locale reste à construire afin de corriger les insuffisances d'un système péréquateur récemment modifié par la réforme des lois de finances pour 2010 et 2011.

Dans la limite "diluée" où les nombres d'arêtes et de sommets divergent de manière comparable, il est naturel d'espérer que divers invariants classiques en théorie des graphes seront essentiellement déterminés par la seule "géométrie locale" du graphe -- c'est à dire, informellement, par l'aspect d'une boule de petit rayon autour d'un "sommet typique". Cette heuristique a pour origine l'étude des systèmes de particules en physique statistique, où sous certaines conditions, les contributions microscopiques provenant de sites suffisamment éloignés peuvent être considérées comme mutuellement indépendantes dans le calcul des grandeurs macroscopiques fondamentales du système. Mathématiquement, cette précieuse absence d'intéractions à longue portée peut se décrire rigoureusement à l'aide d'une propriété topologique : la continuité de l'invariant considéré vis-à-vis de la convergence locale faible des graphes. Tout invariant pour lequel on peut établir une telle continuité admettra aussitôt une limite déterministe le long de la plupart des suites de graphes aléatoires classiques, et pourra être efficacement approximé par des algorithmes locaux et distribués, indépendamment de la taille totale du système. Dans cette thèse, nous établissons la continuité de quatre invariants de graphes qui jouent un rôle essentiel en théorie comme dans les applications : la distribution spectrale empirique, la dimension du noyau de la matrice d'adjacence, la taille d'un couplage maximum, et le polynôme énumérant certaines familles de sous-graphes couvrants. Plus précisément, nous montrons qu'il existe une unique manière localement cohérente d'étendre chacune de ces notions aux limites locales faibles de graphes finis, et que ce prolongement est continu. Pour les modèles de graphes aléatoires classiques, les équations de cohérence locale se simplifient en une équation aux distributions que nous résolvons explicitement. Cela conduit à de nouvelles formules asymptotiques, ainsi qu'à la simplification, l'unification et la généralisation de divers résultats jusqu'alors isolés.

L'évolution vers le monde des nanotechnologies croît actuellement très rapidement. Ces technologies sont présentes dans de nombreux secteurs d'activités allant de l'automobile à la recherche, mais sont encore bien méconnues dans leurs aspects fondamentaux du domaine industriel et scientifique. Nombreux sont les process industriels faisant appel à la température : chauffage, cuisson, traitement thermique, fusion, etc. Les procédés mis en œuvre pour la contrôler et la réguler forment un ensemble complet, la chaîne de mesure thermique. En première ligne, au cœur du process, le capteur constitue l'élément sensible de cette chaîne. Depuis un demi siècle, les techniques de microscopies évoluent pour caractériser la matière et comprendre les phénomènes locaux. Afin de mieux maîtriser cette compréhension les microscopies thermiques ont vu le jour pour déterminer également à l'échelle locale la température afin de connaître le niveau d'énergie. La sonde utilisée est également au cœur du problème. La conception jusqu'au développement de cette nouvelle sonde s'appuie sur des technologies hybrides basées sur des techniques de dépôts en salles blanches ainsi que sur des techniques classiques d'élaboration de thermocouples. La sonde réalisée, certes intrusive, permet d'allier la mesure de températures aux contacts de matériaux et d'offrir la possibilité d'être une sonde active. Elle pourra notamment compléter les sondes actuellement proposées en microscopie de champ proche.

La présente étude a pour objectif d'identifier non seulement la position mais également la réduction locale de rigidité au sein d'une zone endommagée d'une plaque mince composite. Pour cela, des mesures de champs de pentes par déflectométrie sont couplées à une technique d'identification inverse dédiée au traitement des mesures de champs : la méthode des champs virtuels. Cette méthode se base sur l'écriture de l'équilibre global via le principe des travaux virtuels. Elle a été adaptée ici pour identifier des rigidités spatialement variables. Deux paramétrisations ont été étudiées : discrète (par morceaux) et continue (polynômes). Dans ce document, la procédure est décrite en détail, validée sur des simulations puis testée expérimentalement. Les résultats confirment le potentiel de la méthode dans différents cas. Néanmoins, elle est mise en défaut lorsque l'hypothèse de distribution linéaire des déformations dans l'épaisseur n'est plus vérifiée, ce qui est le cas d'un délaminage unique sur le plan moyen de la plaque, par exemple. Ce cas de figure est heureusement assez éloigné d'un endommagement par impact réel et un premier résultat sur plaque impactée le confirme.

Un très grand nombre de problèmes combinatoires appartient à la famille des problèmes de satisfaction de contraintes (Constraint Satisfaction Problem ou CSP) : configuration, ordonnancement, affectation de ressources... Ces problèmes partagent une description commune qui autorise en général une modélisation claire et intuitive. Dans cette thèse, nous avons proposé et étudié une nouvelle méthode de résolution hybride pour les CSPs. Nous avons nommé cette méthode Tabu-NG pour Tabu Search based on NoGood. Le nom est un peu réducteur car il s'agit d'une hybridation d'algorithme de filtrage, de propagation de contraintes, de Recherche Tabou et de gestion de nogoods. La méthode a été appliquée sur deux types de problèmes. Le premier est l'affectation des fréquences (FAP) dans les réseaux de radiocommunications militaires, en particulier les problèmes proposés de 1993 (instances du projet européen CALMA) jusqu'à 2010 (instances d'un projet DGA). Le deuxième est le problème académique de k-coloration de graphes sur les instances DIMACS. La méthode a amélioré quelques meilleurs scores connus actuellement. Dans les deux problèmes nous avons traité des contraintes unaires et binaires, ainsi que des contraintes n-aires et de l'optimisation de fonction sous contraintes pour le FAP. Les principes de Tabu-NG sont généraux et elle peut s'appliquer sur d'autres CSP. Elle peut par ailleurs accueillir des heuristiques spécifiques aux problèmes, nous l'avons pratiqué sur les problèmes cités, et en ce sens nous pensons pouvoir qualifier la méthode de métaheuristique sans abuser de cette définition.