Дисертації: "Technique de cohérence"

1

Nesta, Lionel. "Cohérence des bases de connaissances et changement technique." Grenoble 2, 2001. http://www.theses.fr/2001GRE21003.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

2

Cassius, de Linval Isabelle, and Yves Djorno. "Génération d'ateliers de conception : métamodélisation orientée objet, cohérence incrémentale de vues de modèles." Paris 9, 1993. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1993PA090033.

Повний текст джерела

Стилі APA, Harvard, Vancouver, ISO та ін.

3

Safa, Frédéric. "Le speckle en imagerie cohérente : propriétés statistiques, relation entre l'image cohérente et l'image incohérente, essai de filtrage morphologique : [thèse en partie soutenue sur un ensemble de travaux]." Toulouse 3, 1989. http://www.theses.fr/1989TOU30169.

Повний текст джерела

Анотація:

Une etude systematique des proprietes statistiques du speckle en imagerie coherente est developpee en separant, dans le plan image, les contributions de la reponse impulsionnelle et du processus de diffusion. Le contraste d'une figure de speckle completement developpe est toujours compris entre l'unite et la racine carree de 2. Un objet produisant un contraste egal a la racine carree de 2 a ete construit experimentalemment par holographie synthetique. L'importance de la reponse impulsionnelle est mise en evidence: lorsque la pupille du systeme est suffisamment translatee dans son plan, le contraste devient egal a l'unite quel que soit le processus de diffusion. Cette etude a egalement permis de montrer que le rapport entre l'image moyenne coherente et l'image obtenue en eclairage spatialement incoherent permet de mesurer les variations spatiales de la rugosite de l'objet. Enfin, un essai de filtrage morphologique du speckle des images radar est presente dans le cadre de la theorie de filtres alternes sequentiels. Une methode specifique au cas du speckle est proposee pour l'evaluation de la qualite du filtrage

Стилі APA, Harvard, Vancouver, ISO та ін.

4

Delrue, Elisabeth. "L'écriture romanesque de Pío Baroja : une unité, une cohérence, une élaboration." Paris 4, 1996. http://www.theses.fr/1996PA040245.

Повний текст джерела

Анотація:

La spécificité du discours de Pío Baroja est imputable à son idéologie. La confrontation de deux de ses trilogies, à thématique urbaine et rurale, La Lucha por la vida et Tierra vasca, envisagées dans leurs caractéristiques d'écriture tendrait à le prouver. Une cohérence préméditée semble se dégager de l'incohérence si souvent décriée par la critique. Les procédés textuels et les stratégies narratives mis en œuvre pour organiser, par le biais des marques spatio-temporelles, le microcosme des fictions examinées, présentent des traits fondamentalement communs qui structurent une même vision du monde, celle de l'univers décadent perçu dans ses moindres détails de l’Espagne meurtrie du tournant du siècle qu'il est possible de modifier, selon l'auteur, par l'action individuelle, énergique et volontaire. Mais le travail d'écriture n'en reste pas là. Il modèle aussi la lecture souhaitée et postule le destinataire-type que l'on veut particulièrement viser et contraindre à agir, le madrilène contemporain. Le souci de la bonne recevabilité du message transmis et l'oubli du caractère littéraire de la fiction pour forcer le lecteur à s'investir davantage commande des constantes. Deux livres ont rempli ce contrat: La Busca et Zalacain el aventurero. Ils ont reçu un franc succès à leur sortie et une large diffusion. Certains lecteurs ont pris pour modèle le héros du second. Les autres recueils restent mal perçus ou incompris par leurs lecteurs réels
The specificity of Pío Baroja's discourse is imputable to his ideology. The confrontation of two of his trilogies - The Struggle for Life presenting urban themes and Tierra Vasca offering rural ones - seen through their textual characteristics is proof of that. A studied coherence seems to emerge from the mere incoherence so often disparaged by the critics. The literary devices and the narrative strategies - brought into play by the author in order to organize the fictional microcosm through the space-time marks - offer similar features that give a structure to a single and unique vision of the world, that of turn-of-the century Spain’s decadent universe perceived through its most trifling details. According to the author, it is possible to modify this universe through strong, individual, wilful action. But the writer's work does not stop at that point. It shapes the way people are expected to read and postulates the typical recipient who is aimed at and compelled to act, namely the living citizen of Madrid. The author's concern for the absolute clarity of the message conveyed and the refusal to take the literary aspect of the fiction into account in order to force the reader to play a part in the story, lead to some constants. Two books performed this duty: La Busca and Zalacain, the Adventurer. They received great acclaim when first published and were largely diffused. Some readers took the second book's hero as their model. The other books are not yet clearly perceived by their actual readers

Стилі APA, Harvard, Vancouver, ISO та ін.

5

Tërnava, Xhevahire. "Gestion de la variabilité au niveau du code : modélisation, traçabilité et vérification de cohérence." Thesis, Université Côte d'Azur (ComUE), 2017. http://www.theses.fr/2017AZUR4114/document.

Повний текст джерела

Анотація:

Durant le développement de grandes lignes de produits logiciels, un ensemble de techniques d’implémentation traditionnelles, comme l’héritage ou les patrons de conception, est utilisé pour implémenter la variabilité. La notion de feature, en tant qu’unité réutilisable, n’a alors pas de représentation de première classe dans le code, et un choix inapproprié de techniques entraîne des incohérences entre variabilités du domaine et de l’implémentation. Dans cette thèse, nous étudions la diversité de la majorité des techniques d’implémentation de la variabilité, que nous organisons dans un catalogue étendu. Nous proposons un framework pour capturer et modéliser, de façon fragmentée, dans des modèles techniques de variabilité, la variabilité implémentée par plusieurs techniques combinées. Ces modèles utilisent les points de variation et les variantes, avec leur relation logique et leur moment de résolution, pour abstraire les techniques d’implémentation. Nous montrons comment étendre le framework pour obtenir la traçabilité de feature avec leurs implémentations respectives. De plus, nous fournissons une approche outillée pour vérifier la cohérence de la variabilité implémentée. Notre méthode utilise du slicing pour vérifier partiellement les formules de logique propositionnelles correspondantes aux deux niveaux dans le cas de correspondence 1–m entre ces niveaux. Ceci permet d’obtenir une détection automatique et anticipée des incohérences. Concernant la validation, le framework et la méthode de vérification ont été implémentés en Scala. Ces implémentations ont été appliquées à un vrai système hautement variable et à trois études de cas de lignes de produits
When large software product lines are engineered, a combined set of traditional techniques, such as inheritance, or design patterns, is likely to be used for implementing variability. In these techniques, the concept of feature, as a reusable unit, does not have a first-class representation at the implementation level. Further, an inappropriate choice of techniques becomes the source of variability inconsistencies between the domain and the implemented variabilities. In this thesis, we study the diversity of the majority of variability implementation techniques and provide a catalog that covers an enriched set of them. Then, we propose a framework to explicitly capture and model, in a fragmented way, the variability implemented by several combined techniques into technical variability models. These models use variation points and variants, with their logical relation and binding time, to abstract the implementation techniques. We show how to extend the framework to trace features with their respective implementation. In addition, we use this framework and provide a tooled approach to check the consistency of the implemented variability. Our method uses slicing to partially check the corresponding propositional formulas at the domain and implementation levels in case of 1–to–m mapping. It offers an early and automatic detection of inconsistencies. As validation, we report on the implementation in Scala of the framework as an internal domain specific language, and of the consistency checking method. These implementations have been applied on a real feature-rich system and on three product line case studies, showing the feasibility of the proposed contributions

Стилі APA, Harvard, Vancouver, ISO та ін.

6

Diep, Kien Vu. "Analyses linguistiques de la cohérence dans l'explication scientifique, le cas du discours agronomique : perspectives didactiques au Vietnam." Rouen, 2008. http://www.theses.fr/2008ROUEL603.

Повний текст джерела

Анотація:

La recherche que nous allons entamer procèdera en deux étapes: l'une relevant de la linguistique textuelle vise à observer comment un discours spécialisé, le cas du discours à thème agronomique, construit sa cohérence pour expliquer et transmettre des connaissances scientifiques, et ceci en partant de l'hypothèse qu'il existe des procédés spécifiques constituant la cohérence et la clarté de l'explication scientifique en français; l'autre, relevant de la didactique du français sur objectifs spécifiques (notamment à l'écrit), étudiera l'appropriation de ces traits de cohérence par nos apprenants dans leur production de documents scientifiques, en partant de l'hypothèse que le dysfonctionnement textuel rencontré par les apprenants vietnamiens dans leur rédaction scientifique provient en grande partie de la prise en compte insuffisante des phénomènes de cohérence détectés. Par ailleurs, en mettant ces observations en relation avec la langue vietnamienne, nous voudrions également vérifier l'hypothèse que nous avons avancée au début de notre recherche: le vietnamien scientifique ne dispose pas des mêmes procédés linguistiques que le français dans la construction de sa cohérence textuelle et des interférences venant des habitudes langagières en langue maternelle constituent un blocage pour les étudiants à l'acquisition des phénomènes de cohérence textuelle spécifiques au français
Two main steps are conducted in this research. The first one, in Textlinguistics, starts from the hypothesis that there are specific processes that constitute the coherence and clarity of scientific explanations in French. Textual analysis aims to observe how a specialized speech (i. E. , agronomic subject) constructs its coherence so as to explain and transmit scientific knowledge. The second step starting from the hypothesis that textual dysfunction, specifically coherence problems, faced by Vietnamese students in their academic compositions aims to answer the questions in terms of didactics of French for specific purposes (as writing). In this step, we study the appropriateness of French coherence links used by Vietnamese students in their writings of scientific documents. Also in this research, by comparing Vietnamese and French, we would like to check the hypothesis we made at the beginning of our research: Scientific Vietnamese language does not set the same linguistic process as French does in constructing textual coherence, stemming from that language habit in the mother tongue constitutes a block for students in acquiring specific textual coherence in French

Стилі APA, Harvard, Vancouver, ISO та ін.

7

Thiesset, Fabien. "Exploration analytique et expérimentale des interactions cohérence-turbulence au sein d'un écoulement de sillage." Phd thesis, Université de Rouen, 2011. http://tel.archives-ouvertes.fr/tel-00880987.

Повний текст джерела

Анотація:

Depuis les travaux de Townsend (1956), il est désormais largement admis qu'un mouvement organisé persiste dans la majorité écoulements cisaillés. Suivant la proposition de Townsend, Reynolds & Hussain (1972) apportent la première démarche analytique en développant, entre autres, les bilans énergétiques en "un point" du mouvement organisé et aléatoire. Cependant, un minimum de deux points est nécessaire afin de définir une échelle et décrire les processus énergétiques à chaque échelle. Pour cette raison, les équations de transport des statistiques en deux points furent initialement considérées par Taylor, Kármán & Howarth, Kolmogorov ou Yaglom. Ces derniers postulent que pour des Reynolds infinis, il existe une échelle où l'influence des structures cohérentes disparaît. Or, les nombres de Reynolds rencontrés en laboratoire ne sont pas suffisamment grands pour qu'une telle supposition soit avérée. La contribution énergétique du mouvement cohérent doit alors être dissociée du reste du champ fluctuant. Le premier objectif de cette thèse est d'affiner les théories existantes en proposant les bilans énergétiques en "deux points" prenant en considération le mouvement cohérent. Puis, à partir de diverses méthodes expérimentales mises en place au CORIA et de données issues d'une collaboration avec l'Université de Newcastle (Australie), l'écoulement de sillage est exploré. Les théories statistiques sont alors utilisées comme outil, afin de décrire l'écoulement avec un degré de complexité croissant. Les attentions se portent sur les interactions cohérence - turbulence, en termes de transport, de contribution énergétique ou de transfert d'énergie au sein de la cascade.

Стилі APA, Harvard, Vancouver, ISO та ін.

8

Lohr, Christophe. "Contribution à la conception de systèmes temps-réel s'appuyant sur la technique de description formelle RT-Lotos." Phd thesis, Institut National Polytechnique de Toulouse - INPT, 2002. http://tel.archives-ouvertes.fr/tel-00005228.

Повний текст джерела

Анотація:

Ce mémoire de thèse s'intéresse à la conception de systèmes temps-réel en s'appuyant sur la méthode formelle RT-Lotos, extension temporelle à l'algèbre de processus Lotos. Il aborde plusieurs points relatifs à la spécification, la validation et l'ordonnancement de systèmes concurrents sujets à des contraintes logiques et temporelles. La première partie propose un éventail de méthodes formelles pour la spécification et la validation de systèmes temps-réel. Elle présente également le langage RT-Lotos et la technique de vérification formelle associée basée sur une analyse d'accessibilité. Elle détaille finalement un ensemble de travaux concernant l'automate temporisé (appelé un DTA) dérivé d'une spécification RT-Lotos, avec comme objectifs d'exécuter des simulations rapides, et de s'interfacer avec des outils de vérification de type model-checker. La deuxième partie présente une étude sur la notion de cohérence temporelle et propose une technique ainsi qu'un modèle formel pour exploiter sous un nouvel angle des informations issues de la vérification formelle par analyse d'accessibilité. Cette approche propose de raffiner le graphe des régions, d'en élaguer certaines branches jugées non souhaitables, d'extraire les dates de tir possible des actions, et de présenter ces informations sous la forme d'un nouveau type d'automate temporisé (appelé un TLSA) ayant pour vocation l'ordonnancement dans le temps des actions d'un système. Enfin, la troisième partie se penche sur les liens possibles entre méthodes formelles et semi-formelles. Dans ce cadre, nous proposons une sémantique formelle pour les diagrammes UML s'appuyant sur RT-Lotos, après avoir défini une extension temps-réel à UML (appelée TURTLE). Ainsi, nous définissons une méthodologie qui s'inscrit dans les techniques de développement industriel classiques et qui permet une vérification formelle de systèmes temps-réel.

Стилі APA, Harvard, Vancouver, ISO та ін.

9

Laurain, Alexandre. "Sources laser à semiconducteur à émission verticale de haute cohérence et de forte puissance dans le proche et le moyen infrarouge." Phd thesis, Université Montpellier II - Sciences et Techniques du Languedoc, 2010. http://tel.archives-ouvertes.fr/tel-00613743.

Повний текст джерела

Анотація:

Le développement de sources lasers monomodes et accordables constitue un enjeu important dans plusieurs domaines en fort développement telle que la métrologie, les senseurs optiques, la spectroscopie, le traitement optique de l'information ou la médecine. Dans cette thèse nous faisons le point sur les limites des technologies actuelles, puis nous montrons comment les surpasser à travers la conception et l'étude physique de lasers à semiconducteur de haute cohérence émettant dans l'infrarouge. Nous nous intéressons particulièrement aux VECSEL dans le but d'obtenir un fonctionnement monofréquence accordables et robustes. Nous traitons de la conception et de la caractérisation de ces lasers, depuis l'optimisation du milieu à gain jusqu'à l'élaboration de prototypes laser fonctionnels. Nous effectuons ensuite une étude approfondie des propriétés physiques de la source. Les différents sujets abordés traitent de nombreux aspects de l'optoélectronique tels que la physique du solide, l'optique traditionnelle et quantique, la technologie des matériaux, la thermique, ect. Les travaux présentés ici ouvrent la voie à de nombreux développements liés aux VECSEL et à leurs applications.

Стилі APA, Harvard, Vancouver, ISO та ін.

10

Salles, Danielle. "Cohérence et limites projectives." Caen, 1986. http://www.theses.fr/1986CAEN2023.

Повний текст джерела

Анотація:

Nous montrons, en utilisant la notion de systeme topologisant et idempotent d'ideaux due a gabriel, qu'il existe une decomposition primaire reduite et unique des modules sur les anneaux semi-artiniens. Nous utilisons les methodes de l'algebre non-commutative "classique" (travaux de lesieur, passman, renault) pour obtenir des conditions necessaires et/ou suffisantes sur un anneau a et un groupe g pour que l'anneau de groupe a(g) soit coherent et/ou semi-artinien. Nous proposons une definition des modules coplats comme limite projective de modules injectifs de type cofini au sens de vamos, nous en donnons les proprietes elementaires et montrons que, si l'anneau de base est classique alors les modules coplats sont injectifs et lineairement compacts. Nous etudions ensuite le probleme de la conservation de la platitude, de l'injectivite, de la pur-injectivite, de la fp-injectivite et de la cotorsion des modules par passage a la limite projective. En utilisant les resultats de jensen et roos sur le calcul des foncteurs derives de la limite projective, nous donnons, lorsque l'anneau est coherent et le systeme projectif flasque et indexe sur n, de nombreux cas de conservation de ces proprietes. De plus, lorsque l'anneau est principal integre, des cas de conservation de l'injectivite des modules sont donnes pour les systemes projectifs quelconques. Enfin, l'etude des cas d'annulation du foncteur limite projective etant fortement liee a celle de la dimension pure-globale des anneaux (travaux de jensen et gruson), nous calculons celle d'anneaux commutatifs utiles: produits directs d'anneaux noetheriens et limites inductives d'anneaux et nous en deduisons des exemples d'anneaux pur-hereditaires de grand cardinal

Стилі APA, Harvard, Vancouver, ISO та ін.

11

Albezzawy, Muhammad Nabil Mustafa. "Advanced signal processing methods for source identification using references." Electronic Thesis or Diss., Lyon, INSA, 2024. http://www.theses.fr/2024ISAL0074.

Повний текст джерела

Анотація:

Les techniques de référence à rang réduit sont couramment employées pour résoudre les problèmes d’extraction de source et de resynchronisation de champs physiques, lorsque le nombre de références dépasse celui des sources incohérentes. Dans ce cas, la matrice croisée-spectrale devient mal conditionnée, rendant la solution des moindres carrés invalide. Bien que la décomposition en valeurs singulières tronquée (DVST) soit utilisée pour résoudre ce problème, elle n'est valable que pour un bruit scalaire sur les références. De plus, il est difficile de définir un seuil de troncature lorsque les valeurs singulières diminuent progressivement. Cette thèse propose une solution nommée technique de référence maximale-coherent (RMC), basée sur la recherche d’un ensemble de références virtuelles maximales correlées avec les mesures de champ. Cette technique est optimale, surtout en présence d’un bruit corrélé sur la référence. Cependant, elle nécessite également une troncature des valeurs propres, exigeant la connaissance ou l’estimation préalable du nombre de sources incohérentes, un problème inverse mal posé et peu étudié. La thèse présente trois méthodes d’énumération de sources applicables à toutes les techniques de référence : un test du rapport de vraisemblance contre le modèle saturé, une technique de bootstrap paramétrique et une approche de validation croisée. Une étude comparative basée sur des données numériques et expérimentales montre deux résultats importants. D'abord, le nombre de fenêtres spectrales utilisées affecte grandement la performance des trois méthodes, qui se comportent différemment selon ce nombre. Ensuite, le bootstrap paramétrique s’avère être la meilleure méthode en termes de précision et de robustesse par rapport au nombre de fenêtres utilisées. Enfin, la technique RMC accompagnée de bootstrap a été utilisée pour l’extraction de source et la resynchronisation de données réelles provenant d’expériences en laboratoire et d’un moteur électrique, fournissant de meilleurs résultats que la solution des moindres carrés et la DVST dans les mêmes conditions
Rank-reduced reference/coherence techniques based on the use of references, i.e. fixed sensors, are widely used to solve the two equivalent problems of source extraction and resynchronization encountered during remote sensing of physical fields, when the number of references surpasses the number of incoherent sources. In such case, the cross-spectral matrix (CSM) becomes ill-conditioned, resulting in the invalidity of the least squares LS solution. Although the truncated singular value decomposition (TSVD) was successfully applied in the literature to solve this problem, its validity is limited only to the case of scalar noise on the references. It is also very difficult to define a threshold, for truncation, when the singular values are gradually decreasing. This thesis proposes a solution based on finding a set of virtual references that is maximally correlated with the field measurements, named the maximally-coherent reference (MCR) Technique. This solution is optimal, especially, in the case of correlated noise on the reference, where TSVD fails. However the technique also includes an eigenvalue truncation step, similar to the one required for the TSVD, which necessitates a priori knowledge or the estimation of the number of incoherent sources, i.e. source enumeration, which is an ill-posed inverse problem, insufficiently investigated in the literature within the framework of reference techniques. In this thesis, after providing a unified formalism for all the reference techniques in the literature, three alternative source enumeration methods, applicable to all the reference techniques, were presented namely; a direct likelihood ratio test (LRT) against the saturated model, a parametric bootstrap technique and a cross-validation approach. A comparative study is performed among the three methods, based on simulated numerical data, real sound experimental data, and real electrical motor data. The results showed two important outcomes. The first is that the number of snapshots (spectral windows), used in the spectral analysis, greatly affects the performance of the three methods, and that, they behave differently for the same number of used snapshots. The second is that parametric bootstrapping turned out to be the best method in terms of both estimation accuracy and robustness with regard to the used number of snapshots. Finally, the MCR technique accompanied with bootstrapping was employed for source extraction and resynchronization of real data from laboratory experiments, and an e-motor, and it returned better results than the LS solution and the TSVD when employed for the same purpose

Стилі APA, Harvard, Vancouver, ISO та ін.

12

Schwartz, Cédric. "Contribution à l'élaboration d'un espace commun de représentation pour l'analyse morpho-fonctionnelle du membre supérieur : application à l'articulation glénohumérale." Brest, 2009. http://www.theses.fr/2009BRES2016.

Повний текст джерела

Анотація:

La compréhension des dysfonctionnements locomoteurs est limitée par l'absence de technologie permettant l'analyse dynamique des structures internes et en particulier des segments osseux. Les imageurs tridimensionnels donnent accès à une description précise mais statique de la morphologie osseuse. Les systèmes d'analyse du mouvement par marqueurs externes fournissent quant à eux une information dynamique mais potentiellement empreinte d'erreurs relativement importantes en raison de la présence de tissus mous entre les os et la peau. Dans un premier temps, une étude a été menée pour proposer une méthode de correction des artéfacts des tissus mous lors de l'estimation du mouvement. Une approche surfacique est décrite. Cette méthode repose sur le suivi de la déformation, induite par le déplacement de l'omoplate, d'une nappe de marqueurs à la surface de la peau. Le suivi est réalisé par un algorithme de recalage robuste, l'IMCP. Cet algorithme, développé dans des travaux précédents, a été modifié et adapté de manière à prendre en compte le contexte de l'étude. Les améliorations ont principalement consisté en un post-traitement des données afin d'exploiter au maximum les capacités de mutualisation de l'information de l'algorithme, la prise en compte de l'influence des bords de la nappe de marqueurs et enfin l'optimisation du temps de calcul. Dans un second temps, afin de réaliser une étude morpho-fonctionnelle dans un espace commun de représentation, un protocole spécifique d'acquisition IRM a été mis en place. Celui-ci a pour objectif le recalage des repères locaux propres à l'acquisition morphologique et à celle du mouvement. Analyse morpho-fonctionnelle de l'articulation glénohumérale, dans le cas de mouvements empreints d'erreurs, a également nécessité le développement de mesures quantifiant la cohérence articulaire. Les résultats obtenus montrent que l'utilisation d'une nappe de marqueurs recouvrant l'omoplate à la surface de la peau ne permet pas le suivi de l'empreinte de l'os. L'étude sur des simulations conduisent à avancer 2 hypothèses pour expliquer ces résultats : le bruit crée par les tissus mous est trop important et / ou la résolution de la surface de la peau disponible est insuffisante. L'intérêt de tendre vers des méthodes d'acquisition sans marqueurs est ainsi également mis en évidence. L'analyse morpho-fonctionnelle a, quant à elle, mis en évidence l'influence du protocole d'acquisition utilisé sur la cohérence articulaire lors de l'animation des os. Le choix du positionnement des marqueurs sur l'omoplate et sur l'humérus ainsi que la méthode de traitement employée pour reconstruire le mouvement ont ainsi une influence significative sur l'estimation du mouvement des structures osseuses.

Стилі APA, Harvard, Vancouver, ISO та ін.

13

Cordier, Jean-Marc. "Sur la cohérence homotopique et les limites homotopiques." Paris 7, 1987. http://www.theses.fr/1987PA077026.

Повний текст джерела

Анотація:

Cette etude part du probleme de developper un modele coherent (coh. ) pour la theorie de la forme forte basee sur hoprotop ou ho(top**(a)) et du travail de vogt sur une categorie d'homotopie de morphismes coh. Exprimes cubiquement. D'une description de la categorie simpliciale (s-categorie) sa de dwyer-kan introduite dans leur etude de la localisation simpliciale, nous montrons que la notion de diagramme coh. Dans le sens de vogt exprime a partir de l'objet monoide dans top, m(t,t')=sup(t,t') correspond a la donnee d'un foncteur simplicial (s-foncteur) de sa dans top::(s), la s-categorie sur top. Nous etendons avec d. Bourn, dans le cadre des limites indexees, la notion de limite homotopique de bousfield-kan aux s-foncteurs. L'indexation est donnee par la diagonale d'un bisimplicial generalisant le nerf d'une comma categorie. Pour les objets limites de vogt de diagrammes coh. Nous montrons que l'indexation est donnee par l'objet total de artin-mazur d'un bisimplicial qui est lie au precedent. Nous en deduisons alors une comparaison entre ces deux types d'objets. De la notion de nerf coh. D'une s-categorie, nous reprenons avec t. Porter les resultats de vogt dans la situation plus generale d'une s-categorie localement kan. Nous introduisons une notion de morphismes coh. Entre s-foncteurs. De la description de ces morphismes entre foncteurs d'une categorie a dans top (les coherences etant alors exprimees par simplexes standards) et de la notion d'extension de kan simplicialement coh. , nous montrons qu'il existe une comonade sur pi ::(0)(top::(s)**(a)) dont la categorie de kleisli nous donne une categorie de morphismes coh. , hco(top::(s)**(a)) (cette categorie est liee a la categorie de prohomotopie coh. De lisica-mardesic). Cette structure nous permet de montrer que la categorie de vogt est isomorphe a hco(top::(s)**(a)). Nous avons alors le lien entre ho(top**(a)) et hco(top::(s)**(a)). D'une notion de limite homotopique dans les complexes de chaines de modules qui est definie par une extension des limites de bousfield-kan, nous montrons que les groupes d'homologie de steenrod-sitnikov et les groupes d'homologie de lisica-mardesic (invariant de forme forte) sont les groupes d'homologie d'une telle limite homotopique. Nous montrons que ces groupes d'homologie sont des groupes d'homotopie de morphismes coherents

Стилі APA, Harvard, Vancouver, ISO та ін.

14

Galicher, Raphaël. "Étude de techniques d'imagerie à haut contraste basées sur la cohérence." Phd thesis, Université Paris-Diderot - Paris VII, 2009. http://tel.archives-ouvertes.fr/tel-00436293.

Повний текст джерела

Анотація:

Depuis 1995, environ 350 exoplanètes ont été détectées mais seule une dizaine l'a été directement pour plusieurs raisons. D'abord, les projections de l'étoile hôte et de sa planète sur la sphère céleste sont très proches -- quelques fractions de secondes d'arc. Ceci impose un diamètre minimum pour le télescope et un système compensant les perturbations atmosphériques. Ensuite, le flux lumineux de l'étoile hôte est entre un million et dix milliards de fois plus fort que celui de la planète. Pour réduire ce flux stellaire sans affecter le flux planétaire, nous utilisons un coronographe dont les performances sont limitées par les défauts optiques qui doivent être compensés ou estimés. Pendant ma thèse, j'ai étudié sur des plans théoriques et expérimentaux deux techniques: le coronographe à quatre quadrants à étages multiples (MFQPM) pour atténuer le flux stellaire et la self coherent camera (SCC) qui minimise l'impact des aberrations optiques en utilisant l'incohérence entre lumières stellaires et planétaires. J'ai montré en laboratoire qu'un prototype non optimisé du MFQPM fournissait une extinction achromatique de l'étoile centrale de mille à dix milles entre 550 et 750nm. Puis, j'ai montré par simulations que la SCC s'associe aisément avec un coronographe de type Lyot et qu'en utilisant ses deux modes de fonctionnement -- analyseur de surface d'onde en plan focal et imagerie différentielle --, des planètes de type Terre pouvaient être détectées de l'espace sous des conditions réalistes. J'ai également mesuré un défaut réel de phase via la SCC sur le banc d'Imagerie Très Haute Dynamique que j'ai développé à l'Observatoire de Paris.

Стилі APA, Harvard, Vancouver, ISO та ін.

15

Duan, Zhiya. "Etude d'un procédé d'élimination de résine époxy par pyrolyse applicable au désenrobage de combustibles nucléaires." Thesis, Toulouse, INPT, 2019. http://www.theses.fr/2019INPT0043.

Повний текст джерела

Анотація:

Cette étude s’inscrit dans le cadre de la mise au point d'un procédé de traitement thermique d’échantillons de combustibles nucléaires irradiés enrobés dans de la résine époxy. Ces combustibles doivent être séparés de la résine avant entreposage afin d’éviter la formation de gaz par radiolyse. Pour garantir la sûreté et l’universalité du procédé d’élimination de la résine époxy, un traitement de pyrolyse sous argon est proposé. L’enjeu majeur de ce traitement est d'atteindre des teneurs finales en hydrogène dans le résidu les plus faibles possibles tout en conservant l'intégrité du combustible afin d’éviter le relâchement des produits de fission et le foisonnement du matériau. Une méthodologie générale est proposée afin d’approfondir la compréhension des phénomènes physico-chimiques intervenant lors de pyrolyse de la résine époxy et d’acquérir les données nécessaires pour le développement du procédé. Cette méthodologie repose sur différents outils et méthodes expérimentaux et numériques. Au cœur du dispositif expérimental se trouve un four pilote dans lequel sont réalisés les essais de pyrolyse. A ce four pilote est couplée une baie de filtration afin de récupérer les produits de pyrolyse et les analyser. Les gaz permanents sont analysés avec les colonnes de chromatographie en phase gaz. Pour quelques essais du four, un dispositif d’IRTF a été couplé afin d’ajouter une information sur les composés plus lourds et nitrés des gaz de pyrolyse. La résine, les goudrons et les résidus solides sont caractérisés par analyse élémentaire C, H, O, N. Les mesures des compositions CHON et des masses permettent d’établir, après réconciliation de données, un bilan matière précis, de définir des molécules modèles pour les goudrons et le résidu solide, sous la forme CxHyOzNw, et de déterminer les coefficients stoechiométriques i de la réaction globale de pyrolyse. Les pourcentages massiques des produits obtenus à 450 °C sont les suivants : 78,74% de goudrons, 5,82% d’eau, 12,84% de résidu solide et 2,60% de gaz permanents. Les études paramétriques réalisées vis-à-vis du taux de résidu et de sa teneur en hydrogène ont mis en évidence que les paramètres prédominants sont, par ordre d’importance : la température, le temps de palier et la vitesse de chauffe. L'influence du débit d'argon et de la masse de résine initiale est négligeable. Pour aller plus loin dans la caractérisation des produits, des analyses par spectroscopie RMN ont été appliquées au résidu solide pour identifier les évolutions de la structure moléculaire du polymère en fonction de la température. Les analyses des goudrons par la TD-GC/MS révèlent quatre composés principaux : le dodécanol, le tetradécanol, le phénol et le 4-isopropylphénol. L’ensemble des résultats tant quantitatifs que qualitatifs constitue une aide à la définition des conditions d’élimination de la résine époxy par pyrolyse afin d’atteindre les objectifs en termes de taux d’hydrogène dans le résidu tout en respectant les contraintes de sécurité
This study aims to develop a thermal treatment for the elimination of epoxy resin from spent nuclear fuel by pyrolysis. In order to suppress gas production from polymer’s degradation by radiolysis in confined storage conditions, these fuels, which have been previously embedded in epoxy resin for the purpose of metallographic preparation, must be separated from the resin. To ensure the safety and universality of the process for removing the organic material, a pyrolysis process in an inert atmosphere of argon is selected. The main objective of the treatment is to minimize the final hydrogen content in the residual char while maintaining the integrity of the fuel in order to avoid the release of fission products and the expansion of the material, which occurs in oxidizing atmosphere. In this work, a general methodology is proposed in order to understand the physico-chemical phenomena involved during the pyrolysis of the resin and to acquire relevant data for the development of the process. Experimental investigations were mainly carried out in a pilot-scale furnace which was coupled with a series of filtration devices to recover the pyrolysis products for characterization. Most of pyrolysis gases have been measured on line with micro gas chromatography columns. For some pilot experiments, a FTIR analyzer allowed to characterize heavier and nitrated compounds in the gas. The resin, the tars and the char were characterized by elemental analysis (CHON). All the measurements of the pyrolysis products’ elemental compositions and weights have been adjusted by the method of data reconciliation. The results make it possible to establish a precise mass balance with the definition of model molecules (CxHyOzNw) for tars and char and the stoichiometric coefficients for the overall pyrolysis reaction. At 450 °C, the mass distribution of pyrolysis products is: 78.74% tars, 5.82% water, 12.84% char and 2.60% permanent gases. The parametric studies carried out with regard to the char ratio and its hydrogen content have shown that the predominant parameters are, in order of importance: the temperature, the plateau time and the heating rate. The influence of argon flow rate and resin mass is negligible. For a further investigation of the char, NMR spectroscopy was applied to identify its molecular structure changes with pyrolysis temperature. Furthermore, the characterization of tars by TD-GC/MS reveals four main compounds: dodecanol, tetradecanol, phenol and 4-isopropylphenol. Both these quantitative and qualitative information help to define the process conditions for the removal of epoxy resin by pyrolysis with respect to the final objective, i.e. minimizing the hydrogen content in the residual char while respecting the safety constraints

Стилі APA, Harvard, Vancouver, ISO та ін.

16

Upadhyay, Debajyoti. "Imagerie polarimétrique adaptée en lumière cohérente." Thesis, Toulouse, ISAE, 2014. http://www.theses.fr/2014ESAE0007/document.

Повний текст джерела

Анотація:

Nous proposons dans cette thèse d’étudier une méthode d’imagerie qui s’adapte à la scène étudiée en utilisant des états polarimétriques choisis sur critères physiques pour optimiser le contraste polarimétrique en 2 zones aux propriétés polarimétriques différentes. En prenant en compte le bruit de Grenaille du détecteur, cette nouvelle technique d’imagerie à 2 canaux nommée APSCI montre un gain en contraste quantifié par la distance de Bhattacharyya pouvant atteindre un facteur 10 par rapport à l’imagerie de Mueller. D’autre part, elle utilise la totalité de l’information polarimétrique de la scène pour générer une seule image au contraste optimum ce qui la rend particulièrement performante pour distinguer deux zones aux propriétés polarimétriques légèrement différentes. La solution analytique complète de ce problème est proposée au chapitre suivant avec des illustrations associées. Le modèle proposé permet, en plus d’une interprétation physique, de quantifier les performances limites de la méthode APSCI en fonction des matrices de Mueller des 2 objets à discerner. Le chapitre suivant est consacré à l’étude des performances de cette méthode soumise au bruit optique de tavelure de cible. Les simulations numériques montrent que les performances de cette méthode en terme de contraste polarimétrique restent relativement robustes et souvent très supérieures à celles obtenues par l’imagerie de Mueller classique. Le dernier chapitre consiste à décrire l’implémentation expérimentale nécessaire à l’adaptation d’un imageur de Mueller en imageur APSCI en vue d’obtenir un imageur hybride Mueller/APSCI. La méthode APSCI nécessite de pouvoir utiliser en émission et en projection lors de la détection
We propose in this thesis to study and imaging method which is adapted to the scene under investigation by the use of specific polarimetric excitations. The scenes under inversigation have two separate regions with different polarimetric properties. The specific fully polarized state of illumination is found by the physical criteria for oprimizing the polarimetric constrat in two aereas with different polarization properties. Taking into account the Shot noise of the detector, this new 2 channel imaging technique named APSCI, shows a gain in contrast quantified by the Bhattacharyya distance of up to a factor of 10 compared to what is achievable from classical Mueller imagnin. On the other hand, it uses the full polarimetric information of the scene to generate a single image at optimum contrast which makes it particularly effective to distinguish two distinct areas with slightly different polarization properties. The complete analytical solution of this problem is proposed in the next chapter with associated illustrations. The proposed model allows, in addition to a physical interpretation of the imaging problem, to quantify the limits of APSCI method based on evaluated Mueller matrices of the scene. Furthermore the relative performance of APSCI vs Classical Mueller Imaging (CMI) associated to polar decomposition has been studied numerically. Finally we have setup an hybrid CMI-APSCI imaging setup by indigenous calibration technique with a polarimetric precession of approximately 1% when room temperature varies around 1 degree C

Стилі APA, Harvard, Vancouver, ISO та ін.

17

Biri, Venceslas. "Techniques d'animation dans les méthodes globales d'illumination." Université de Marne-la-Vallée, 2003. http://www.theses.fr/2003MARN0155.

Повний текст джерела

Анотація:

Dans cette thèse, nous abordons la problématique de l’animation dans le rendu. Celle-ci se découpe en deux grandes parties : rendu sans et avec milieux participants. Dans la première partie, après un survol des techniques d’illumination d’une scène, nous présentons un nouvel algorithme, fondé sur la radiosité et utilisant des bases de fonctions. Il prend profit de la cohérence temporelle pour calculer des animations deux à trois fois plus rapidement, et ce même lorsque la source de lumière se déplace. Dans la seconde partie, après une revue des différentes techniques de rendu de milieux participants , nous proposons un premier algorithme permettant de modéliser, de simuler et d’animer du brouillard non homogène en temps réel. Puis nous proposons un autre algorithme temps réel de rendu en simple diffusion, représentant les ombres surfaciques et volumiques. Finalement, nous tentons de généraliser notre précédent algorithme de radiosité dynamique dans le cas des milieux participants
In this thesis, we focus on the problems of rendering in dynamic scene. It contains two main parts : one without participating medium and the other one with. In the first part, after an overview of rendering methods, we present a new algorithm, based on radiosity using higher order bases. It takes profits of temporal coherence to calculate animations twice to three times faster, even when light sources are moving. In the second part, after seeing the different algorithms that are able to render participating medium , we propose a first method allowing to model, simulate and animate non homogeneous fog in real time. Then, we propose an real time algorithm, in single scattering, representing surface and volume shadows. Finally, we try to generalise our preceding dynamic radiosity algorithm in the presence of the participating mediums

Стилі APA, Harvard, Vancouver, ISO та ін.

18

Maurel, Hervé. "Rendu réaliste de séquences animées : le lancer de rayons 4D." Toulouse 3, 1994. http://www.theses.fr/1994TOU30020.

Повний текст джерела

Анотація:

Les algorithmes de rendu tels que le lancer de rayons permettent d'obtenir une qualité d'image très attrayante. Cependant, la quantité de calcul requise pour la production d'animations devient rapidement prohibitive. L'objectif de cette thèse est de présenter différentes approches utilisant la cohérence temporelle en lancer de rayons. Le premier chapitre effectue un survol des techniques d'animation par ordinateur. Plus particulièrement, l'animation par évènements clés et les techniques d'interpolations sont détaillées. Dans le deuxième chapitre, nous présentons un noyau d'animation pour la machine Voxar. Sa réalisation s'appuie sur une gestion incrémentale de la scène répartie sur une architecture parallèle à mémoire locale. Dans le troisième chapitre, une classification des méthodes exploitant les propriétés de cohérence temporelle pour le lancer de rayons est présentée. Ce chapitre se termine par une analyse quantitative de la cohérence entre rayons dans une séquence. Enfin, dans les deux derniers chapitres, un nouvel algorithme, le lancer de rayons 4D, dédié au calcul de séquences d'images pour un observateur fixe est proposé. Son principe consiste à calculer toutes les images de la séquence en même temps en assurant l'unicité de traitement des rayons fournissant le même résultat pour différentes images. Cet algorithme permet de fournir la même qualité d'image qu'un lancer de rayons classique tout en diminuant fortement les temps de calculs. Le principe de l'algorithme est applicable à toute méthode utilisant le lancer de rayons

Стилі APA, Harvard, Vancouver, ISO та ін.

19

Bellanger, Cindy. "Techniques collectives pour la recombinaison cohérente d'un grand nombre de fibres laser." Phd thesis, Université Paris Sud - Paris XI, 2010. http://tel.archives-ouvertes.fr/tel-00498684.

Повний текст джерела

Анотація:

Les propriétés intrinsèques de la fibre optique utilisée comme milieu à gain en font un candidat idéal pour le développement de sources laser de haute puissance, aujourd'hui capable de rivaliser avec les lasers à état solide, tout en apportant ses avantages propres : robustesse, efficacité, qualité de faisceau potentielle, gestion de la thermique, compacité et tenue à l'environnement. Les domaines d'application sont nombreux : industrie (usinage, marquage), défense (télémétrie, imagerie), environnement (lidar), communications en espace libre, recherche fondamentale... Cependant, certaines applications nécessitent des puissances ou énergie encore supérieures à ce que peut délivrer une seule fibre associée à une bonne qualité de faisceau. Pour contourner cette difficulté, l'approche abordée ici est de répartir l'amplification sur plusieurs fibres lasers, puis de recombiner les faisceaux en espace libre. Ce travail est préparatoire à une nouvelle génération de lasers hyper-intenses et a été réalisé dans le cadre du projet ANR CAN, collaboration entre LOA, IOGS, Thales R&T et Onera. Suivant le dimensionnement défini par l'étude théorique de la combinaison cohérente de faisceaux laser, un toron de 64 fibres collimatées chacune par une petite lentille est conçu puis réalisé technologiquement. Par extension de l'idée de l'interféromètre à décalage quadri-latéral, une méthode de mesure collective et auto-référencée de la phase des fibres est mise au point. Enfin, une technique originale et auto-adaptative de mise en phase par holographie numérique est présentée et validée expérimentalement.

Стилі APA, Harvard, Vancouver, ISO та ін.

20

Godard, Laurent. "Robustesse et cohérence dans la modélisation rhéologique et numérique en géomécanique." Université Joseph Fourier (Grenoble), 1999. http://www.theses.fr/1999GRE10257.

Повний текст джерела

Анотація:

La modelisation numerique par elements finis definit la sollicitation en terme de conditions aux limites et ne permet pas le controle de celle-ci au niveau elementaire. Le modele rheologique employe doit alors etre robuste (faible dependance de la qualite de la reponse a la taille de la sollicitation) et coherent (capacite a toujours fournir des reponses physiquement admissibles) afin de permettre la prise en compte de la diversite des sollicitations elementaires. Le developpement d'une telle approche, appliquee aux sables, constitue l'objectif du travail presente dans cette these suivant trois chapitres. Un premier chapitre retrace un historique d'une modelisation incrementalement non lineaire a laquelle le modele appartient. Le deuxieme chapitre est consacre au developpement du modele arc. Son ecriture formelle explicitee, la formulation des equations constitutives permettant l'integration des caracteristiques mecaniques suivant l'intensite de la sollicitation le long des chemins de calibration est exposee. La coherence est mise en uvre au niveau de l'evolution des caracteristiques mecaniques pour une large gamme de conditions initiales en contrainte et indice des vides relies par un unique parametre d'etat , ainsi qu'au niveau du respect de la surface limite par un algorithme de plan de controle. Dans une phase de validation, les reponses du modele sont confrontees aux resultats experimentaux et la robustesse et la coherence verifiees. Le dernier chapitre concerne l'implementation de arc dans le code aux elements finis emili. Robustesse et coherence sont retrouvees au sein du couple code-modele dans la modelisation d'essais homogenes de laboratoire validant cette implementation. La modelisation de problemes aux limites de laboratoire et celle d'un modele reduit d'ouvrage geotechnique, une fondation superficielle, permettent de verifier l'aptitude du couple code-modele a reproduire des comportements observes experimentalement.

Стилі APA, Harvard, Vancouver, ISO та ін.

21

Palavicini, Cham Carlos Alberto. "Analyse de composants photoniques par réflectométrie à faible cohérence sensible à la phase." Phd thesis, Télécom ParisTech, 2004. http://pastel.archives-ouvertes.fr/pastel-00000751.

Повний текст джерела

Анотація:

L'émergence des amplificateurs à fibre et l'inévitable accroissement du débit ont drastiquement augmenté la complexité des systèmes de transmission optiques, imposant une évolution des composants photoniques. Des techniques de caractérisation fiables et précises sont alors indispensables pour mener une analyse appropriée des caractéristiques et des performances desdits composants. La réflectométrie à faible cohérence sensible à la phase est une technique bien adaptée à la détection, localisation et quantification des discontinuités d'indice dans les composants optiques et photoniques. Dans le cadre de cette thèse, elle a été appliquée à l'analyse de différents composants photoniques innovants, tels que les réseaux de Bragg à fibre, les fibres optiques spéciales et les lasers à semi-conducteurs soumis à une injection optique. Les résultats obtenus situent cette technique comme un véritable outil d'investigation qui s'avère très performant pour l'assistance et l'aide à la conception des nouvelles générations de composants photoniques.

Стилі APA, Harvard, Vancouver, ISO та ін.

22

Tongning, Robert-christopher. "Ralentir le déphasage des états de superposition atomiques dans un cristal de Tm3+ : YAG." Phd thesis, Université Paris Sud - Paris XI, 2014. http://tel.archives-ouvertes.fr/tel-01011160.

Повний текст джерела

Анотація:

Ce travail se place dans le contexte des recherches sur les mémoires quantiques pour la lumière. L'information quantique est stockée dans un état de superposition atomique, dont la durée de vie détermine le temps maximum de stockage.On s'intéresse particulièrement aux matériaux capables de capturer la lumière par excitation résonnante d'une raie d'absorption, puis de conserver l'information quantique dans un état de superposition du fondamental électronique.Dans Tm3+:YAG, l'information est enregistrée dans un état de spin nucléaire. Cependant le champ magnétique qui lève la dégénérescence nucléaire entraîne les différents spins à des vitesses de précession différentes, ce qui tend à détruire l'aimantation initiale, porteuse de l'information.Une étude quantique du cristal est réalisée lors du premier chapitre de ce manuscrit. Les trois chapitres suivants traitent des différents mécanismes conduisant au déphasage des spins nucléaires. On y trouvera différente analyses théoriques qui seront confirmées par un ensemble de résultats expérimentaux, ainsi qu'une description détaillée du dispositif expérimental. Enfin le dernier chapitre, prospectif, exploite les outils développés au cours de la thèse pour préserver les cohérences optiques. Il présente quelques résultats expérimentaux prometteurs sur l'allongement du temps de vie de ces cohérences optiques.

Стилі APA, Harvard, Vancouver, ISO та ін.

23

Belin, Etienne. "Utilisation de nouvelles techniques d'imagerie pour la vision en milieux diffusants." Phd thesis, Université d'Angers, 2008. http://tel.archives-ouvertes.fr/tel-00446506.

Повний текст джерела

Анотація:

La vision à travers les milieux diffusants est rendue difficile à cause des interactions entre la lumière et les particules composant le milieu. Dans le cadre de la vision dans le brouillard, ces trvaux de thèse portent sur l'étude de deux techniques optiques : l'une fondée sur la tomographie par cohérence optique (OCT) couplée à un cristal photo-réactif (PCR) et l'autre reposant sur le principe de la rétro-injection dans un micro-laser. Un modèle analytique fondé sur la théorie de Mie est développé pour prédire la décroissance du rapport signal à bruit dans une scène bruitée par du brouillard. L'exploitation des résultats analytique met en avant la nécessité de sélectionner l'information utile et d'éliminer le bruit lumineux lors des prises de vue pour conserver des images correctement contrastées . Nous démontrons le fort potentiel exploitable des deux techniques d'imagerie étudiées puisqu'elles reposent sur le principe de sélection du signal utile. Le montage OCT-PRC réalise une sélection par cohérence temporelle et le montage de rétro-injection laser une sélection spatiale. Les résultats obtenus en présence d'un milieu perturbateur sont détaillés en explicitant les limitations des dispositifs actuels et les voies d'améliorations à entreprendre.

Стилі APA, Harvard, Vancouver, ISO та ін.

24

Zia-Chahabi, Omid. "Techniques de traitement numérique du signal pour les systèmes de transmission optique ultra haut débit à détection cohérente." Télécom Bretagne, 2013. http://www.telecom-bretagne.eu/publications/publication.php?idpublication=13212.

Повний текст джерела

Анотація:

La détection optique cohérente et le traitement numérique du signal sont au coeur de la nouvelle génération de systèmes de transmission sur fibre. Ces systèmes utilisent des formats de modulation à grande efficacité spectrale et sont très robustes à la propagation sur le canal de transmission optique. Ils offrent ainsi aux opérateurs de télécommunications la possibilité de décupler la capacité de leurs réseaux de transport tout en conservant leurs infrastructures fibre existantes. Cette thèse développe différentes problématiques relatives à la conception de fonctions numériques pour les récepteurs optiques à détection cohérente fonctionnant aux débits de 100 Gbit/s et au-delà. Elle aborde les aspects de complexité calculatoire de l'égalisation numérique du canal optique, puis évalue l'apport des techniques dans le domaine fréquentiel en vue de rendre les traitements compatibles avec les contraintes matérielles de la mise en oeuvre à très haut débit. Le second point étudié concerne les difficultés potentielles de l'utilisation du multiplexage en polarisation. La dernière partie de la thèse traite de l'étude conjointe des fonctions d'égalisation et de synchronisation porteuse et phase pour l'application aux formats de modulation à très grande efficacité spectrale
Coherent optical detection and digital signal processing are at the heart of the new generation optical transmission systems. These systems use spectrally efficient modulation formats and are very robust to the propagation impairments of the optical channel. Thus, they allow telecommunications carriers to increase dramatically the capacity of their transport networks while keeping their existing fiber infrastructures. This thesis develops various issues related to the design of digital functions for coherent optical receivers operating at 100 Gb/s and beyond. It first addresses the computational complexity of digital equalization of the optical channel, and evaluates the contribution of frequency-domain techniques in order to make the processing compatible with the implementation constraints at very high speed. The second point of the thesis concerns the potential difficulties with the use of polarization multiplexing. The final part deals with the joint equalization and carrier synchronization for application to highly spectrally efficient modulation formats

Стилі APA, Harvard, Vancouver, ISO та ін.

25

Ingels, Alexandre. "Développement de techniques d’imageries pour le diagnostic et le pronostic des tumeurs du rein." Thesis, Université Paris-Saclay (ComUE), 2018. http://www.theses.fr/2018SACLS451/document.

Повний текст джерела

Анотація:

Le but du projet est le développement de nouvelles techniques d’imagerie pour le diagnostic et le traitement du cancer du rein. Nous avons évalué différentes techniques comprenant la tomographie en cohérence optique et l’imagerie moléculaire. Nous avons évalué différents marqueurs potentiels pour l’imagerie moléculaire en étudiant l’expression de différents marqueurs dans le cancer du rein et leur association avec le pronostic de la maladie. Enfin, nous avons évalué deux techniques d’imagerie moléculaire sur des modèles précliniques : l’Imagerie par Résonnance Magnétique moléculaire et l’échographie moléculaire
The aim of this project is the development of new imaging techniques for renal cancer diagnostic and treatment.We have assessed several techniques including optical coherence tomography and molecular imaging. We assessed a series of potential markers for molecular imaging by measuring some pre-defined markers expressions by immunohistochemistry in renal cell carcinoma and their association with disease’s prognostic. Finally, we assessed two molecular imaging techniques in pre-clinical models: Molecular Magnetic Resonance Imaging and Molecular Ultrasound Imaging

Стилі APA, Harvard, Vancouver, ISO та ін.

26

Latriglia, Flora. "Extensions techniques de la tomographie par cohérence optique confocale à balayage de ligne (LC-OCT) basées sur l'interférométrie tandem pour l'imagerie des tissus biologiques." Electronic Thesis or Diss., université Paris-Saclay, 2024. http://www.theses.fr/2024UPAST061.

Повний текст джерела

Анотація:

La tomographie par cohérence optique confocale à balayage de ligne (LC-OCT) est une technique d'imagerie optique qui combine les avantages de la microscopie confocale et de l'OCT en termes de résolution spatiale, de pénétration et d'orientation des images. Inventée par le Pr. Arnaud Dubois (Laboratoire Charles Fabry, UMR CNRS, Institut d'Optique Graduate School, Université Paris-Saclay), cette technologie est valorisée par la start-up DAMAE Medical pour l'imagerie de la peau. Le dernier dispositif de LC-OCT commercialisé propose 3 modes d'imagerie permettant de fournir des images en coupes verticales, horizontales ou en 3D d'une lésion cutanée à l'échelle cellulaire, avec une profondeur de pénétration allant jusqu'au derme superficiel. Sous la forme d'une sonde portable, ce dispositif permet d'imager facilement l'ensemble des lésions d'un patient. Son utilisation par le dermatologue permet la détection précoce des tumeurs malignes et la réduction du nombre de biopsies bénignes. Les travaux que nous présentons portent sur le développement d'un dispositif de LC-OCT de nouvelle génération offrant des perspectives d'application inédites dans le domaine médical grâce à son potentiel en termes de compacité, de modularité ainsi que de profondeur de pénétration et de vitesse d'acquisition. Ce dispositif est basé sur le principe de l'interférométrie tandem couplant au moyen d'une fibre optique deux interféromètres, l'un dit interféromètre imageur qui sera à terme placé dans la sonde LC-OCT et l'autre, dit interféromètre compensateur, à l'extérieur. L'un des intérêts de cette approche est de déporter certains éléments de la sonde actuelle vers l'interféromètre compensateur. Ainsi, les futures sondes LC-OCT pourront être encore plus légères et compactes. D'autre part, l'interféromètre compensateur peut comporter des systèmes de balayage rendant possible l'utilisation de nouveaux mécanismes de focalisation dynamique dans l'interféromètre imageur. En particulier, l'intégration d'une lentille à focalisation réglable dans l'interféromètre imageur est étudiée, validée expérimentalement et ses performances sont analysées. Le prototype réalisé a permis d'augmenter la fréquence d'acquisition des images en coupe verticale jusqu'à 14,3 Hz. Une expérience a également permis de démontrer le potentiel de ce prototype pour l'augmentation de la profondeur d'imagerie, permettant l'acquisition et la reconstitution d'une image jusqu'à une profondeur de 1.3 mm, environ 3 fois supérieure à celle du dispositif de LC-OCT commercialisé. Nous avons enfin exploré une nouvelle application de la LC-OCT tandem : l'endoscopie rigide modulable. En tenant compte du contexte clinique du carcinome épidermoïde oropharyngé, un prototype d'embout rigide pour l'imagerie LC-OCT des tissus oto-rhino-laryngologiques (ORL) a été développé. Malgré des performances optiques dégradées, les premières images in vivo de la peau et de la lèvre inférieure ont validé la faisabilité de l'approche. De plus, grâce à la LC-OCT tandem, un système modulable a été mis en œuvre, permettant d'acquérir des images avec et sans embout endoscopique. Cela démontre la polyvalence de notre approche. En conclusion, ce travail de doctorat établit des fondations pour le développement de futurs dispositifs de LC-OCT basés sur l'interférométrie tandem. Nous aspirons à ce que les bénéfices apportés par la LC-OCT tandem permettent de généraliser l'adoption de cette technique d'imagerie par les professionnels de santé, contribuant ainsi aux progrès dans le domaine médical
Line-field confocal optical coherence tomography (LC-OCT) tomography is an optical imaging technique that combines the advantages of confocal microscopy and OCT in terms of spatial resolution, penetration, and image orientation. Invented by Professor Arnaud Dubois (Charles Fabry Laboratory, UMR CNRS, Institute of Optics Graduate School, Université Paris-Saclay), this skin imaging technology is currently commercialized by the French startup DAMAE Medical. The latest commercialized LC-OCT device offers three imaging modes, providing vertical, horizontal, and 3D images of skin at the cellular level, with a penetration depth reaching the superficial dermis. Packaged as a portable probe, the device allows for easy imaging of all the lesions on a patient. Its use by dermatologists enables early detection of malignant tumors and reduces the number of benign biopsies.Our work focuses on developing a next-generation LC-OCT device offering novel applications in the medical field due to its potential compactness, modularity, penetration depth, and acquisition speed. This device is based on tandem interferometry, coupling two interferometers using an optical fiber, one being an imaging interferometer eventually placed in the LC-OCT probe and the other, an externally located compensating interferometer. One advantage of this approach is to move certain elements of the current probe to the compensating interferometer, making future LC-OCT probes even lighter and more compact. In addition, the compensating interferometer can incorporate scanning systems that enable the use of new dynamic focusing mechanisms in the imaging interferometer. In particular, the integration of a focus tunable lens in the imaging interferometer is studied, experimentally validated, and its performance analyzed. The prototype developed has increased the acquisition frequency of vertical section images up to 14.3 Hz. Experimentation also demonstrated the prototype's potential for increasing imaging depth, allowing acquisition and reconstruction of an image up to a depth of 1.3 mm, approximately three times greater than that of the currently commercialized LC-OCT device. Furthermore, we explored a new application of tandem LC-OCT: modular rigid endoscopy. Considering the clinical context of oropharyngeal squamous cell carcinoma, a prototype rigid tip for LC-OCT imaging of otorhinolaryngological (ORL) tissues has been developed. Despite impacted optical performance, initial in vivo images of the skin and lower lip have validated the feasibility of the approach. Additionally, thanks to tandem LC-OCT, a modular system has been implemented, allowing acquisition of images with and without an endoscopic tip. This demonstrates the versatility of our approach. In conclusion, this doctoral work establishes foundations for the development of future LC-OCT devices based on tandem interferometry. We hope that the benefits brought by tandem LC-OCT will lead to widespread adoption of this imaging technique by healthcare professionals, thereby contributing to advancements in the medical field

Стилі APA, Harvard, Vancouver, ISO та ін.

27

Harms, Fabrice. "Imagerie des tissus à haute résolution en profondeur par tomographie de cohérence optique plein champ : approches instrumentales et multimodales pour l'application au diagnostic per-opératoire du cancer." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066702/document.

Повний текст джерела

Анотація:

Parmi les diverses méthodes d’imagerie médicales, les méthodes d’imagerie optique connaissent depuis une vingtaine d’années un développement significatif. Parmi les techniques d’imagerie optique récemment mises en œuvre, la Tomographie Optique Cohérente Plein Champ – ou OCT Plein Champ – présente des caractéristiques remarquables, en particulier en termes de résolution et de simplicité instrumentale, permettant d’envisager son application au domaine du diagnostic du cancer. Cette thèse décrit la conception et la mise en œuvre de dispositifs d’OCT Plein Champ pour utilisation en contexte clinique, afin d’évaluer la performance de la technique pour le diagnostic peropératoire du cancer, en vue de son amélioration et optimisation. Dans cet objectif nous avons réalisé des travaux regroupés en 2 axes : Une partie translationnelle, consistant à développer un dispositif de microscopie optique par OCT Plein Champ répondant au besoin clinique pour le diagnostic peropératoire du cancer sur biopsies, en vue de l’évaluation de ses performances de diagnostic sur plusieurs problématiques cliniques : le diagnostic peropératoire du tissu mammaire, de résection de cerveau, ainsi que la qualification préopératoire de greffons cornéens. Une partie exploratoire, principalement instrumentale, dédiée à l’amélioration des performances de diagnostic de la technique, proposant de nouvelles approches multimodales (contraste de fluorescence, contraste dynamique) et multi-échelles, ou encore la déclinaison du dispositif sous la forme d’un endoscope rigide portable utilisable en contexte clinique
Among medical imaging techniques, optical imaging methods have been significantly developped during the past decades. More specifically, among recently proposed optical imaging techniques, Full-Field Optical Coherence Tomography – or FFOCT – provides unique capabilities, in particular regarding resolution and instrumental simplicity, which allows to consider its application to cancer diagnosis. This thesis demonstrates the design and implementation of new FFOCT devices for use in a clinical context, targeting improvement and optimization of the technique. Two major development parts have been realized : A translational part, comprising the development of a FFOCT microscope adapted to a clinical use for intraoperative diagnosis of cancer on tissue biopsies, and the assessment of its diagnosis performance for several clinical cases : the intraoperative diagnosis of breast tissue, of brain resections, and the preoperative qualification of corneal grafts. A research part - mainly instrumental - targeting the improvement of the diagnosis performance of the technique, based on new multimodal (fluorescence contrast, dynamic contrast) and multiscale approaches, or on the miniaturization of the device by developing a handheld rigid endoscope for clinical use

Стилі APA, Harvard, Vancouver, ISO та ін.

28

Degert, Jérôme. "Manipulation cohérente d'atomes et de molécules diatomiques avec des impulsions mises en forme." Phd thesis, Université Paul Sabatier - Toulouse III, 2002. http://tel.archives-ouvertes.fr/tel-00288584.

Повний текст джерела

Анотація:

Cette thèse présente l'étude théorique et expérimentale de la manipulation cohérente de systèmes atomiques et moléculaires avec des impulsions mises en forme.
Dans un premier temps, nous présentons plusieurs expériences de manipulation de transitoires cohérents dans le rubidium. Ces transitoires cohérents apparaissent lorsqu'on excite un système à deux niveaux avec une impulsion à dérive de fréquence en champ faible, et se traduisent par des oscillations dans la population de l'état excité. Pour une impulsion très étirée, nous montrons qu'un saut de phase dans le domaine spectral modifie la phase des oscillations. Puis, en nous appuyant sur une analogie avec la diffraction de Fresnel, nous concevons une impulsion à dérive de fréquence d'amplitude fortement modulée, permettant de supprimer les contributions destructives au transfert de population.
Dans une deuxième série d'expériences, nous nous intéressons aux interférences de chemins quantiques dans les transitions à deux photons induites par des impulsions à dérive de fréquence. Du fait de la grande largeur spectrale des impulsions ultracourtes, les chemins d'excitation séquentiel et direct contribuent au transfert de population dans l'état excité. Les oscillations provenant de l'interférence entre ces différents chemins d'excitation sont observées dans le sodium atomique. De plus, nous montrons qu'elles sont observables quel que soit le signe de la dérive de fréquence.
D'un point de vue théorique, nous étudions le contrôle de la prédissociation d'une molécule diatomique modèle : NaI. La prédissociation conduit à l'observation d'interférences d'ondes de matière dans la distribution des fragments. Nous montrons dans un premier temps qu'il est possible d'observer ces interférences en sondant la molécule avec une impulsion judicieusement choisie. Puis, en utilisant une séquence d'impulsions de contrôle induisant une transition entre deux niveaux électroniques de la molécule, nous mettons en évidence la possibilité de manipuler la distribution énergétique des fragments.

Стилі APA, Harvard, Vancouver, ISO та ін.

29

Malgouyres, Hugues. "Définition et détection automatique des incohérences structurelles et comportementales des modèles UML : Couplage des techniques de métamodélisation et de vérification basée sur la programmation logique." Toulouse, INSA, 2006. http://www.theses.fr/2006ISAT0038.

Повний текст джерела

Анотація:

Le but du travail présenté dans ce mémoire est de fournir un moyen permettant d'assurer la cohérence des modèles UML. Deux aspects ont été abordés au cours de cette thèse, l'étape de définition de la cohérence et l'étape de vérification automatique de celle-ci. Un document dont le but est de recenser l'ensemble des règles de cohérence des modèles UML a été produit. Il contient 650 règles de cohérence dont la moitié sont des règles nouvelles, fruit de l'analyse de la sémantique d'UML. La deuxième partie s'intéresse à la vérification automatique de ces règles de cohérence. La méthode développée associe les techniques de métamodélisation et les techniques de vérification de systèmes dynamiques en programmation logique. La programmation logique est utilisée pour encoder les modèles UML, pour formaliser leur sémantique opérationnelle et pour exprimer les incohérences à détecter. La détection des incohérences structurelles et comportementales est ainsi possible. Un prototype a enfin été développé. Les résultats d'une expérimentation sur un modèle industriel du secteur avionique valident l'intérêt de l'approche
The purpose of this thesis is to develop a method that permits to ensure the UML model consistency. Two aspects have been addressed, the consistency definition and the consistency checking. The first step has led to a document that contains 650 consistency rules. Half of these rules are new consistency rules deduced from UML semantics. The aim is to make a census of all consistency rules. The second step concerns consistency checking. The developed method associates meta-modeling with system verification in logic programming techniques. Logic programming is used to encode UML model, to formalize UML operational semantics and to express the inconsistencies. The detection of structural and behavioral inconsistencies is then enabled. To conclude, a prototype has been developed. Experimental results on an industrial model from avionics domain corroborate the practical interest of the approach

Стилі APA, Harvard, Vancouver, ISO та ін.

30

Sahni, Mohamed Omar. "Contribution à l'étude de techniques pour l'affinement spectral de lasers : application aux diodes à blocage de modes destinées aux télécommunications optiques cohérentes." Thesis, Rennes 1, 2018. http://www.theses.fr/2018REN1S121/document.

Повний текст джерела

Анотація:

Les peignes de fréquences optiques, issus de diodes à blocage de modes, font partie des candidats potentiels pour les réseaux de transmission à multiplexage en longueurs d’onde (WDM). Cependant, les modes composant leur peigne, exhibent généralement des largeurs de raie optiques relativement élevées ( 1-100 MHz), rendant ainsi incompatible leur utilisation sur un réseau WDM employant des formats de modulation avancés d’ordre supérieur. Cette thèse étudie, une solution pour palier à cette limitation. La technique utilisée, dite d’asservissement à correction aval hétérodyne, effectue un traitement du flux lumineux en sortie du laser sans agir sur ce dernier, permettant de réduire le bruit de fréquence présent sur chacune des raies et par conséquent leur largeur de raie optique. Dans une première approche, la technique est appliquée à un laser mono-fréquence. Cela a permis d’une part de valider son fonctionnement et d’autre part d’identifier les limites intrinsèques du dispositif expérimental mis en place. Ainsi, nous démontrons que le niveau de bruit de fréquence minimum permis par notre système, correspond à un spectre optique de largeur de raie optique instantanée de 50 Hz et une largeur de raie de 1,6 kHz pour un temps d’observation de 10 ms. La technique est par la suite appliquée à une diode à blocage de modes actif. Le peigne de fréquences optiques ainsi généré, est composé de 21 modes, ayant tous une largeur de raie optique intrinsèque inférieure à 7 kHz, dont 9 modes sont sub-kHz. Pour un temps d’observation du spectre optique de 10 ms, ces modes exhibent tous une largeur de raie d’environ 37 kHz. Nous démontrons ainsi l’impact de la gigue d’impulsions sur les performances de la technique et nous soulignons l’intérêt d’une telle cohérence, pour le domaine des télécommunications optiques cohérentes (transmissions WDM cohérentes de type m-QAM avec des constellations d’ordre élevé, compatibles avec des débits multi-Tbit/s par raie). En dernier lieu, nous abordons une seconde technique consistant à pré-stabiliser la fréquence d’un laser par asservissement en boucle fermée. Elle repose sur l’utilisation d’un interféromètre à fibre déséquilibré comme référence pour réduire le bruit de fréquence d’un laser, situé particulièrement en basses fréquences. Appliquée à un laser mono-fréquence, elle a permis de réduire son bruit de fréquence technique conduisant ainsi à une nette amélioration de sa largeur de raie intégrée sur 3 ms, de 224 kHz à 37 kHz. Ce premier résultat représente un bon support vers l’exploration du potentiel des diodes à blocage de modes pour des applications métrologiques
Optical frequency combs obtained from mode-locked laser diodes are potential candidates for WDM networks. However, their lines exhibit usually a broad optical linewidth ( 1-100 MHz). Thus their use is incompatible for high order modulation formats WDM based systems. This thesis investigates one solution to overcome this limitation. It consists of using a feed-forward heterodyne technique to reduce the frequency noise of each comb-line and consequently their optical linewidths. In a first approach, the technique is applied to a single-mode laser. This allowed us to validate its proper working and to identify the intrinsic limits of the experimental device set up. The latter analysis enabled us to reveal that the minimum achievable frequency noise level by our system, corresponds to a 50 Hz intrinsic optical linewidth spectrum and a 1,6 kHz optical linewidth based on 10 ms observation time. This technique is then applied to an actively mode-locked laser diode demonstrating, at our system output, a 21-line optical frequency comb with intrinsic optical linewidths reduced to below 7 kHz. It is worth noting that 9 among them, exhibit sub-kHz linewidths. For an observation time of 10 ms, all lines share the same optical linewidth, almost equal to 37 kHz. We thus show that the timing jitter impacts the technique performances. We also highlight the relevance of such coherence level for coherent optical communication. Lastly, we study a laser frequency pre-stabilization technique based on a locking to an unbalanced fiber interferometer. When applied to a single-mode laser, the technique showed a reduction of its technical frequency noise, thus leading to a clear improvement of its integrated optical linewidth from 224 kHz to 37 kHz for 3 ms observation time. This first result provides a good support towards the exploration of mode-locked laser diodes potential for metrological applications

Стилі APA, Harvard, Vancouver, ISO та ін.

31

Ghorbel, Itebeddine. "Segmentation et quantification des couches rétiniennes dans des images de tomographie de cohérence optique, dans le cas de sujets sains et pathologiques." Electronic Thesis or Diss., Paris, ENST, 2012. http://www.theses.fr/2012ENST0013.

Повний текст джерела

Анотація:

La tomographie de cohérence optique (OCT) est une technique d'imagerie non invasive, fondée sur le principe de I'interférométrie. Elle est maintenant un examen classique pour le dépistage et le suivi des affections rétiniennes, notamment des dégénérescences maculaires. C'est dans ce cadre que s'inscrit le premier objectif de ces travaux de thèse, où nous proposons une nouvelle méthode de segmentation des images OCT de sujets sains. Les principales difficultés sont liées au bruit des images, à la variabilité de la morphologie d’un patient à l’autre et aux interfaces mal définies entre les différentes couches. Notre nouvelle approche est fondée sur des algorithmes de segmentation plus globaux. Ainsi. huit couches rétiniennes peuvent étre détectées, y compris les segments internes (IS) des photorécepteurs. L’évolution lente des maladies rétiniennes pose le problème de l’évaluation de ces thérapeutiques. C’est dans ce cadre que s’inscrit le second objectif de cette thèse, où nous étendons le champ d’application des méthodes développées pour les sujets sains aux sujets atteints de rétinopathie pigmentaire. Nous avons ainsi développé un nouveau modèle paramétrique déformable qui intègre les informations a priori en ajoutant une contrainte de parallélisme. Dans les cas sains et pathologiques, nous avons réalisé une évaluation exhaustive qualitative et quantitative. Les résultats de segmentation automatique ont été comparés avec les segmentations manuelles réalisées par différents experts.Ces évaluations montrent une très bonne concordance et une forte corrélation entre les segmentations automatiques et les segmentations faites manuellement par un expert
Optical coherence tomography (OCT) is a non-invasive imaging technique, based on the principle of interferometry. Thus, OCT is now a standard examination for the detection and the monitoring of retinal diseases including macular degeneration. In this context, the first objective of this thesis is to propose a new method for the segmentation of OCT images of healthy subjects. The proposed method exploits prior knowledge on the structure and the appearearance of the retinal layers. It is based on a combination of local and global segmentation algorithms, including active contours, k-means and Markov random fields. Thus, eight retinal layers can be detected, including the inner segments (IS) of photoreceptors. However, the slow evolution of this disease makes the evaluation of these therapies difficult. The second objective of this thesis is then to extend the scope of the method developed for healthy subjects to retinitis pigmentosa subjects. We have developed a new parametric deformable model that incorporates a priori information by adding a constraint of approximate parallelism, which is more robust in the presence of pathologies. In both healthy and pathological study cases, we performed a comprehensive qualitative and quantitative assessrnent of the proposed methods. We evaluated the accuracv of the segmentation of interfaces between layers, and, in the case of healthy subjects, the accuracy of the segmentation of interfaces between layers, and, in the case of healthy subjects, the precision of thickness measurements derived from the segmentation. This study was conducted on a large image database. These evaluations show a very good agreement anda strong correlation between automatic segmentation and segmentation done manually by an expert

Стилі APA, Harvard, Vancouver, ISO та ін.

32

Ghorbel, Itebeddine. "Segmentation et quantification des couches rétiniennes dans des images de tomographie de cohérence optique, dans le cas de sujets sains et pathologiques." Phd thesis, Télécom ParisTech, 2012. http://pastel.archives-ouvertes.fr/pastel-00719456.

Повний текст джерела

Анотація:

La tomographie de cohérence optique (OCT) est une technique d'imagerie non invasive, fondée sur le principe de I'interférométrie. Elle est maintenant un examen classique pour le dépistage et le suivi des affections rétiniennes, notamment des dégénérescences maculaires. C'est dans ce cadre que s'inscrit le premier objectif de ces travaux de thèse, où nous proposons une nouvelle méthode de segmentation des images OCT de sujets sains. Les principales difficultés sont liées au bruit des images, à la variabilité de la morphologie d'un patient à l'autre et aux interfaces mal définies entre les différentes couches. Notre nouvelle approche est fondée sur des algorithmes de segmentation plus globaux. Ainsi. huit couches rétiniennes peuvent étre détectées, y compris les segments internes (IS) des photorécepteurs. L'évolution lente des maladies rétiniennes pose le problème de l'évaluation de ces thérapeutiques. C'est dans ce cadre que s'inscrit le second objectif de cette thèse, où nous étendons le champ d'application des méthodes développées pour les sujets sains aux sujets atteints de rétinopathie pigmentaire. Nous avons ainsi développé un nouveau modèle paramétrique déformable qui intègre les informations a priori en ajoutant une contrainte de parallélisme. Dans les cas sains et pathologiques, nous avons réalisé une évaluation exhaustive qualitative et quantitative. Les résultats de segmentation automatique ont été comparés avec les segmentations manuelles réalisées par différents experts.Ces évaluations montrent une très bonne concordance et une forte corrélation entre les segmentations automatiques et les segmentations faites manuellement par un expert.

Стилі APA, Harvard, Vancouver, ISO та ін.

33

Méteau, Jérémy. "Instrumentation optique pour la caractérisation des tissus : analyse de la complémentarité et des limites techniques de fluorescence hyperspectrale et de Tomographie Optique Cohérente en vue de leur intégration multimodale." Thesis, Besançon, 2014. http://www.theses.fr/2014BESA2041/document.

Повний текст джерела

Анотація:

L'objectif de ce travail de recherche est le développement d'un système fibré d'imagerie point par point d'auto fluorescence multi-excitation, de tissus biologiques en utilisant la technique de fluorescence hyperspectrale et l'étude d'un système de tomographie optique cohérente comme possible modalité supplémentaire. La première partie de ce rapport présente les propriétés optique des tissus biologiques et les fluorophores pertinents pour la détection de tumeurs cancéreuses. La deuxième partie présente l'instrumentation du système d'imagerie de fluorescence et l'analyse hyperspectrale des résultats obtenus in vitro.Il est démontré la pertinence de ce type d'analyse qui permet de déterminer la concentration de certains fluorophores. La troisième partie présente le système de tomographie optique cohérente appelé "scan free" OCT car il permet de réaliser des images sans déplacement d'éléments optiques. Ce système est caractérisé et présente des fonctionnalités intéressantes comme la compensation de la dispersion dépendante de la profondeur. Les divers résultats obtenus montrent que ces deux techniques sont complémentaires car elles apportent des informations de nature différentes. La première technique donne de se informations sur la composition biochimique des tissus, la seconde donne des information sur la structure
The aim of this activity is the development of a mono point imaging fiber system which uses hyperspectral multi-excitation auto fluorescence technique for biological tissues and the study of an Optical Coherence Tomography system like another modality. At first, this report presents the optical properties of biological tissues and the relevant fluorophores for cancerous tumors detection. Secondly, the fluorescence imaging system instrumentation and hyperspectral analysis are presented with in vitro results. The third part presents the "scan free" optical coherence tomography system which is able to image without optical displacement. It's characterized and have interesting functionality like depth dependant dispersion compensation. These both techniques are complementary because they get different kind of information. The information of the first one is about biochemical composition of the tissues and the information of the second one is about the stucture

Стилі APA, Harvard, Vancouver, ISO та ін.

34

Thierry, Olivier. "Rétrodiffusion de la lumière par un milieu particulaire dense : étude expérimentale et simulation numérique par la technique de Monte Carlo." Rouen, 1992. http://www.theses.fr/1992ROUE5042.

Повний текст джерела

Анотація:

Les phénomènes optiques qui interviennent lorsqu'un milieu particulaire est éclairé sont analysés : soit la diffusion simple, multiple, dépendante ; la rétrodiffusion cohérente et la localisation forte. Des diagrammes de caractérisation sont construits pour prévoir l'existence de la diffusion dépendante ou de la rétrodiffusion cohérente au sein d'un milieu diffusif, en fonction de ses paramètres-diamètre et concentration particulaires. Un montage expérimental performant est mis au point pour mesurer angulairement l'intensité rétrodiffusée, cohérente ou non. Un code de calcul, utilisant la méthode de Monte Carlo, est développé pour simuler l'expérience. Celui-ci modélise : le faisceau incident collimate gaussien, l'influence des parois de la cuve contenant le milieu diffusif, la diffusion multiple de la lumière par les particules du milieu, la détection angulaire de l'intensité rétrodiffusée. La confrontation des profils angulaires simulés et expérimentaux montre un bon accord pour les latex de diamètre 0,5 m de fraction volumique Vf comprise entre 0,1% et 1,92% et les latex de diamètre 2 m de fraction volumique Vf comprise entre 1% et 9,57 %; pour les gels de diamètre 59 m de fraction volumique comprise entre 0,2% et 1% et pour les gels de diamètre 92 m de fraction volumique Vf entre 0,2% et 1%. La mesure de la largeur angulaire du pic de rétrodiffusion cohérente pour deux longueurs d'onde permet le diagnostic optique de milieux denses tant sur la valeur du diamètre (entre 0,1 et 5 m) que de la concentration en particules

Стилі APA, Harvard, Vancouver, ISO та ін.

35

May, Alix. "Novel receiver-based techniques for the monitoring of physical parameters in optical fiber networks." Electronic Thesis or Diss., Institut polytechnique de Paris, 2023. http://www.theses.fr/2023IPPAT013.

Повний текст джерела

Анотація:

Dans les réseaux à fibre optique, le monitoring massif a suscité un intérêt important pour leur permettre d'être plus autonomes et élastiques. Au fil des années, diverses techniques de monitoring basées sur le traitement numérique du signal côté récepteur ont été proposées. Ces techniques sont particulièrement intéressantes car elles ne nécessitent pas de matériel supplémentaire et sont moins coûteuses. Dans ma thèse, je me suis concentrée sur les techniques de monitoring de la puissance longitudinale d'un lien optique, basées sur l'analyse des effets de propagation non linéaires. Dans un premier temps, j'ai proposé d'utiliser une technique existante pour estimer la valeur d'une perte de puissance dans une liaison optique point à point et je l'ai validée expérimentalement. Ensuite, j'ai généralisé la méthode d'estimation des pertes de puissance et l'ai appliquée à un réseau maillé. L'utilisation de différents trajets lumineux sur ce réseau m'a permis de montrer une augmentation de la précision de l'estimation des valeurs de perte. Afin d'élargir les possibilités de mise en œuvre de cette méthode, j'ai étudié ensuite expérimentalement l'application de la technique d'estimation du profil de puissance sur une longue liaison optique pour valider son utilisation pour les systèmes sous-marins. Enfin, je propose d'utiliser cette technique pour surveiller un autre type de pertes de puissance, la perte dépendante de la polarisation (PDL). La PDL est présente dans les composants optiques tels que les commutateurs et les amplificateurs. Habituellement, seul le montant cumulé est surveillé. J'ai proposé d'utiliser une méthode similaire à celle des pertes de puissance, permettant de localiser un élément PDL variable et d'estimer sa variation. Ce dernier travail nous permet de nous rapprocher du type d'événement, ce qui est important pour prendre des solutions intelligentes et efficaces
In optical fibered networks, massive monitoring generated significant interest to allow them to be more autonomous and elastic. Over the years, various monitoring techniques based on the digital signal processing at the receiver side have been proposed. Those techniques are particularly interesting since they do not require additional hardware and are less costly. In my PhD, I focused on techniques to monitor the longitudinal power of an optical link, based on the analysis of non-linear propagation effects. First, I proposed to use an existing technique to estimate the value of a power loss in a point-to-point optical link and validated it experimentally. Then, I generalized the power losses estimation method and applied it to a meshed network. Using various lightpaths on this network allowed me to show experimentally an increase of the accuracy of the estimation of loss values. To broaden the possibilities of implementation of this method, I then investigate experimentally the application of the power profile estimation technique on a long optical link to validate its use for submarine systems. Finally, I propose to use this technique to monitor another type of power losses, polarization-dependent loss (PDL). PDL is present in optical components such as switches and amplifiers. Usually, only the accumulated amount is monitored. I proposed to use a similar method as with the power losses, allowing the location of a varying PDL element and the estimation of its variation. This latest work allows us to get closer to the type of event, which is important to take smart and effective solutions

Стилі APA, Harvard, Vancouver, ISO та ін.

36

Moussa, Mouhamad. "Etude théorique et expérimentale des techniques de retournement temporel application à la caractérisation de composants et dispositifs dans une chambre réverbérante." Phd thesis, Université Paris Sud - Paris XI, 2011. http://tel.archives-ouvertes.fr/tel-00625945.

Повний текст джерела

Анотація:

Dans le cadre de nos travaux de recherche, nous sommes parvenus à introduire une utilisation déterministe des chambres réverbérantes, en proposant un nouveau paradigme de la technique du retournement temporel. Nous sommes capable de réaliser le même type de tests d'immunité rayonnée que dans une chambre anéchoïque, tout en profitant des avantages liés aux propriétés physiques des milieux fortement réverbérants comme la génération de champs de fortes intensités à partir de niveaux de puissances injectées relativement faibles.En effet, les études menées dans cette thèse ont démontré la faisabilité d'un moyen de test d'immunité rayonnée novateur, permettant la génération de fronts d'onde cohérents dans une cavité résonante et dont la direction de propagation et la polarisation sont contrôlées sans aucun déplacement mécanique des sources génératrice du champ ou de l'équipement sous test. Un autre avantage majeur de ce nouveau système, baptisé chambre électromagnétique à retournement temporel (TREC), réside dans le fait de pouvoir générer dans une chambre réverbérante, des champs impulsionnels dont l'extension temporelle est de courte durée alors que cette capacité n'était pas envisageable avant ces travaux.Pour cela, la TREC repose sur la connaissance du champ sur une surface de mesure arbitraire, située entre les sources et l'objet sous test, dans la direction de propagation du front d'onde souhaitée. Cette phase de caractérisation peut être réalisée à l'aide d'une mesure de la fonction de transfert entre le port des antennes sources et une sonde de champ déplacée sur la surface de mesure.Le principe de notre système se base sur l'association de la technique du retournement temporel et du principe d'équivalence. Le retournement temporel permet d'assurer une fenêtre temporelle, dans laquelle les conditions de propagation du champ dans la chambre réverbérante sont identiques à celles en espace libre, et permet d'obtenir une propagation d'un front d'onde convergent vers une source ponctuelle qui aurait initialement créé un front d'onde divergent. Le principe d'équivalence permet de passer d'une source ponctuelle à une source de rayonnement étendue, permettant de créer une distribution spatiale du champ arbitraire et de contrôler ainsi sa direction de propagation et sa polarisation.Ce nouveau système à été validé, dans un premier temps, à l'aide d'un ensemble de simulations numériques exploratoires pour déterminer les paramètres influents sur ses performances. Puis il a été étudié à partir de mesures réalisées dans la chambre réverbérante du Département de Recherche en Électromagnétisme, à Supélec, démontrant ainsi de façon expérimentale la faisabilité et l'intérêt du développement de ce moyen de test, complémentaire à l'utilisation actuelle des chambres réverbérantes à brassage de modes pour la génération de front d'onde cohérents pulsés.

Стилі APA, Harvard, Vancouver, ISO та ін.

37

Sampaio, Paulo Nazarena Maia. "Conception formelle de documents multimédia interactifs : une approche s'appuyant sur RT-Lotos." Toulouse 3, 2003. http://www.theses.fr/2003TOU30020.

Повний текст джерела

Анотація:

Cette thèse présente une méthodologie pour la conception formelle de documents multimédia interactifs s'appuyant sur la technique de description formelle RT-LOTOS. La complexité de ces documents et l'utilisation de modèles auteur de haut niveau pour leur édition peuvent amener l'auteur, dans certains cas, à spécifier des relations de synchronisation qui ne pourront pas être satisfaites lors de la présentation du document, caractérisant ainsi des situations d'incohérence temporelle. D'où le besoin d'utiliser, lors de la conception d'un document, des techniques permettant de donner une sémantique formelle au comportement dynamique du document, d'appliquer des méthodes de vérification de la cohérence temporelle, et d'ordonnancer la présentation tout en tenant compte du non-déterminisme temporel propre au document. Par la méthodologie présentée dans ce mémoire, nous permettons à l'auteur de concevoir un document en utilisant le modèle auteur de son choix, et montrons comment exprimer le comportement logique et temporel du document en RT-LOTOS. Ensuite, nous développons des techniques pour vérifier la cohérence temporelle du document et ordonnancer sa présentation en s'appuyant sur des modèles (automates temporels) dérivés de la spécification RT-LOTOS. Nous proposons une illustration de la mise en œuvre de cette méthodologie en s'appuyant sur l'utilisation du langage SMIL 2. 0 pour l'édition des documents multimédia interactifs. Les principales contributions présentées dans ce mémoire sont: la définition d'une approche pour traduire automatiquement des documents SMIL 2. 0 en RT-LOTOS, la vérification et la formalisation de propriétés de cohérence temporelle, la proposition de solutions pour maîtriser l'explosion combinatoire des automates temporels sous-jacents, la définition de politiques d'ordonnancement s'appuyant sur un graphe d'ordonnancement dérivé automatiquement de la spécification RT-LOTOS (le TLSA), la définition d'un algorithme pour réengendrer, dans la mesure du possible, des documents SMIL 2. 0 cohérents à partir de documents incohérents, et finalement la mise en œuvre d'un prototype (le TLSA Player) pour présenter des documents multimédia interactifs cohérents
Formal design of interactive multimedia documents using RT-LOTOS. This thesis presents a methodology for the formal design of interactive multimedia documents based on the formal description technique RT-LOTOS. The complexity of these documents and the utilization of high level authoring models for the edition of these documents can lead authors, in certain cases, to specify synchronization relations which could not be satisfied during the presentation of the document, thus characterizing the occurrence of temporal inconsistencies. For this reason, we need to use techniques which provide the formal semantics for the dynamic behaviour of the document, consistency checking, and the scheduling of the presentation taking into account the temporal non-determinism of these documents. By means of the methodology presented in this thesis, we allow the author to design a document using the authoring model of his choice, and then we show how to express the logical and temporal behaviour of the document into an RT-LOTOS specification. Further on, we also propose formal techniques for the temporal consistency checking, and scheduling the presentation of the document based on temporal automata derived from the RT-LOTOS specification. .

Стилі APA, Harvard, Vancouver, ISO та ін.

38

Li, Gengxiang. "Rehaussement et détection des attributs sismiques 3D par techniques avancées d'analyse d'images." Phd thesis, Université Michel de Montaigne - Bordeaux III, 2012. http://tel.archives-ouvertes.fr/tel-00731886.

Повний текст джерела

Анотація:

Les Moments ont été largement utilisés dans la reconnaissance de formes et dans le traitement d'image. Dans cette thèse, nous concentrons notre attention sur les 3D moments orthogonaux de Gauss-Hermite, les moments invariants 2D et 3D de Gauss-Hermite, l'algorithme rapide de l'attribut de cohérence et les applications de l'interprétation sismique en utilisant la méthode des moments.Nous étudions les méthodes de suivi automatique d'horizon sismique à partir de moments de Gauss-Hermite en cas de 1D et de 3D. Nous introduisons une approche basée sur une étude multi-échelle des moments invariants. Les résultats expérimentaux montrent que la méthode des moments 3D de Gauss-Hermite est plus performante que les autres algorithmes populaires.Nous avons également abordé l'analyse des faciès sismiques basée sur les caractéristiques du vecteur à partir des moments 3D de Gauss -Hermite, et la méthode de Cartes Auto-organisatrices avec techniques de visualisation de données. L'excellent résultat de l'analyse des faciès montre que l'environnement intégré donne une meilleure performance dans l'interprétation de la structure des clusters.Enfin, nous introduisons le traitement parallèle et la visualisation de volume. En profitant des nouvelles performances par les technologies multi-threading et multi-cœurs dans le traitement et l'interprétation de données sismiques, nous calculons efficacement des attributs sismiques et nous suivons l'horizon. Nous discutons également l'algorithme de rendu de volume basé sur le moteur Open-Scene-Graph qui permet de mieux comprendre la structure de données sismiques.

Стилі APA, Harvard, Vancouver, ISO та ін.

39

Loriot, Vincent. "Alignement moléculaire par impulsions laser ultrabrèves : Mesures & Applications." Phd thesis, Université de Bourgogne, 2009. http://tel.archives-ouvertes.fr/tel-00660050.

Повний текст джерела

Анотація:

L'interaction entre un échantillon moléculaire gazeux et une impulsion laser ultra-brève intense conduit, après le passage de l'impulsion, à des réalignements transitoires et périodiques des molécules. Cette thèse se rapporte à la mesure et aux applications liées à cet effet. Le degré d'alignement moléculaire est déterminé à travers la variation d'indice de réfraction induite par le réarrangement des dipôles moléculaires. Une technique d'imagerie bidimensionnelle permettant de mesurer sur une base monocoup l'alignement des molécules est reportée dans ce manuscrit. L'alignement est ensuite utilisé comme un outil de mesure pour évaluer des quantités physiques, difficilement accessibles par d'autres méthodes. La "technique de défocalisation croisée" a été tout d'abord employée pour mesurer les probabilités d'ionisation de gaz atomiques et moléculaires en régime femtoseconde. La "technique de polarisation 1D" a été ensuite appliquée pour obtenir une mesure de l'indice Kerr électronique calibré à travers l'alignement moléculaire. Il a été trouvé que l'effet Kerr électronique produit une variation d'indice qui change de signe aux alentours des 30 TW.cm-2 pour les principaux gaz qui constituent l'atmosphère. Cet effet a été interprété de manière phénoménologique par des termes Kerr d'ordres supérieurs (de n4 à n10). L'impact important de ces résultats sur la compréhension du mécanisme de filamentation est discuté.

Стилі APA, Harvard, Vancouver, ISO та ін.

40

Renard, vincent. "Alignement de molécules linéaires par impulsions laser de courtes durées." Phd thesis, Université de Bourgogne, 2005. http://tel.archives-ouvertes.fr/tel-00009705.

Повний текст джерела

Анотація:

L'alignement de molécules linéaires est induit efficacement par des impulsions laser intenses polarisées linéairement. Si ces impulsions sont de courtes durées par rapport à la rotation des molécules, un alignement périodique apparaît après l'extinction du champ. Ce manuscrit présente trois méthodes permettant de le quantifier à l'aide de la grandeur sans pour autant détruire les molécules ni modifier l'alignement initial. Elles nécessitent une impulsion de faible intensité décalée temporellement dont les caractéristiques vont être modifiées par les propriétés optiques du milieu liées à l'alignement moléculaire. La première technique mesure une dépolarisation due à la biréfringence du milieu. La seconde s'appuie sur la défocalisation qui s'explique par une variation spatiale de l'alignement, donc un gradient de l'indice de réfraction. La dernière passe par la création d'un réseau d'indice à l'intersection de deux impulsions intenses, qui va provoquer la diffraction de la sonde.

Стилі APA, Harvard, Vancouver, ISO та ін.

41

Myers, Vincent. "Le traitement, l'interprétation et l'exploitation d'images sonar à antenne synthétique obtenues à partir de trajectoires répétitives." Thesis, Brest, École nationale supérieure de techniques avancées Bretagne, 2019. http://www.theses.fr/2019ENTA0002.

Повний текст джерела

Анотація:

De nombreux scénarios existent qui exigent la surveillance d’une scène sous-marine en acquérant plusieurs images sonar haute-fréquence à différent moments afin de détecter des changements qui ont eu lieu pendant l’intervalle de temps entre les levés. La disponibilité croissante de sonars à antenne synthétique (SAS) commerciaux, fait en sorte qu’il est concevable d’exploiter la cohérence de phase entre deux images complexes afin de détecter des changements dans la scène qui sont difficilement perceptibles, voire invisibles, dans les images d’amplitude. Cette thèse examine le concept de détection cohérente de changements (DCC) avec des images SAS obtenues à partir de trajectoires répétitives sur la même zone. Comme les images doivent être traitées de manière interférométrique, le problème du recalage des images est examiné et des approches basées sur la déformation des images ainsi que la re-navigation et reformation de voies sont proposées. Des méthodes pour réduire le taux de fausses alarmes sont aussi examinées de sorte à réduire le nombre de détections causées par des pertes de cohérence qui ne sont pas attribuables à une cible d’intérêt. Ces méthodes sont testées sur plusieurs images SAS obtenues durant des essais en mer avec des systèmes qui traversent diverses bandes fréquentielles et conditions environnementales
There are many scenarios which call for the surveillance of an underwater scene by means of repeated surveys with high-frequency imaging sonar in order to detect changes which may have occurred during the intervening time interval. With the growing availability of commercial synthetic aperture sonar (SAS) systems it becomes possible to exploit the phase coherence between two complex SAS images in order to detect scene changes which are subtle or even invisible to approaches using only the amplitude of the images. This thesis examines the concept of coherent change detection (CCD) using SAS imagery obtained from separate, repeated passes over the same area. As the images must be processed interferometrically, the challenging problem of co-registration is addressed, with approaches based on image warping as well as renavigation / re-imaging. False alarm reduction techniques are also examined in order to mitigate detections caused by coherence losses which are not attributed to the insertion or removal of targets of interest. The proposed methods are tested on several repeat-pass SAS images collected during experiments at sea, spanning multiple frequency bands and environmental conditions, and show that SAS CCD is not only possible, but also able to detect very subtle scene changes that not observable using standard approaches

Стилі APA, Harvard, Vancouver, ISO та ін.

42

Moussa, Houmam. "Etude théorique et expérimentale des techniques de retournement temporel : application à la caractérisation de composants et dispositifs dans une chambre réverbérante." Thesis, Paris 11, 2011. http://www.theses.fr/2011PA112106/document.

Повний текст джерела

Анотація:

Dans le cadre de nos travaux de recherche, nous sommes parvenus à introduire une utilisation déterministe des chambres réverbérantes, en proposant un nouveau paradigme de la technique du retournement temporel. Nous sommes capable de réaliser le même type de tests d'immunité rayonnée que dans une chambre anéchoïque, tout en profitant des avantages liés aux propriétés physiques des milieux fortement réverbérants comme la génération de champs de fortes intensités à partir de niveaux de puissances injectées relativement faibles.En effet, les études menées dans cette thèse ont démontré la faisabilité d'un moyen de test d'immunité rayonnée novateur, permettant la génération de fronts d'onde cohérents dans une cavité résonante et dont la direction de propagation et la polarisation sont contrôlées sans aucun déplacement mécanique des sources génératrice du champ ou de l'équipement sous test. Un autre avantage majeur de ce nouveau système, baptisé chambre électromagnétique à retournement temporel (TREC), réside dans le fait de pouvoir générer dans une chambre réverbérante, des champs impulsionnels dont l'extension temporelle est de courte durée alors que cette capacité n'était pas envisageable avant ces travaux.Pour cela, la TREC repose sur la connaissance du champ sur une surface de mesure arbitraire, située entre les sources et l'objet sous test, dans la direction de propagation du front d'onde souhaitée. Cette phase de caractérisation peut être réalisée à l'aide d'une mesure de la fonction de transfert entre le port des antennes sources et une sonde de champ déplacée sur la surface de mesure.Le principe de notre système se base sur l'association de la technique du retournement temporel et du principe d'équivalence. Le retournement temporel permet d'assurer une fenêtre temporelle, dans laquelle les conditions de propagation du champ dans la chambre réverbérante sont identiques à celles en espace libre, et permet d'obtenir une propagation d'un front d'onde convergent vers une source ponctuelle qui aurait initialement créé un front d'onde divergent. Le principe d'équivalence permet de passer d'une source ponctuelle à une source de rayonnement étendue, permettant de créer une distribution spatiale du champ arbitraire et de contrôler ainsi sa direction de propagation et sa polarisation.Ce nouveau système à été validé, dans un premier temps, à l'aide d'un ensemble de simulations numériques exploratoires pour déterminer les paramètres influents sur ses performances. Puis il a été étudié à partir de mesures réalisées dans la chambre réverbérante du Département de Recherche en Électromagnétisme, à Supélec, démontrant ainsi de façon expérimentale la faisabilité et l'intérêt du développement de ce moyen de test, complémentaire à l'utilisation actuelle des chambres réverbérantes à brassage de modes pour la génération de front d'onde cohérents pulsés
In the framework of our research work, we present an innovative system which allows to control the spatio-temporal distribution of a coherent field in an strongly reflecting environment. This system called " Time reversal electromagnetic chamber" (TREC), makes possible the generation of high intensity pulsed wavefront, in a reverberating chamber, and whose direction of propagation and polarisation are modifieable in real time without any mechanical mouvement of neither the sources generating the field, here radio antennas, nor the equipment under test.For this, the TREC is based on knowledge of the field on an arbitrary surface of measurement, located between the sources and the object under test, in the direction of propagation of the wavefront desired. This phase of characterization may be performed with the help of a measurement of the transfer functions between the port of the antennas and a field probe moved on the arbitrary surface of measurement.The principle of the TREC is based on the association of the technique of time reversal and of the principle of equivalence. Time reversal allows to ensure a temporal window in which the conditions of propagation of the field in the reverberation chamber are identical to those in free space and which allows to obtain a propagation of a wavefront converging towards a punctual source which would initially have created a diverging wavefront. The equivalence principle allows to go from a punctual source to a an extended source of radiation, thus allowing to create an arbitrary spatial distribution of the field and thereby to control its direction of propagation.This new system was validated with the help, at first, of a set of numerical exploratory simulations in order to determine the influential parameters on its performance and then studied from measurements carried out in the reverberation chamber of the ``Département de recherche en électromagnétisme'', at Supélec, thus demonstrating experimentally the feasibility and the interest of the development of this testing facility for the generation of pulsed coherent wavefronts, complementary to the current use mode-stirred reverberation chambers

Стилі APA, Harvard, Vancouver, ISO та ін.

43

Bauda, Marie-Anne. "Compréhension de scènes urbaines par combinaison d'information 2D/3D." Phd thesis, Toulouse, INPT, 2016. http://oatao.univ-toulouse.fr/16483/1/BAUDA_MarieAnne.pdf.

Повний текст джерела

Анотація:

Cette thèse traite du problème de segmentation sémantique d'une séquence d'images calibrées acquises dans un environnement urbain. Ce problème consiste, plus précisément, à partitionner chaque image en régions représentant les objets de la scène (façades, routes, etc.). Ainsi, à chaque région est associée une étiquette sémantique. Dans notre approche, l'étiquetage s'opère via des primitives visuelles de niveau intermédiaire appelés super-pixels, lesquels regroupent des pixels similaires au sens de différents critères proposés dans la littérature, qu'ils soient photométriques (s'appuyant sur les couleurs) ou géométriques (limitant la taille des super-pixels formés). Contrairement à l'état de l'art, où les travaux récents traitant le même problème s'appuient en entrée sur une sur-segmentation initiale sans la remettre en cause, notre idée est de proposer, dans un contexte multi-vues, une nouvelle approche de constructeur de superpixels s'appuyant sur une analyse tridimensionnelle de la scène et, en particulier, de ses structures planes. Pour construire de «meilleurs» superpixels, une mesure de planéité locale, qui quantifie à quel point la zone traitée de l'image correspond à une surface plane de la scène, est introduite. Cette mesure est évaluée à partir d'une rectification homographique entre deux images proches, induites par un plan candidat au support des points 3D associés à la zone traitée. Nous analysons l'apport de la mesure UQI (Universal Quality Image) et montrons qu'elle se compare favorablement aux autres métriques qui ont le potentiel de détecter des structures planes. On introduit ensuite un nouvel algorithme de construction de super-pixels, fondé sur l'algorithme SLIC (Simple Linear Iterative Clustering) dont le principe est de regrouper les plus proches voisins au sens d'une distance fusionnant similarités en couleur et en distance, et qui intègre cette mesure de planéité. Ainsi la sur-segmentation obtenue, couplée à la cohérence interimages provenant de la validation de la contrainte de planéité locale de la scène, permet d'attribuer une étiquette à chaque entité et d'obtenir ainsi une segmentation sémantique qui partitionne l'image en objets plans.

Стилі APA, Harvard, Vancouver, ISO та ін.

44

Rouzée, Arnaud. "ALIGNEMENT UNI ET TRIDIMENSIONNEL DE MOLÉCULES PAR IMPULSION LASER FEMTOSECONDE." Phd thesis, Université de Bourgogne, 2007. http://tel.archives-ouvertes.fr/tel-00398990.

Повний текст джерела

Анотація:

Le sujet de cette thèse concerne l'étude de l'alignement de molécules linéaires et asymétriques engendré par une impulsion laser intense. Dans le cas d'une impulsion courte par rapport à la rotation moléculaire, l'alignement créé est périodique après l'extinction du champ. Nous étudions théoriquement et expérimentalement les effets d'intensité, de température et de polarisation du champ électrique sur l'alignement produit. Pour des champs polarisés linéairement, l'interaction conduit à l'alignement de l'axe le plus polarisable de la molécule. Si le champ est polarisé elliptiquement, l'impulsion peut engendrer un alignement simultané des trois axes principaux d'inertie d'une molécule asymétrique. Cet alignement peut être caractérisé expérimentalement à l'aide de techniques pompe-sonde qui exploitent les propriétés optiques du milieu. Elles nécessitent l'utilisation d'une deuxième impulsion de faible intensité décalée temporellement. Trois techniques ont été exploitées au cours de cette thèse. La première technique mesure une dépolarisation due à la biréfringence du milieu lorsque les molécules sont alignées. La seconde s'appuie sur la défocalisation de l'impulsion sur un gradient d'indice créé suite à la variation spatiale de l'alignement vis-à-vis du profil spatial du champ. La dernière passe par la création d'un réseau d'indice à l'intersection de deux impulsions intenses, qui va provoquer la diffraction de l'impulsion sonde. Ces trois techniques ont été utilisées pour caractériser l'alignement de la molécule linéaire CO2 et nous montrons que l'alignement 3-D d'une molécule asymétrique comme l'éthylène peut être mesuré à l'aide de la technique de biréfringence.

Стилі APA, Harvard, Vancouver, ISO та ін.

45

Laffay, Paul. "Etude aéroacoustique de la détente d'un écoulement haute pression à travers des plaques perforées." Thesis, Lyon, 2019. http://www.theses.fr/2019LYSEC020/document.

Повний текст джерела

Анотація:

Le bruit généré par la détente d'un écoulement sous pression à travers des plaques multi-perforées ou des diaphragmes est étudié expérimentalement. Cette analyse est menée sur deux configurations géométriques distinctes dans lesquelles la plaque perforée est placée à la sortie d'un conduit cylindrique (configuration de jet libre) ou à l'intérieur de celui-ci (configuration de jet confiné).Dans un premier temps, une étude paramétrique acoustique est effectuée pour ces deux configurations en variant les caractéristiques géométriques des plaques perforées et les points de fonctionnement dans des régimes subsoniques et supersoniques. Les différentes sources de rayonnement pouvant apparaitre sur de tels systèmes de détente, sont alors identifiées. Par ailleurs, les effets acoustiques de chacun des paramètres géométriques sont mis en lumière, offrant ainsi une aide à la conception silencieuse de tels systèmes. Dans un second temps, l'intérêt est porté sur l'analyse de la composante à large bande dominante: le bruit de mélange. Cette étude est menée sur la configuration de jet libre et s'appuie sur des visualisations strioscopiques ainsi que sur des mesures de vélocimétrie par image de particules couplées à des acquisitions acoustiques en champ lointain. Dans le cas des diaphragmes, les différents résultats mettent en évidence des mécanismes sources du bruit de mélange similaires à ceux observés dans la littérature pour les jets isolés issus de tuyères. Le rayonnement à l'aval, dominant, est généré par l'interaction de grosses structures turbulentes cohérentes à la fin du cône potentiel du jet, tandis que dans les autres directions, le bruit est généré par la turbulence de petite échelle dans les couches de cisaillement du jet.Pour les plaques multi-perforées, des mécanismes comparables sont également identifiés. Néanmoins, selon la géométrie de ces plaques, deux zones sources distinctes du rayonnement aval sont identifiées favorisant l'apparition de deux bosses dans les spectres en champ lointain. Dans le cas de perforations éloignées, la bosse à plus haute fréquence domine le spectre aval et l'interaction des grosses structures turbulentes se produit au niveau de la fin du cône potentiel des jets. Lorsque les perforations sont en revanche proches, c'est la bosse à basse fréquence qui domine et l'interaction des grosses structures turbulentes cohérentes semble se produire près de la fin du cône potentiel du gros jet équivalent formé à l'aval à partir du mélange de l'ensemble des jets issus des perforations. Dans les autres directions, l'espacement des perforations joue également un rôle important sur le rayonnement acoustique, du fait d'une interaction plus ou moins rapide des jets entre eux. Cela a alors pour effet de modifier les zones de cisaillement et en conséquence le rayonnement acoustique de la même manière que dans la direction aval
The noise generated by the expansion of a pressurized flow through multi-perforated plates or diaphragms is experimentally investigated. The analysis is conducted on two distinct geometrical configurations in which the perforated plate is placed at the outlet of (free jet configuration) or inside (ducted jet configuration) a cylindrical duct.Firstly, an acoustic parametric study is carried out on these two configurations for various perforated plate geometries and for a number of operating points ranging from subsonic to supersonic. The different acoustic sources that can arise from such systems are thus identified. Furthermore, the effect of each geometrical parameter onto the radiated sound field is highlighted, thus providing guidelines for the silent design of such pressure release devices.In a second step, the focus is on the dominant broadband component, that is, the mixing noise. This part of the study is dedicated to the free jet configuration and is based on Schlieren imaging, as well as on Particle Image Velocimetry measurements, both coupled far-field sound measurements.In the diaphragm cases, the aerodynamic results show that the source mechanisms are similar to those reported in the literature about isolated jets from conventional nozzles. The downstream radiation is generated by the interaction of large coherent structures at the end of the jet potential core, while in the other directions it is generated by the small-scale turbulence from the shear layer.For multi-perforated plates, comparable mechanisms are also observed. However, depending on the plate geometry, two distinct source regions contributing to the downstream radiation are identified. They explain the presence of two broadband humps in the far-field spectra. In the case of widely spaced perforations, the higher frequency hump in the downstream spectrum increases and the interaction of the large turbulent structures occurs mainly at the end of the potential core of the small jets issuing the perforations. Conversely, when these perforations are close to each other, the small jets rapidly merge into a single larger one that has a longer potential core. As a result, larger coherent structures interact downstream of the small jet mixing region and therefore, a low-frequency hump dominates the downstream spectrum. In the other directions, the perforation spacing has also a significant impact on the acoustic radiation, due to a more or less rapid interaction of the jets. Consequently, the turbulence, as well as the shear zones of the various mixing layers, are modified. The geometric parameters thus have similar effects on the cross-stream as on the downstream radiation

Стилі APA, Harvard, Vancouver, ISO та ін.

46

Lakehal, Massil. "Out of Equilibrium Lattice Dynamics in Pump Probe Setups." Thesis, Université de Paris (2019-....), 2020. http://www.theses.fr/2020UNIP7039.

Повний текст джерела

Анотація:

L'étude de la dynamique hors équilibre des systèmes fortement corrélés, à l'aide de laser femtoseconde, a révélé une variété de phénomènes sans analogue en physique d'équilibre. Dans cette thèse, nous étudions théoriquement la dynamique hors équilibre des degrés de liberté du réseau et leur signature en spectroscopie pompe-sonde. Nous développons une description microscopique des phonons cohérents displacive excité par le laser. La théorie capture la rétroaction de l'excitation des phonons sur le fluide électronique, qui manque dans la formulation phénoménologique actuelle. Nous montrons que cette rétroaction conduit à une oscillation avec une fréquence qui dépend du temps aux temps courts, même si le mouvement des phonons est harmonique. Pour les temps longs, cette rétroaction apparaît comme une phase résiduelle dans le signal oscillatoire. Nous appliquons la théorie au BaFe2As2, nous expliquons l'origine de la phase du signal oscillatoire rapporté dans des expériences récentes, et nous prédisons que le système oscille avec une fréquence décalé vers le rouge pour les grandes fluences. Notre théorie ouvre également la possibilité d'extraire des informations d'équilibre à partir la dynamique des phonons cohérents. Un autre phénomène intéressant qui a été observé en spectroscopie pompe-sonde est l'oscillation des fluctuations du réseau au double de la fréquence d’un phonon du système étudié. Ces oscillations sont interprétées comme une signature d'états de phonons squeezé macroscopique. Dans ce travail, nous identifions d'autres mécanismes d'oscillations à une fréquence double autre que le squeezing. Nous montrons qu'un quench de la température du bain thermique induite par la pompe, à laquelle le phonon est couplé, ou l'excitation d'un phonon cohérent pour lequel l'anharmonicité cubique est permise par symétrie peut également produire de telles oscillations en spectroscopie sans que le phonon soit dans un état squeezé. Nous concluons que, contrairement à ce qui est communément admis, les oscillations à double fréquence phononique en spectroscopie de bruit ne sont pas nécessairement une signature des phonons squeezés. Nous soulignons ce qui peut être un critère fiable pour identifier un phonon squeezé en utilisant la spectroscopie pompe-sonde
The study of the out of equilibrium dynamics of strongly correlated systems, using ultrafast pulses, uncovered a plethora of phenomena with no analog in equilibrium physics. In this thesis, we theoretically investigate the out of equilibrium dynamics of the lattice degrees of freedom and their signature in pump-probe spectroscopy. We develop a Hamiltonian-based microscopic description of laser pump induced displacive coherent phonons. The theory captures the feedback of the phonon excitation upon the electronic fluid, which is missing in the state-of-the-art phenomenological formulation. We show that this feedback leads to chirping at short timescales, even if the phonon motion is harmonic. At long times, this feedback appears as a finite phase in the oscillatory signal. We apply the theory to BaFe2As2, explain the origin of the phase in the oscillatory signal reported in recent experiments, and we predict that the system will exhibit redshifted chirping at larger fluence. Our theory also opens the possibility to extract equilibrium information from coherent phonon dynamics. Another interesting phenomenon that have been reported in pump-probe spectroscopy is the oscillation of the lattice fluctuations at double phonon frequency. These oscillations are invariably interpreted as a signature of macroscopic squeezed phonon states. In this work, we identify other mechanisms of double phonon frequency oscillations that do not involve squeezing. We show that a pump induced temperature quench of the bath, to which the phonon is coupled to, or exciting a coherent phonon for which cubic anharmonicity is allowed by symmetry can also produce such oscillations in noise spectroscopy without squeezing the phonon state. We conclude that, in contrast with what is commonly believed, double phonon frequency oscillations in noise spectroscopy are not necessarily a signature of macroscopic phonon squeezing. We point out what can be a reliable criterion to identify a squeezed phonon using pump-probe spectroscopy

Стилі APA, Harvard, Vancouver, ISO та ін.

47

Mosca, Frédéric. "Synthèse d'émission spatio-temporelle pour l'imagerie acoustique." Phd thesis, Télécom ParisTech, 2010. http://pastel.archives-ouvertes.fr/pastel-00574356.

Повний текст джерела

Анотація:

La recherche d'un compromis entre cadence et qualité de l'image est un enjeu majeur dans la définition de nouvelles méthodes d'imagerie cohérente. L'objectif de cette thèse est de proposer des modes d'imagerie innovants exploitant au mieux les performances des plateformes matérielles. Les applications étant l'échographie ultrasonore et l'acoustique sous-marine. Le manuscrit propose d'abord un cadre formel au problème du compromis cadence/contraste et démontre l'optimalité des méthodes de synthèse d'émission. L'équivalence, en termes de contraste et de résolution, entre la synthèse canonique et l'imagerie focalisée est ensuite établie. Le problème du rapport signal à bruit est adressé par l'utilisation de matrice d'émission maximisant l'énergie d'insonification (matrice de Hadamard). On introduit ensuite une méthode originale, dite d' " allègement de synthèse ", permettant une amélioration significative de la cadence. Pour cela, on recherche un optimum matriciel en terme de maximisation de l'énergie des faisceaux d'émission dans la zone d'insonification. Cet optimum est une matrice composée de séquences sphéroïdales aplaties. On introduit alors la " synthèse sphéroïdale " qui exploite les propriétés de cette matrice et permet de déplacer le compromis cadence/contraste en un compromis cadence/taille de l'image. La dernière partie de ce manuscrit est consacrée à la mesure et la correction des mouvements propres de la plateforme par des méthodes de micronavigation. Les résultats de ce travail de thèse font l'objet de validations expérimentales sur un échographe ultrasonore à 128 voies programmables et sur un sonar à antenne synthétique.

Стилі APA, Harvard, Vancouver, ISO та ін.

48

Durand, Sylvain. "Sur quelques paradoxes en théorie du choix social et en décision multicritère." Phd thesis, Université Joseph Fourier (Grenoble), 2000. http://tel.archives-ouvertes.fr/tel-00006743.

Повний текст джерела

Анотація:

Les théories du choix social et de la décision multicritère sont fertiles en résultats paradoxaux. C'est à l'étude de quelques-uns d'entre eux qu'est consacrée cette thèse. Nous montrons tout d'abord les liens étroits entre ces deux domaines de recherche. Nous passons alors en revue les principaux paradoxes rencontrés dans ces deux domaines et tentons de classifier les méthodes utilisées pour les expliquer. Nous nous attaquons à notre tour à quatre types de paradoxes. L'étude des restrictions imposées par certaines conditions de transitivité de la méthode majoritaire donne des résultats surprenants. Nous les analysons en introduisant la notion de polydiversité. La règle de prudence (minimax) ne respecte pas l'axiome de cohérence. De plus, les vainqueurs prudents peuvent aussi être des vaincus prudents. Ces paradoxes liés à la prudence sont étudiés théoriquement, en particulier en utilisant la représentation géométrique des profils, et expérimentalement à l'aide de simulations. Pour certaines méthodes, l'amélioration de la position d'un candidat dans la préférence d'un votant peut conduire à une dégradation de sa situation du point de vue de la société. Nous analysons ce paradoxe en détail, en particulier pour les méthodes de rangement construites en itérant une fonction de choix. Nous terminons en étudiant la sensibilité de la méthode prudente et de la méthode de Borda à une variation du poids des critères. La comparaison des valeurs des indicateurs proposés donne des résultats inattendus.

Стилі APA, Harvard, Vancouver, ISO та ін.

49

Fernandez, de Jauregui Ruiz Ivan. "Advanced modulation formats and nonlinear mitigation for spectral efficient optical transmission systems." Electronic Thesis or Diss., Evry, Institut national des télécommunications, 2018. http://www.theses.fr/2018TELE0009.

Повний текст джерела

Анотація:

La majeure partie des communications mondiales est transportée par des systèmes transocéaniques à fibre optique. Il est estimé que d'ici 2020 le trafic de données atteindra 4.3 ZB par an. Afin de faire face à cette demande, différentes technologies sont actuellement étudiées pour augmenter la capacité des systèmes de transmission très longue distance. Avec l'avènement des circuits intégrés à haute vitesse, des formats de modulation avancés et des techniques de traitement de signal numérique (DSP) peuvent être utilisés pour maximiser l'efficacité spectrale de transmission. Par ailleurs, la capacité des systèmes modernes est fortement limitée par les effets non-linéaires de type Kerr dans la fibre. Ainsi, la première partie de ce travail est axée sur l’étude de la performance et des gains réalisables par des techniques DSP à faible complexité pour mitiger les effets non-linéaires monocanal. En outre, l’utilisation des formats de modulation multiniveaux à haute efficacité spectrale au-delà de 16QAM a pris de l'ampleur pour augmenter le débit de transmission des systèmes, notamment avec l’introduction des formats QAM avec mise en forme probabiliste (PCS-QAM), plus performants que les formats QAM classiques. La deuxième partie de ce travail présente donc une comparaison théorique ainsi qu’expérimentale du format PCS-64QAM avec d’autres formats à haute efficacité spectrale pour les distances transatlantiques. La mise en œuvre d’un format PCS-64QAM conçu pour les distances transpacifiques est également abordée. Enfin, la dernière partie de ce travail concrétise les résultats des travaux menés dans les deux sections précédentes en présentant plusieurs records de transmission
Global data traffic is expected to reach up to 4.3 ZB per year by 2020. With the majority of the global communications being transported on submarine point-to-point fiber-optic systems, different cutting-edge technologies have been under research to cope with this unprecedented traffic growth. Continuous advances in high-speed integrated circuits have allowed the use of advanced modulation formats and digital signal processing (DSP) techniques to maximize the transmission spectral efficiency. With mitigation of fiber linear effects efficiently carried out by DSP with relative low-complexity, the capacity of modern fiber optic systems rests limited by fiber nonlinearities. To this extent, in the first part of this work, the performance and achievable benefits of low-complexity DSP techniques aiming to mitigate fiber Kerr nonlinear effects are investigated. Besides nonlinear compensation techniques, the use of multi-level modulation formats beyond 16QAM and high symbol rate channels have gained momentum to increase the system spectral efficiency. One of the major breakthroughs in the recent years, has been the introduction of QAM-based probabilistic constellation shaping (PCS-QAM), which has proven to outperform regular QAM formats. In this sense, in the second part of this work, the practical achievable rate increase brought by PCS-QAM for transoceanic distances is investigated. A theoretical and experimental comparison with other high-capacity formats is performed, and the design of a PCS-QAM for trans-Pacific distances is addressed. Finally, in the last section, several transmission records using the two above techniques are reported

Стилі APA, Harvard, Vancouver, ISO та ін.

50

Izza, Yacine. "Informatique ubiquitaire : techniques de curage d'informations perverties On the extraction of one maximal information subset that does not conflit with multiple contexts Extraction d'un sous-ensemble maximal qui soit cohérent avec des contextes mutuellement contradictoires On computing one max-inclusion consensus On admissible consensuses Boosting MCSes enumeration." Thesis, Artois, 2018. http://www.theses.fr/2018ARTO0405.

Повний текст джерела

Анотація:

Cette thèse étudie une approche possible de l'intelligence artificielle pour la détection et le curage d'informations perverties dans les bases de connaissances des objets et composants intelligents en informatique ubiquitaire. Cette approche est traitée d'un point de vue pratique dans le cadre du formalisme SAT; il s'agit donc de mettre en œuvre des techniques de filtrage d'incohérences dans des bases contradictoires. Plusieurs contributions sont apportées dans cette thèse. Premièrement, nous avons travaillé sur l'extraction d'un ensemble maximal d'informations qui soit cohérent avec une série de contextes hypothétiques. Nous avons proposé une approche incrémentale pour le calcul d'un tel ensemble (AC-MSS). Deuxièmement, nous nous sommes intéressés à la tâche d'énumération des ensembles maximaux satisfaisables (MSS) ou leurs complémentaires les ensembles minimaux rectificatifs (MCS) d'une instance CNF insatisfaisable. Dans cette contribution, nous avons introduit une technique qui améliore les performances des meilleures approches pour l'énumération des MSS/MCS. Cette méthode implémente le paradigme de rotation de modèle qui permet de calculer des ensembles de MCS de manière heuristique et efficace. Finalement, nous avons étudié une notion de consensus permettant réconcilier des sources d'informations. Cette forme de consensus peut être caractérisée par différents critères de préférence, comme le critère de maximalité. Une approche incrémentale de calcul d'un consensus maximal par rapport à l'inclusion ensembliste a été proposée. Nous avons également introduit et étudié la concept de consensus admissible qui raffine la définition initialement proposée du concept de consensus
This thesis studies a possible approach of artificial intelligence for detecting and filtering inconsistent information in knowledge bases of intelligent objects and components in ubiquitous computing. This approach is addressed from a practical point of view in the SAT framework;it is about implementing a techniques of filtering inconsistencies in contradictory bases. Several contributions are made in this thesis. Firstly, we have worked on the extraction of one maximal information set that must be satisfiable with multiple assumptive contexts. We have proposed an incremental approach for computing such a set (AC-MSS). Secondly, we were interested about the enumeration of maximal satisfiable sets (MSS) or their complementary minimal correction sets (MCS) of an unsatisfiable CNF instance. In this contribution, a technique is introduced that boosts the currently most efficient practical approaches to enumerate MCS. It implements a model rotation paradigm that allows the set of MCS to be computed in an heuristically efficient way. Finally, we have studied a notion of consensus to reconcile several sources of information. This form of consensus can obey various preference criteria, including maximality one. We have then developed an incremental algorithm for computing one maximal consensus with respect to set-theoretical inclusion. We have also introduced and studied the concept of admissible consensus that refines the initial concept of consensus

Стилі APA, Harvard, Vancouver, ISO та ін.

Дисертації з теми "Technique de cohérence"

Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями