Ce travail de thèse a pour objectif de caractériser le comportement anisotrope des mousses acoustiques. Ces matériaux, couramment employés pour lutter contre les nuisances sonores et vibratoireset sont modélisés à l'aide du modèle de Biot. Celui-ci est basé sur le formalisme de lamécanique des milieux continus à deux champs couplés, l'un associé au solide et l'autre au fluidesaturant. Nous nous intéresserons plus particulièrement dans ce travail aux paramètres du solideet aux matériaux présentant une anisotropie (c'est-à-dire des propriétés qui varient suivant lesdirections) du squelette solide. Ici, deux types d'anisotropie sont distingués, l'anisotropie naturelledu matériau et celle induite par une action extérieure, cette dernière ayant pour principale cause lacompression statique des échantillons. Par ailleurs, trois types de symétries naturelles sont considérés : isotropie, isotropie transverse avec et sans rotation de direction principale. Celles-ci sont leplus couramment rencontrées.L'analyse expérimentale du type de symétrie des mousses se fait au moyen d'un dispositif, appelé rigidimètre, qui permet de déterminer la raideur mécanique d'échantillons cubiques de moussesous hypothèse quasi-statique. Celui-ci est couplé à une mesure au vibromètre laser à balayage, permettantde mesurer le déplacement normal des faces des cubes. Des lignes de niveaux des champsde déplacements normaux surfaciques sont ainsi obtenues. Il est alors possible de classer les différentstypes d'anisotropie en analysant ces courbes de niveaux. Ainsi, avec ces a-priori, une méthodea été élaborée pour déterminer les coefficients de Poisson à l'aide de techniques de minimisationà partir des autres constantes élastiques préalablement déterminées. Ce problème est construit àpartir d'indicateurs expérimentaux et d'indicateurs provenant d'un modèle éléments finis.L'influence de la compression statique sur les modules élastiques est ensuite étudiée. Toutd'abord, la variation du module d'Young en fonction du taux de compression est caractérisée àpartir de mesures au rigidimètre. Ensuite, la variation du module de cisaillement en fonction de lacompression statique est caractérisée par une méthode d'ondes guidées (en collaboration avec laKULeuven). Il a été montré que les variations de modules élastiques pouvaient être importantespuisqu'elles peuvent atteindre 50 %. A partir de ces déterminations expérimentales, quatre zones decomportement de la mousse ont été mises en évidence. Ces quatre zones correspondent respectivementà des effets de compression, de flambement, de densification et de réarrangement des cellules.Un modèle éléments-finis microstructural, dans lequel la cellule élémentaire est modélisée par untétrakaidécaèdre de Kelvin, est enfin proposé. Celui-ci permet de modéliser les trois premièreszones, qui correspondent aux compressions statiques usuelles dans les applications acoustiques.

Dans le cadre du déploiement de nouveaux systèmes de transmission basés sur les technologies xDSL (x Digital Subscriber Loop) et PLC (PowerLine Communication). Ces techniques, mises en oeuvre sur l'infrastructure existante (réseau téléphonique ou électrique) afin de transmettre des données haut débit, et offrent de nouveaux services avec un accès à l'information qui devient illimité. Cependant, cette augmentation des débits sur des voies de transmission de plus en plus variées, et l'utilisation de fréquences élevées exigent de sévères contraintes de compatibilité électromagnétique. Ces fréquences susceptibles d'engendrer des phénomènes d'interférences électromagnétiques associés aux caractéristiques des équipements déployés et des liens physiques utilisés. Il convient donc de prendre en compte ces problèmes d'émission électromagnétique lors du déploiement des services haut débit afin d'éviter d'éventuelles conséquences sur les systèmes radioélectriques, ou entre systèmes filaires hauts débits occupant les mêmes bandes de fréquences. Ce travail de thèse s'inscrit dans ce cadre général et est orienté vers le développement de méthodes prédictives en vue de les appliquer à des systèmes de transmission haut débit rencontrés dans le réseau d'accès. Il s'agit de sélectionner une théorie efficace, permettant de déterminer le rayonnement trouvé à proximité de lignes de télécommunications ou électriques, parcourues par des signaux de hautes fréquences. Le second axe de ce travail est consacré à la recherche de méthodes permettant de diminuer les émissions électromagnétiques de ces nouveaux services

La majorité des systèmes de reconnaissance d'états affectifs est entrainée sur des données artificielles hors contexte applicatif et les évaluations sont effectuées sur des données pré-enregistrées de même qualité. Cette thèse porte sur les différents défis résultant de la confrontation de ces systèmes à des situations et des utilisateurs réels.Pour disposer de données émotionnelles spontanées au plus proche de la réalité, un système de collecte simulant une interaction naturelle et mettant en oeuvre un agent virtuel expressif a été développé. Il a été mis en oeuvre pour recueillir deux corpus émotionnels, avec la participation de près de 80 patients de centres médicaux de la région de Montpellier, dans le cadre du projet ANR ARMEN.Ces données ont été utilisées dans l'exploration d'approches pour la résolution du problème de la généralisation des performances des systèmes de détection des émotions à d'autres données. Dans cette optique, une grande partie des travaux menés a porté sur des stratégies cross-corpus ainsi que la sélection automatique des meilleurs paramètres. Un algorithme hybride combinant des techniques de sélection flottante avec des métriques de similitudes et des heuristiques multi-échelles a été proposé et appliqué notamment dans le cadre d'un challenge (InterSpeech 2012). Les résultats de l'application de cet algorithme offrent des pistes pour différencier des corpus émotionnels à partir des paramètres les plus pertinents pour les représenter.Un prototype du système de dialogue complet, incluant le module de détection des émotions et l'agent virtuel a également été implémenté.

Cette thèse propose une nouvelle approche pour la synthèse de valeurs temporelles dans les systèmes temporisés. Notre approche est basée sur la méthode inverse suivante : à partir d’une instance de référence des paramètres, nous synthétisons une contrainte sur les paramètres, garantissant le même comportement que pour l’instance de référence, abstraction faite du temps. Il en résulte un critère de robustesse pour le système. En itérant cette méthode sur des points dans un domaine paramétrique borné, nous sommes alors à même de partitionner l’espace des paramètres en bonnes et mauvaises zones par rapport à une propriété à vérifier. Ceci nous donne une cartographie comportementale du système. Cette méthode s’étend aisément aux systèmes probabilistes. Nous présentons également des variantes de la méthode inverse pour les graphes orientés valués et les processus de décision markoviens. Parmi les prototypes implémentés, IMITATOR II implémente la méthode inverse et la cartographie pour les automates temporisés. Ce prototype nous a permis de synthétiser de bonnes valeurs pour les paramètres temporels de plusieurs études de cas, dont un modèle abstrait d’une mémoire commercialisée par le fabricant de puces STMicroelectronics, ainsi que plusieurs protocoles de communication. / This thesis proposes a novel approach for the synthesis of delays for timed systems, in particular in the framework oftimed automata, a model for verifying real-time systems. Our approach relies on the following inverse method: given a reference valuation of the parameters, we synthesize a constraint on the parameters, guaranteeing the same timeabstract linear behavior as for the reference valuation. This gives a criterion of robustness to the system. By iterating this inverse method on various points of a bounded parameter domain, we are then able to partition the parametric space into good and bad zones, with respect to a given property one wants to verify. This gives a behavioral cartography of the system. This method extended to probabilistic systems allows to preserve minimum and maximum probabilities of reachability properties. We also present variants of the inverse method for directed weighted graphs and Markov Decision Processes. Several prototypes have been implemented; in particular, IMITATOR II implements the inverse method and the cartography for timed automata. It allowed us to synthesize parameter values for several case studies such as an abstract model of a memory circuit sold by the chipset manufacturer ST-Microelectronics, and various communication protocols.

Cette thèse porte sur la segmentation d'images OCT cutanées. Cette modalité d'imagerie permet de visualiser les structures superficielles avec une profondeur de l'ordre du millimètre. En dermatologie, elle permet d'explorer l'épiderme et sa jonction avec le derme. Cependant, les images OCT sont sévèrement affectées par le bruit speckle. Ce phénomène conjugué à la complexité inhérente aux structures de la peau rend l'interprétation des images difficile même pour des experts. L'approche classique consiste à filtrer le speckle avant de faire des traitements de segmentation. A l'inverse, dans cette thèse nous exploitons exclusivement le bruit comme information pour segmenter. Notre approche repose sur la modélisation statistique du speckle. La segmentation se fait par classification des paramètres de ce modèle probabiliste. Ainsi, - On montre que le speckle ne suit pas une loi Rayleigh, comme cela est établi analytiquement. - On ajuste plusieurs lois de probabilité à l'amplitude OCT; et on montre que celle-ci est distribuée selon la loi Gamma généralisée. - On établit que les paramètres de cette loi discriminent statistiquement les couches de la peau. - On conçoit une méthode de segmentation par classification des paramètres locaux du speckle. Les nombreuses expérimentations faites sur plusieurs corpus d'images in-vivo confirment la validité de notre approche. / This thesis deals with the segmentation of skin OCT images. This modality provides the means to visualize superficial structures down to a millimeter depth. In dermatology, it is used to examine the epidermis and its junction with the dermis. However, OCT images are severely affected by the speckle noise. This random phenomenon added to the complexity of human skin structures makes the visual interpretation of images very difficult. Classical image processing techniques filter this noise prior to any segmentation step. In this thesis, we rely exclusively on the properties of the speckle to perform segmentation. Our approach is based on the statistical modeling of the speckle. Images are segmented by classifying parameters of the statistical model. Therefore, - We show that speckle does not follow the Rayleigh distribution, as developed analytically in the literature. - We fit various probability laws to model OCT signal amplitude ; we show that Generalized Gamma has the best goodness of fit. - We establish that statistical parameters of this distribution discriminate skin layers with good variability. - We develop a segmentation method based on the classification of local statistical parameters. The various experimental results with a number of in-vivo images reported in the thesis confirm the validity of our approach

Résumé : Dans les couverts forestiers, le suivi de l’humidité du sol permet de prévenir plusieurs désastres tels que la paludification, les incendies et les inondations. Comme ce paramètre est très dynamique dans l’espace et dans le temps, son estimation à grande échelle présente un grand défi, d’où le recours à la télédétection radar. Le capteur radar à synthèse d’ouverture (RSO) est couramment utilisé grâce à sa vaste couverture et sa résolution spatiale élevée. Contrairement aux sols nus et aux zones agricoles, le suivi de l’humidité du sol en zone forestière est très peu étudié à cause de la complexité des processus de diffusion dans ce type de milieu. En effet, la forte atténuation de la contribution du sol par la végétation et la forte contribution de volume issue de la végétation réduisent énormément la sensibilité du signal radar à l’humidité du sol. Des études portées sur des couverts forestiers ont montré que le signal radar en bande C provient principalement de la couche supérieure et sature vite avec la densité de la végétation. Cependant, très peu d’études ont exploré le potentiel des paramètres polarimétriques, dérivés d’un capteur polarimétrique comme RADARSAT-2, pour suivre l’humidité du sol sur les couverts forestiers. L’effet du couvert végétal est moins important avec la bande L en raison de son importante profondeur de pénétration qui permet de mieux informer sur l’humidité du sol. L’objectif principal de ce projet est de suivre l’humidité du sol à partir de données radar entièrement polarimétriques en bandes C et L sur des sites forestiers. Les données utilisées sont celles de la campagne terrain Soil Moisture Active Passive Validation EXperiment 2012 (SMAPVEX12) tenue du 6 juin au 17 juillet 2012 au Manitoba (Canada). Quatre sites forestiers de feuillus ont été échantillonnés. L’espèce majoritaire présente est le peuplier faux-tremble. Les données utilisées incluent des mesures de l’humidité du sol, de la rugosité de surface du sol, des caractéristiques des sites forestiers (arbres, sous-bois, litières…) et des données radar entièrement polarimétriques aéroportées et satellitaires acquises respectivement, en bande L (UAVSAR) à 30˚ et 40˚ et en bande C (RADARSAT-2) entre 20˚ et 30˚. Plusieurs paramètres polarimétriques ont été dérivés des données UAVSAR et RADARSAT-2 : les coefficients de corrélation (ρHHVV, φHHVV, etc); la hauteur du socle; l’entropie (H), l’anisotropie (A) et l’angle alpha extraits de la décomposition de Cloude-Pottier; les puissances de diffusion de surface (Ps), de double bond (Pd) extraites de la décomposition de Freeman-Durden, etc. Des relations entre les données radar (coefficients de rétrodiffusion multifréquences et multipolarisations (linéaires et circulaires) et les paramètres polarimétriques) et l’humidité du sol ont été développées et analysées. Les résultats ont montré que 1) En bande L, plusieurs paramètres optimaux permettent le suivi de l’humidité du sol en zone forestière avec un coefficient de corrélation significatif (p-value < 0,05): σ[indice supérieur 0] linéaire et σ[indice supérieur 0] circulaire (le coefficient de corrélation, r, varie entre 0,60 et 0,96), Ps (r entre 0,59 et 0,84), Pd (r entre 0,6 et 0,82), ρHHHV_30˚, ρVVHV_30˚, φHHHV_30˚ and φHHVV_30˚ (r entre 0,56 et 0,81) alors qu’en bande C, ils sont réduits à φHHHV, φVVHV et φHHVV (r est autour de 0,90). 2) En bande L, les paramètres polarimétriques n’ont pas montré de valeur ajoutée par rapport aux signaux conventionnels multipolarisés d’amplitude, pour le suivi de l’humidité du sol sur les sites forestiers. En revanche, en bande C, certains paramètres polarimétriques ont montré de meilleures relations significatives avec l’humidité du sol que les signaux conventionnels multipolarisés d’amplitude. / Abstract : Over forest canopies, soil moisture monitoring allows to prevent many disasters such as paludification, fires and floods. As this parameter is very dynamic in space and time, its large-scale estimation is a great challenge, hence the use of radar remote sensing. Synthetic aperture radar (SAR) sensor is commonly used due to its wide spatial coverage and its high spatial resolution. Unlike bare soils and agricultural areas, only few investigations focused on the monitoring of soil moisture over forested areas due to the complexity of the scattering processes in this kind of medium. Indeed, the high attenuation of soil contribution by the vegetation and the high vegetation volume contribution significantly reduce the sensitivity of the radar signal to soil moisture. Studies conducted at C-band have shown that the radar signal mainly comes from the upper layer and it quickly saturates with the vegetation density. However, very few studies have explored the potential of polarimetric parameters derived from a fully polarimetric sensor such as RADARSAT-2, to monitor soil moisture over forest canopies. With its large penetration’s depth, vegetation cover effect is less important at L-band, allowing thus to better inform on soil moisture. The main objective of this project is to monitor soil moisture from fully polarime tric L and C bands radar data acquired over forested sites. The data used were collected during the field campaign of Soil Moisture Active Passive Validation EXperiment 2012 (SMAPVEX12) which took place from June 6 to July 17, 2012 in Manitoba (Canada). Four deciduous forested sites were sampled. The main species is the trembling aspen. The data used included measurements of soil moisture, soil surface roughness, characteristics of the forested sites (trees, undergrowth, litter, etc.) and fully polarimetric airborne and satellite radar data respectively acquired at L-band (UAVSAR) with 30 ̊ and at 40 ̊ incidence angles and at C-band (RADARSAT -2) between 20 ̊ and 30 ̊. Several polarimetric parameters were derived from UAVSAR and RADARSAT-2 data: the correlation c oefficients (ρHHVV, φHHVV, etc); the pedestal height; entropy (H), anisotropy (A) and alpha angle extracted from Cloude-Pottier decomposition; surface (Ps) and double bounce (Pd) scattering powers extracted from Freeman-Durden decomposition, etc. Relationships between radar backscattering data (multifrequency and multipolarisation (linear/circular) backscattering coefficients and polarimetric parameters) and soil moisture were developed and analyzed. The results showed that 1) at L-band, several optimal parameters allow soil moisture monitoring over forested sites with a significant correlation coefficient (p-value < 0.05): linear and circular σ[superscript 0] (the correlation coefficient, r, varies between 0.60 and 0.96), Ps (r varies between 0.59 and 0.84), Pd (r varies between 0.60 and 0.82), ρHHHV_30 ̊, ρVVHV_30 ̊, φHHHV_30 ̊ and φHHVV_30 ̊ (r varies between 0.56 and 0.81). However, at C-band, there are only few optimal parameters φHHHV, φVVHV and φHHVV (r is around 0.90) . 2) at L-band, polarimetric parameters did not show any added values for soil moisture monitoring over forested sites compared to multipolarised σ[superscript 0]. Nevertheless, at C-band some polarimetric parameters show better significant relationships with the soil moisture than the conventional multipolarised backscattering amplitudes.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.