811 |
Contrôle de santé des matériaux et structures par analyse de la coda ultrasonoreZHANG, Yuxiang 20 September 2013 (has links) (PDF)
La coda ultrasonore est constituée d'ondes ultrasonores ayant subi des diffusions multiples lors de leur propagation dans un milieu complexe (milieu hétérogène/milieu homogène ayant une géométrie complexe). La coda ultrasonore présente une haute sensibilité aux perturbations du milieu de propagation. L'analyse de la coda ultrasonore par la méthode dite d’interférométrie de la coda (CWI pour Coda Wave Interferometry) permet d'évaluer la variation de la vitesse de propagation dans un milieu à partir des signaux de coda ultrasonores avec une grande précision (0,001 % en relatif). Une telle variation de la vitesse de propagation peut être utilisée pour l'évaluation et le contrôle non destructif (ECND) d’un matériau ou d'une structure. Un essai expérimental est présenté au début de la thèse comme exemple d’utilisation de la CWI pour l’ECND du béton. Face aux problèmes expérimentaux inhérents au degré de précision de cet essai, nous présentons un protocole expérimental conçu pour améliorer la fiabilité des résultats CWI. Ce protocole a été validé expérimentalement dans une étude d’acousto-élasticité du béton. Les résultats vérifient que ce protocole peut 1) réduire les biais provenant non seulement des fluctuations de température ambiante, mais aussi des procédures expérimentales et 2) améliorer la répétabilité de l’essai. Avec ce protocole de contrôle des biais, une étude du comportement de béton sous un chargement uni-axial en traction directe a été effectuée en utilisant la CWI. Les comportements élastique (l’effet acoustoélastique) et anélastique (l’effet Kaiser) du béton sont observés via les résultats CWI. Un coefficient acoustoélastique effectif (Β) qui décrit le niveau de la non-linéarité élastique du béton a été déterminé et utilisé pour la détection d’un endommagement léger du béton. La CWI est ensuite utilisée pour la détection globale de défauts (fissures) dans un milieu initialement linéaire (verre). Un chargement acoustique (l’onde de pompe) est utilisé pour mettre en jeu les non-linéarités des défauts. L’onde de coda qui se propage simultanément dans le milieu sert comme onde de sonde est modulée non linéairement par l’onde de pompe. L’apparition de la modulation non linéaire est due à la présence des défauts et peut être détectée par la variation des résultats CWI en fonction de l’amplitude de l’onde de pompe. En utilisant une onde de pompe large bande, nous montrons expérimentalement que cette méthode permet la détection des défauts et d’évaluation du niveau d’endommagement (via le niveau effectif de la non-linéarité) d’une manière globale sans zone aveugle.
|
812 |
Multimodal Image Registration applied to Magnetic Resonance and Ultrasound Prostatic ImagesMitra, Jhimli 26 September 2012 (has links) (PDF)
This thesis investigates the employment of different deformable registration techniques to register pre-operative magnetic resonance and inter-operative ultrasound images during prostate biopsy. Accurate registration ensures appropriate biopsy sampling of malignant prostate tissues and reduces the rate of re-biopsies. Therefore, we provide comparisons and experimental results for some landmark- and intensity-based registration methods: thin-plate splines, free-form deformation with B-splines. The primary contribution of this thesis is a new spline-based diffeomorphic registration framework for multimodal images. In this framework we ensure diffeomorphism of the thin-plate spline-based transformation by incorporating a set of non-linear polynomial functions. In order to ensure clinically meaningful deformations we also introduce the approximating thin-plate splines so that the solution is obtained by a joint-minimization of the surface similarities of the segmented prostate regions and the thin-plate spline bending energy. The method to establish point correspondences for the thin-plate spline-based registration is a geometric method based on prostate shape symmetry but a further improvement is suggested by computing the Bhattacharyya metric on shape-context based representation of the segmented prostate contours. The proposed deformable framework is computationally expensive and is not well-suited for registration of inter-operative images during prostate biopsy. Therefore, we further investigate upon an off-line learning procedure to learn the deformation parameters of a thin-plate spline from a training set of pre-operative magnetic resonance and its corresponding inter-operative ultrasound images and build deformation models by applying spectral clustering on the deformation parameters. Linear estimations of these deformation models are then applied on a test set of inter-operative and pre-operative ultrasound and magnetic resonance images respectively. The problem of finding the pre-operative magnetic resonance image slice from a volume that matches the inter-operative ultrasound image has further motivated us to investigate on shape-based and image-based similarity measures and propose for slice-to-slice correspondence based on joint-maximization of the similarity measures.
|
813 |
Etude du comportement hydromécanique des sédiments pollués par les PCB en interaction avec les géomatériaux pour un stockage hors siteChahal, Hadi 23 July 2013 (has links) (PDF)
A l'heure actuelle, des sédiments fluviaux et lacustres se trouvent pollués par les polychlorobiphényles (PCB), à des degrés de gravité divers. Les PCB se présentent comme des micropolluants persistants dans l'environnement et nuisibles à la santé. Un programme de recherche " PCB-Axelera " est conduit afin de pencher sur cette problématique et explorer les solutions de diminution de cette pollution. En France, l'ensemble des arrêtés préfectoraux (30/10/2002 et 14/06/2000) et le décret du 18/04/2002 considèrent les sédiments pollués comme déchets et autorisent leur stockage dans les installations de stockage de déchets si leurs teneurs en PCB sont comprises entre 0,68 ppm et 50 ppm. L'objectif principal de cette étude est de concevoir une méthodologie adaptée pour une installation de déchets non-dangereux ISDND. Les géomatériaux dans ce stockage seront utilisés comme barrière d'étanchéité pour les sédiments pollués. L'étude est composée de trois parties : Dans la première partie la caractérisation hydromécanique chimique des sédiments pollués par les PCB est présentée. La classification des sédiments est effectuée. Le comportement mécanique du sédiment est déterminé à l'aide de l'œdomètre. Quant au comportement hydromécanique il est étudié à l'aide du filtre presse et du perméamètre à paroi rigide (PPR). Cette caractérisation est indispensable pour proposer la meilleure mise en œuvre des sédiments dans le centre de stockage. Dans la deuxième partie, les performances hydraulique (perméabilité) et mécanique (gonflement) des différents géomatériaux en contact avec un fluide extrait du sédiment et d'autres fluides synthétiques contenant des PCB sont explorées. L'étude du gonflement des géomatériaux est réalisée à l'échelle du laboratoire tandis que, l'étude de sa performance hydrique est réalisée sur deux échelles centimétrique et métrique. L'étude menée sur un pilote de 1,2 m3 de volume comprenant un système de pluviation automatique a permis de suivre les tassements à l'aide d'un capteur ultrason et de mesurer la perméabilité des sédiments et des géomatériaux sous conditions réelles de stockage. Dans la troisième partie, un modèle hydraulique 1D est développé afin de suivre le front d'eau au sein d'un échantillon de sédiment soumis à une charge hydraulique représentant l'expérimentation dans un PPR. La méthode VER est utilisée. Les résultats expérimentaux montrent que le degré de contamination en PCB de ces sédiments n'influence pas le comportement hydromécanique et donc la qualité d'étanchéité des géomatériaux étudiés. Les résultats numériques de simulation du comportement hydraulique du sédiment sont en concordance avec les résultats expérimentaux. La solution de stockage hors site des sédiments pollués est alors envisageable puisqu'elle confine la pollution en éliminant le risque de contamination du milieu environnant.
|
814 |
Estimation du temps de parcours d’un réseau urbain par fusion de données de boucles magnétiques et de véhicules traceurs : Une approche stochastique avec mise en oeuvre d’un filtre de Kalman sans parfumHage, Ré-Mi 25 September 2012 (has links) (PDF)
La notion de temps de parcours est une information simple à intégrer par les usagers des transports et a le potentiel, via des systèmes d’assistance, de réduire la congestion aussi bien de manière temporelle que spatiale. Cette thèse porte sur la problématique de l’estimation du temps de parcours en ville, où la circulation se caractérise par un débit variable et un flux significatif de/vers des voies transversales non équipées de capteurs de trafic, flux qui agit comme perturbation de l’équation de conservation des véhicules. La bibliographie présente des approches déterministes et stochastiques, utilisant, selon les situations expérimentales, soit des boucles inductives, soit des véhicules traceurs, soit les deux. Nous proposons une méthode stochastique du type filtrage de Kalman sans parfum. Son modèle dynamique est basé sur la méthode analytique classique des stocks qui considère le décalage temporel entre les cumuls de véhicules entrants et sortants dans chaque tronçon du réseau. La formulation de ce modèle n’est pas explicite, ce qui justifie l’utilisation d’un filtre sans parfum. Les observations utilisées sont à la fois les boucles magnétiques à la sortie des tronçons et les véhicules traceurs après map-matching sur le réseau. L’algorithme est applicable en temps réel, sans connaissance a priori des affectations aux carrefours, et sous conditions éventuelles de perturbation. En sortie de filtre, on dispose des variances d’estimation, ce qui mesure la confiance dans le temps de parcours estimé et permet de rejeter des mesures aberrantes. La validation a été montrée sur la base de simulations sur un réseau simple à trois intersections, avec des flux variables et des perturbations, et pour quelques pourcents de véhicules traceurs.
|
815 |
Parole de locuteur : performance et confiance en identification biométrique vocaleKahn, Juliette 19 December 2011 (has links) (PDF)
Ce travail de thèse explore l'usage biométrique de la parole dont les applications sont très nombreuses (sécurité, environnements intelligents, criminalistique, surveillance du territoire ou authentification de transactions électroniques). La parole est soumise à de nombreuses contraintes fonction des origines du locuteur (géographique, sociale et culturelle) mais également fonction de ses objectifs performatifs. Le locuteur peut être considéré comme un facteur de variation de la parole, parmi d'autres. Dans ce travail, nous présentons des éléments de réponses aux deux questions suivantes :- Tous les extraits de parole d'un même locuteur sont-ils équivalents pour le reconnaître ?- Comment se structurent les différentes sources de variation qui véhiculent directement ou indirectement la spécificité du locuteur ? Nous construisons, dans un premier temps, un protocole pour évaluer la capacité humaine à discriminer un locuteur à partir d'un extrait de parole en utilisant les données de la campagne NIST-HASR 2010. La tâche ainsi posée est difficile pour nos auditeurs, qu'ils soient naïfs ou plus expérimentés.Dans ce cadre, nous montrons que ni la (quasi)unanimité des auditeurs ni l'auto-évaluation de leurs jugements ne sont des gages de confiance dans la véracité de la réponse soumise.Nous quantifions, dans un second temps, l'influence du choix d'un extrait de parole sur la performance des systèmes automatiques. Nous avons utilisé deux bases de données, NIST et BREF ainsi que deux systèmes de RAL, ALIZE/SpkDet (LIA) et Idento (SRI). Les systèmes de RAL, aussi bienfondés sur une approche UBM-GMM que sur une approche i-vector montrent des écarts de performances importants mesurés à l'aide d'un taux de variation autour de l'EER moyen, Vr (pour NIST, VrIdento = 1.41 et VrALIZE/SpkDet = 1.47 et pour BREF, Vr = 3.11) selon le choix du fichier d'apprentissage utilisé pour chaque locuteur. Ces variations de performance, très importantes, montrent la sensibilité des systèmes automatiques au choix des extraits de parole, sensibilité qu'il est important de mesurer et de réduire pour rendre les systèmes de RAL plus fiables.Afin d'expliquer l'importance du choix des extraits de parole, nous cherchons les indices les plus pertinents pour distinguer les locuteurs de nos corpus en mesurant l'effet du facteur Locuteur sur la variance des indices (h2). La F0 est fortement dépendante du facteur Locuteur, et ce indépendamment de la voyelle. Certains phonèmes sont plus discriminants pour le locuteur : les consonnes nasales, les fricatives, les voyelles nasales, voyelles orales mi-fermées à ouvertes.Ce travail constitue un premier pas vers une étude plus précise de ce qu'est le locuteur aussi bien pour la perception humaine que pour les systèmes automatiques. Si nous avons montré qu'il existait bien une différence cepstrale qui conduisait à des modèles plus ou moins performants, il reste encore à comprendre comment lier le locuteur à la production de la parole. Enfin, suite à ces travaux, nous souhaitons explorer plus en détail l'influence de la langue sur la reconnaissance du locuteur. En effet, même si nos résultats indiquent qu'en anglais américain et en français, les mêmes catégories de phonèmes sont les plus porteuses d'information sur le locuteur, il reste à confirmer ce point et à évaluer ce qu'il en est pour d'autres langues
|
816 |
An Efficient Approach for Diagnosability and Diagnosis of DES Based on Labeled Petri Nets, Untimed and Timed ContextsLIU, Baisi 17 April 2014 (has links) (PDF)
Cette thèse s'intéresse à l'étude des problèmes de diagnostic des fautes sur les systèmes à événements discrets dans des contextes atemporel et temporel sur la base de modèles réseau de Petri. Des techniques d'exploration incrémentale et à-la-volée sont développées pour combattre le problème de l'explosion de l'espace d'état. Dans le contexte atemporel, une représentation algébrique pour les réseaux de Petri labellisés (RdP-L) a été développée pour caractériser le comportement du système. La diagnosticabilité de modèles RdP-L est ensuite abordée par l'analyse d'une série de problèmes d'analyse de K -diagnosticabilité, où K peut être augmenté progressivement. Concrètement, l'analyse de la diagnosticabilité est effectuée sur la base de deux modèles nommés respectivement FM-graph et FM-set tree qui sont développés à-la-volée et qui contiennent les informations relatives aux fautes. Un diagnostiqueur peut facilement être dérivé à partir du FM-set tree pour le diagnostic en ligne. Dans le contexte temporel, une technique de fractionnement des intervalles de temps a été élaborée pour développer une représentation de l'espace d'état des réseaux de Petri labellisés et temporels (RdP-LT) pour laquelle des techniques d'analyse de la diagnosticabilité du contexte atemporel, peuvent être exploitées. Sur cette base, les conditions nécessaires et suffisantes pour la diagnosticabilité de RdP-LT ont été déterminées, et nous présentons la solution pour le délai minimum qui assure la diagnosticabilité. En pratique, l'analyse de la diagnosticabilité est effectuée sur la base de la construction à-la-volée d'une structure que l'on appelle ASG et qui contient des informations relatives à l'occurrence de fautes sur les états du RdP-LT. D'une manière générale, l'analyse effectuée sur la base des techniques à-la-volée et incrémentale permet de construire et explorer seulement une partie de l'espace d'état. Les résultats des analyses effectuées sur certains benchmarks montrent l'efficacité des techniques que nous avons développées en termes de temps et de mémoire par rapport aux approches traditionnelles basées sur l'énumération des états.
|
817 |
Caractérisation du rayonnement acoustique d'un rail à l'aide d'un réseau de microphonesFaure, Baldrik 22 September 2011 (has links) (PDF)
Le secteur des transports ferroviaires en France est marqué par un dynamisme lié notamment à l'essor du réseau à grande vitesse et à la réimplantation du tramway dans de nombreuses agglomérations. Dans ce contexte, la réduction des nuisances sonores apparaît comme un enjeu majeur pour son développement. Afin d'agir efficacement à la source, il est indispensable d'identifier et d'étudier précisément les sources responsables de ces nuisances au passage des véhicules. Parmi les approches possibles, les antennes microphoniques et les traitements associés sont particulièrement adaptés à la caractérisation des sources ponctuelles mobiles, omnidirectionnelles et décorrélées.Pour les vitesses inférieures à 300 km/h, le bruit de roulement constitue la source principale du bruit ferroviaire ; il résulte du rayonnement acoustique des éléments tels que les roues, le rail et les traverses. Le rail, dont la contribution au bruit de roulement est prépondérante aux moyennes fréquences (entre 500 He et 1000 Hz environ), est une source étendue et cohérente pour laquelle les principes classiques de traitement d'antenne ne sont pas adaptés.La méthode de caractérisation proposée dans cette thèse est une méthode inverse d'optimisation paramétrique utilisant les signaux acoustiques issus d'une antenne microphonique. Les paramètres inconnus d'un modèle vibro-acoustique sont estimés par minimisation d'un critère des moindres carrés sur les matrices spectrales mesurée et modélisée au niveau de l'antenne. Dans le modèle vibro-acoustique, le rail est assimilé à un monopôle cylindrique dont la distribution longitudinale d'amplitude est liée à celle des vitesses vibratoires. Pour le calcul de ces vitesses, les différents modèles proposés mettent en évidence des ondes vibratoires se propageant dans le rail de part et d'autre de chaque excitation. Chacune de ces ondes est caractérisée par une amplitude au niveau de l'excitation, un nombre d'onde structural réel et une atténuation. Ces paramètres sont estimés par minimisation du critère, puis utilisés pour reconstruire le champ acoustique.Dans un premier temps, des simulations sont réalisées pour juger des performances de la méthode proposée, dans le cas d'excitations ponctuelles verticales. En particulier, sa robustesse est testée en présence de bruit ou d'incertitudes sur les paramètres supposés connus du modèle. Les effets de l'utilisation de modèles dégradés sont également étudiés. Concernant l'estimation des amplitudes, les résultats ont montré que la méthode est particulièrement robuste et efficace pour les excitations les plus proches de l'antenne. En revanche, pour l'estimation des autres paramètres, les performances sont supérieures pour les positions d'antenne excentrées. De manière générale, le nombre d'onde est correctement estimé sur l'ensemble des fréquences étudiées. Dans les cas à faible atténuation, un traitement classique par formation de voies en ondes planes suffit. En ce qui concerne l'estimation de l'atténuation, la faible sensibilité du critère limite l'efficacité de la méthode proposée.Enfin, certains résultats obtenus à partir des simulations ont été vérifiés lors de mesures in situ. L'excitation d'un rail expérimental par un marteau de chocs a tout d'abord permis de valider le modèle vibratoire pour la flexion verticale. Pour tester la méthode d'optimisation paramétrique, le rail a également été excité verticalement à l'aide d'un pot vibrant. Les principaux résultats des simulations ont été retrouvés, et des comportements particuliers relatifs à la présence de plusieurs ondes dans le rail ont été observés, ouvrant des perspectives de généralisation du modèle vibratoire utilisé.
|
818 |
Documents, Graphes et Optimisation Multi-ObjectifsAdam, Sébastien 29 November 2011 (has links) (PDF)
Les travaux qui sont abordés dans cette habilitation sont à la confluence de plusieurs de ces domaines de recherche. Ils concernent deux aspects principaux. Le premier est relatif à la reconnaissance structurelle de formes, en proposant deux contributions liées respectivement à la classification supervisée de graphes et à la recherche d'isomorphismes de sous-graphes. Le second concerne la prise en compte d'objectifs multiples en analyse d'images de documents, tant pour l'évaluation des performances des systèmes que pour leur optimisation. Dans les deux cas, les travaux sont appliqués à des problèmes d'analyse de documents, pour la reconnaissance et la localisation de symboles et pour la reconnaissance de courriers manuscrits. Nous proposons dans ce mémoire de faire une synthèse de ces contributions et de nos perspectives dans ces domaines, en positionnant celles-ci par rapport à l'état de l'art des différentes problématiques abordées.
|
819 |
Estimation sous contraintes de communication : algorithmes et performances asymptotiquesCabral farias, Rodrigo 17 July 2013 (has links) (PDF)
L'essor des nouvelles technologies de télécommunication et de conception des capteurs a fait apparaître un nouveau domaine du traitement du signal : les réseaux de capteurs. Une application clé de ce nouveau domaine est l'estimation à distance : les capteurs acquièrent de l'information et la transmettent à un point distant où l'estimation est faite. Pour relever les nouveaux défis apportés par cette nouvelle approche (contraintes d'énergie, de bande et de complexité), la quantification des mesures est une solution. Ce contexte nous amène à étudier l'estimation à partir de mesures quantifiées. Nous nous concentrons principalement sur le problème d'estimation d'un paramètre de centrage scalaire. Le paramètre est considéré soit constant, soit variable dans le temps et modélisé par un processus de Wiener lent. Nous présentons des algorithmes d'estimation pour résoudre ce problème et, en se basant sur l'analyse de performance, nous montrons l'importance de l'adaptativité de la dynamique de quantification pour l'obtention d'une performance optimale. Nous proposons un schéma adaptatif de faible complexité qui, conjointement, estime le paramètre et met à jour les seuils du quantifieur. L'estimateur atteint de cette façon la performance asymptotique optimale. Avec 4 ou 5 bits de résolution, nous montrons que la performance optimale pour la quantification uniforme est très proche des performances d'estimation à partir de mesures continues. Finalement, nous proposons une approche à haute résolution pour obtenir les seuils de quantification non-uniformes optimaux ainsi qu'une approximation analytique des performances d'estimation.
|
820 |
Etude de l'amplification non linéaire de signaux MIMO pour les terminaux radio-mobilesRihawi, Basel 20 March 2008 (has links) (PDF)
Les modulations multiporteuse (de type OFDM) ont des formes d'onde à fortes fluctuations d'amplitude (PAPR pour Peak-to-Average Power Ratio). Ainsi, de nombreux travaux ont pour objectif de décrire mathématiquement ces fluctuations puis de proposer des solutions visant à les réduire. Parallèlement, les systèmes de télécommunications ont tendance à se diversifier et se complexifier. Ainsi, l'ajout d'une ou plusieurs antennes en émission (MIMO) va modifier la configuration du signal reçu et donc son PAPR. La présence d'un amplificateur non linéaire (LNA) en réception impose alors de quantifier la valeur du PAPR. <br />L'objectif de cette thèse est de décrire le PAPR à la réception en prenant en compte l'influence des modifications du signal : filtrage de mise en forme, transposition RF et canal de propagation. Cette étude a été menée dans des contextes SISO puis MIMO, chacun d'entre eux étant décliné sous les aspects mono puis multiporteuse. Ensuite, deux méthodes de réduction du PAPR ont été proposées.
|
Page generated in 0.114 seconds