La dénomination de réseaux de neurones recouvre tout un ensemble de méthodes de calcul dont le point commun est de décrire le calcul d'une solution a un probleme comme la recherche d'un état d'équilibre par un ensemble de cellules simples inter-agissant entre elles via un réseau de connections paramétrées. L'approche usuelle, pour obtenir un réseau de neurones ayant un comportement souhaite, consiste a tester sur des exemples un réseau choisi a priori et a modifier ses paramètres de contrôle jusqu'à ce que l'on obtienne un comportement satisfaisant. La difficulté de ces méthodes est que leur succès ou leur échec reposent sur le choix d'un premier réseau et que l'on ne dispose pas de règles permettant de déduire ce choix de la structure du probleme. La motivation de cette thèse a donc été de décrire des méthodes de synthèse permettant une construction modulaire de réseaux de neurones. Aussi, cette thèse propose une classe de réseaux de neurones parmi lesquels toute spécification de la forme chercher un élément de e (fini) vérifiant la propriété p admet au moins une réalisation. En outre, les réseaux de cette classe peuvent être combines pour obtenir un réseau réalisant une combinaison des spécifications des réseaux combines

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

Au cours des dernières décennies, la conception de complexes moléculaires ayant une organisation et des propriétés prévisibles n’était pas possible. Bien qu’il soit possible de calculer efficacement les propriétés de molécules individuelles, leur comportement collectif demeure imprévisible. Récemment, nous avons assisté au développement d’une nouvelle stratégie intitulée « construction modulaire » permettant de produire des matériaux bien définis et ordonnés dotés de nouvelles propriétés. Cette stratégie utilise des sous-unités moléculaires aptes à réaliser des interactions non-covalentes telles que des ponts hydrogène afin de maintenir des modules voisins à des positions programmables. Puisque les ponts hydrogène sont très forts et directionnels, un objectif important consiste à concevoir des sous-unités moléculaires aptes à réaliser un grand nombre de ponts hydrogène. Les molécules incorporant multiples groupements 4,6-diamino-1,3,5-triazinyles (DAT) sont un exemple de ce type de composés. Nos travaux sont focalisés sur l’introduction d’unités N(DAT)2, qui offrent la possibilité de faire des réseaux ordonnés maintenus ensemble par un nombre encore plus grand de ponts hydrogène par molécule. Nous décrivons les structures et les propriétés de matériaux cristallins de ce type, dans lesquels un nombre croissant de ponts hydrogène donne lieu à la formation de réseaux robustes et hautement poreux. / During the past few decades, designing molecular complexes with predetermined properties and predictable architectures was not possible. Although, it is possible to calculate the properties of individual molecules with confidence, the behavior of molecular assemblies remains unpredictable. Recently there has been a development of a strategy called “modular construction,” which can lead to producing well-defined and ordered materials with novel properties. This strategy uses molecular subunits that engage in non-covalent interactions such as hydrogen bonds to hold the neighboring modules in programmable positions. Since hydrogen bonds show high strength and directionality, an important objective is to devise molecular subunits that can take part in a large number of hydrogen bonds. Examples are compounds that incorporate multiple 4.6-diamino-1,3,5-triazinyl (DAT) groups. Our work has focused on introducing N(DAT)2 units, which offer the possibility of making ordered networks held together by even larger number of hydrogen bonds per molecule. We describe the structures and properties of crystalline materials of this type, in which increasing the number of hydrogen bonds gives rise to the formation of robust networks with high levels of porosity.

Cette thèse propose une architecture cellulaire pour la simulation logique. Une première partie présente la simulation logique. Les modélisations, algorithmes, structures des simulateurs classiques sont décrits. Un recensement et une étude sommaire des machines spécialisées existantes sont proposés ainsi qu'une classification des machines cellulaires. Une deuxième partie présente les spécifications d'une architecture cellulaire et propose des solutions aux problèmes d'affectation et d'acheminement soulevés. Une troisième partie décrit la cellule de base d'une manière détaillée dans un réseau 8×8 et évalue la complexité et les performances attendues. Une dernière partie expose les performances globales de simulation du réseau de base et cite quelques extensions dans et hors de la simulation logique

No description available.

Dans la méthode de conception sûre et descendante CAPRI applicable aux circuits intégrés VLSI, on analyse les spécifications initiales à la définition de l'architecture du circuit. La méthode proposée est une méthode par affinements successifs de spécifications dans laquelle on distingue: 1) le choix des algorithmes; 2) le choix du chemin de données associé aux blocs fonctionnels; 3) le choix de la structure de la partie contrôle. Application de la démarche descendante au microordinateur 80 C48 d'INTEL en technologie CMOS