La nécessité d'une conception sûre et descendante des circuits intégrés VLSI est reconnue. Etude des propriétés statiques et dynamiques des dessins de masques des principaux blocs du circuit intégré en technologie CMOS. La méthode proposée est une conception par affinements successifs des spécifications. On distingue: le choix des algorithmes, le choix du chemin de données associé aux blocs fonctionnels. Les validation partielles de conception sont faites par analyse et simulation

L'étude consiste à estimer des paramètres pour un système dynamique régi par une équation différentielle stochastique, linéaire, unidimensionnelle, excitée par des bruits brownien et poissonnien, en présence de contrôles adaptés à l'état du système. On suppose que les paramètres des bruits sont connus, et on montre que l'on peut estimer les paramètres de dérive par une famille, convergente et asymptotiquement normale, d'estimateurs de maximun de vraisemblance quand deux stratégies sont choisies: l'une étagée par rapport à une partition de l'intervalle de temps [O,T]; l'autre markovienne, définie en temps continu. Pour cela on prouve l'existence de solutions stationnaires de l'équation d'évolution. On s'intéresse, enfin, au caractère d'optimalité du contrôle choisi, pour un critère lié à la matrice d'information de FISCHER

Lors de la conception des circuits intégrés VLSI, les Réseaux Logiques Programmables (P.L.A.) permettent le dessin automatique des masques à partir d'une description logique. La surface occupée par ces PLAs peut, dans certains cas, s'avérer prohibitive; d'où l'intérêt des méthodes d'optimisation topologique de ceux-ci. Après avoir défini les différentes représentations possibles des PLAs, on présente l'état en ce qui concerne l'optimisation topologique des PLAs. La méthode des «Lignes Brisées» est ensuite détaillée en insistant sur les heuristiques choisies ainsi que sur les interactions qui existent entre l'étape d'optimisation et l'étape de tracé des connexions internes. On termine par une présentation globale du système PAOLA d'optimisation topologique et dessin de PLAs

Le travail présenté dans cette thèse porte sur le domaine de l'aide à la construction du plan de masse de circuits VLSI. Cette construction est basée sur une évaluation topologique prédictive et une approche hiérarchisée. FLOPE est un éditeur interactif permettant la construction d'un plan masse de manière structurée. Il est essentiellement destiné à communiquer avec des évaluateurs existants ou à venir. Son rôle dans la conception hiérarchique est notamment: d'anticiper les problèmes de composition grâce è l'évaluation prévisionnelle de surface, de forme et d'interconnexions lors de l'étape de décomposition; d'absorber souplement les modifications topologiques grâce à un mécanisme de propagation. FLOPE a été implanté en langage CEYX-Le-Lisp

La modélisation du développement architectural des arbres en réponse aux facteurs environnementaux est un thème de recherche en plein essor grâce au développement récent de méthodes informatiques adéquates. Cependant, l'utilisation de couronnes 3D est fortement contrainte par la difficulté à collecter les données architecturales et géométriques nécessaires à leur reconstruction. Par ailleurs, la compréhension partielle des processus fonctionnels contrôlant la croissance des pousses au sein des couronnes limite actuellement l'analyse et la modélisation des processus impliqués. La confrontation des connaissances acquises sur la variabilité architecturale et morphologique du Noyer d'une part, et celles acquises sur la physiologie de sa croissance d'autre part offre la possibilité de mieux comprendre le développement de la couronne. A partir de mesures et d'échantillonnage de la topologie et de la géométrie de Noyers hybrides âgés de 7 à 9 ans, nous avons analysé l'impact sur l'interception de la lumière de variables nécessaires à la reconstruction de plantes virtuelles mais dont la mesure nécessite un travail long et difficile qui rend indispensable l'utilisation de méthodes d'extrapolation. Puis, nous avons quantifié la part de variance des variables de croissance qui peut être attribuée à la lumière interceptée vis-à-vis d'autres facteurs tels que la position topologique. Nos résultats quantifient les biais introduit par l'utilisation de relations allométriques et de lois statistiques pour reconstruire des couronnes tridimensionnelles de différentes tailles. Nous avons montré que l'agrégation du feuillage au sein de la couronne, y compris à l'échelle des feuilles (composées de folioles), détermine fortement les propriétés radiatives des couronnes reconstruites. Grâce à une approche corrélative et statistique, un effet de la lumière interceptée par les pousses mères sur la croissance des pousses filles a été mis en évidence. Les fortes corrélations observées entre d'une part la vigueur des pousses (quantifiée par un indice) et la longueur du chemin entre le collet et les pousses et d'autre part leur croissance suggèrent un rôle de l'architecture hydraulique

Cette thèse, s'intéresse aux systèmes d'interaction, une notion visant à modéliser les interactions entre un système informatique et son environnement.<br /><br />La première partie développe, dans le cadre de la théorie des types de Martin-Löf, la théorie de base des systèmes d'interaction et des constructions inductives et co-inductives qu'ils permettent. On trouve dans cette partie une étude des liens entre systèmes d'interaction et topologies formelles et une formulation (en terme de systèmes d'interaction) d'un théorème de complétude vis-à-vis d'une sémantique topologique des théories géométriques (linéaires).<br /><br />Dans cette étude, la notion complètement standard de simulation, joue un rôle fondamental car elle permet de définir la notion de morphisme entre systèmes d'interaction. Ceci permet d'établir une équivalence entre la catégorie ainsi définie et une autre catégorie, beaucoup plus simple à décrire, celle des transformateurs de prédicats.<br /><br />En traduisant dans ce nouveau vocabulaire les constructions précédentes, on observe que les transformateurs de prédicats forment un nouveau modèle de la logique linéaire, qui est décrit puis étendu au second ordre.<br /><br />Enfin, les propriétés particulières des systèmes d'interaction / transformateurs de prédicats sont mises à profit pour donner une interprétation du lambda-calcul différentiel. Cela suppose d'introduire du non déterminisme, ce que les systèmes d'interaction et les transformateurs de prédicats permettent de faire.

Ce travail de thèse a porté sur la génération aux fréquences THz par la technique dite de photomélange. La première partie de cette étude a été consacrée aux éléments essentiels d'un tel dispositif utilisé au THz : le GaAs épitaxié à basse température (GaAs BT), un photodétecteur à électrodes interdigitées, et une antenne planaire. Cette étude a permis d'obtenir une source largement accordable entre 100 GHz et 4 THz, adaptée aux études spectroscopiques. Dans un second temps, l'effort d'optimisation s'est porté sur le photodétecteur avec deux topologies envisagées, verticale et distribuée. La topologie verticale a en effet permis de s'affranchir d'effets bidimensionnels, néfastes pour les performances et la robustesse du photodétecteur. La fabrication du photodétecteur vertical a nécessité la mise au point d'un procédé de report de couches épitaxiales en cours de procédé technologique s'appuyant sur les techniques de report élaborées au sein du laboratoire. La comparaison expérimentale a montré une amélioration d'un facteur 2 à 3 en réponse statique, et d'un facteur 7 en photomélange. La seconde voie, à savoir l'utilisation d'un photodétecteur, passe par l'étude préalable des lignes de propagation aux fréquences THz. Nous avons tout d'abord mis en évidence les effets induits par la montée en fréquence, et plus particulièrement l'effet des conditions aux limites, qu'elles soient diélectriques ou métalliques. Puis en utilisant ces conditions aux limites, nous avons imaginé des lignes de propagation fonctionnant au THz et utilisables en photomélange. Toutefois la voie la plus prometteuse à cours terme est certainement la transposition aux longueurs d'onde 1.3 Μm-1.5 Μm. Dans cette optique, deux solutions sont envisagées, la première s'appuie sur l'épitaxie de couche d'InGaAs à basse température, tandis que la seconde utilise l'absorption anormale du GaAs BT à ces longueurs d'ondes et la cavité intrinsèque au photodétecteur vertical.

Nous étudions la géométrie d'une molécule d'ADN ouverte soumise à une contrainte de supertour. Nous redémontrons le théorème de Cãlugãreanu-White qui relie cette contrainte globale à la torsion locale. Le modèle de la tige élastique, utilisant la formule de Fuller, conduit à une divergence dans la limite continue. Cette pathologie est étudiée à l'aide de simulations numériques. Une analogie entre la forme d'un polymère et la trajectoire d'un rayon lumineux en diffusion multiple permet d'interpréter des expériences de diffusion de la lumière polarisée en termes géométriques. Dans le seconde partie, nous étudions la simulation numérique locale des systèmes chargés en interaction coulombienne. On présente les techniques usuelles de simulations numériques dont on discute les avantages et les inconvénients. Nous présentons un nouvel algorithme pour ces systèmes basé sur la loi de Gauss. Sa résolution rigoureuse conduit à ajouter un terme transverse au champ électrique que l'on fait évoluer par un algorithme de Monte-Carlo. La localité de l'algorithme permet un traitement rigoureux des inhomogénéités diélectriques et conduit à une complexité en O(N).

Cette thèse a pour objet l'étude des automorphismes des groupes d'Artin à angles droits. Etant donné un graphe simple fini $\Gamma$, le groupe d'Artin à angles droits $G_\Gamma$ associé à $\Gamma$ est le groupe défini par la présentation dont les générateurs sont les sommets de $\Gamma$, et dont les relateurs sont les commutateurs $[v,w]$, où {$v$,$w$} est une paire de sommets adjacents. Le premier chapitre est conçu comme une introduction générale à la théorie des groupes d'Artin à angles droits et de leurs automorphismes. Dans un deuxième chapitre, on démontre que tout sous-groupe sous-normal d'indice une puissance de $p$ d'un groupe d'Artin à angles droits est résiduellement $p$-séparable. Comme application de ce résultat, on montre que tout groupe d'Artin à angles droits est résiduellement séparable dans la classe des groupes nilpotents sans torsion. Une autre application de ce résultat est que le groupe des automorphismes extérieurs d'un groupe d'Artin à angles droits est virtuellement résiduellement $p$-fini. On montre également que le groupe de Torelli d'un groupe d'Artin à angles droits est résiduellement nilpotent sans torsion, et, par suite, résiduellement $p$-fini et bi-ordonnable. Dans un troisième chapitre, on établit une présentation du sous-groupe $Conj(G_\Gamma)$ de $Aut(G_\Gamma)$ formé des automorphismes qui envoient chaque générateur sur un conjugué de lui-même.

Cette thèse consiste d'une étude de la géométrie d'une certaine classe de groupes arithmétiques, à travers d'une action propre sur un espace contractile. Nous calculons explicitement leur homologie de groupe, et leur K-homologie équivariante. Plus précisément, considérons un corps de nombres quadratique imaginaire et son anneau d'entiers A. Les groupes de Bianchi sont les groupes SL_2(A) et PSL_2(A). Ces groupes agissent d'une manière naturelle sur l'espace hyperbolique à 3 dimensions. Ils constituent une clef pour l'étude d'une classe plus large de groupes, les groupes Kleiniens, étudiés depuis Poincaré. En fait, chaque groupe Kleinien arithmétique non-cocompact est commensurable avec un des groupes de Bianchi. L'auteur a implémenté à l'ordinateur, le calcul d'un domaine fondamental pour ces groupes. En calculant les stabilisateurs et identifications sur ce domaine fondamental, nous obtenons une structure explicite d'orbi-espace. Nous nous en servons pour étudier des aspects différents de la géométrie des groupes de Bianchi. D'abord, nous calculons l'homologie de groupe à coefficients entiers, à l'aide de la suite spectrale équivariante de Leray/Serre. Ensuite, nous calculons l'homologie de Bredon de groupes de Bianchi, de laquelle nous déduisons leur K-homologie équivariante. Par la conjecture de Baum/Connes, qui est vérifiée par nos groupes, nous obtenons la K-théorie des C*-algèbres réduites de nos groupes. Finalement, nous complexifions nos orbi-espaces, en complexifiant l'espace hyperbolique. Ceci nous permet de calculer la cohomologie d'orbi-espace de Chen/Ruan, qui est l'un des deux côtés de la conjecture de la résolution cohomologique crépante de Ruan.