De nombreuses techniques ont été développées pour réduire la consommation processeur considéré jusqu'à présent comme l'élément le plus gourmand en consommation. Avec l'évolution technologique et l'apparition de nouvelles applications toujours plus volumineuses en nombre de données, la surface de silicium dédiée aux unités de mémorisation ne cesse de croître. Les techniques d'optimisation ciblant uniquement le processeur peuvent alors être remises en cause avec cette nouvelle tendance. Certaines études montrent que la technique du DVS (Dynamic Voltage Scaling), la plus performante dans la réduction de la consommation processeur, augmente la consommation de la mémoire principale. Cette augmentation est la conséquence d'une part d'une co-activation plus longue de la mémoire avec le processeur et d'autre part de l'augmentation du nombre de préemptions par l'allongement des temps d'exécution des tâches. La solution proposée pour diminuer cet impact négatif du DVS sur la consommation mémoire est de diminuer la surface mémoire co-active. Une architecture mémoire multi-bancs, offrant la possibilité d'activer un seul banc à la fois et de mettre les autres bancs dans un mode faible consommation, est adoptée. Rechercher la configuration mémoire (nombre de bancs, taille de chaque banc) ainsi que l'allocation des tâches aux bancs constitue la contribution majeure de ces travaux. La modélisation de l'énergie consommée par une mémoire multi-bancs a permis d'identifier un nombre important de variables ainsi que leurs fortes dépendances. Cette tendance a rendu le problème difficile à résoudre. Une exploration exhaustive est premièrement développée afin d'évaluer l'impact de chaque paramètre sur la consommation totale de la mémoire. Bien que l'approche exhaustive permette de rendre la solution optimale, l'espace d'exploration augmente exponentiellement avec le nombre de tâches. Ce type de résolution reste intéressant s'il s'agit de l'employer hors ligne sur des applications à faible nombre de tâches. Une heuristique capable d'explorer un sous-espace potentiellement intéressant et de résoudre le problème en un temps polynomial a été développée dans un second temps. La complexité réduite de cette heuristique permet de l'employer en ligne pour effectuer des migrations dans le cas de systèmes à nombre de tâches dynamiques. Des expérimentations sur des applications de traitement de signal temps réel et une application multimédia (GSM et MPEG2) montrent des gains intéressants sur la consommation mémoire. La configuration mémoire obtenue par exploration exhaustive ou par la résolution heuristique couplée à un processeur muni d'une technique de DVFS permet d'augmenter le gain énergétique du système total.

Ce document donne une synthèse des travaux de recherche de l'auteur autour du thème instrumentation dans trois domaines applicatifs. Des techniques de traitement du signal associées à de la télémesure ont été mises en œuvre dans le domaine médical. Des études d'écoulements d'air à faibles nombres de Reynold sont ensuite présentées, en mettant l'accent sur l'acquisition et le traitement en temps réel des images PIV et de suivi de structure mis en place spécifiquement.<br /> Enfin, des méthodes optiques associées à des techniques de traitements d'images ont été utilisées dans le cadre d'étude de transfert de chaleur entre une pièce usinée et l'outil.

La dépendance faible est un outil très performant pour obtenir des résultats asymptotiques en statistique des séries chronologiques. Son atout majeur est de résumer les propriétés de dépendance de très nombreux modèles via le comportement d'une suite de coefficients. Dans un problème où le modèle n'est pas clairement identifiable, des hypothèses sur les coefficients de dépendance faible sont parfois moins contraignantes que le choix d'un modèle. De plus, pour certains modèles causaux, la dépendance faible permet d'étudier les propriétés de dépendance là où toutes les autres notions (de mélange par exemple) échouent. Les coefficients permettent d'élargir aux séries chronomogiques des résultats asymptotiques classiques du cas de référence, celui d'observations indépendantes.

Cette thèse propose une approche à la spécification et preuve des propriétés de vivacité<br />avec hypothèses d'équité en B événementiel et présente une sémantique pour ces propriétés<br />fondée sur de points fixes de transformateurs d'ensembles. La proposition utilise une logique<br />de programmation issue de la logique unity pour spécifier et vérifier des propriétés de vivacité<br />sous des hypothèses de progrès minimal et d'équité faible et présente des règles pour préserver<br />ces propriétés dans les raffinements. La sémantique de points fixes nous permet de faire<br />équivalentes les notions d'atteignabilité sous les hypothèses d'équité et de terminaison de<br />l'itération d'événements. Cela nous permet de prouver la correction et la complétude des<br />règles permettant la dérivation des propriétés de vivacité. En outre, cela donne les fondements<br />pour prouver la correction des règles permettant la vérification des propriétés de vivacité et<br />des règles permettant la préservation de la vivacité sous raffinement.

Dans cette thèse, nous utilisons différentes inégalités fonctionnelles<br />(Poincaré, Sobolev logarithmique, etc.) pour étudier deux questions.<br />Nous appliquons d'abord des inégalités affaiblies à l'étude d'une<br />diffusion inhomogène, analogue continu de l'algorithme de recuit<br />simulé, dans la lignée d'un travail de L. Miclo. Nous montrons un<br />résultat de convergence de la diffusion, sous des hypothèses plus<br />faibles que celles posées précédemment : le potentiel dans lequel la<br />diffusion évolue peut croître très lentement à l'infini.<br />Dans le cadre d'un modèle de mécanique statistique à spins non-bornés,<br />en nous basant sur des résultats de T. Bodineau et B. Helffer, N. Yoshida<br />et G. Royer, nous éclaircissons ensuite les liens entre différentes<br />inégalités fonctionnelles, des propriétés de mélange et l'unicité de<br />la mesure de Gibbs en volume infini. Nous montrons en particulier<br />l'unicité si les mesures en volume fini et pour une seule condition<br />aux bords vérifient uniformément une inégalité de Beckner.

Thèse de doctorat : Aménagement : Tours : 2008. / Titre provenant de l'écran-titre.

L'activation de l'« Adenosine monophosphate activated protein kinase » (AMPK), enzyme clé de la régulation du métabolisme énergétique, permet une inhibition de certaines enzymes limitantes du métabolisme des acides gras et du cholestérol. Le 5-aminoimidazole-4carboxiamide-1-β-D-ribofuranoside (AICAR) et la metformine, médicaments largement utilisés pour activer l'AMPK, améliorent l'hyperglycémie, augmentent la captation du glucose périphérique et favorisent l'utilisation et la dégradation des acides gras, ce qui permet la diminution des risques du développement de maladies cardiovasculaires liées au diabète. L'étude de certains effets de l'activation de l'AMPK sur le métabolisme lipidique serait essentielle pour pouvoir mieux comprendre l'interaction entre les métabolismes lipidique et glucidique. L'objectif de ce travail était de savoir si, in vivo, le métabolisme des lipoprotéines réagit à l'activation de l'AMPK. Le traitement des souris avec 0,5 mg/g de poids corporel d'AICAR ou de metformine pendant 7 ou 14 jours a permis d'observer notamment pour le traitement à l'AICAR pendant 14 jours, une diminution de 17,5% du cholestérol plasmatique, de 21,1% du cholestérol associé aux HDL et une augmentation de 47,6% du cholestérol associé aux LDL. L'activation de l'AMPK a augmenté le niveau protéique de récepteurs des lipoprotéines de faible densité (rLDL) suite à l'augmentation de son facteur de transcription « sterol regulatory element binding protein 2 » (SREBP-2) et a diminué celui de SR-BI « Scavenger receptor class B type I » et de sa protéine adaptatrice PDZK1. Les taux protéiques de SR-BI et du rLDL corrélaient avec ceux de leurs ARNm. La protéine SR-BII a augmenté probablement pour contrebalancer la diminution de SR-BI. La diminution de l'expression de SR-BI a provoqué une diminution de 37% de la captation sélective des EC des lipoprotéines de haute densité (HOL) in vivo chez la souris traitée avec 0,5 mg/g de poids corporel d'AICAR. Les protéines ABCA1 (intervenant dans l'efflux de cholestérol vers les HDL) et HNF4a (responsable de l'expression de l'apoA-I qui compose les HDL) ont diminué et seraient peut-être responsables de la diminution du cholestérol associé aux HDL. L'ARNm de PCSK9 « Proprotein convertase subtilisin/kexin type 9 » a augmenté. De plus, ni l'augmentation de rLDL ni la diminution de SR-BI n'ont pu expliquer l'augmentation du taux de cholestérol associé aux LDL. Au niveau du foie, principal tissu responsable du métabolisme de lipoprotéines, des diminutions de 26% des triglycérides et de 13,4% du cholestérol ont été observées. L'activation de l'AMPK semble donc améliorer le bilan lipidique du foie ainsi que celui du cholestérol plasmatique. Toutefois, la diminution du cholestérol associé aux HDL et l'augmentation de celui associé aux LDL apparaissent défavorables en termes de risque d'événements cardiovasculaires. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : AMPK, récepteurs hépatiques, captation sélective, LDL-EC, lipides hépatiques.

Cette thèse est divisée en trois parties. Dans une première partie, on donne une description nouvelle des points récurrents par chaînes d'un système dynamique comme ensemble d'Aubry projeté d'une barrière ultramétrique. Cette approche permet de munir l'ensemble des composantes transitives par chaînes d'une structure d'espace ultramétrique expliquant leur topologie totalement discontinue, et de retrouver un théorème célèbre de Charles Conley concernant l'existence de fonctions de Lyapunov décroissant strictement le long des orbites non-récurrentes par chaînes. Dans une deuxième partie, on développe une théorie d'Aubry-Mather pour les homéomorphismes d'un espace métrique compact. On introduit dans ce cadre un ensemble d'Aubry métrique, puis topologique, ainsi qu'un ensemble de Mañé. Ces notions, plus fines que la récurrence par chaînes, permettent de mieux comprendre les fonctions de Lyapunov d'un tel système dynamique. Dans une dernière partie, on montre un résultat général de densité de certains contre-exemples au théorème de Sard pour lesquels l'ensemble des points critiques est un arc topologique et on donne des applications dynamiques de ce résultat. Celles-ci sont liées à des problèmes d'unicité, à constantes près, des solutions KAM faibles (ou solutions de viscosité) de certaines équations d'Hamilton-Jacobi.

L'utilisation d'un champ électrique non uniforme permet l'extraction de l'eau contenue en émulsion dans les hydrocarbures. Ce procédé est très efficace, même à faible concentration, que le champ soit alternatif ou continu. L'électrodécantation est produite par des effets de diélectrophorèse accompagnés d'un grossissement des gouttes par coalescence dipolaire.

Thèse numérisée par la Division de la gestion de documents et des archives de l'Université de Montréal