Le problème de caractérisation non-intrusive des usages dans des conditions réelles à partir de l'unique observation de la courbe de charge (CdC) générale résidentielle et tertiaire disponible (puissance moyenne quotidienne disponible en sortie du compteur) a été peu étudié. L'objectif de la thèse est d'explorer les possibilités et les méthodes permettant une caractérisation aveugle des composantes du mélange observé. Plus précisément, il s'agit d'extraire des descripteurs temporels, énergétiques ou encore événementiels à partir d'un mélange unique de sources non-stationnaires de nombre inconnu. Nous considérons quatre sous-problématiques sous-jacentes à la caractérisation de la CdC : la détection des usages, la classification des signaux de la CdC, l'estimation des paramètres des usages (énergie, amplitude, etc.) et la séparation des sources du mélange observé. Les algorithmes mis en œuvre sont évalués sur les données réelles. Les performances obtenues sont satisfaisantes. Outre les contributions de formalisation et algorithmiques, un des apports marquants de cette étude est une solution non-intrusive pour la segmentation automatique la CdC générale résidentielle et pour la cartographie de l'énergie quotidienne consommée en quatre composantes : le chauffage électrique, le chauffe-eau, le froid alimentaire et les autres usages. Au delà des améliorations algorithmiques et de l'étude de performance à poursuivre, nous proposons en perspective de cette thèse une approche générique pour décomposer une CdC quelconque fondée sur une modélisation stochastique de la série des événements de la CdC.

L'avènement des architectures orientées service tend à promouvoir un style d'architecture logicielle où des services, exposant des fonctionnalités accessibles à l'aide de protocoles hautement standardisés sont composés avec un couplage lâche. Dans un tel contexte où les services sont aisément amenés à être remplacés ou utilisés par un grand nombre d'utilisateurs, la notion de Qualité de Service (QdS), qui s'intéresse à la qualité de la relation entre un service et ses clients, constitue un enjeu majeur. La QdS regroupe diverses préoccupations telles que la sécurité, la garantie de livraison, la performance (temps de réponse ou accessibilité) ou encore le coût. Bien qu'il existe déjà d'importants travaux autour des compositions de services, qui ont notamment permis l'élaboration du standard BPEL4WS, le problème de la gestion de la QdS dans les compositions de services manque de solution flexible, réutilisable et offrant un degré d'abstraction approprié.L'objectif de cette thèse est de faciliter la gestion de la QdS dans les compositions de services en s'appuyant sur une meilleure séparation des préoccupations. Pour cela nous proposons QoSL4BP, un langage dédié qui permet la spécification de politiques de QdS à l'échelle des compositions de services. Ces politiques gèrent des contraintes et des mécanismes de QdS statiquement et dynamiquement à l'aide d'un ensemble limité de primitives de haut niveau. En encapsulant l'expertise liée au domaine de la gestion de QdS et en offrant une expressivité de haut niveau, le langage QoSL4BP permet une spécification aisée, flexible et réutilisable de la gestion des contrats de QdS et des mécanismes liés à la QdS. Ce langage est mis en œuvre par notre plateforme ORQOS qui coopère de manière non intrusive avec les moteurs d'orchestration. Ainsi, au moment du déploiement d'une composition de services, ORQOS sélectionne les services de la composition, selon leurs offres de QdS et les exigences spécifiées dans les politiques QoSL4BP. A l'exécution, les politiques QoSL4BP permettent de réagir aux variations de QdS et de mettre en œuvre des mécanismes liés à la gestion de QdS. Deux scénarii, appartenant respectivement aux domaines des télécommunications et du médical, permettent de valider l'approche proposée.

Bien que de nombreux travaux de recherche aient été menés au cours des deux dernières décennies pour résoudre le problème de la synchronisation de la porteuse, il constitue aujourd'hui une thématique de recherche d'une grande importance pour divers systèmes récents de la radiocommunication comme les technologies émergentes de la Radio Logicielle Restreinte (RLR) et de la Radio Intelligente (RI). En effet, les systèmes de la RLR sont multi-fonctionnels et flexibles, dans le sens où ils peuvent traiter une variété de standards et de services tout en offrant des solutions à faible coût. Quant à la technologie RI, c'est une vision futuriste d'une radio visant la conception de dispositifs sans fil dotés de capacités d'apprentissage, d'adaptation, et de reconfiguration. Dans ce contexte, les solutions existantes du problème de synchronisation doivent être adaptées à ces nouvelles générations de technologies radio en vu d'obtenir les meilleures performances. De nombreuses contributions au problème de la synchronisation de phase de la porteuse sont présentées dans cette thèse. Dans la première partie du travail, nous avons effectué une analyse théorique rigoureuse et complète du détecteur de phase DD. En se basant sur les résultats de cette étude, nous avons proposé une boucle de synchronisation optimisée pour la modulation 16-QAM ainsi qu'un nouveau détecteur de verrouillage de phase pour les modulations de type QAM. Par ailleurs, nous avons proposé une structure de synchronisation de phase adaptée aux applications de la RI, qui est capable de récupérer la phase de façon aveugle vis à vis du type de modulation du signal reçu. L'idée consiste à utiliser une mesure dite "fiabilité", extraite du détecteur de phase de la boucle de synchronisation et qui fournit une information sur la modulation du signal entrant. Enfin, nous avons discuté d'une vision SIMO du problème de synchronisation de phase, exploitant les possibilités offertes par une architecture de réception RLR.

Les Architectures Orientées Services permettent la définition d'applications complexes par assemblage de service existants, par exemple sous la forme d'«orchestrations» implémentant des processus métiers. La complexité de ces assemblages impose l'utilisation de techniques telle que la Séparation des Préoccupations pour en maitriser la difficulté. Dans cette thèse, nous présentons ADORE, un métamodèle d'activité permettant l'évolution des orchestrations. Il permet d'exprimer dans le même formalisme des “orchestrations” et des “fragments d'orchestrations”. Nous proposons alors différents algorithmes de compositions permettant l'intégration automatique de ces fragments dans des processus existants. Ces algorithmes définissent des propriétés de compositions (e.g., préservation des relations d'ordre), et assurent leur respect dans les processus composés. Ils assurent que les résultats de composition obtenus ne dépendent pas de l'ordre d'application. ADORE permet la définition de règles de détection d'interférences, sous la forme de prédicats. Le logiciel développé propose ainsi un support, en identifiant les interférences apparaissant lors des compositions. Nous illustrons cette contribution au travers de 2 études de cas: (i) JSEDUITE, une application de diffusion d'information utilisée en production et (ii) CCCMS, une application de gestion de crise implémentée dans le cadre d'une réponse à une étude de cas commune. Pour conclure, nous mettons en perspectives de récentes collaborations visant l'intégration d'ADORE au sein d'un processus de développement logiciel complet, allant des l'ingénierie des besoins à la visualisation efficace des processus composés.

Cette thèse s'inscrit dans le cadre d'une collaboration entre l'IRCCyN (UMR 6597) et le laboratoire SMI (Sensory-Motor Interaction, Université d'Aalborg, Dane- mark). L'objectif est de développer des méthodes de décomposition de signaux élec- tromyographiques (EMG). Les applications sont multiples, e.g., l'aide au diagnostic. De tels signaux peuvent être modélisés comme une somme bruitée de I composantes, chacune étant la réponse d'un système linéaire excité par un train d'impulsions. Les paramètres du modèle sont estimés par une technique bayésienne. Les lois a priori des paramètres continus sont choisies de sorte que les lois marginales a posteriori sont analytiques. Dans un premier temps est proposée une méthode déterministe par maxi- misation de la distribution a posteriori. La difficulté majeure consiste en l'estimation des trains d'impulsions. Ceux-ci (paramètres discrets) constituent un espace combinatoire ; la recherche du maximum est traitée par l'algorithme Tabou. Dans un deuxième temps, on souhaite éviter le réglage des paramètres associés à l'algorithme Tabou : l'approche bayésienne couplée aux techniques MCMC fournit un cadre d'étude très efficace. Un algorithme de Gibbs hybride est proposé, dans lequel une étape Metropolis-Hastings sur les trains d'impulsions permet d'éviter un calcul de complexité exponentielle, tout en garantissant l'irréductibilité de la chaîne de Markov. Les techniques issues de l'al- gorithme MCMC pour la déconvolution d'un processus Bernoulli-gaussien sont ap- pliquées. En particulier, le rééchantillonnage d'échelle et la marginalisation des ampli- tudes sont adaptés au modèle physique en tenant compte de la variabilité d'amplitudes des impulsions. Les algorithmes sont validés sur des signaux EMG simulés et expérimentaux.

L'électrochromatographie capillaire (ECC) est une méthode séparative très prometteuse. En effet, elle combine l'efficacité due au profil plat du flux électroosmotique (ECZ) et la sélectivité due aux interactions avec une phase stationnaire (CPL). Les phases stationnaires monolithiques ont été développées comme alternative aux phases particulaires de par leur facilité de synthèse in situ. C'est pourquoi ces nouvelles phases stationnaires peuvent être facilement intégrées dans des microsystèmes analytiques. Cependant un des inconvénients majeurs lié aux techniques miniaturisées est leur faible sensibilité lors d'analyses de traces. Ces difficultés peuvent être circonvenues en réalisant une étape appropriée de préconcentration des composés d'intérêt avant l'étape d'analyse proprement dite. Une telle stratégie serait particulièrement pertinente pour des échantillons environnementaux et d'intérêts biologiques. Dans un premier temps nous avons étudié l'optimisation de la synthèse in situ de phases stationnaires monolithiques à base d'acrylates. Des facteurs tels que la dose énergétique appliquée ainsi que le prétraitement du capillaire ont été étudiés afin de déterminer dans quelle mesure ceux-ci peuvent influer sur les performances structurales et séparatives de ces colonnes. Dans un deuxième temps, les résultats obtenus en ECC avec des colonnes monolithiques testées en tant que matériau de préconcentration et de séparation sont présentés. Ces études ont été menées avec des composés modèles environnementaux. De très bonne efficacité (250 000 à 350 000 plateaux par mètre) et des facteurs de préconcentration supérieurs à 10 000 ont été obtenus, avec succès. Enfin le couplage en ligne d'une étape de préconcentration avant la séparation dans des microsystèmes comportant une phase stationnaire monolithique a été réalisé, des hydrocarbures polyaromatiques ont ainsi été analysés.

Les zéolithes sont des aluminosilicates poreux cristallins dont la taille caractéristique de la porosité est de l'ordre de la taille de nombreuses molécules organiques et inorganiques, ce qui leur confère des propriétés spécifiques en adsorption et catalyse, à l'origine de leur importance dans de nombreuses applications industrielles. La modélisation des propriétés des zéolithes est importante de plusieurs points de vue : du point de vue de l'industriel, elle peut favoriser un choix plus judicieux du matériau qui présente la propriété d'adsorption critique pour une application ; du point de vue fondamental, la structure ordonnée des zéolithes en fait des matériaux modèles uniques pour tester les méthodes de calculs sur des étalons dont les propriétés peuvent être mesurées par de nombreuses techniques expérimentales. Cette thèse s'inscrit dans le cadre d'une collaboration entre le Laboratoire de Chimie Physique d'Orsay et l'IFP - énergies nouvelles. Différentes méthodes de simulation ont été mises au point pour modéliser, comprendre et prédire diverses caractéristiques structurales et propriétés des zéolithes cationiques : la sélectivité d'adsorption d'eau et hydrocarbures (notamment dans les faujasites au baryum), la localisation des cations extraréseaux (baryum notamment), la localisation des atomes d'aluminium dans la charpente (méthode basée sur des études de diffraction des rayons X), les propriétés d'échange ionique (faujasites NaX et NaY) et la flexibilité de la charpente. Les modèles et les méthodes dont nous disposons aujourd'hui permettent d'étudier des matériaux contenant des cations monovalents mais aussi divalents, ainsi que des matériaux bicationiques.

Cette thèse est divisée en trois parties. Les groupes de première partie des contributions à l'étude des équilibres corrélés. Nous nous concentrons sur les propriétés et les applications de la réduction de la double (Myerson, 1997) et la géométrie de Nash équilibres et des équilibres corrélés. La deuxième partie traite de l'évolution dynamique. Nous étudions le lien entre les stratégies appartenant à l'appui de Nash ou équilibres corrélés et les stratégies de survie dans le long terme. Nous constatons que la dynamique de beaucoup, y compris le réplicateur et les plus dynamiques de réponse peut éliminer toutes les stratégies à l'appui des équilibres corrélés. Élimination de toutes les stratégies à l'appui des équilibres de Nash est jugée encore plus universelle, et peuvent se produire à partir de presque toutes les conditions initiales. Le troisième partie se compose d'un seul article co-écrit, qui appartient au domaine de la biologie théorique. Nous aspects de l'étude de la transition de l'unicellulaire à organismes multi-cellulaires, en particulier les facteurs de conduite germe-soma spécialisation chez les algues vertes volvocine. introductions longues sont donnés au début de chaque partie. Le Bibliographie de la partie I et partie II est disjointe de la bibliographie de la partie III, et est offert à la fin de la partie II. Bien que reliées entre elles, les chapitres sont essentiellement autonome. En particulier, les notations et quelques définitions sont rappelés à chaque fois. Cela explique certaines répétitions.

Cette thèse est consacree au problµeme de separation de composantes lorsque celles ci sont des images de structure differente et que l'on en observe un ou plusieurs melange(s) ou(s) et bruite(s). Les problµemes de deconvolution et de separation, traditionnellement etudies separement, sont ici traites simultanément. Une façon naturelle d'aborder le problµeme multicomposants/multiobservations est de generaliser les techniques de deconvolution d'une image unique. Le premier resultat presente est une etude mathematique d'un tel algorithme. Preuve est faite que celuici est convergent mais pas regularisant et une modification restaurant cette propriete est proposee. Le sujet principal est le developpement et la comparaison de deux methodes pour traiter la deconvolution et separation simultanees de composantes. La premiµere methode est basee sur les propriétes statistiques locales des composantes tandis que dans la seconde, ces signaux sont decrits par des espaces fonctionnels. Les deux methodes utilisent des transformees en ondelettes redondantes pour simplifier les donnees. Les performances des deux algorithmes sont evaluees et comparees dans le cadre d'un problµeme astrophysique : celui de l'extraction des amas de galaxies par l'effet Sunyaev-Zel'dovich dans les images multispectrales des anisotropies du fond cosmique. Des simulations realistes sont etudiees. On montre qu'µa haute resolution et niveau de bruit modere, les deux methodes permettent d'extraire des cartes d'amas de galaxies de qualite suffisante pour des etudes cosmologiques. Le niveau de bruit est un facteur limitant µa basse resolution et la methode statistique est robuste µa la presence de points sources.

Le cadre de cette thèse est l'analyse statique modulaire par interprétation abstraite de logiciels en vue de leur vérification automatique. Nous nous intéressons en particulier aux programmes comportant des objets alloués dynamiquement sur un tas et repérés par des pointeurs. Le but final étant de trouver des erreurs dans un programme (problèmes de déréférencements et d'alias) ou de prouver qu'un programme est correct (relativement à ces problèmes) de façon automatique. Isthiaq, Pym, O'Hearn et Reynolds ont développé récemment des logiques de fragmentation (separation logics) qui sont des logiques de Hoare avec un langage d'assertions/de prédicats permettant de démontrer qu'un programme manipulant des pointeurs sur un tas est correct. La sémantique des triplets de la logique ({P}C{P