• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 92
  • 29
  • 19
  • 1
  • 1
  • Tagged with
  • 139
  • 33
  • 27
  • 24
  • 24
  • 22
  • 21
  • 21
  • 16
  • 16
  • 15
  • 14
  • 13
  • 13
  • 13
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
91

Méthodes fréquentielles pour la reconnaissance d'images couleur : une approche par les algèbres de Clifford

Mennesson, José 18 November 2011 (has links) (PDF)
Dans cette thèse, nous nous intéressons à la reconnaissance d'images couleur à l'aide d'une nouvelle approche géométrique du domaine fréquentiel. La plupart des méthodes existantes ne traitent que les images en niveaux de gris au travers de descripteurs issus de la transformée de Fourier usuelle. L'extension de telles méthodes aux images multicanaux, comme par exemple les images couleur, consiste généralement à reproduire un traitement identique sur chacun des canaux. Afin d'éviter ce traitement marginal, nous étudions et mettons en perspective les différentes généralisations de la transformée de Fourier pour les images couleur. Ce travail nous oriente vers la transformée de Fourier Clifford pour les images couleur définie dans le cadre des algèbres géométriques. Une étude approfondie de celle-ci nous conduit à définir un algorithme de calcul rapide et à proposer une méthode de corrélation de phase pour les images couleur. Dans un deuxième temps, nous cherchons à généraliser à travers cette transformée de Fourier les définitions des descripteurs de Fourier de la littérature. Nous étudions ainsi les propriétés, notamment l'invariance à la translation, rotation et échelle, des descripteurs existants. Ce travail nous mène à proposer trois nouveaux descripteurs appelés "descripteurs de Fourier couleur généralisés"(GCFD) invariants en translation et en rotation.Les méthodes proposées sont évaluées sur des bases d'images usuelles afin d'estimer l'apport du contenu fréquentiel couleur par rapport aux méthodes niveaux de gris et marginales. Les résultats obtenus à l'aide d'un classifieur SVM montrent le potentiel des méthodes proposées ; les descripteurs GCFD se révèlent être plus compacts, de complexité algorithmique moindre pour des performances de classification au minimum équivalentes. Nous proposons également des heuristiques pour le choix du paramètre de la transformée de Fourier Clifford.Cette thèse constitue un premier pas vers une généralisation des méthodes fréquentielles aux images multicanaux.
92

Contributions à la segmentation des structures cérébrales en IRM foetale

Caldairou, Benoît 22 June 2012 (has links) (PDF)
L'étude de la maturation cérébrale a pour objectif une meilleure compréhension du développement du cerveau durant la grossesse et la mise en évidence des liens entre la modification des structures cérébrales et le développement cognitif. Cette étude est rendue particulièrement difficile par l'évolution constante que connaissent ces structures au cours de cette période, évolution due notamment à la croissance et à l'organisation des tissus cérébraux. La technique de visualisation privilégiée pour observer le cerveau est l'imagerie par résonance magnétique (IRM), méthode non invasive permettant l'acquisition d'images des structures cérébrales in vivo et en trois dimensions à une résolution relativement élevée. Cependant, les différences anatomiques et l'évolution rapide des structures cérébrales chez le fœtus nécessitent une nouvelle modélisation du cerveau. Le travail de cette thèse est composé de deux parties. Tout d'abord, nous avons modifié l'algorithme FCM (Fuzzy C-Means) de manière à permettre une meilleure prise en compte du bruit et du biais de l'image grâce à la méthode des moyennes non-locales issue du débruitage d'image. Ces travaux ont fait l'objet d'une validation à partir de bases d'images synthétiques et réelles. Enfin, nous nous sommes penchés sur la problématique de la segmentation des tissus cérébraux en IRM fœtale, et nous avons introduit un modèle comportant des contraintes topologiques de manière à permettre une segmentation séquentielle des tissus, en se fondant sur la position relative des différentes structures. Ces travaux ont fait l'objet d'une validation à partir de cas réels.
93

Optiques pour les impulsions attosecondes

Bourassin-Bouchet, Charles 05 December 2011 (has links) (PDF)
Les plus brefs flashs de lumière qui puissent être produits en laboratoire actuellement ont des durées de quelques dizaines d'attosecondes (1 as = 10-18 s), et ne peuvent être créés que dans le domaine extrême-ultraviolet (XUV). Le développement de composants optiques capables de contrôler et de mettre en forme ce rayonnement attoseconde est crucial pour permettre à ces impulsions de se généraliser. Cette thèse porte donc sur l'étude et la réalisation de tels composants.Les impulsions attosecondes ont la particularité de comporter une dérivée de fréquence intrinsèque au processus utilisé pour leur génération. Cela a pour effet d'augmenter leur durée. Nous avons donc développé des miroirs multicouches capables d'induire une dérive de fréquence opposée sur les impulsions s'y réfléchissant, permettant ainsi de les compresser. En caractérisant les impulsions attosecondes réfléchies par ces miroirs, nous avons pour la première fois observé une telle compression des impulsions attosecondes. Nous avons également développé des miroirs multicouches théoriquement capables de compresser des impulsions sous la barre symbolique des 50 as, soit en dessous du record actuel de durée d'une impulsion lumineuse.La mesure de ces impulsions requiert leur focalisation dans un spectromètre. Or les miroirs focalisants généralement utilisés peuvent très rapidement introduire des aberrations géométriques. A l'aide de simulations numériques et d'une étude analytique, nous avons montré que ces aberrations pouvaient très fortement déformer la structure spatio-temporelle des impulsions attosecondes, provoquant une augmentation de leur durée. Enfin, nous avons montré que ces effets n'étaient pas pris en compte par les techniques actuelles de caractérisation d'impulsions attosecondes, cela pouvant amener à mesurer une impulsion attoseconde plus courte qu'elle ne l'est en réalité.
94

Modélisation et simulation du procédé de prépolissage automatique sur centre d'usinage 5 axes

Guiot, Anthony 06 December 2012 (has links) (PDF)
La réalisation de formes complexes comme les moules ou les prothèses médicales nécessite l'utilisation d'opérations de super finition pour obtenir de faibles défauts géométriques, pouvant aller jusqu'au poli-miroir. Ces opérations de pré-polissage et de polissage sont encore régulièrement réalisées manuellement. En effet, malgré des avantages en termes de répétabilité, de productivité et de qualité géométrique, les méthodes de polissage automatique sont peu utilisées car elles nécessitent une mise au point importante. Les travaux de recherche présentés participent à la maîtrise du procédé de polissage automatique tout en contrôlant la qualité géométrique des pièces. Pour parvenir à cette maîtrise, un outil de simulation de l'enlèvement de matière est mis en place. Cet outil permet de simuler l'enlèvement de matière au cours d'une opération de prépolissage réalisée sur centre d'usinage 5 axes. Il se base sur un modèle du contact obtenu entre l'outil de pré-polissage et la pièce, ainsi que sur un modèle du pouvoir abrasif intégrant l'usure et l'encrassement du disque. Cette simulation permet de vérifier la régularité de l'abrasion sur une surface et d'identifier les zones pouvant faire apparaitre des défauts macro-géométriques importants. Une méthode est également proposée pour compenser les variations du pouvoir abrasif au cours du temps. La compensation s'effectue en optimisant les consignes de vitesse d'avance et/ou de fréquence de broche le long de la trajectoire. Cette méthode de pilotage permet d'obtenir un taux d'enlèvement de matière plus constant et ainsi de réduire les défauts géométriques générés pendant une opération de prépolissage.
95

SYSTEMES DE TENSEGRITE ET AUTOCONTRAINTE :<br />QUALIFICATION, SENSIBILITE ET<br />INCIDENCE SUR LE COMPORTEMENT

Quirant, Jérôme 15 June 2000 (has links)
Les Systèmes de Tenségrité sont des systèmes innovants dans le domaine du<br />Génie Civil. Leur esthétique est une source d'inspiration nouvelle pour les architectes. Ce<br />sont des systèmes réticulés, spatiaux et en état d'autocontrainte.<br />La première partie de ce manuscrit est l'occasion de présenter les diverses phases de leur<br />conception. La recherche de forme, notamment, amène à rechercher les géométries<br />particulières permettant l'instauration d'un état de sollicitation interne qui va rigidifier le<br />système.<br />La deuxième partie propose, pour une géométrie autocontrainte donnée, de déterminer tous<br />les états d'autocontrainte qui respectent la rigidité unilatérale des câbles. Ces états<br />conformes permettent de mettre en état d'autocontrainte l'ensemble de la structure. Leur<br />influence sur le comportement est évaluée pour réaliser un dimensionnement.<br />La troisième partie est consacrée à une étude de la sensibilité de ces systèmes aux<br />imprécisions de fabrication des éléments. Elle doit permettre, après une étude plus précise<br />de fiabilité, de compléter les Eurocodes pour des systèmes innovants qui n'ont pas été pris en<br />compte dans les règlements. Enfin, une étude de la mise en autocontrainte des systèmes est<br />proposée. Elle montre que l'assemblage des systèmes de tenségrité peut se faire dans une<br />géométrie non-autocontrainte, avec seulement quelques câbles actifs permettant la mise en<br />tension de la structure.
96

Modélisation de l'imagerie biomédicale hybride par perturbations mécaniques

Seppecher, Laurent 20 June 2014 (has links) (PDF)
Dans cette thèse, nous introduisons et développons une approche mathématiques originale des techniques d'imagerie biomédicales dites "hybrides". L'idée et d'appliquer une méthode d'imagerie mal posée, tout en perturbant le milieu à imager par des déplacements mécaniques. Ces déplacements provenant d'une équation de type onde élastique perturbent les mesures effectuées. En utilisant ces mesures perturbées, et profitant du caractère local des perturbations mécaniques, il est possible d'augmenter considérablement la résolution de la méthode de base. Le problème direct est donc un couplage d'une EDP décrivant la propagation utilisée pour la méthode de base et d'une seconde décrivant les champs de déplacement mécaniques. Dans toutes cette thèse, on fait l'hypothèse d'un milieu mécaniquement homogène afin d'assurer le contrôle et la géométrie des ondes perturbatrices utilisées. A partir des mesures perturbées, une étape d'interprétation permet de construire une donnée interne au domaine considéré. Cette étape nécessite en général l'inversion d'opérateurs géométriques intégraux de type Radon, afin d'utiliser le caractère localisant des perturbations utilisées. A partir de cette donnée interne, il est possible d'initier une procédure de reconstruction du paramètre physique recherché. Dans le chapitre 1, il est question d'un couplage entre micro-ondes et perturbations sphériques. Dans les chapitres 2, 3 et 4, nous étudions l'imagerie optique diffuse toujours couplée avec des perturbations sphériques. Enfin dans le chapitre cinq, nous donnons une méthode originale de reconstruction de la conductivité électrique par un couplage entre champs magnétique et perturbations acoustiques focalisées.
97

Estimation of geometric properties of three-component signals for condition monitoring / Estimation des propriétés géométriques de signaux à trois composantes pour la surveillance des systèmes

Phua, Gailene 07 January 2016 (has links)
La plupart des méthodes de surveillance des systèmes sont basées sur l'analyse et la caractérisation de grandeurs physiques qui sont par nature tridimensionnelles. Tracées dans un repère euclidien à trois dimensions, ces grandeurs parcourent en fonction du temps une trajectoire dont les caractéristiques géométriques sont représentatives de l'état du système surveillé. Les techniques classiques de surveillance des systèmes étudient les grandeurs mesurées composante par composante, sans prendre en compte leur nature tridimensionnelle et les propriétés géométriques de leur trajectoire. Une part importante de l'information est ainsi ignorée. Dans le cadre de ce travail de recherche, on se propose de développer une méthode d'analyse et de traitement de grandeurs à trois composantes permettant de mettre en évidence les spécificités géométriques des données et de fournir une information complémentaire pour la surveillance des systèmes. La méthode proposée a été appliquée à deux cas différents : la surveillance des creux de tension des réseaux de puissance triphasés et la surveillance des défauts de roulement des machines électriques tournantes. Dans ces deux cas, les résultats obtenus sont prometteurs et montrent que les indicateurs géométriques estimés mènent à de l'information complémentaire qui peut être utile pour la surveillance des systèmes. / Most methods for condition monitoring are based on the analysis and characterization of physical quantities that are three-dimensional in nature. Plotted in a three-dimensional Euclidean space as a function of time, these quantities follow a trajectory whose geometric characteristics are representative of the state of the monitored system. Usual techniques of condition monitoring study the measured quantities component by component, without taking into account their three-dimensional nature and the geometric properties of their trajectory. A significant part of the information is thus ignored. In this research work, we would therefore like to develop a method for the analysis and processing of three-component quantities capable of highlighting the special geometric features of such data and providing complementary information for condition monitoring. The proposed method has been applied to two different cases: voltage dips monitoring in three-phase power networks and bearing faults monitoring in rotating electrical machines. In this two cases, the results obtained are promising and show that the estimated geometric indicators lead to complementary information that can be useful for condition monitoring.
98

Flots géométriques d'ordre quatre et pincement intégral de la courbure / Fourth-order geometric flows and integral pinching of the curvature

Bour, Vincent 11 July 2012 (has links)
On étudie des flots géométriques d'ordre quatre sur des variétés riemanniennes compactes, qui apparaissent naturellement comme flots de gradient de fonctionnelles quadratiques en la courbure. Lorsque la constante de Yamabe reste minorée par une constante strictement positive le long du flot, on montre que la variété ne s'effondre pas, et qu'une suite de métriques dilatées au voisinage d'un temps singulier converge vers une variété complète qui modélise la singularité. En particulier, en dimension quatre, cette hypothèse est vérifiée pour une certaine classe de flots de gradients, du moment que l'énergie initiale est inférieure à une constante explicite. Les singularités de ces flots sont alors modélisées par des variétés complètes et non compactes, dont le tenseur de Bach et la courbure scalaire s'annulent. En combinant une formule de Weitzenböck avec l'inégalité de Sobolev induite par la positivité de la constante de Yamabe, on montre une série de résultats de rigidité pour des métriques dont la courbure est intégralement pincée. En particulier, on prouve un théorème de rigidité pour les variétés de dimension quatre à tenseur de Bach et à courbure scalaire nuls, qui implique que les singularités de notre classe de flots de gradient ne peuvent exister que si l'énergie initiale est supérieure à une certaine constante. Dans le cas contraire, ces flots existent pour tous temps positifs et convergent vers une métrique à courbure sectionnelle constante et positive. On retrouve ainsi un "théorème de la sphère" pour les variétés compactes de dimension quatre dont la courbure est intégralement pincée. En appliquant cette même méthode aux formes harmoniques d'une variété à courbure intégralement pincée, on démontre une version intégrale du théorème de Bochner-Weitzenböck. On en déduit l'annulation des nombres de Betti sous diverses conditions de pincement intégral, et on caractérise les cas d'égalité. / We study fourth-order geometric flows on compact Riemannian manifolds, which naturally appear as gradient flows of quadratic curvature functionals. When the Yamabe constant remains bounded from below by a positive constant along the flow, we show that the manifold doesn't collapse, and that a sequence of dilated metrics near a singular time converges to a singularity model. In particular, in dimension four, this assumption is satisfied by a class of gradient flows, provided that the initial energy is less than an explicit constant. The singularities of these flows are then modeled by complete non-compact manifolds, which are Bach-flat and scalar-flat. By combining a Weitzenböck formula with the Sobolev inequality induced by the positivity of the Yamabe constant, we prove several rigidity results for metrics with integral pinched curvature. In particular, we prove a rigidity result for Bach-flat and scalar-flat manifolds in dimension four, which implies that the singularities of our gradient flows can only exist when the initial energy is bigger than a given constant. When this is not the case, these flows exist for all time, and converge to a metric with constant positive curvature. It provides a proof of a "sphere theorem" for closed four-dimensional manifolds with integral pinched curvature. Applying the same method to harmonic forms on an integral pinched manifold, we prove an integral version of the Bochner-Weitzenböck theorem. As a corollary, we obtain the vanishing of Betti numbers under various integral pinching conditions, and we characterize the equality cases.
99

Flot de Ricci sans borne supérieure sur la courbure et géométrie de certains espaces métriques / Ricci flow without upper bounds on the curvature and the geometry of some metric spaces.

Richard, Thomas 21 September 2012 (has links)
Le flot de Ricci, introduit par Hamilton au début des années 80, a montré sa valeur pour étudier la topologie et la géométrie des variétés riemanniennes lisses. Il a ainsi permis de démontrer la conjecture de Poincaré (Perelman, 2003) et le théorème de la sphère différentiable (Brendle et Schoen, 2008). Cette thèse s'intéresse aux applications du flot de Ricci à des espaces métriques à courbure minorée peu lisses. On définit en particulier ce que signifie pour un flot de Ricci d'avoir pour condition initiale un espace métrique. Dans le Chapitre 2, on présente certains travaux de Simon permettant de construire un flot de Ricci pour certains espaces métriques de dimension 3. On démontre aussi deux applications de cette construction : un théorème de finitude en dimension 3 et une preuve alternative d'un théorème de Cheeger et Colding en dimension 3. Dans le Chapitre 3, on s'intéresse à la dimension 2. On montre que pour les surfaces singulières à courbure minorée (au sens d'Alexandrov), on peut définir un flot de Ricci et que celui-ci est unique. Ceci permet de montrer que l'application qui à une surface associe son flot de Ricci est continue par rapport aux perturbations Gromov-Hausdorff de la condition initiale. Le Chapitre 4 généralise une partie de ces méthodes en dimension quelconque. On doit y considérer des conditions de courbure autres que les usuelles minorations de la courbure de Ricci ou de la courbure sectionnelle. Les méthodes mises en place permettent de construire un flot de Ricci pour certains espaces métriques non effondrés limites de variétés dont l'opérateur de courbure est minoré. On montre aussi que sous certaines hypothèses de non-effondrement, les variétés à opérateur de courbure presque positif portent une métrique à opérateur de courbure positif ou nul. / The Ricci flow was introduced by Hamilton in the beginning of the 90's. It has been a valuable tool to study the topology and the geometry of smooth Riemannian manifolds. For example, it was essential in the of the Poincaré conjecture (Perelman, 2003) and of the differentiable sphere theorem (Brendle and Schoen, 2008). In this thesis, we are interested in the applications of Ricci flow to metric spaces with curvature bounded from below which are not smooth. We define what it means for a Ricci flow to admit a metric space as initial condition. In Chapter 2, we present some works of Simon which allow to build a Ricci flow for some metric spaces of dimension 3. We also give two applications of this result : a finiteness theorem in dimension 3 and an alternative of a theorem of Cheeger and Colding in dimension 3. In Chapter 3, we treat the special case of dimension 2. We show that for singular surfaces whose curvature is boded from below (in the sense of Alexandrov), we can define a Ricci and it is unique. This allow to show that for surfaces with curvature bounded from below, the application which maps a surface to its Ricci flow is continuous with respect to Gromov-Hausdorff perturbations of the initial condition. Chapter 4 generalizes some of these methods in higher dimension. Here one needs to consider other conditions on the curvature than the usual "Ricci curvature bounded from below" and "sectional curvature bounded from below". The methods used there allow us to build a Ricci flow for some non-collapsed metric spaces which are limits of manifolds whose curvature operator is bounded from below. We also show that under some non-collapsing assumptions manifolds with almost non-negative curvature operator admit metrics with non-negative curvature operator.
100

Calcul efficace de la structure des protéines à partir de contacts évolutifs / Efficient modeling of proteins structure from evolutionary contacts

Allain, Fabrice 30 November 2017 (has links)
Les méthodes de prédiction structurale constituent une alternative relativement efficace aux approches expérimentales pour donner un premier aperçu du repliement natif d'une protéine. L'écart entre le nombre de structures et de séquences protéiques disponibles dans les bases de données ne cesse en effet de croître depuis l'arrivée des technologies de séquençage à haut débit. Cette forte croissance des informations génomiques a remis à l'ordre du jour des techniques modélisant les données capturées au cours de l'évolution. La conservation d'une fonction protéique impose de fortes contraintes sur les contacts impliqués dans le repliement et la fonction se traduisant par une trajectoire évolutive commune. Une fois détectées, ces interactions peuvent aider à modéliser la conformation d'une protéine. Les méthodes résolvant la structure tridimensionnelle des protéines à partir des données évolutives présentent encore plusieurs limitations notamment pour la détection des contacts faux positifs. Ces problèmes restent similaires à ceux rencontrés en détermination de structure par spectrométrie de Résonnance Magnétique Nucléaire où l'intégration des données est un processus clairement établit et en grande partie automatisé. Le logiciel ARIA (Ambiguous Restraints for Iterative Assignment) utilise le concept de contraintes de distances ambiguës et suit un processus itératif afin d'attribuer et d'affiner la liste des noyaux proches dans l'espace pour calculer un ensemble de modèles structuraux en accord avec les données. Ce travail a pour objectif d'adapter cette approche pour prédire de novo la structure d'une protéine en utilisant l'information évolutive. / Structural prediction methods provide a relatively effective alternative to experimental approaches to provide a first insight into native folding of a protein. The gap between the number of structures and protein sequences available in databases has steadily increased since the advent of high throughput sequencing technologies. This strong growth of genomic information helped bring to light prediction tools using coevolutionary data. Conservation of a specific function implies strong restraints on interacting residues involved in the folding and function. Once detected, these interactions can help to model the conformation of a protein. Some important aspects needs to be improved during the modelling process including the detection of false positive among the predicted contacts. Limitations in the field are similar to those encountered in nuclear magnetic resonance spectrometry structure determination where data integration is a clearly established and largely automated process. The Ambiguous Restraints for Iterative Assignment (ARIA) software uses the concept of ambiguous distance restraints and follows an iterative process to assign and refine the list of nearby nuclei in space to compute a set of structural models in accordance with the data. This work aims to adapt this approach to de novo predict the structure of a protein using evolutionary information.

Page generated in 0.0405 seconds