Langages de description et de spécification du matériel. Le système et le langage CADOC-LD. Modélisation et simulation de dispositifs de bas niveau, technologie MOS

En recherche d'information, les particularités relatives au contexte de recherche de l'utilisateur induisent certains besoins qu'il est nécessaire de prendre en compte dans la modélisation du système de recherche. Dans notre travail de thèse, nous nous situons dans un contexte où l'utilisateur a une mémoire des documents qu'il désire retrouver : son besoin est alors une description d'un document idéal, reflet du souvenir qu'il a de ces documents. Dans ce contexte de recherche particulier, nous proposons un modèle de recherche d'information fondé sur (i) un langage complexe (des entités inter reliées avec utilisation multiple d'une même entité dans la description du document et du besoin), (ii) des critères d'obligation/option et de certitude/incertitude, rattachés aux éléments de la requête, qui reflètent les doutes de l'utilisateur quant au contenu des documents susceptibles de l'intéresser et (iii) une fonction de correspondance prenant en compte les contraintes liées à la représentation des documents et des requêtes ainsi qu'une approche pour la reformulation du besoin fondée sur les jugements de pertinence de l'utilisateur et sur les caractéristiques communes des documents retenus (par rapport aux critères rattachés à la requête). Ce modèle est par la suite appliqué dans le cadre concret d'une application : la recherche de graphiques dans les documents techniques par des utilisateurs professionnels. À travers cette application, nous validons notre approche (prise en compte des critères d'obligation/option et de certitude/incertitude) en comparant notre modèle aux modèles classiques existants.

LA GALACTOSE OXYDASE EST UNE METALLOENZYME DU CUIVRE QUI CATALYSE L'OXYDATION AEROBIQUE DES ALCOOLS PRIMAIRES EN ALDEHYDE AVEC REDUCTION CONCOMITANTE D'UNE MOLECULE DE DIOXYGENE EN PEROXYDE D'HYDROGENE. SON SITE ACTIF RENFERME L'ASSOCIATION ORIGINALE CUIVRE(II)-RADICAL TYROSINYLE QUI EMMAGASINE DEUX EQUIVALENTS OXYDANTS.<br />A PARTIR DE COMPLEXES DU CUIVRE MODELES, NOUS AVONS REPRODUIT CETTE ASSOCIATION ET L'AVONS ETENDUE A DES STRUCTURES PLUS COMPLEXES POUVANT EMMAGASINER TROIS ET QUATRE EQUIVALENTS OXYDANTS.<br />EN PREMIER LIEU, NOUS AVONS PREPARE DES COMPLEXES DU CUIVRE A PARTIR DE LIGANDS TRIPODAUX A SPHERE DE COORDINATION DE TYPE N3O. LES COMPLEXES RADICAL PHENOXYLE-CUIVRE ONT ETE ENGENDRES PAR OXYDATION ELECTROCHIMIQUE DES COMPLEXES PRECEDENTS. NOUS AVONS PU OBSERVER DES EFFETS DE LA STRUCTURE DU LIGANDS SUR L'ENVIRONNEMENT AUTOUR DU CUIVRE ET SUR LA STABILITE DES COMPLEXES RADICALAIRES CORRESPONDANTS.<br />DANS UN SECOND TEMPS, LA CHIMIE EN SOLUTION DES LIGANDS EN PRESENCE DE CUIVRE(I) OU (II), SOUS DES CONDITIONS AEROBIQUES OU ANAEROBIQUES, A ETE ETUDIEE AFIN DE MIMER ET COMPRENDRE LE PROCESSUS DE MATURATION DE L'ENZYME. UNE ETUDE PAR RMN DU FLUOR 19 A PERMIS D'APPORTER UNE CONTRIBUTION NOUVELLE A LA COMPREHENSION DE CETTE CHIMIE EN SOLUTION: DIFFERENTS TYPE DE MARQUAGE PAR LE FLUOR ONT ETE UTLILISES: MARQUAGE PAR F OU CF3 SUR UN PHENOL OU F SUR UNE QUINOLEINE.<br />DANS LA DERNIERE PARTIE, DES COMPLEXES DESTINES A STOCKER PLUS DE DEUX EQUIVALENTS OXYDANTS ONT ETE MIS AU POINT: POUR LE STOKAGE DE TROIS EQUIVALENT OXYDANTS, NOUS AVONS OBTENU LES DEUX PREMIERS COMPLEXES COMPORTANT UN RADICAL PHENOXYLE PONTANT DEUX IONS CUIVRIQUES

Ce travail est consacré à l'étude de perturbations adiabatiques de l'équation de Schrödinger périodique en dimension 1. Précisément, on considère l'opérateur $H_(\varphi,\varepsilon)=-\Delta+[V(x)+W(\varepsilon x+\varphi)]$ lorsque $V$ est périodique, $W$ tend vers $0$ à l'infini, $\varepsilon$ et $\varphi$ sont des paramètres réels. On se place dans le cadre de la limite adiabatique où le paramètre $\varepsilon$ est petit. On s'intéresse aux valeurs propres de $H_(\varphi,\varepsilon)$ dans les lacunes de l'opérateur périodique $-\Delta+V$ ; sous des hypothèses adéquates sur $W$, ces valeurs propres sont créées par les extrema de $W$. Lorsque $W$ a un unique extremum, on montre que ces valeurs propres oscillent autour de certaines énergies quantifiées par une condition de type Bohr-Sommerfeld. L'amplitude des oscillations est exponentiellement petite et déterminée par un coefficient tunnel. Lorsque deux extrema sont en jeu, ils créent chacun une suite de valeurs propres ; celles-ci peuvent être résonantes. Dans ce cas, on met en évidence un phénomène d'éclatement ; ce phénomène est l'analogue de celui bien connu de splitting dans le cas du double puits.

L'objectif de ce travail est la conception et la réalisation d'un Système de Gestion de Base de Données Relationnel (SGBDR) intégrant les concepts et la technologie "objets". Le principe de notre approche est d'étendre les domaines relationnels aux types abstraits (ADT) et revient à coupler de façon relativement faible les concepts et mécanismes objets au modèle et à un système relationnels. Cela introduit des problèmes de modélisation et d'optimisation nouveaux qui restent à étudier. Dans un premier temps, le modèle de données et les caractéristiques de l'extension sont définis. La notion de type abstrait est introduite pour exprimer de nouveaux domaines : un ADT définit une structure de données et un ensemble de méthodes (fonctions) qui constituent son unique interface de manipulation. Un mécanisme d'héritage simple est offert. Des constructeurs sont disponibles pour définir la structure de données d'un type ; on introduit ainsi la notion d'objet complexe. Le concept de partage, associé à l'identité d'objet, est un apport important de ce travail. Le langage associé au modèle est une extension de SQL appelée ESQL ; le langage d'écriture des méthodes actuellement disponible est une extension de C. La mise en oeuvre d'un tel système consiste à développer les composants nécessaires au support d'objets et à les intégrer à un noyau de SGBDR existant. Elle permet de mettre en évidence trois modules principaux. Le gestionnaire de types est un complément du gestionnaire de catalogue relationnel qui gère les définitions d'ADT. Le gestionnaire de méthodes regroupe un ensemble de fonctions allant de la compilation à l'exécution. Le gestionnaire d'objets assure le stockage et la manipulation des objets complexes (instances d'ADT) ; cette partie à notamment permis d'étudier des techniques évoluées de stockage d'objets.

La polarité épithéliale est un processus essentiel au cours du développement d'un organisme. Ici, nous nous focalisons sur le tissu épithélial intestinal et épidermal de C. elegans pour comprendre comment la cellule maintient sa polarité en définissant un pôle apical et un pôle basolatéral. Afin d'assurer la mise en place et le maintien de cette polarité, des protéines appelées déterminants de polarité interviennent. Parmi ces déterminants, le module PAR-3/PAR-6/aPKC et CDC-42 sont des acteurs majeurs pour spécifier la polarité apicale. Nous avons montré que le complexe adaptateur pour la clathrine AP-1, un régulateur clé du trafic intracellulaire remplit une fonction inattendue dans ce processus. En effet, nous avons confirmé le rôle d'AP-1 dans le tri basolatéral observé chez les mammifères, mais de façon intéressante nous avons démontré qu'AP-1 contrôle également le tri apical d'une protéine transmembranaire ainsi que la localisation asymétrique apicale de CDC-42 et PAR-6. En effet, l'inhibition d'AP-1 cause une délocalisation basolatérale de CDC-42 et PAR-6. La perte de fonction d'AP-1 induit une conversion de la membrane latérale en membrane apicale et la formation de lumières intestinales ectopiques. La perte de fonction du complexe AP-1 induit également une létalité embryonnaire qui peut s'expliquer par le phénotype identifié dans l'épiderme. Dans cet épithélium, AP-1 contrôle l'intégrité des jonctions cellulaire et notamment le tri apical de la E-cadhérine. Nos résultats démontrent une fonction essentielle d'AP-1 dans le tri apical, directement responsable du maintien de la polarité épithéliale.

la possibilité de convertir l'activité catalytique d'une oxydoréductase en un courant électrique a permis le développement d'une grande diversité d'électrodes enzymatiques. Les anodes catalysant l'oxydation du glucose font partie des plus étudiées pour leurs applications dans la mesure de la glycémie ou dans des biopiles glucose/O2. Parmi les nombreuses stratégies disponibles, l'utilisation d'hydrogels à base de complexes d'osmium en guise de médiateurs rédox fournit d'excellents résultats, qui restent cependant limités en terme de densité de courant ou de sélectivité. Durant cette thèse, la glucose oxydase (GOx) a été déglycosylée. Les électrodes préparées avec la nouvelle enzyme délivraient des courants catalytiques plus élevés, ce qui laissait supposer initialement une diminution de la distance de saut d'électron entre la GOx et le médiateur rédox suite au retrait des oligosaccharides. Une étude avec des électrodes de différentes compositions suggère au contraire que la déglycosylation n'améliore pas le transfert électronique intrinsèque mais la structure globale de l'hydrogel. De fait, une enzyme plus petite et plus négativement chargée doit induire un volume d'hydrogel plus faible pour une même composition molaire. En second lieu, une réduction parasite de l'oxygène affectant ces anodes, non envisagée jusqu'à aujourd'hui, a été mise en évidence et étudiée. En effet, l'interférence de l'O2 n'est usuellement attribuée qu'à sa réactivité avec la GOx. La présente étude prouve que l'O2 se réduit aussi sur les complexes d'osmium si leur potentiel standard E°' est inférieur à + 0,07 V vs. Ag/AgCl. La cinétique de cette réaction croît exponentiellement quand le E°' du complexe diminue. En plus d'abaisser le courant d'oxydation et donc les performances de l'anode, la génération de peroxyde d'hydrogène pourrait aussi altérer sa stabilité. Ces résultats suggèrent que le choix d'un médiateur de E°' donné doit aussi dépendre de l'amplitude de cette réduction.

Dans cette thèse, on étudie comment la positivité du fibré tangent d'une variété projective complexe infl uence la géométrie de la variété sous-jacente. Dans la première partie, on étudie les variétés (principalement les surfaces) dont le fibré tangent est pseudo-effectif. Dans la deuxième partie on montre que pour un entier strictement positif p, si la puissance tensorielle p-ème du fibré tangent d'une variété projective contient la puissance p-ème d'un fibré en droites ample, alors la variété est isomorphe à un espace projectif ou à une quadrique.

Le travail présenté dans ce mémoire de thèse porte sur la tolérance aux défauts dans le cas des systèmes linéaires. Les moyens de communication numériques sont utilisés dans le cadre de la mise en oeuvre d'une architecture de commande tolérante aux défauts pour des systèmes complexes. Une coopération entre les modules de commande/diagnostic assure la tolérance à certains types de défauts qui affectent le système. La commande des systèmes est traditionnellement réalisée à partir d'un calculateur central qui collecte l'ensemble des informations relevées sur le procédé, puis les traite pour élaborer un ensemble de commande qui est appliqué au procédé. Avec le développement des systèmes commandés en réseaux (Networked Control System) et des systèmes embarqués, l'architecture des systèmes s'oriente vers une distribution des algorithmes de commande et de diagnostic. On se propose d'aborder le problème de la conception des stratégies de distribution de diagnostic/commande et de coopération des tâches de commande entre les sous-contrôleurs associés à chaque sous-système qui composent le système complexe et de prendre en compte les défauts des actionneurs et de capteurs affectant les sous-systèmes. Il s'agit alors d'élaborer une stratégie de commande coopérative visant à compenser les effets des défauts affectant le système. Les commandes locales sont des commandes prédictives à base de modèle (MPC : Model Predictive Control). Une analyse de stabilité a été faite en prenant en considération la défaillance du réseau de communication.

Cette thèse montre la possibilité d'une application rigoureuse de la méthode d'intégration numérique double-exponentielle introduite par Takahasi et Mori en 1974, et sa pertinence pour les calculs à grande précision en théorie des nombres. Elle contient en particulier une étude détaillée de cette méthode, des critères simples sur son champ d'application, et des estimations rigoureuses des termes d'erreur. Des paramètres explicités et précis permettent de l'employer aisément pour le calcul garanti de fonctions définies par des intégrales. Cette méthode est également appliquée en détail au calcul de transformées de Mellin inverses de facteurs gamma intervenant dans les calculs numériques de fonctions L. Par une étude unifiée, ce travail démontre la complexité d'un algorithme de M. Rubinstein et permet de proposer des algorithmes de calcul de valeurs de fonctions L quelconques dont le résultat est garanti et dont la complexité est meilleure en la précision.