• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 40
  • 13
  • 7
  • Tagged with
  • 58
  • 27
  • 25
  • 20
  • 16
  • 14
  • 14
  • 14
  • 14
  • 10
  • 10
  • 10
  • 10
  • 10
  • 8
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
21

Contribution à la conception d'un modulateur sigma-delta passe-bande à temps continu pour la conversion directe de signaux radiofréquences

Avignon, Emilie 18 December 2007 (has links) (PDF)
La conversion analogique-numérique sigma-delta passe-bande à temps continu constitue une approche intéressante pour la numérisation directe de signaux radiofréquences. Pour faire un premier pas vers des systèmes de conversion rapides et agiles basés sur cette approche, la faisabilité d'un convertisseur sigma-delta passe-bande à fréquence centrale ajustable sur une bande de fréquence limitée est étudiée au travers de la conception d'un circuit intégré prototype en technologie GaAs P-HEMT 0.2 µm.<br />L'architecture du modulateur sigma-delta comprend un filtre de boucle à structure parallèle, afin d'assurer à la fois la stabilité et la précision du dispositif, un sommateur et un comparateur. Les filtres passe-bande, constitutifs du filtre de boucle, sont du type Gm-LC à résistance négative. Le retard optimal théorique pour cette architecture est de 1,25 Te (Te : période d'échantillonnage) et ce retard est approximativement atteint grâce à un comparateur verrouillable (1,12 Te). Le réglage de la fréquence centrale s'opère par le biais de varicaps dans le résonateur d'entrée. La simulation du circuit au niveau transistor permet d'évaluer une résolution de 10 bits sur une bande de 4 MHz pour une fréquence centrale de 750 MHz et une fréquence de sur-échantillonnage de 3 GHz. La fréquence centrale du modulateur peut être abaissée à 725 MHz où la résolution atteint 9 bits. La consommation est estimée à 5,7 W. Le circuit a été implanté et la surface de la puce s'élève à 12 mm2.<br />Ce travail présente une méthodologie de conception basée sur des simulations multi-niveaux (transistor, fonctionnel). Cette approche permet d'isoler l'impact des non-idéalités de chacun des blocs au niveau circuit sur le fonctionnement général du modulateur. Des solutions sont proposées pour la correction de ces défauts. La robustesse du circuit a aussi fait l'objet d'une étude en termes de dispersions technologiques et d'éléments parasites introduits par l'implantation. Des remèdes sont proposés pour pallier ces problèmes.
22

Méthode adaptative de contrôle logique et de test de circuits AMS/FR

Khereddine, Rafik 07 September 2011 (has links) (PDF)
Les technologies microélectroniques ainsi que les outils de CAO actuels permettent la conception de plus en plus rapide de circuits et systèmes intégrés très complexes. L'un des plus importants problèmes rencontrés est de gérer la complexité en terme de nombre de transistors présents dans le système à manipuler ainsi qu'en terme de diversité des composants, dans la mesure où les systèmes actuels intègrent, sur un même support de type SiP ou bien SoC, de plus en plus de blocs fonctionnels hétérogènes. Le but de cette thèse est la recherche de nouvelles techniques de test qui mettent à contribution les ressources embarquées pour le test et le contrôle des modules AMS et RF. L'idée principale est de mettre en oeuvre pour ces composantes des méthodes de test et de contrôle suffisamment simples pour que les ressources numériques embarquées puissent permettre leur implémentation à faible coût. Les techniques proposées utilisent des modèles de représentation auto-régressifs qui prennent en comptes les non linéarités spécifiques à ce type de modules. Les paramètres du modèle comportemental du système sont utilisés pour la prédiction des performances du système qui sont nécessaire pour l'élaboration de la signature de test et le contrôle de la consommation du circuit. Deux démonstrateurs ont été mis en place pour valider la technique proposée : une chaine RF conçue au sein du groupe RMS et un accéléromètre de type MMA7361L.
23

Pattern Matching with Time : Theory and Applications / Filtrage par motif temporisé : Théorie et Applications

Ulus, Dogan 15 January 2018 (has links)
Les systèmes dynamiques présentent des comportements temporels qui peuvent être exprimés sous diverses formes séquentielles telles que des signaux, des ondes, des séries chronologiques et des suites d'événements. Détecter des motifs sur de tels comportements temporels est une tâche fondamentale pour comprendre et évaluer ces systèmes. Étant donné que de nombreux comportements du système impliquent certaines caractéristiques temporelles, le besoin de spécifier et de détecter des motifs de comportements qui implique des exigences de synchronisation, appelées motifs temporisés, est évidente.Cependant, il s'agit d'une tâche non triviale due à un certain nombre de raisons, notamment la concomitance des sous-systèmes et la densité de temps.La contribution principale de cette thèse est l'introduction et le développement du filtrage par motif temporisé, c'est-à-dire l'identification des segments d'un comportement donné qui satisfont un motif temporisé. Nous proposons des expressions rationnelles temporisées (TRE) et la logique de la boussole métrique (MCL) comme langages de spécification pour motifs temporisés. Nous développons d'abord un nouveau cadre qui abstraite le calcul des aspects liés au temps appelé l'algèbre des relations temporisées. Ensuite, nous fournissons des algorithmes du filtrage hors ligne pour TRE et MCL sur des comportements à temps dense à valeurs discrètes en utilisant ce cadre et étudions quelques extensions pratiques.Il est nécessaire pour certains domaines d'application tels que le contrôle réactif que le filtrage par motif doit être effectué pendant l'exécution réelle du système. Pour cela, nous fournissons un algorithme du filtrage en ligne pour TREs basé sur la technique classique des dérivées d'expressions rationnelles. Nous croyons que la technique sous-jacente qui combine les dérivées et les relations temporisées constitue une autre contribution conceptuelle majeure pour la recherche sur les systèmes temporisés.Nous présentons un logiciel libre Montre qui implémente nos idées et algorithmes. Nous explorons diverses applications du filtrage par motif temporisé par l'intermédiaire de plusieurs études de cas. Enfin, nous discutons des orientations futures et plusieurs questions ouvertes qui ont émergé à la suite de cette thèse. / Dynamical systems exhibit temporal behaviors that can be expressed in various sequential forms such as signals, waveforms, time series, and event sequences. Detecting patterns over such temporal behaviors is a fundamental task for understanding and assessing these systems. Since many system behaviors involve certain timing characteristics, the need to specify and detect patterns of behaviors that involves timing requirements, called timed patterns, is evident. However, this is a non-trivial task due to a number of reasons including the concurrency of subsystems and density of time.The key contribution of this thesis is in introducing and developing emph{timed pattern matching}, that is, the act of identifying segments of a given behavior that satisfy a timed pattern. We propose timed regular expressions (TREs) and metric compass logic (MCL) as timed pattern specification languages. We first develop a novel framework that abstracts the computation of time-related aspects called the algebra of timed relations. Then we provide offline matching algorithms for TRE and MCL over discrete-valued dense-time behaviors using this framework and study some practical extensions.It is necessary for some application areas such as reactive control that pattern matching needs to be performed during the actual execution of the system. For that, we provide an online matching algorithm for TREs based on the classical technique of derivatives of regular expressions. We believe the underlying technique that combines derivatives and timed relations constitutes another major conceptual contribution for timed systems research.Furthermore, we present an open-source tool Montre that implements our ideas and algorithms. We explore diverse applications of timed pattern matching over several case studies using Montre. Finally we discuss future directions and several open questions emerged as a result of this thesis.
24

Méthode adaptative de contrôle logique et de test de circuits AMS/FR / Adaptive logical control and test of AMS/RF circuits

Khereddine, Rafik 07 September 2011 (has links)
Les technologies microélectroniques ainsi que les outils de CAO actuels permettent la conception de plus en plus rapide de circuits et systèmes intégrés très complexes. L'un des plus importants problèmes rencontrés est de gérer la complexité en terme de nombre de transistors présents dans le système à manipuler ainsi qu'en terme de diversité des composants, dans la mesure où les systèmes actuels intègrent, sur un même support de type SiP ou bien SoC, de plus en plus de blocs fonctionnels hétérogènes. Le but de cette thèse est la recherche de nouvelles techniques de test qui mettent à contribution les ressources embarquées pour le test et le contrôle des modules AMS et RF. L'idée principale est de mettre en oeuvre pour ces composantes des méthodes de test et de contrôle suffisamment simples pour que les ressources numériques embarquées puissent permettre leur implémentation à faible coût. Les techniques proposées utilisent des modèles de représentation auto-régressifs qui prennent en comptes les non linéarités spécifiques à ce type de modules. Les paramètres du modèle comportemental du système sont utilisés pour la prédiction des performances du système qui sont nécessaire pour l'élaboration de la signature de test et le contrôle de la consommation du circuit. Deux démonstrateurs ont été mis en place pour valider la technique proposée : une chaine RF conçue au sein du groupe RMS et un accéléromètre de type MMA7361L. / Analogue-mixed-signal (AMS) and Radio frequency (RF) devices are required in many applications such as communications, multimedia, and signal processing. These applications are often subject to severe area constraints. The complexity of AMS and RF cores, together with shrinking device dimensions limit accessibility to the internal nodes of the circuit. This makes the test and the control of this circuit very difficult. Ensuring high test/control quality at low cost for these AMS and RF designs has become an important challenge for test engineers. RF and AMS cores are generally incorporated in a chip including large digital components as microprocessors and memories. The main idea of this work is to develop for these components simple test and control methods which can be implemented in the embedded resources of the system at low cost. The proposed techniques use autoregressive models for the devices under test/control. These models take into account the specific nonlinearities to such devices. Only the behavioural model parameters of the system are used to predict the system performances which are necessary to develop the test signature and/or control the consumption of the circuit. This method is implemented on a dsPiC30f for testing and controlling two demonstrators: a front-end RF card, designed in RMS group of TIMA laboratory, and a MMA7361L 3 axis accelerometer.
25

Prise en compte de la variabilité dans l’étude et la conception de circuits de lecture pour mémoires résistives / Design for variability of read circuitries for resistive memories

Mraihi, Salmen 26 September 2018 (has links)
De nos jours, la conception des systèmes sur puce devient de plus en plus complexe, et requiert des densités de mémoire sans cesse grandissantes. Pour ce faire, une forte miniaturisation des nœuds technologiques s’opère. Les mémoires non-volatiles résistives, tels que les RRAM, PC-RAM ou MRAM se présentent comme des alternatives technologiques afin d'assurer à la fois une densité suffisante et des faibles contraintes en surface, en latence, et en consommation à l’échelle nanométrique. Cependant, la variabilité croissante de ces cellules mémoires ainsi que des circuits en périphérie, tels que des circuits de lecture, est un problème majeur à prendre en considération. Cette thèse consiste en une étude détaillée et une aide à la compréhension de la problématique de variabilité appliquée aux circuits de lecture pour mémoires résistives. Elle propose des solutions d’amélioration de la fiabilité de lecture de ces mémoires. Pour ce faire, diverses études ont été réalisées : revue générale des solutions existantes d’amélioration du rendement de lecture, au niveau circuit et système ; développement d’un modèle statistique évaluant la contribution à la marge de lecture de la variabilité de chaque composante du chemin de lecture de la mémoire résistive ; analyse, caractérisation, modélisation et optimisation de l’offset d’un amplificateur de lecture dynamique pour mémoires résistives ; proposition d’architecture d’amplificateur de lecture permettant un rapport signal à offset optimum. / Nowadays, Systems on chip (SoCs) conception is becoming more and more complex and demand an ever-increasing amount of memory capacity. This leads to aggressive bit cell technology scaling. Nonvolatile resistive memories (PC-RAM, RRAM, MRAM) are promising technologic alternatives to ensure both high density, low power consumption, low area and low latencies. However, scaling lead to significant memory cell and/or memory periphery variability. This thesis aims to address variability issues in read circuitries of resistive memories and propose solutions for read yield enhancement of these memories. To this end, several sub-studies were achieved: overall review of the existing solutions for read yield enhancement, at both circuit and system level; development of a statistical model evaluating the contributions to read margin of the variability of each component of the resistive memory sensing path; analysis, characterization modelling and optimization of the offset of one particular dynamic sense amplifier for resistive memories; proposal of a sense amplifier architecture that features an optimum signal to offset ratio.
26

Développement d’un circuit de lecture pour un calorimètre électromagnétique ultra-granulaire / Design of a read-out chip for a high granularity electromagnetic calorimeter

Cizel, Jean-Baptiste 09 December 2016 (has links)
Le travail réalisé lors de cette thèse s’inscrit dans le projet de création d’un calorimètre électromagnétique pour le futur International Linear Collider (ILC) au sein de la collaboration CALICE. Le calorimètre est dit ultra-granulaire du fait du grand nombre de pixels de détection : environ 82 millions dans le calorimètre final complet. C’est ce nombre élevé de détecteurs à lire qui a conduit au développement de circuits intégrés dédiés à cette tâche, l’usage d’électronique classique n’étant pas possible dans ce cas du fait de contraintes dimensionnelles. Les travaux démarrent par l’étude de la puce SKIROC2, développée par le laboratoire Omega, qui est l’état de l’art de l’ASIC de lecture pour ce projet. Les performances sur carte de test et dans l’environnement du détecteur ont été mesurées, ce qui a permis de tirer certaines conclusions sur les forces et les faiblesses de SKIROC2. Après cette étude, le travail a été le développement d’un nouvel ASIC de lecture se basant sur SKIROC2. L’objectif étant de préserver les forces de SKIROC2 tout en tentant d’en corriger les faiblesses. Le nouvel ASIC a été conçu dans une technologie tout juste disponible au moment de la conception. Il a donc tout fallu redessiner en repartant de zéro. Il s’agit en cela de building blocks plus que d’un véritable ASIC de lecture. Trois structures de préamplificateurs de charge ont été testées, l’architecture générale et le fonctionnement d’un canal de lecture étant largement inspirés de SKIROC2. / This work takes place in the design project of the electromagnetic calorimeter for the future International Linear Collider (ILC) within the CALICE collaboration. The final calorimeter will be made of 82 million of PIN diodes; this is where the term “high granularity” comes from. The need for a read-out ASIC is a consequence of this high number of detectors, knowing that the dimensions of the electromagnetic calorimeter are a big constraint: the standard electronics is not an option. This work starts from an existing ASIC called SKIROC2. This state-of-the-art read-out chip has been designed by the Omega laboratory, a member of the CALICE collaboration. The performances on testboard and in the detector environment have been measured. It allowed to conclude on the advantages and drawbacks of using SKIROC2 in the calorimeter. After that the focus has been made on the design of a new read-out chip based on SKIROC2. The main goal was to preserve the good performances of SKIROC2 while trying to correct the encountered issues. This new ASIC has been developped in a newly released technology available during the design phase. Therefore the design has been started from scratch. The final chip is composed of building blocks rather than a ready-to-use read-out chip. Three charge preamplifier designs have been tested, the general architecture of a read-out channel being largely inspired by SKIROC2.
27

Conception et mise en œuvre d'un convertisseur DC/DC 4.2V en technologie CMOS 0.18 um

Ebrahemyan Masihi, Anita 27 January 2024 (has links)
No description available.
28

ERREURS ANALOGIQUES DANS LES CAN A BANCS DE FILTRES HYBRIDES<br />"Méthodes d'estimation et nouvelles structures"

Asemani, Davud 03 July 2007 (has links) (PDF)
Les Convertisseurs Analogique-Numérique (CAN) à Bancs de Filtres Hybrides (BFH) sont de bons candidats pour répondre aux exigences des futurs systèmes de communication devant être versatile, intelligent et à large-bande. Cependant, les BFH montrent une grande sensibilité aux non-idéalités analogiques du banc d'analyse, de sorte que les CAN à BFH classiques ne seraient pas pratiquement utilisables à moins que ces erreurs ne soient corrigées. Les efforts, dans cette thèse, ont porté sur l'étude de ce problème afin de proposer des pistes de solutions. A cet égard, la conception des BFH est, d'abord, décrite sous la forme de matrice. Puis, en utilisant des circuits analogiques simplement réalisables ainsi que des Filtres numériques à Réponse Impulsionnelle Finie (RIF), les BFH sont conçus pour la conversion A/N. Selon la simulation des CAN à BFH, nous montrons que la sensibilité de ceux-ci aux erreurs analogiques est très élevée puisque la matrice d'analyse associée est mal-conditionnée, surtout dans le cas oµu le suréchantillonnage est utilisé. Pour estimer numériquement les imperfections des circuits analogiques, nous proposons l'utilisation de méthodes d'estimation aveugle, basées sur des statistiques de seconde-ordre ou d'ordre supérieur. Cependant, ces techniques semblent ne pas être applicables aux BFH classiques en raison du sous- échantillonnage inclus µa chaque branche du CAN à BFH. Ainsi, pour exploiter les techniques numériques pour la correction des imperfections analogiques des Filtres d'analyse, nous proposons de nouvelles structures µa Entrée-sortie Multiple (ESM). Dans ces structures, il n'existe plus aucune opération de sous-échantillonnage entre les entrée-sortie associées. Les simulations prouvent que les BFH µa ESM (à sous-bande et à multiplexage temporel) mènent non seulement à une meilleure résolution mais aussi µa une sensibilité moins élevée par rapport aux BFH classique. En conclusion, en utilisant les BFH à ESM, les méthodes aveugles telles que la déconvolution ou l'annulation du bruit peuvent être employées afin de réduire encore la sensibilité aux non-idéalités analogiques.
29

Etude des effets de la solidification sur les intrusions de type sill : application à la croissance plutonique / Solidification effects on sill intrusion : application to pluton growth

Chanceaux, Lola 14 October 2016 (has links)
Il est maintenant avéré que la plupart des grands corps magmatiques sont construits par amalgamation d’intrusions plus petites. Ces incréments sont pour la plupart des sills, qui sont considérés comme les briques élémentaires des corps magmatiques plus grands. Malgré de nombreuses études, certains aspects de la mise en place des plutons sont encore mal compris : aucun modèle ne contraint leur taille et on ne sait toujours pas comment l’encaissant se déforme lors de leur mise en place incrémentale. La taille des réservoirs magmatiques, construits par injections répétées de magma, dépend de la taille des sills qui le constituent, et notamment de l’extension latérale de ces sills. Cette extension latérale pourrait être contrôlée par la solidification du magma lors de la mise en place du sill. Des expériences analogiques de laboratoire ont donc été réalisées afin de quantifier les effets de la solidification sur 1) la formation des sills et 2) la dynamique de propagation, la géométrie et la taille des sills. De l’huile végétale chaude, analogue du magma se solidifiant lors de sa propagation, est injectée dans un solide de gélatine plus froid, analogue des roches encaissantes. Le premier set d’expérience montre qu’avec l’augmentation des effets de la solidification, différents types d’intrusions sont observés (dykes traversant l’interface, sills et dykes stoppés à l’interface). Contrairement à des expériences où le refroidissement ne peut pas affecter la formation des sills, la présence d’une interface a priori mécaniquement favorable n’est donc pas suffisante pour former un sill ; les effets de la solidification restreignent la formation des sills. Le second set d’expérience montre deux comportements extrêmes pour la dynamique de propagation et la géométrie des sills. Quand les effets de la solidification sont faibles, la propagation du sill est continue et leur surface est lisse et régulière. A l’inverse, quand les effets sont forts, la propagation est discontinue et la géométrie des sills est complexe (e.g. lobes et surfaces cordées). De plus, des effets de la solidification plus importants entraînent des surfaces de sills plus faibles : en restreignant l’extension latérale des sills, le refroidissement du magma et la solidification sont susceptibles d’impacter directement la taille des plutons construits par amalgamation de sills. Les grandes déformations induites par la mise en place incrémentale des plutons sont encore mal comprises. Les modèles actuels négligent généralement les rhéologies cassantes et plastiques observées sur le terrain. Dans un premier temps, une mission de terrain dans les Henry Mountains (Utah, USA) a été réalisée afin de mieux comprendre les déformations entourant trois intrusions de tailles différentes : le Maiden Creek Sill, le Trachyte Mesa Laccolith et le Black Mesa Bysmalith. L’intensité de la déformation, la réduction de porosité et l’augmentation de microstructures liées à une forte déformation sont positivement corrélées. L’intensité de ces paramètres augmente à l’approche du contact encaissant / intrusion, et est plus marquée pour les contacts latéraux que pour les contacts supérieurs et inférieurs. Plus la taille de l’intrusion est importante, plus l’encaissant situé sur les côtés est déformé sur une grande distance. En revanche, la déformation observée au sommet du bysmalite est peu étendue, ce qui est dû à la présence d’une faille ayant permis une translation de l’encaissant plutôt que sa déformation importante. Dans un deuxième temps, des expériences analogiques de laboratoire multi-injections ont été effectuées pour essayer de mieux caractériser ces déformations. Ces expériences permettent d’observer la création d’un corps principal constitué de plusieurs sills empilés les uns sur les autres, par sur ou sous-accrétion. L’extension latérale de ce corps principal est fortement contrainte par la taille du premier sill mis en place. (...) / It is now accepted that the majority of large magma bodies is constructed by amalgamation of smaller magmatic intrusions. These increments are mostly sills and are thought as building blocks for larger magma bodies. Despite numerous studies, some aspects of their emplacement are still misunderstood: no model exists to constrain the size of plutons and we still do not know how the host rock is deformed during their incremental emplacement. The size of magma reservoirs, constructed by repeating magma pulses, depends on the size of the sills that built them, especially the lateral extend of these sills. This lateral extend could be controlled by solidification during sill emplacement. Analogue experiments have thus been carried out to quantify the effects of magma solidification on 1) sill formation and 2) sill propagation dynamics, geometry and size. Hot liquid vegetable oil, the magma analogue that solidifies during its propagation, is injected in a layered colder gelatine solid, the host rock analogue. A first set of experiments shows that as solidification effects increase, several types of intrusions are observed (dykes passing through the interface, sills, and dykes stopping at the interface). Contrary to isothermal experiments, where cooling cannot affect sill formation, the presence of an interface that would be a priori mechanically favorable is not a sufficient condition for sill formation; solidification effects restrict sill formation. A second set of experiments shows two extreme behaviours for sill propagation dynamics and geometry. When solidification effects are small, the propagation is continuous and sills have a regular and smooth surface. Conversely, when solidification effects are important, sill propagation is discontinuous and their geometry is complex (e.g. lobes and ropy structures). Moreover, higher solidification effects induce smaller sill surfaces; in restricting the lateral extent of sills, magma cooling and solidification are likely to impact directly the size of plutons constructed by amalgamated sills. The large deformations induced by incremental pluton emplacement are still misundurstood. Current models usually neglect brittle and plastic rheology, which are observed in the field. Firstly, a field study has been realized in the Henry Mountains (Utah, USA), in order to better understand the deformations around three intrusions of increasing size: the Maiden Creek Sill, the Trachyte Mesa Laccolith and the Black Mesa Bysmalith. The intensity of the deformation, the porosity reduction and the augmentation of microstructures related to large deformation are positively correlated. The intensity of these parameters increases as one gets closer to the host rock / intrusion contact, and is more important for lateral contacts than upper ones. Larger intrusions induce lateral deformation of the host rock over larger distances. However, the deformation at the top of the bysmalith is localized because of a fault allowing the translation of the host rock instead of an intense deformation. Secondarily, analogue laboratory experiments involving multiple injections have been carried out in order to better understand these deformations. The creation of a main body, made of multiple stacked sills emplaced by under or over-acretion can be observed. The lateral extent of this main body is highly dependant on the size of the first sill emplaced. However, the experimental dificulties and the mechanical properties of the gelatine as a crustal analogue limit the usefulness of these experiments.
30

De l'analogie rendant compte de la commutation en linguistique

Lepage, Yves 23 May 2003 (has links) (PDF)
Les analogies auxquelles nous nous intéressons mettent quatre chaînes de symboles en proportion, par exemple, fable : fabuleux :: miracle : miraculeux ou abc : aabbcc :: a^n.b^n.c^n : a^n+1.b^n+1.c^n+1. Une étude historique de l'analogie en linguistique nous a permis de dégager les deux articulations (conformité et rapport) et les notions constitutives (similarité et contiguïté) de ce type d'analogie. De postulats généraux nous avons tiré une caractérisation formelle (encore partielle) rendant compte de la commutation entre chaînes de symboles. Une application directe est la conjugaison automatique par analogie. Nous avons proposé de définir certains langages formels à l'aide de ce type d'analogie. La grammaticalité, c'est-à-dire l'appartenance à un langage, est testée par égalité avec certaines chaînes attestées après réduction selon des modèles analogiques, eux aussi attestés. L'absence de non-terminaux fait de ce type de grammaires des grammaires par l'exemple. Nous examinons la possible place de tels langages dans le débat sur l'adéquation des langages formels à la description des langues. En forçant la conservation des analogies entre deux langages de chaînes analogiques, on obtient une méthode générale applicable à divers problèmes du traitement automatique des langues, par exemple, l'analyse structurale ou la traduction automatique de phrases.

Page generated in 0.0686 seconds