• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 22
  • 13
  • 2
  • Tagged with
  • 35
  • 35
  • 17
  • 16
  • 9
  • 9
  • 9
  • 8
  • 8
  • 7
  • 7
  • 5
  • 5
  • 5
  • 5
  • 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.
1

Mise en place d'une démarche de conception pour circuits hautes performances basée sur des méthodes d'optimisation automatique

Tugui, Catalin Adrian 14 January 2013 (has links) (PDF)
Ce travail de thèse porte sur le développement d'une méthodologie efficace pour la conception analogique, des algorithmes et des outils correspondants qui peuvent être utilisés dans la conception dynamique de fonctions linéaires à temps continu. L'objectif principal est d'assurer que les performances pour un système complet peuvent être rapidement investiguées, mais avec une précision comparable aux évaluations au niveau transistor.Une première direction de recherche a impliqué le développement de la méthodologie de conception basée sur le processus d'optimisation automatique de cellules au niveau transistor et la synthèse de macro-modèles analogiques de haut niveau dans certains environnements comme Mathworks - Simulink, VHDL-AMS ou Verilog-A. Le processus d'extraction des macro-modèles se base sur un ensemble complet d'analyses (DC, AC, transitoire, paramétrique, Balance Harmonique) qui sont effectuées sur les schémas analogiques conçues à partir d'une technologie spécifique. Ensuite, l'extraction et le calcul d'une multitude de facteurs de mérite assure que les modèles comprennent les caractéristiques de bas niveau et peuvent être directement régénéré au cours de l'optimisation.L'algorithme d'optimisation utilise une méthode bayésienne, où l'espace d'évaluation est créé à partir d'un modèle de substitution (krigeage dans ce cas), et la sélection est effectuée en utilisant le critère d'amélioration (Expected Improvement - EI) sujet à des contraintes. Un outil de conception a été développé (SIMECT), qui a été intégré comme une boîte à outils Matlab, employant les algorithmes d'extraction des macro-modèles et d'optimisation automatique.
2

Design Methodology for High-performance Circuits Based on Automatic Optimization Methods. / Mise en place d'une démarche de conception pour circuits hautes performances basée sur des méthodes d'optimisation automatique

Tugui, Catalin Adrian 14 January 2013 (has links)
Ce travail de thèse porte sur le développement d’une méthodologie efficace pour la conception analogique, des algorithmes et des outils correspondants qui peuvent être utilisés dans la conception dynamique de fonctions linéaires à temps continu. L’objectif principal est d’assurer que les performances pour un système complet peuvent être rapidement investiguées, mais avec une précision comparable aux évaluations au niveau transistor.Une première direction de recherche a impliqué le développement de la méthodologie de conception basée sur le processus d'optimisation automatique de cellules au niveau transistor et la synthèse de macro-modèles analogiques de haut niveau dans certains environnements comme Mathworks - Simulink, VHDL-AMS ou Verilog-A. Le processus d'extraction des macro-modèles se base sur un ensemble complet d'analyses (DC, AC, transitoire, paramétrique, Balance Harmonique) qui sont effectuées sur les schémas analogiques conçues à partir d’une technologie spécifique. Ensuite, l'extraction et le calcul d'une multitude de facteurs de mérite assure que les modèles comprennent les caractéristiques de bas niveau et peuvent être directement régénéré au cours de l'optimisation.L'algorithme d'optimisation utilise une méthode bayésienne, où l'espace d’évaluation est créé à partir d'un modèle de substitution (krigeage dans ce cas), et la sélection est effectuée en utilisant le critère d’amélioration (Expected Improvement - EI) sujet à des contraintes. Un outil de conception a été développé (SIMECT), qui a été intégré comme une boîte à outils Matlab, employant les algorithmes d’extraction des macro-modèles et d'optimisation automatique. / The aim of this thesis is to establish an efficient analog design methodology, the algorithms and the corresponding design tools which can be employed in the dynamic conception of linear continuous-time (CT) functions. The purpose is to assure that the performance figures for a complete system can be rapidly investigated, but with comparable accuracy to the transistor-level evaluations. A first research direction implied the development of the novel design methodology based on the automatic optimization process of transistor-level cells using a modified Bayesian Kriging approach and the synthesis of robust high-level analog behavioral models in environments like Mathworks – Simulink, VHDL-AMS or Verilog-A.The macro-model extraction process involves a complete set of analyses (DC, AC, transient, parametric, Harmonic Balance) which are performed on the analog schematics implemented on a specific technology process. Then, the extraction and calculus of a multitude of figures of merit assures that the models include the low-level characteristics and can be directly regenerated during the optimization process.The optimization algorithm uses a Bayesian method, where the evaluation space is created by the means of a Kriging surrogate model, and the selection is effectuated by using the expected improvement (EI) criterion subject to constraints.A conception tool was developed (SIMECT), which was integrated as a Matlab toolbox, including all the macro-models extraction and automatic optimization techniques.
3

Analyse de durées de vie : analyse séquentielle du modèle des risques proportionnels et tests d'homogénéité

Breuils, Christelle 15 December 2003 (has links) (PDF)
La première partie concerne l'estimation séquentielle du paramètre de régression pour le modèle de Cox pour des données censurées à droite. Il est ainsi possible de définir des règles d'arrêt garantissant une bonne estimation. Celles-ci conduisent alors à des estimateurs dépendant de tailles d'échantillons aléatoires pour lesquels le comportement asymptotique est le même que celui des estimateurs non séquentiels. Les propriétés démontrées sont étendues au cadre multidimensionnel et illustrées par des simulations. Cette première partie s'achève par l'étude théorique du comportement de la variable d'arrêt dans le cadre d'intervalles de confiance séquentiels. La règle d'arrêt normalisée est alors asymptotiquement normale. La seconde partie porte sur la construction de tests d'homogénéité dans le cadre d'un modèle de durées de vie non paramétrique incluant des covariables ainsi que la censure à droite. Une statistique de test est proposée et son comportement asymptotique est établi.
4

Bandwidth extension techniques for high-efficiency power amplifiers

García Tormo, Albert 15 April 2011 (has links)
Aquesta tesi tracta sobre amplificació de potència d'alt rendiment de senyals variables en el temps; concretament, tracta sobre conversió de potència eficient (amb mínimes pèrdues) de tensions DC continues en senyals de tensió no constants. Aquest tipus de conversió de potència està present en la majoria de dispositius electrònics d'ús quotidià, com ara telèfons mòbils i reproductors de música portàtils, així com també en dispositius d'alta potència com amplificadors d'àudio i estacions base de telefonia mòbil. Generalment l'energia està disponible en forma de tensió DC contínua (d'una bateria o d'una font d'alimentació). D'acord amb la informació a transmetre, aquesta energia s'ha de processar o transformar en un senyal variable en el temps de manera que, per exemple, es pugui convertir en àudio per un altaveu . La tendència de mercat és a reduir la mida i el pes dels dispositius electrònics i a oferir noves funcionalitats, incloent una llarga autonomia en dispositius alimentats per bateries. Millorar l'eficiència dels amplificadors de potència no només n'estendria l'autonomia, sinó que també permetria utilitzar dissipadors més petits i lleugers. Altres aplicacions com les d'alta potència o integrades també es beneficiarien de millores en l'eficiència dels amplificadors de potència. Els dispositius electrònics de processament de potència més eficients són els amplificadors commutats. Aquests utilitzen components reactius (bàsicament bobines i condensadors) per dur a terme un processament de potència idealment sense pèrdues, així com dispositius actius (transistors) controlats com interruptors (o bé tancats o bé oberts), per tal de controlar aquest procés. Tot i que es poden assolir eficiències molt altes amb amplificadors commutats, la precisió de seguiment pot no ser gaire bona. Es pot millorar la precisió de seguiment senzillament incrementant la freqüència de commutació (la freqüència a la qual es fan commutar els interruptors), tot i que, com que es requereix una certa quantitat d'energia per fer commutar cada interruptor (pèrdues de commutació), aquesta tècnica també deteriora l'eficiència de l'amplificador. Existeix doncs un comprimís entre la freqüència de commutació i la precisió de seguiment en els amplificadors commutats (compromís eficiència-distorsió). Els amplificadors commutats habitualment es dissenyen per treballar a una freqüència de commutació alta comparada amb l'amplada de banda que han de seguir. Mentre que amb aquesta estratègia de disseny (i tecnologia actual) es poden dissenyar amplificadors per seguir senyals de l'ordre de kHz, si s'aplica per seguir senyals de l'ordre de MHz, els amplificadors haurien de treballar a freqüències de commutació massa altes, inviables des del punt de vista de les pèrdues de commutació. Amb l'objectiu d'abordar el compromís entre distorsió i eficiència dels amplificadors commutats, aquesta tesi explora diferents tècniques per estendre l'amplada de banda relativa dels amplificadors commutats, és a dir, tècniques per reduir la relació entre la freqüència de commutació de l'amplificador i la seva amplada de banda de seguiment. Basant-se en una interpretació alternativa dels amplificadors commutats, com a procés de codificació i reconstrucció, les diferents tècniques d'extensió de banda que aquí s'exploren contemplen utilitzar modulacions alternatives, amplificació de potència multi-nivell, filtrat d'ordre elevat i polítiques de commutació millorades en els convertidors commutats. La caracterització de les prestacions en termes de freqüència de commutació, error de seguiment i robustesa davant no idealitats (incloent compatibilitat electromagnètica i acoblament entre canals) apunta la idoneïtat de l'amplificació de potència multi-nivell basada en moduladors asíncrons per dissenys que treballin a freqüències de commutació relativament baixes, és a dir, a freqüències de commutació comparables a l'amplada de banda del senyal a seguir i amplificar. / This thesis is about power amplification of time-varying signals; more precisely, it is about efficient power conversion, i.e. with minimum losses, of DC constant voltages into non-constant voltage signals. This kind of power conversion is quite common in power-management circuits and electronics in general. It is present in most everyday use electronic devices, including mobile phones, portable audio players and routers, as well as in high-power devices such as audio amplifiers and wireless base stations. In most electronic devices, whether portable or not, the energy is available as DC constant voltage (typically from a battery or a power supply). According to the information to transmit, this energy must be processed or transformed into a time-varying analogue signal so that, for instance, it can be directly converted into audio by a speaker or radiated by an antenna. The market trend is to reduce the size and weight of electronic devices whilst offering new or enhanced functionalities, including long autonomy in battery-powered devices (mainly portable). Improving the efficiency of power amplifiers not only extends the autonomy, but also allows using smaller and lighter heatsinks. Other applications such as high-power or embedded would also benefit from efficiency improvements of switching amplifiers. The most efficient power-processing electronic devices are switching amplifiers. Switching amplifiers use reactive components (mainly inductors and capacitors) to perform an ideally lossless power processing, and active devices (transistors) driven as switches, either ON or OFF, to control this process. Whilst very high efficiencies can be achieved with switching amplifiers, their tracking fidelity may not be very high. The tracking fidelity can be improved by simply increasing the switching frequency (i.e. the frequency at which the active devices are driven), although, provided that a certain amount of energy is required to switch the state of each active device (switching losses), this technique also degrades the efficiency of the amplifiers. Therefore, there exists a trade-off between switching frequency and tracking fidelity in switching amplifiers (efficiency-distortion trade-off). Switching amplifiers are typically designed using a high switching frequency compared to the amplifier's tracking bandwidth. Whilst this design strategy leads to feasible designs for kHz-bandwidth applications (using state-of-the-art technology), when applied to MHz-bandwidth applications, it leads to designs operating at very high switching frequencies, unfeasible with regard to switching losses. With the scope of addressing the efficiency-distortion trade-off of switching amplifiers, this thesis explores different techniques to extend the relative bandwidth of switching amplifiers, i.e. techniques to reduce the ratio of the amplifier's switching frequency to the amplifier's tracking bandwidth. Based on an alternative interpretation of switching amplifiers, as an encoding-reconstruction process, the different bandwidth extension techniques consider using alternative modulations, multi-level power amplification, high-order filtering and enhanced switching policies in the switching converter. The performance characterisations in terms of switching frequency, tracking error and robustness against non-idealities (including electromagnetic compatibility and crosstalk) points out the suitability of multi-level power amplification based on asynchronous modulators for designs operating at relatively low switching frequencies, i.e. at switching frequencies in the same range than the bandwidth of the signal to track and power amplify.
5

Conversion analogique-numérique Sigma-Delta large bande appliquée à la mesure des non-linéarités des amplificateurs de puissance / Wideband bandpass sigma-delta analog-to-digital conversion for nonlinearly distorted signals of power amplifiers

Pham, Dang Kien Germain 11 January 2013 (has links)
Les amplificateurs de puissance, éléments constitutifs essentiels de tout système de télécommunication, vont jouer un rôle capital dans le développement des futurs systèmes de communication. Aujourd'hui l'amélioration des amplificateurs de puissance nécessite un progrès technologique au niveau du composant lui même mais doit aussi tenir compte d'une approche plus globale. En particulier, le progrès dans les traitements numériques permet aujourd'hui de corriger en amont certaines distorsions qui seront générées en aval de la chaîne de communication. La pré-distorsion numérique est une technique de correction des amplificateurs de puissance qui connaît un intérêt grandissant de par son intégration complètement numérique et par les gains en linéarité et en consommation. Cette technique nécessite une voie de retour dont un élément critique est le convertisseur analogique-numérique. Ce composant doit répondre à des contraintes de résolution, de bande passante et de linéarité élevées. Dans cette thèse, nous proposons une nouvelle architecture de convertisseur analogique-numérique à base de modulateurs Sigma-Delta passe-bande. Cette architecture tire partie du fonctionnement passe bande des modulateurs que nous faisons travailler en parallèle, chacun centré sur différentes fréquences, mais aussi d'un agencement en cascade particulier pour éliminer le signal utile, qui est de forte puissance, dans le but de diminuer les contraintes de dynamique.La conception haut niveau et les simulations ont été menées pour des systèmes à temps discret et aussi à temps continu et a nécessité le développement d'outils adaptés de simulation se basant sur la boîte à outils Delta Sigma Toolbox de Richard Schreier / Power amplifiers, which are essential elements of any communication system, will play a crucial role in the development of future communication systems. Today improving power amplifiers requires technological advances at the circuit device level, but one also must consider a more global approach. In particular, advances in digital processing can now correct in the early stage of the communication chain some distortions that are generated downstream in the chain. Digital pre-distortion is a correction technique for power amplifiers that has a growing interest because of its completely digital implementation and of its gains in linearity and energy consumption. This technique requires a feedback path where the analog-to-digital converter is a critical element. This component must satisfy the constraints of high resolution , wide bandwidth, and high linearity. In this thesis, we propose a new architecture of analog-to-digital converter based on bandpass Delta-Sigma modulators. This architecture takes advantage of operating bandpass modulators that are designed to work in parallel, each focusing on different frequencies, but also of a particular cascading arrangement to eliminate the useful signal, which has a high power, in order to reduce dynamics constraints. High-level design and simulations were carried out for discrete time and continuous time systems and also required the development of appropriate simulation tools.
6

Continuous time signal processing for wake-up radios / Traitement du signal à temps continu dans le domaine digital pour des wake-up radios

Ratiu, Alin 02 October 2015 (has links)
La consommation des systèmes de communication pour l'IoT peut être réduite grâce à un nouveau paradigme de réception radio. La technique consiste à ajouter un récepteur supplémentaire à chaque noeud IoT, appelé Wake Up Radio (WU-RX). Le rôle du WU-RX est de surveiller le canal de communication et de réveiller le récepteur principal (aussi appelé récepteur de données) lors de la réception d'une demande de communication. Une analyse des implémentations des WU-RX existants montre que les systèmes de l'état de l'art sont suffisamment sensibles par rapport aux récepteurs de données classiques mais manquent de robustesse face aux brouilleurs. Pour améliorer cette caractéristique nous proposons un étage de filtrage accordable `a fréquence intermédiaire qui nous permet de scanner toute la bande FI en cherchant le canal utilisé pour la demande de réveil. Ce filtre a été implémenté en utilisant les principes du traitement numérique de données à temps continu et consiste en un CAN suivi par un processeur numérique à temps continu. Le principe de fonctionnement du CAN est basé sur les modulateurs delta, avec une boucle de retour améliorée qui lui permet la quantification des signaux de fréquence plus élevé pour une consommation énergétique plus faible. Par conséquent, il a une plage de fonctionnement entre 10MHz et 50MHz ; pour un SNDR entre 32dB et 42dB et une consommation de 24uW. Cela se traduit par une figure de mérite entre 3fJ/conv-step et 10fJ/conv-step, une des meilleures pour la gamme de fréquences sélectionnée. Le processeur numérique est constitué d'un filtre IIR suivi par un filtre FIR. L'atténuation hors bande apportée par le filtre IIR permet de réduire le taux d'activité vu par le filtre FIR qui, par conséquent, consomme moins d'énergie. Nous avons montré, en simulation, une réduction de la puissance consommée par le filtre FIR d'un facteur entre 2 et 3. Au total, les deux filtres atteignent plus que 40dB de réjection hors bande, avec une bande passante de 2MHz qui peut être délacée sur toute la bande passante du CAN. Dans un pire cas, le système proposé (CAN et processeur numérique) consomme moins de 100uW, cependant la configuration des signaux à l'entrée peut rendre cette consommation plus faible. / Wake-Up Receivers (WU-RX) have been recently proposed as candidates to reduce the communication power budget of wireless networks. Their role is to sense the environment and wake up the main receivers which then handle the bulk data transfer. Existing WU-RXs achieve very high sensitivities for power consumptions below 50uW but severely degrade their performance in the presence of out-of-band blockers. We attempt to tackle this problem by implementing an ultra low power, tunable, intermediate frequency filtering stage. Its specifications are derived from standard WU-RX architectures; it is shown that classic filtering techniques are either not tunable enough or demand a power consumption beyond the total WU-RX budget of 100uW. We thus turn to the use of Continuous Time Digital Signal Processing (CT-DSP) which offers the same level of programmability as standard DSP solutions while providing an excellent scalability of the power consumption with respect to the characteristics of the input signal. A CT-DSP chain can be divided into two parts: the CT-ADC and the CT-DSP itself; the specifications of these two blocks, given the context of this work, are also discussed. The CT-ADC is based on a novel, delta modulator-based architecture which achieves a very low power consumption; its maximum operation frequency was extended by the implementation of a very fast feedback loop. Moreover, the CT nature of the ADC means that it does not do any sampling in time, hence no anti-aliasing filter is required. The proposed ADC requires only 24uW to quantize signals in the [10MHz 50MHz] bandwidth for an SNR between 32dB and 42dB, resulting in a figure of merit of 3-10fJ/conv-step, among the best reported for the selected frequency range. Finally, we present the architecture of the CT-DSP which is divided into two parts: a CT-IIR and a CT-FIR. The CT-IIR is implemented by placing a standard CT-FIR in a feedback loop around the CT-ADC. If designed correctly, the feedback loop can now cancel out certain frequencies from the CT-ADC input (corresponding to those of out-of-band interferers) while boosting the power of the useful signal. The effective amplitude of the CT-ADC input is thus reduced, making it generate a smaller number of tokens, thereby reducing the power consumption of the subsequent CT-FIR by a proportional amount. The CT-DSP consumes around 100uW while achieving more than 40dB of out-of-band rejection; for a bandpass implementation, a 2MHz passband can be shifted over the entire ADC bandwidth.
7

Estimation et test dans les modèles paramétriques de processus stationnaires

Pham Dinh, Tuan 27 January 1975 (has links) (PDF)
.
8

Contributions à l'identification de modèles avec des erreurs en les variables

Thil, Stéphane 04 December 2007 (has links) (PDF)
La procédure d'identification consiste à rechercher un modèle mathématique adéquat pour un système donné à partir de données expérimentales et de connaissances disponibles a priori. La majorité des techniques ont été développées sous l'hypothèse d'un signal d'entrée parfaitement connu. Or, dans certains cas, celui-ci est également mesuré avec un capteur, et sa connaissance est autant sujette à erreur que celle de la sortie. C'est cette dernière situation où l'entrée et la sortie du système sont entachées de bruits -- nommée identification de modèles avec des erreurs en les variables (EIV) - qui est étudiée.<br />Le chapitre d'introduction permet de motiver l'intérêt porté aux modèles EIV. Le problème est ensuite formellement posé, avant la mise en évidence de quelques-unes des difficultés qui lui sont inhérentes.<br />Le second chapitre traite de l'identification de modèles à temps discret, et est lui-même divisé en deux parties. La première partie s'intéresse aux méthodes utilisant les statistiques d'ordre deux. Après avoir exposé les principales méthodes existantes, une présentation unifiée des méthodes de compensation du biais de l'estimateur des moindres carrés est donnée. Différents estimateurs fondés sur la technique de la variable instrumentale sont ensuite proposés. La seconde partie du chapitre porte sur les méthodes ayant recours aux statistiques d'ordre supérieur. Après un rapide état de l'art, les estimateurs des moindres carrés et des moindres carrés itératifs fondés sur l'équation du modèle, vérifiée par les cumulants, sont présentés. Enfin, le chapitre se conclut par l'obtention de l'expression de la matrice de covariance asymptotique de l'estimateur des moindres carrés fondés sur les cumulants d'ordre trois, proposé auparavant.<br />Le chapitre trois traite de l'identification de modèles EIV à temps continu. Si l'identification de modèles EIV à temps discret a fait l'objet de nombreux travaux au cours des dernières années, le cas des modèles à temps continu n'a en revanche été que très peu étudié. Après avoir exposé l'intérêt particulier des méthodes directes d'identification de modèles à temps continu, un état de l'art est dressé, au cours duquel nous présentons sur les rares méthodes existantes. Des estimateurs ayant recours aux cumulants d'ordre trois et d'ordre quatre sont ensuite proposés. Ils permettent en particulier de s'affranchir des hypothèses structurelles sur les bruits en entrée et en sortie, et par conséquent de traiter le cas général de bruit colorés (et même mutuellement corrélés) en entrée et en sortie.
9

Méthodes garanties pour l'estimation d'état et le contrôle de cohérence des systèmes non linéaires à temps continu.

Videau, Gaétan 17 July 2009 (has links) (PDF)
Cette thèse traite des problèmes d'estimation et de contrôle de cohérence par l'utilisation des techniques ensemblistes. L'objectif est la mise en place d'une démarche méthodologique pour la surveillance et la détection d'anomalies au sein des systèmes où le déterminisme des indicateurs relatifs à l'état de santé du système est une condition sine qua non. Une fois placé dans contexte ensembliste, l'évolution de chaque variable du système est représentée par une enveloppe traduisant les incertitudes internes et externes ; cette enveloppe représente le seuil au delà duquel le comportement observé représente un écart anormal par rapport son comportement nominal, et pouvant conduire à une incapacité pour accomplir les objectifs de sa mission. Les techniques développées sont appliquées à un procédé hydraulique de laboratoire .
10

Méthodes ensemblistes pour l'estimation d'état et de paramètres

Raïssi, Tarek 29 November 2004 (has links) (PDF)
Cette thèse est dédiée au développement et à l'application de méthodes ensemblistes pour l'estimation d'état et de paramètres pour des systèmes non-linéaires. Deux types de modèles sont considérés : modèles donnés par des fonctions explicites à variables complexes et modèles décrits par des équations différentielles ordinaires (EDOs). L'identification de paramètres de modèles décrits par des fonctions explicites est réalisée à l'aide des techniques d'inversion ensembliste par analyse par intervalles. Par ailleurs, les modèles utilisés sont à variables complexes ; dans ce cas l'évaluation de la sortie se fait à l'aide d'intervalles complexes. Dans ce travail, nous avons développé une arithmétique des intervalles complexes basée sur la représentation polaire. La multiplication et la division sont des opérations exactes, mais la somme et la différence ne le sont pas. Pour réduire le pessimisme introduit par ces dernières opérations, nous avons développé des algorithmes assurant les propriétés de minimalité. Cette bibliothèque a été associée aux méthodes d'inversion ensembliste dans le cadre de l'estimation de paramètres de modèles diélectriques, d'une part, et pour l'identification de paramètres thermophysiques d'autre part. Dans la deuxième partie de cette thèse, des algorithmes d'estimation d'état pour des systèmes décrits par des équations différentielles sont présentés. Ils permettent de fournir, à chaque instant, un ensemble contenant d'une manière garantie, toutes les valeurs du vecteur d'état compatibles avec les mesures et avec les bornes d'erreurs. Ces estimateurs sont basés sur des méthodes d'intégration garantie d'EDOs et sur l'inversion ensembliste. Enfin, une technique d'estimation de paramètres de modèles décrits par des EDOs est proposée.

Page generated in 0.0987 seconds