La mise au point des applications paralleles et reparties offre un cadre pour des recherches dans les domaines de l'analyse statique de programmes repartis, de l'observation des execution reparties, de la detection de proprietes reparties et de l'analyse post-mortem. C'est ce dernier domaine qui nous a plus particulierement interesse lors de la conception et de la realisation de l'outil CDB pour le systeme d'exploitation reparti a micro-noyau CHORUS. CDB permet d'enregistrer puis de reproduire l'execution d'applications re'parties complexes tournant au dessus du micro-noyau CHORUS, permettant ainsi d'appliquer la methode de mise au point cyclique a des programmes distribue's non deterministes. L'utilisation de CDB est transparente a l'application re-executee (aucune instrumentation n'est necessaire.) CDB est base sur des techniques modernes comme l'interposition, les compteurs d'instructions, la diffusion causale, les horloges logiques... Nous decrivons le support specifique du micro-noyau developpe pour supporter la re-execution, les algorithmes (parfois originaux) utilises par CDB, l'interface utilisateur de CDB et ses performances.

Initialement, la vision restreinte des MMPs en tant que de simples « destructeurs » de la matrice extracellulaire avait largement sous-estimé limportance et la diversité de leurs contributions aux différentes étapes de la progression tumorale et de la dissémination métastatique. Ces dernières années, les fonctions complexes des MMPs dans la progression tumorale ont été renforcées par la découverte de nombreux nouveaux substrats dégradés, clivés ou activés par les MMPs, incluant non seulement des composants de la matrice extracellulaire mais aussi des récepteurs, des molécules dadhésion et de nombreuses molécules potentiellement bioactives. La complexité et la diversité de laction des MMPs dans la progression tumorale fournissent certaines explications quant à « léchec thérapeutique » de linhibition des MMPs dans les études cliniques de cancers humains. Une compréhension complète et spécifique de la biologie de chaque MMP est néanmoins requise avant de les considérer à nouveau comme des cibles thérapeutiques contre le cancer ou dautres pathologies. Les travaux réalisés dans le cadre de ce doctorat ont contribué à la compréhension des mécanismes moléculaires impliquant la MT1-MMP dans la croissance et langiogenèse tumorale et ont identifié, pour la première fois, une implication de la MT4-MMP dans la croissance tumorale et la dissémination métastatique du cancer du sein. Malgré sa faible activité de dégradation de la matrice extracellulaire, cette protéase à lien glycosylphosphatidyl inositol pourrait promouvoir la progression tumorale en affectant la structure des vaisseaux sanguins intratumoraux.

Dans cette thèse, on s'est intéressé à deux thèmes principaux de la théorie de contrôle, à savoir l'étude des systèmes à retard et l'observation des systèmes impulsifs. Dans la 1ère partie, on a traité le problème de la stabilité et la stabilisation absolue des systèmes de Lur'e à retard variable dans un intervalle. Les critères sont fournis sous forme d'inégalité linéaire matricielle (LMI). Ensuite, on a étudié la stabilité pratique exponentielle d'une classe de systèmes non linéaires non autonomes à retard, dont l'origine n'est pas un point d'équilibre. Dans la 2ème partie, on a entamé le problème de la stabilisation pratique uniforme exponentielle d'un système non linéaire à retard multiple, via un contrôle linéaire. Finalement, on a construit des observateurs pour des systèmes impulsifs linéaires et non linéaires, en s'inspirant de ceux déjà établis dans le cas continu. Un principe de séparation est aussi établi.

Thèse (M.Sc.)--Université Laval, 2008. / Titre de l'écran-titre (visionné le 12 janvier 2009). Bibliogr.

Th. doct.--Automatique--Paris 9, 1996. / LMI = Linear matrix inequalities. Textes en français ou en anglais. 1996 d'après la déclaration du dépôt légal. Bibliogr. p. 197-209. Résumé en français.

Le CD154 joue un rôle crucial dans l’activation des cellules présentatrices d’antigènes. Il a été démontré que le CD154 est incorporé à la surface du VIH-1 et que de tels virus activent des lymphocytes B. Nous avons vérifié s’ils ont également la capacité d’activer des macrophages humains. Nous avons observé une augmentation de la production d’IL-8 par les macrophages dérivés de monocytes (MDM), mais celle-ci varie grandement en fonction des différentes productions virales et des donneurs utilisés. L’induction de la sécrétion d’IL-8 est spécifique au CD154 puisqu’une forme mutée ne l’induit pas et est indépendante de la gp120. L’expression des MMP-1 et -2 est influencée par le CD154 sur les cellules 293T, mais l’effet spécifique de CD154 est perdu lorsque des virus sont utilisés. L’ensemble de ces résultats suggère que l’incorporation de CD154 par le virus pourrait être un moyen additionnel d’attirer des cellules cibles au site d’infection et ainsi favoriser la réplication virale. / CD154 interacts with CD40 found on antigen-presenting cells such as macrophages and plays a crucial role in activating these cells and initiating immune responses. We have previously reported that CD154 is incorporated within HIV-1 envelope and is effective at activating primary B lymphocytes. In this study, we tested if such CD154-bearing virions are also effective in activating human monocyte-derived-macrophages (MDM). We observed an increase in IL-8 secretion, but it is highly variable depending on viral productions and donors used. The induction of IL-8 production is specific to CD154 since a mutant form does not induce it and is independent of gp120. The production of MMP-1 and -2 is influenced by CD154 on 293T cells but the specificity is lost when viral particles are used. These results suggest a possible way used by the virus to attract target cells to the site of infection and thereby favour its own replication.

Les files d'attente fluides sont des processus markoviens à deux dimensions, où la première composante, appelée le niveau, représente le contenu d'un réservoir et prend des valeurs continues, et la deuxième composante, appelée la phase, est l'état d'un processus markovien dont l'évolution contrôle celle du niveau. Le niveau de la file fluide varie linéairement avec un taux qui dépend de la phase et qui peut prendre n'importe quelle valeur réelle. Dans cette thèse, nous explorons le lien entre les files fluides et les processus QBD, et nous appliquons des arguments utilisés en théorie des processus de renouvellement pour obtenir la distribution stationnaire de plusieurs modèles fluides. Nous commençons par l'étude d'une file fluide avec un réservoir de taille infinie; nous déterminons sa distribution stationnaire, et nous présentons un algorithme permettant de calculer cette distribution de manière très efficace. Nous observons que la distribution stationnaire de la file fluide de capacité infinie est très semblable à celle d'un processus QBD avec une infinité de niveaux. Nous poursuivons la recherche des similarités entre les files fluides et les processus QBD, et nous étudions ensuite la distribution stationnaire d'une file fluide de capacité finie. Nous montrons que l'algorithme valable pour le cas du réservoir infini permet de calculer toutes les quantités importantes du modèle avec un réservoir fini. Nous considérons ensuite des modèles fluides plus complexes, de capacité finie ou infinie, où le comportement du processus markovien des phases peut changer lorsque le niveau du réservoir atteint certaines valeurs seuils. Nous montrons que les méthodes développées pour des modèles classiques s'étendent de manière naturelle à ces modèles plus complexes. Pour terminer, nous étudions les conditions nécessaires et suffisantes qui mènent à l'indépendance du niveau et de la phase d'une file fluide de capacité infinie en régime stationnaire. Ces résultats s'appuient sur des résultats semblables concernant des processus QBD. Markov modulated fluid queues are two-dimensional Markov processes, of which the first component, called the level, represents the content of a buffer or reservoir and takes real values; the second component, called the phase, is the state of a Markov process which controls the evolution of the level in the following manner: the level varies linearly at a rate which depends on the phase and which can take any real value. In this thesis, we explore the link between fluid queues and Quasi Birth-and-Death (QBD) processes, and we apply Markov renewal techniques in order to derive the stationary distribution of various fluid models. To begin with, we study a fluid queue with an infinite capacity buffer; we determine its stationary distribution and we present an algorithm which performs very efficiently in the determination of this distribution. We observe that the equilibrium distribution of the fluid queue is very similar to that of a QBD process with infinitely many levels. We further exploit the similarity between the two processes, and we determine the stationary distribution of a finite capacity fluid queue. We show that the algorithm available in the infinite case allows for the computation of all the important quantities entering in the expression of this distribution. We then consider more complex models, of either finite or infinite capacities, in which the behaviour ff the phase process may change whenever the buffer is empty or full, or when it reaches certain thresholds. We show that the techniques that we develop for the simpler models can be extended quite naturally in this context. Finally, we study the necessary and sufficient conditions that lead to the independence between the level and the phase of an infinite capacity fluid queue in the stationary regime. These results are based on similar developments for QBD processes.

Cette thèse a pour but l'étude de la stabilité asymptotique locale des systèmes linéaires à temps discret dont les commandes sont soumises à des saturations. L'étude est développée à partir de deux représentations du système saturé en boucle fermée : par régions de saturation et par modèle polytopique. L'analyse de la stabilité du système saturé en boucle fermée ainsi que la synthèse de la loi de commande saturante avec l'objectif de garantir la stabilité d'un domaine d'états admissibles, sont basées sur le concept d'ensembles contractifs. Dans ce contexte, des résultats sont obtenus en considérant deux approches distinctes. La première approche considère des ensembles polyédraux. Des conditions pour la contractivité des trajectoires du système en boucle fermée dans un polyèdre sont étudiées : d'une part, des conditions nécessaires et suffisantes sont établies à partir de la représentation par régions de saturation et, d'autre part, des conditions suffisantes sont obtenues à partir de la représentation par modèle polytopique. Ces conditions permettent de formuler des algorithmes, basés sur des schémas de programmation linéaire, ayant pour objectif la détermination de régions polyédrales où la stabilité asymptotique locale du système en boucle fermée est garantie même si la commande sature. La deuxième approche considère des ensembles ellipsoïdaux et la représentation polytopique du système saturé. Des conditions suffisantes pour la contractivité d'ellipsoïdes par rapport au système saturé sont établies sous la forme d'inégalités matricielles linéaires (LMIs). A partir de ces conditions, un algorithme basé sur des schémas d'optimisation convexe est proposé pour la détermination d'approximations de la région d'attraction de l'origine à travers des ellipsoïdes contractifs. D'autre part, pour un ensemble donné de conditions initiales X0, des conditions sont formulées, également sous la forme de L MIs, pour permettre la détermination d'une loi de commande saturante garantissant la stabilité asymptotique vers l'origine de toutes les trajectoires initialisées dans X0.

La dérégulation du marché de l'électricité, qui concerne progressivement tous les pays d'Europe, modifie profondément l'approche technico-économique dans l'exploitation et l'optimisation des réseaux électriques. C'est dans ce nouveau contexte que les spécialistes des .réseaux électriques se voient de plus en 'plus confrontés à de nombreux défis. Le développement des dispositifs FACTS (Flexible AC Transmission System) ouvre de nouvelles perspectives pour une meilleure exploitation des réseaux par leur action continue et rapide _sur les différents paramètres du réseau. Toutefois, ces dispositifs, ne sont pas à l'abri d'éventuelles interactions entre eux mais aussi avec d'autres éléments du réseau tels que les charges dynamiques. Cette thèse, qui s'inscrit dans le cadre de l'analyse et l'amélioration de la sécurité dynamique des réseaux électriques, s'est focalisé sur l'impact de l'interaction des dispositifs FACTS avec les charges dynamiques. Dans ce travail, il a été démontré que les boucles d'amortissement des oscillations de puissance dimensionnées par les techniques classiques de sensibilité ne sont pas robustes vis-à-vis des variations des modèles de charge. Pour remédier ,à ces problèmes, une première méthode, basée sur la sensibilité des valeurs propres et tenant compte. des variations des modèles de charge, a été proposée. Deux autres méthodes plus robustes, basées sur les techniques LMI, ont été mises en oeuvre. La première, basée Sllr une représentation polytopique des systèmes incertains, convient au cas d'incertitudes non structurées. La deuxième, basée sur une représentation LPV (système linéaire à paramètres variants), permet de traiter le cas d'incertitudes structurées.

Trois dérivés d'amino acides sont reconnus d'une manière stéréo sélective par l'albumine du sérum bovin. Cette propriété a été observée dans le cas de la phosphatase alcaline de tissu non spécifique, (TNAP). Des inhibiteurs agissant à trois niveaux distincts sur les processus de minéralisation ont été cherchés: 1) TNAP ; 2) Formation de l'hydroxyapatite (HA); 3) Vésicules maticielles (VMs). Nous avons trouvé que des dérivés de benzothiophènes et de tétramisoles, solubles dans l'eau, sont des inhibiteurs spécifiques de TNAP. Un modèle qui permet de produire du HA, a été développé et a confirmé que les nucléotides sont des inhibiteurs de formation de HA. Nous avons montré que le médicament anti-rhumatisme sinomenine, n'ayant aucun effet sur le TNAP, ainsi que la théophylline ralentissaient tous les deux la formation de HA induits par les VMs. Ces modèles de minéralisation présentent un grand potentiel lors du criblage de médicaments pour le traitement de l'ostéoarthrose