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

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

En vision par ordinateur, le flot de scène représente le déplacement des points d'une surface située dans une scène 3D quelconque, entre deux instants consécutifs. Il s'agit donc d'un champ vectoriel 3D. Celui-ci est particulièrement utile dans l'analyse des déformations d'une surface quelconque, observée par un système d'au moins deux caméras. <br />Cette thèse traite de l'estimation du flot de scène et d'une application dans le domaine de la géophysique. Elle s'est déroulée dans le cadre de l'ACI GEOLSTEREO, en collaboration étroite avec le laboratoire Geosciences Azur, situé à Sophia Antipolis (06, UMR 6526 - CNRS - UNSA - UPMC- IRD). <br /><br />Nous proposons d'estimer le flot de scène en couplant l'évaluation du flot optique dans les séquences d'images associées à chaque caméra, à l'estimation de la correspondance stéréo dense entre les images. De plus, notre approche évalue, en même temps que le flot de scène, les occultations à la fois en flot optique et en stéréo. Nous obtenons au final un système d'EDP couplant le flot optique et la stéréo, que nous résolvons numériquement à l'aide d'un algorithme multirésolution original.<br />Alors que les précédentes méthodes variationnelles estimaient la reconstrution 3D au temps $t$ et le flot de scène séparément, notre méthode estime les deux simultanément. Nous présentons des résultats numériques sur des séquences synthétiques avec leur vérité terrain, et nous comparons également la précision du flot de scène projeté dans une caméra avec une méthode récente et performante d'estimation variationnelle du flot optique. Des résultats sont présentés sur une séquence stéréo réelle, se rapportant à un mouvement non rigide et à de larges discontinuités. <br /><br />Enfin, nous présentons l'approche originale de modélisation physique 3D utilisée au laboratoire Geosciences Azur. Nous décrivons la mise en place du dispositif stéréoscopique associé, ainsi que le déroulement de l'expérience. Des résultats de reconstruction 3D, d'estimation du flot de scène, et de suivi de la déformation d'une surface sont montrés dans le chapitre 4 de la thèse.

Cette thèse propose de nouvelles méthodes de synthèse automatique des contrôleurs internes aux circuits numériques. Elles permettent en particulier d'intégrer, directement au niveau du contrôleur, des dispositifs de détection d'erreurs ou de tolérance aux fautes. En ce qui concerne la détection d'erreurs, quatre flots de synthèse ont été implantés. Deux d'entre eux utilisent la méthode classique de duplication et comparaison, tandis que les deux autres sont basés sur la vérification d'un flot de contrôle par analyse de signature. La signature est une information permettant de caractériser la séquence parcourue d'états du contrôleur. La vérification du flot de contrôle correspond à la détection des séquences illégales d'états. En ce qui concerne la tolérance aux fautes, quatre flots ont été implantés. Deux d'entre eux utilisent la méthode classique de triplement et vote majoritaire, tandis que les deux autres sont basés sur l'utilisation d'un code correcteur d'erreurs lors du codage du contrôleur. Une erreur survenant dans le code de l'état courant peut ainsi être corrigée en utilisant les propriétés du code correcteur choisi. L'analyse des résultats de synthèse de nombreux exemples montre l'intérêt des nouvelles méthodes de détection et de tolérance proposées, et des algorithmes de synthèse implantés. Ainsi, ces méthodes et ces algorithmes permettent, entre autres, de définir de nouveaux compromis coût/sûreté de fonctionnement, en réduisant sensiblement le coût matériel de la redondance implantée. L'automatisation des traitements permet de plus de réduire le coût de conception lié à l'amélioration de la sûreté de fonctionnement des contrôleurs, en particulier lorsque des techniques plus pointues sont préférées à la redondance massive

Dans cette thèse, les réseaux coopératifs sont étudiés sous cette hypothèse que la source est incertain par rapport le canal en opération. Dans le premier chapitre, des stratégies coopératives sont développées pour les canaux à relais simultanés (SRC) lesquelles se composent d'un ensemble de deux canaux à relais parmi lesquels le canal en opération est choisi. Cela est équivalent au canal de diffusion à relais (BRC). Les bornes sur la région de capacité de BRC général sont dérivées. Les résultats de capacité sont obtenus pour les cas particuliers du canal à relais simultané semi-dégradé et dégradé Gaussien. Dans le deuxième chapitre, le canal à relais composite est considéré où le canal est tiré aléatoirement d'un ensemble de la distribution conditionnelle. Le débit est fixé en dépit du canal actuel et la probabilité d'erreur (EP) asymptotique est caractérisée. Une nouvelle stratégie de codage sélectif (SCS) est introduit permettant aux relais de choisir -selon leur mesurage du canal - la meilleur schéma de codage entre Décoder-et-Transmettre (DF) et Comprimer-et-Transmettre (CF). Les théorèmes de codage de réseau bruit généralisées sont démontrés pour le cas de réseau unicast général où les relais utilisent soit DF soit CF. Dans le troisième chapitre, le spectre asymptotique de EP est introduit en tant que nouvelle mesure de performance pour réseaux composites. Il est démontré que chaque code avec le débit hors de la borne cut-set, abouti à EP égal à un et le spectre asymptotique de EP coïncide avec la probabilité d'outage pour les réseaux satisfaisant la converse forte.

CBM, une des expériences majeures du nouvel accélérateur FAIR en cours de construction au GSI (Darmstadt), a pour objectif d'explorer le diagramme des phases de la matière nucléaire dans la région des hautes densités baryoniques nettes. Un de ses principaux thèmes de physique est l'étude de la production des particules à charme ouvert dans les collisions d'ions lourds. La mesure directe de ces particules nécessite l'utilisation d'un détecteur de vertex très précis. La présente thèse est une contribution à la conception et au développement de ce détecteur, appelé MVD. Une première partie de la thèse concerne l'évaluation, à l'aide de simulations réalistes, des flots de données à transmettre par les capteurs qui équiperont la première génération du MVD. Les résultats obtenus montrent que les performances attendues des capteurs permettront de mener à bien le programme de physique de CBM. Une deuxième partie porte sur les performances attendues pour la reconstruction des particules à charme ouvert, à travers leur désintégration hadronique, dans les collisions Au+Au. Des simulations détaillées ont permis de démontrer que la reconstruction du méson D+ → π+ π+ K-, par exemple, est faisable avec une efficacité de reconstruction de 2% et un rapport signal/bruit de 1.5. La statistique attendue en deux mois de prises de données a été évaluée à environ 6.9 x 104 mésons D. Dans la dernière partie, il a été montré que cette statistique permettrait d'effectuer des études détaillées du flot elliptique intégré des mésons D. La mesure du flot elliptique différentiel de ces particules requerrait, cependant, des statistiques plus élevées, et donc l'utilisation de capteurs plus performants.

La thèse est composée de deux parties.Dans la première partie, nous allons étudier le flot quasi-invariant défini par une équation différentielle stochastique de Stratanovich avec le dérive ayant seulement la BV-régularitésur un espace euclidien, en généralisant des résultats de L. Ambrosio sur l'existence,unicité et stabilité des flots lagrangiens associés aux équations différentielles ordinaires[Invent. Math. 158 (2004), 227{260]. Comme une application d'un résultat de stabilité,nous allons construire une solution explicite à l'equation de transport stochastique enterme de flot stochastique. La différentiabilité approximative du flot sera aussi investie,lorsque le dérive possµede une régularité de Sobolev.Dans la deuxième partie, nous allons généraliser la théorie de DiPerna-Lions aux cas desvariétés riemanniennes complètes. Nous allons utiliser le semi-groupe de la chaleur pourrégulariser des fonctions et des champs de vecteur. L'estimation sur le commutateur seraobtenue par la méthode probabiliste. Une application de cette estimation est de prouverl'unicité des solutions à l'équation de transport à l'aide du concept des solutions renormal-isables. L'équation différentielle ordinaire associée à un champ de vecteur de régularité deSobolev sera enfin résolue en adoptant une méhode due à L. Ambrosio. La fin de cett par-tie consacre à la construction des processus de diffusion, par la méthode de la variation deconstante, sur une variété riemannienne complète, ayant comme générateur, un opérateurelliptique contenant le dérive non-régulier. Pour cela, nous allons donner des conditionssur la courbure pour que le flot horizontal canonique soit un flot de difféomorphismes / The thesis mainly consists of two parts.In the first part, we study the quasi-invariant flow generated by the Stratonovich stochas-tic differential equation with BV drift coefficients in the Euclidean space. We generalizethe results of Ambrosio [Invent. Math. 158 (2004), 227{260] on the existence, uniquenessand stability of regular Lagrangian flows of ordinary differential equations to Stratonovichstochastic differential equations with BV drift coefficients. As an application of the sta-bility result, we construct an explicit solution to the corresponding stochastic transportequation in terms of the stochastic flow. The approximate differentiability of the flow isalso studied when the drift coefficient has some Sobolev regularity.In the second part, we generalize the DiPerna-Lions theory in the Euclidean space to thecomplete Riemannian manifold. We define the commutator on the complete Riemannianmanifold which is a probabilistic version of the one in the DiPerna-Lions theory, andestablish the commutator estimate by the probabilistic method. As a direct applicationof the commutator estimate, we investigate the uniqueness of solutions to the transportequation by the method of the renormalized solution. Following Ambrosio's method, weconstruct the DiPerna-Lions flow on the Riemannian manifold. In order to construct thediffusion process associated to an elliptic operator with irregular drift on the completeRiemannian manifold, we give some conditions which guarantee the strong completenessof the horizontal flow. Finally, we construct the diffusion process with the drift coefficienthaving only Sobolev regularity.Besides, we present a brief introduction of the classical theory on the ordinary differentialequation in the smooth case and the quasi-invariant flow of homeomorphisms under theOsgood condition before the first part; and we recall some basic tools and results whichare widely used throughout the whole thesis after the second part.

La tomographie d'émission par positrons (TEP) est un outil d'imagerie moléculaire puissant et non invasif permettant d'étudier in vivo des processus physiologiques et moléculaires, tant au niveau cardiaque, cérébral qu'oncologique. En oncologie clinique, la TEP est surtout utilisée pour détecter des tumeurs cancéreuses et évaluer leur réponse à diverses thérapies. Au niveau de la recherche pré-clinique en oncologie, cette modalité d'imagerie moléculaire prometteuse est portée à jouer un rôle important dans le développement de nouveaux protocoles de traitement. Le radiotraceur le plus utilisé pour évaluer le métabolisme tumoral du glucose est le 2-deoxy-2-[[indice supérieur 18]F]-fluoro-D-glucose ([[indice supérieur 18]F]-FDG). La thérapie photodynamique (TPD) est de plus en plus employée dans le traitement de certains cancers.La TPD nécessite la présence combinée de photosensibilisateurs (PS) localisés dans les tumeurs, de lumière à une longueur d'onde appropriée et d'oxygène moléculaire afin d'induire des dommages oxydatifs aux tissus tumoraux.La thérapie photodynamique peut amener une régression tumorale selon deux mécanismes d'action différents. Elle peut engendrer la mort des cellules tumorales directement, alors qu'elle peut aussi endommager la vascularisation de la tumeur amenant une mort indirecte des cellules malignes.La contribution relative de ces deux principaux mécanismes d'action sur la réponse tumorale dépend de la distribution du photosensibilisateur au niveau des compartiments cellulaires ou vasculaires de la tumeur qui à son tour, dépend de la nature chimique de celui-ci. Les PS amphiphiles, comme la phtalocyanine ZnPcS[indice inférieur 2], sont préférentiellement transportés par des lipoprotéines qui pénètrent directement dans les cellules tumorales, alors que les PS hydrophiles tels que la phtalocyanine AlPcS[indice inférieur 4] sont principalement transportés par la protéine albumine et sont déposés dans le stroma vasculaire de la tumeur. Il s'ensuit que la TPD faite avec le ZnPCS[indice inférieur 2] induit plutôt une mort cellulaire directe, alors que l'emploi du AlPcS[indice inférieur 4] affectera en premier lieu le système vasculaire de la tumeur amenant une mort cellulaire indirecte par la suite. Étant donné que l'application de la thérapie photodynamique occasionne très rapidement des effets au niveau des tumeurs traitées, la tomographie d'émission par positrons pourrait certes être un outil idéal pour étudier les réponses biochimiques et physiologiques au niveau des tumeurs tôt suite à ce traitement. L'imagerie TEP avec le [[indice supérieur 18]F]-FDG s'est effectivement avérée être une méthode prometteuse dans l'étude des effets de la thérapie photodynamique du cancer in vivo, soit dans l'évaluation de l'efficacité d'un photosensibilisateur ou dans la détermination de son mécanisme d'action. Des travaux antérieurs en ont montré le potentiel en procédant à des scans à différents temps après la TPD pour mesurer la captation tumorale du [[indice supérieur 18]F]-FDG, injecté sous forme de bolus. Toutefois, cette approche conventionnelle ne donne pas d'informations sur les processus biologiques transitoires impliqués dans la destruction des cellules tumorales, c'est-à-dire les processus survenant durant et immédiatement après l'illumination. Ce mémoire illustre donc une nouvelle approche utilisant l'imagerie TEP, avec infusion continue du radiotraceur [[indice supérieur 18]F]-FDG, pour l'évaluation en temps réel de la réponse tumorale à la TPD chez le rat. De façon plus spécifique, le mécanisme d'action de différents photosensibilisateurs sera investigué en fonction des processus métaboliques transitoires observés durant et immédiatement après l'illumination. De plus, afin de mieux comprendre les processus physiologiques impliqués dans l'avènement de certains changements métaboliques, des études TEP en temps réel évaluant le flot sanguin tumoral durant la TPD ont aussi été amorcées avec les radiotraceurs [[indice supérieur 13]N]-NH[indice inférieur 3] et [[indice supérieur 64]Cu]-PTSM. En somme, nous avons réussi à démontrer la faisabilité d'utiliser l'imagerie TEP en temps réel avec des infusions continues de [[indice supérieur 18]F]-FDG afin d'étudier la réponse métabolique tumorale durant la thérapie photodynamique chez un modèle de rongeur. Cette méthode s'est avérée très pertinente dans l'étude des changements métaboliques transitoires survenant au niveau tumoral et systémique pendant et tout de suite après la TPD, particulièrement pour la caractérisation des mécanismes d'action de différents photosensibilisateurs. En effet, l'observation de différences significatives au niveau des profils de captation du [[indice supérieur 18]F]-FDG procure une façon rapide de distinguer entre un mécanisme de destruction directe ou indirecte des cellules tumorales et ce, en temps réel. En plus de visualiser la réponse métabolique tumorale à la thérapie photodynamique, cette procédure d'imagerie TEP en temps réel pourrait aussi être appliquée à l'étude des changements du flot sanguin tumoral pendant la TPD, ainsi qu'à l'étude de mécanismes de réponse spécifiques tels que les processus apoptotiques.

Cette thèse définit un nouveau modèle de calcul et de communication, dénommé graphe à routage k-périodique (KRG). Ce modèle, de la famille des réseaux de processus flots de données, admet des aiguillages réguliers des données, explicités par des séquences binaires k-périodiques. Nous étudions les propriétés mathématiques intrinsèques au modèle. Le routage explicite et l'absence de conflit nous permettent d'exprimer algébriquement les dépendances de données, de même que des transformations topologiques préservant le comportement du graphe. Nous montrons ensuite comment ordonnancer le KRG, en associant aux nœuds des horloges k-périodiques. Nous positionnons ensuite notre modèle au sein d'un flot de conception dédié aux applications de traitement intensif de données. Nous montrons en particulier la capacité des KRG à représenter explicitement le parallélisme d'instruction extrait du modèle polyédrique. Nous pouvons alors appliquer un ensemble d'optimisations de bas niveau, sortant du cadre affine du modèle polyédrique. Nous présentons enfin une méthodologie pour l'implantation des KRG, basée sur la conception insensible aux latences.

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