Thèse de doctorat : Génie électrique : Nancy 1 : 2009. / Titre provenant de l'écran-titre.

Thèse doctorat : Sciences Chimiques : Nancy 1 : 2004. Thèse doctorat : Chimica dei processi biologici : Universita degli studi di Napoli Federico II : 2004. / Thèse soutenue en co-tutelle. Titre provenant de l'écran-titre.

Thèse (Ph. D.)--Université Laval, 1997. / Bibliogr. Publié aussi en version électronique.

La Tomographie Calculée (CT) est une technique non-invasive permettant de fournir des images de toutes les parties du corps humain sans superposition des structures adjacentes. Cette technique se base sur l'absorption de rayon X et permet la reconstruction d'images du corps humain. Les mesures avec CT à rayons X sont soumises à de nombreuses imperfections ou d'artefacts d'images qui comportent : bruit quantique, diffusion des rayons X par le patient, et des effets non linéaires de volume. Le traitement d'image est un outil indispensable pour améliorer le contraste et extraire d'une manière automatique les régions d'intérêts. L'analyse des données d'images CT est une aide à la décision pour l'apparition d'un cancer en phase naissante. La segmentation automatique de la tomographie calculée (CT) est une étape importante pour la chirurgie assistée qui requière à la fois une grande précision et une interaction minimale de l'utilisateur. Les tentatives d'utilisations de la segmentation, comprenant le seuillage (global et optimal), le filtrage, la segmentation par région de type watershead, et l'approche basée sur les contours actifs, ne sont pas pleinement satisfaisantes. Dans cette thèse, nous nous intéressons aux techniques d'extraction automatique des régions représentant les zones cancéreuses dans des images obtenues par la CT. Un nouvel algorithme basé sur la programmation dynamique, est proposé pour l'ajustement automatique des paramètres des contours actifs. Dans notre nouvelle approche, nous utilisons l'entropie pour l'estimation des paramètres alpha et beta de l'énergie interne. Pour obtenir des images pour l'identification des régions malignes, qui soient de meilleure qualité en terme de contraste, nous avons utilisé la fusion d'images à partir de la Transformée en ondelettes. Toutes ces méthodes ont été implémentées sous forme de plugins dans le logiciel GIMP. / Computed Tomography (CT) is a non-invasive technique which provides images of the human body without superposing adjacent structures. This technique is based on the absorption of X-rays by the human body. Analysis from X-ray absorption is subject to a variety of imperfections and image artifacts including quantum noise, X-rays scattered by the patient (absorptive environment), beam hardening, and nonlinear volume effects. Image processing is a crucial tool for contrast enhancement and region analysis. Analysis of CT images is a decision-making tool for cancer formation at an incipient phase. Segmentation of computed tomography (CT) images is an important step in image-guided surgery that requires both high accuracy and minimal user interaction. Previous attempts include thresholding (global and optimal), region growing (region competition, watershed segmentation), edge tracing, and parametric active contour (AC) approaches for segmentation, are not fully satisfying. In this dissertation we have been interested in the CT image processing methods to detect and analyze cancerous regions in phase II and III. A new algorithm, which hinges on dynamic programming, has been proposed for automatically extracting region of interest using adapted active contours. In our new approach, Entropy is used to estimate the parameters alpha and beta of the active contour internal energy. In order to enhance the image quality in terms of contrast and to understand more the regions of interest, image fusion is used. Image fusion is a process of combining multiple images into a single image containing more relevant information. We use Wavelet Transform and a specific Fusion Rule to identify and select relevant information of the process. All these methods have been implemented as plugins in GIMP software.

Ce projet a pour but d'examiner l'influence à grande échelle des vents en provenance des noyaux actifs de galaxies (NAG) sur l'enrichissement en métaux du milieu intergalactique. Un modèle semi-analytique de vents de NAG anisotropes est implémenté dans des simulations à N-corps suivant un modèle cosmologique ACDM. Les NAG évoluent dans une boîte de dimension (128 h-1Mpc)3, à partir d'un décalage vers le rouge initial z = 24 jusqu'à un décalage vers le rouge final de z = 0, en utilisant une fonction de luminosité observationnelle des quasars afin d'obtenir leur distribution en décalage vers le rouge et en luminosité, et un modèle analytique pour décrire l'expansion de leurs vents. Le volume enrichi en métaux par les vents anisotropes de la population cosmologique de NAG est calculé et analysé au cours du temps de Hubble. Le volume enrichi obtenu est relativement faible à z > 2.5 et croît rapidement par la suite jusqu'à z = 0. Les vents de NAG enrichissent une fraction de 0.65 - 1.0 du volume cosmologique total à l'époque actuelle, pour différentes valeurs des paramètres de notre modèle. Les vents plus anisotropes enrichissent préférentiellement les régions de faible densité, et ce, de façon plus accentuée à haut décalage vers le rouge et moindre à faible décalage vers le rouge.

Les marques constituent le point de départ de ce travail de recherche. L’intérêt de cet actif immatériel pour les entreprises et les investisseurs m’a conduit à mener cette thèse dont la problématique consiste à s’interroger sur le principe de comprendre si l’information financière communiquée aux investisseurs dans les rapports annuels permet d’appréhender la valeur des marques. Le constat empirique réside dans la difficulté pour les investisseurs d’obtenir une mesure de la valeur des marques. Nous, nous sommes interrogés dans ce cadre, sur le niveau d’information dispensé dans les rapports annuels et si cette information est suffisante et pertinente pour la bonne appréhension de la valeur des marques. Nous avons mené une étude mixte et dans le cadre d’une approche méthodologique basée sur une revue de littérature, une étude de cas exploratoire et une recherche empirique confirmatoire complétée par une étude qualitative permettant de rapprocher nos résultats. Nos résultats mettent en évidence l’insuffisance de la communication sur l’objet de notre recherche et nous permettent de faire une proposition d’amélioration des modalités de cette communication financière. Les limites de cette étude permettent d’envisager de nouveaux axes de recherche. / Trademarks are the starting point of this study. The value of this intangible asset for companies and investors led me to conduct this thesis, which problematic is to question whether the financial information provided to investors in the annual reports enables them to estimate brand’s value. Our empirical observation begins with the difficulty for investors to obtain a right measure of the brand’s value. We started this study by determining the amount of information available in annual reports and whether this information is sufficient and relevant for a proper understanding of the brand’svalue. We combined, for our study, and in regards to our methodological approach based on a literature review, an exploratory case study and a confirmatory empirical research completed by a qualitative study, to draw closer to our results. Our results highlight the lack of communication related to our research and enable us to make a proposal to improve the terms of this financial information. We also brought the limits of the study out, which ones can represent areas of interest for further research.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal. / Lorsque le système d'actifs est incomplet, des problèmes d'existence sont reliés aux économies avec actifs réels (Hart 1974) alors que des problèmes d'indétermination réelle de l'équilibre sont reliés aux économies avec actifs financiers (Cass 1985). Dans les deux cas, l'optimum de premier rang ne peut plus être atteint, et il faut considérer des optimums au sens contraint. Les concepts d'optimum au sens contraint ont surtout été étudiés par rapport à l'équilibre concurrentiel (Diamond (1967), Grossman (1977), et pour des économies réelles (Stiglitz (1982)). Un concept général d'optimum contraint par un système de marchés concurrentiels pour les biens (OCGP) a été proposé plus récemment par Géanakoplos et Polémarchakis (1986). Dans cette thèse on aborde le problème de l'incomplétude du système d'actifs financiers comme un modèle de second rang. On se distingue des auteurs précédents puisqu'on considère un système d'actifs financiers. Pour éviter les problèmes liés à l'indétermination de l'équilibre, on se place dans une économie de Distribution. On étend ainsi le modèle de référence de Arrow (1953) au cas des marchés incomplets et des préférences non séparables, et on obtient aussi une interprétation du modèle en terme de politique monétaire. Dans le premier chapitre on développe une théorie généralisée du consommateur faisant face à différentes contraintes budgétaires. On y introduit les concepts dont on aura besoin pour interpréter l'optimum, et on propose une décomposition originale de l'effet de substitution des prix en un effet de substitution inter états et un effet de substitution intra état. Dans le second chapitre on pose le problème de l'optimum de premier rang dans l'espace des prix individuels et des revenus. On montre alors que l'incomplétude du système d'actifs financiers n'est pas suffisante en soi pour faire dévier l'allocation du premier rang puisqu'elle ne représente qu'une contrainte nominale. Le troisième chapitre constitue le corps de la thèse. On y introduit différents concepts d'optimum contraints, et on montre que dans chacun des cas le Distributeur se comporte comme un monopoleur de compromis qui prélève un système de taxes et de subventions en n'utilisant qu'une partie de son pouvoir de monopole. Dans la première section on présente l'optimum contraint par un système d'actifs incomplets au sens pur (Diamond), en imposant une contrainte de normalisation unique des prix conditionnels. Dans la seconde section, on impose une contrainte d'unicité des prix conditionnels, et on obtient une application du concept d'optimum contraint au sens de Géanakoplos et Polémarchakis pour une économie financière. Dans la dernière section on présente un concept original d'optimum contraint par un système de marchés concurrentiels pour les actifs qui peut se voir comme la réciproque du modèle précédent. Dans le dernier chapitre, on revient à l'OCGP, et on interprète la quantité totale d'actifs émise par le Distributeur comme un instrument de politique monétaire dans la lignée de Magill et Quinzii (1992). Après avoir mis en évidence les liens entre la structure des rendements et la nature des effets de la politique monétaire, on obtient un résultat intéressant sur la structure optimale des rendements des actifs existants puisque cette dernière ne permet pas la conduite d'une politique monétaire active.

Ce mémoire présente une synthèse des travaux de recherche conduit par l'auteur depuis la fin de sa thèse de doctorat en 2000. Ces travaux se situent dans le cadre des sciences de l'ingénieur et s'intéressent plus particulièrement à la modélisation et à la commande des systèmes mécatroniques. En effet, les dispositifs techniques construits par l'homme étant de plus en plus complexes, leur conception requière de plus en plus de compétences et de connaissances pluridisciplinaires. De plus, le processus de conception de ces dispositifs nécessitent désormais d'importantes phases préliminaires de modélisation. Celles-ci permettent de prédire le comportement du système conçu et ainsi d'aider à sa conception, non seulement au niveau du dispositif lui même (partie matérielle) mais également au niveau de la commande qui permettra d'atteindre les performances désirées (partie logicielle). Les travaux abordés portent plus spécifiquement sur les dispositifs micro-mécatroniques, c'est-à-dire sur les systèmes de très petite taille ou de grande précision mettant en oeuvre simultanément des parties électriques, mécaniques, thermodynamiques et informatiques dans lesquelles les phénomènes de couplages multiphysiques sont prépondérants. La réduction d'échelle influe fortement sur la conception, la réalisation et le fonctionnement de ces dispositifs, c'est pourquoi elle doit être prise en compte comme une contrainte de conception à part entière. Le manuscrit s'organise autour de trois grandes problématiques scientifiques qui sont abordés successivement dans trois chapitres. Après avoir présenté quelques règles et contraintes de conception associées aux micro-systèmes, le premier chapitre présente les outils de modélisation développés pour la conception et la simulation de micro-systèmes robotiques réalisés en technologie « salle blanche ». Le deuxième chapitre s'intéresse à la modélisation et à la conception de dispositifs micro-robotiques pour des applications de micro-manipulation (fonctions de préhension, de perception et de positionnement). Enfin le troisième chapitre aborde la problématique de la miniaturisation des systèmes de positionnement à haute résolution et le remplacement des systèmes classiques par des actionneurs utilisant des matériaux actifs. Ces travaux abordent principalement les matériaux piézoélectriques et les alliages à mémoire de forme magnétique. Les différents travaux de modélisation présentés dans cette HDR ont permis de concevoir un certain nombre de dispositifs réels sur lesquels ont pu être expérimentées les stratégies de commande développées au cours de ces années de recherche. Les performances de ces dispositifs ont été évaluées et confrontées aux résultats théoriques issus de simulations sur les modèles développés et présentés dans le document.

Mes travaux de recherche portent sur les modèles de programmation distribuée, principalement par objets et composants. Dans ce domaine, j'ai travaillé à fournir des outils facilitant la programmation d'applications distribuées à large échelle et vérifiant la correction de leur comportement. Pour faciliter la programmation d'applications distribuées je me suis intéressé à la mise au point de langages avec un fort niveau d'abstraction: objets actifs, squelettes algorithmiques, composants. Afin de vérifier la correction du comportement d'une application j'ai collaboré à la mise au point d'outils de spécification et de vérification comportementales d'applications distribuées. Mes travaux ont pour but de fournir un modèle formel des langages de programmations, des bibliothèques, et des environnements d'exécution fournies au programmeur afin de garantir un comportement sûr des applications distribuées. Ma thèse m'a permis de mettre au point le calcul ASP modélisant lecomportement des objets actifs et des futurs. Depuis, nous avons créé une version fonctionnelle de ce calcul que nous avons modélisé en Isabelle/HOL. Aussi j'ai fortement contribué à la définition d'un modèle à composants distribués -- le GCM (Grid Component model)--, à sa formalisation et à son utilisation pour programmer des composants adaptables ou autonomes. Enfin, j'ai contribué à la spécification et la vérification comportementale des programmes utilisant des objets actifs et des composants afin de garantir la sûreté de leur exécution. Actuellement, nous travaillons à la fois à une extension multi-threadée du modèle à objets actifs mieux adaptée aux machines multi-coeurs, et à l'utilisation de méthodes formelles pour mettre au point et prouver la correction d'un algorithme de diffusion pour réseau pair-à-pair de type CAN (Content Adressable Network). Ce manuscrit fournit une vue d'ensemble de tous ces travaux.

Dans le domaine de la méctronique, l'utilisation de matériaux actifs est en constante évolution en raison de l'arrivée de nouveaux matériaux toujours plus performants. Les Alliages à Mémoire de Forme Magnétiques (AMFMs) sont des matériaux actifs apparus relativement récemment qui peuvent se déformer de 6 à 10 % sous l'application d'un champ magnétique. Permettant un actionnement rapide avec des déformations importantes, ces alliages sont des bons candidats pour la conception de nouveaux actionneurs. Cependant, ils présentent des caractéristiques non-linéaires avec hystérésis qu'il faut prendre en compte dès la phase de conception et de développement de leur commande afin d'améliorer les performances des nouveaux systèmes. Dans cette thèse, nous proposons une modélisation des AMFMs basée sur la thermodynamique des processus irréversibles à variables internes prenant en compte les effets du champ magnétique, des contraintes mécaniques appliquées ainsi que de la température. Une modélisation dynamique non-linéaire de systèmes mettant en oeuvre des AMFMs est également développée en utilisant les formalismes de Lagrange et Hamilton. Ces modèlisations énergétiques nous permettent de proposer des nouvelles structures d'actionneurs ainsi que des nouvelles lois de commande hybrides bien adaptées au comportement dynamique hystérétique de ce type d'actionneurs. Les résultats théoriques de ces études sont validés par des réalisations de prototypes et des essais expérimentaux.