• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 125
  • 40
  • 14
  • Tagged with
  • 180
  • 77
  • 39
  • 39
  • 28
  • 23
  • 20
  • 18
  • 18
  • 17
  • 16
  • 16
  • 15
  • 14
  • 14
  • 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.
31

Hiber, un langage pour décrire les règles de génération de code dans SableCC

Coderre, David January 2007 (has links) (PDF)
SableCC est un générateur de compilateurs. Il permet de construire des analyseurs lexicaux, des analyseurs syntaxiques et des arbres syntaxiques. Il est toutefois limité à la génération de code en langage Java. Dans ce mémoire, nous présentons un outil qui s'intègre à SableCC et qui permet à celui-ci une génération de code dans d'autres langages orientés objets. La méthode que nous proposons pour permettre la génération de code dans un autre langage consiste à construire des scripts et des patrons pour chaque nouveau langage. La rédaction des scripts se fait dans le langage Hiber, un langage que nous avons conçu pour faciliter la tâche de décrire les règles de génération de code. Les scripts sont interprétés par un interpréteur construit avec SableCC. Cet interpréteur reçoit de SableCC une structure de données qui est accessible à partir de scripts. Le principe original de SableCC pour la génération de code est donc conservé. Pour vérifier le bon fonctionnement de l'interpréteur et de la structure de données, nous avons effectué la génération en Java avec notre méthode et nous avons comparé le code généré avec celui de la version originale de SableCC. Par la suite, nous avons ajouté la génération en C++. C'est un langage ayant des similitudes avec Java. Cet exercice nous a permis de raffiner l'interpréteur et la structure de données. Dans le but de démontrer une plus grande maturité de la génération, un troisième langage est ajouté: Python. Ce langage est très différent des deux derniers, ce qui démontre l'adéquation de notre méthode de génération pour les langages orientés objets. La méthode de génération proposée permet de bien séparer les modèles de génération, les règles de génération et la structure de données. Elle rend possible l'ajout d'un nouveau langage destination en écrivant un script qui est peu volumineux, facile à lire et à maintenir. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Générateur de compilateur, Interpréteur, Structure de données, Hiber, Script.
32

Commande et supervision des procédés discontinus : une approche hybride

Andreu, David 15 November 1996 (has links) (PDF)
Les travaux présentés s'inscrivent dans le cadre de la commande et de la supervision des procédés discontinus. Un système de commande/supervision, étudié dans le contexte particulier des systèmes de production à traitements par lots, est proposé. Notre démarche s'oriente vers une approche globale, hiérarchisée et modulaire, des aspects temps-réel de la conduite de ces procédés de fabrication, reposant sur une modélisation homogène de chaque composante du système. Les points originaux sont d'une part, une nouvelle architecture de commande et d'autre part, une modélisation séparée du procédé et de la commande, dont la nature hybride de chaque modèle obtenu est abordée selon le respect de l'identité des "mondes'' discret et continu. L'architecture proposée est organisée autour de deux réseaux locaux : un bus de terrain à caractère continu, dédié aux variables d'état continues échantillonnées, et un bus d'atelier à caractère discret, consacré aux échanges sporadiques entre les éléments du système de commande/supervision. L'interface entre le monde des variables continues et celui des événements est assurée par un générateur d'événements. Ayant mis en évidence la nécessité d'une représentation des aspects discrets et continus au niveau de la supervision, le modèle du système, constitué du modèle du procédé et du modèle de sa commande, résulte de la combinaison de deux formalismes. Les réseaux de Petri sont utilisés pour aborder l'aspect discret (événementiel) et les équations algébro-différentielles pour représenter l'aspect continu. Ce modèle est structuré selon trois vues : une vue discrète traduisant la stratégie de commande, une vue discrète correspondant à une représentation qualitative de l'état du procédé (ses configurations) et une vue continue associée à chaque configuration. L'évolution cohérente de cette structure, basée sur les événements, est garantie par une coopération des modèles dont le s interactions sont clairement définies. Deux exemples d'application sont présentés afin d'illustrer l'approche exposée. Ils insistent sur l'importance de la notion de configuration dynamique et illustrent la modélisation hybride du procédé, les interactions entre les modèles, ainsi que l'association directe d'une vue continue à des états du modèle discret de la commande.
33

Comportement asymptotique de la distribution des pluies extrêmes en France

Muller, Aurélie 24 November 2006 (has links) (PDF)
Le comportement des valeurs extrêmes de pluie en France a été analysé au travers de variables locales telles que les maxima annuels ou saisonniers de pluies mesurées sur différents pas de temps entre l'heure et la journée, les valeurs supérieures à un seuil élevé, ou la série temporelle de succession d'averses. Différents modèles, issus de la théorie des valeurs extrêmes uni-variée et bi-variée ou de générateurs stochastiques de pluie, ont été présentés pour étudier le comportement asymptotique de ces variables aléatoires. Dans le cas des séries temporelles d'averses, la persistance dans le temps des valeurs fortes a été modélisée à l'aide d'un processus Markovien. Les incertitudes associées aux différents modèles ont également été analysées, avec des méthodes bayésiennes ou fréquentielles. Nous avons pu valider nos modèles avec de longues séries de mesures pluviométriques, avec des chroniques de pluies horaires et avec des chroniques d'événements pluvieux décrits par des averses fournis par Météo-France et le Cemagref. Dans de nombreux cas, nous avons en particulier noté que la distribution des extrêmes est non bornée, et de queue plus lourde qu'une loi Gumbel ou exponentielle.
34

Modèles procéduraux littéraires et création sur ordinateur

Rucar, Yan 27 January 2011 (has links)
Cette thèse a pour problématique la relation entre le texte électronique et la notion de contrainte. Afin d’étudier la rencontre de la création contrainte avec l’environnement électronique, le corpus est constitué de deux séries d’oeuvres positionnées différemment par rapport au média numérique. Les sections 1 et 2 du Chapitre I traitent de textes contraints produits par des auteurs hors du contexte numérique et qui furent intégrés à l’écran d’ordinateur lors de la transmédiatisation de l’oeuvre imprimée. Ces sections exposent les principes d’écriture contrainte employés dans ces oeuvres, les versions électroniques de celles-ci étant analysées dans le chapitre II. La seconde partie du corpus est comprise par des oeuvres dont la procédure contraignante est électronique, des textes imprimés étant appropriés via des algorithmes. Ces procédures électroniques font intervenir des générateurs combinatoires de textes, qui redistribuent aléatoirement les composants des textes appropriés. Lorsque le texte n’est pas semblablement transformé, l’écrit approprié est livré à une autre forme de systématisme, qui altère l’oeuvre originale en la faisant défiler sur l’écran selon des lois perturbant l’appréhension du texte. Les spécificités générales des générateurs de textes sont exposées dans la section 3 du chapitre I. Les générateurs inclus dans le corpus sont analysés dans le chapitre III. L’étude de l’interaction entre la contrainte écrite et l’environnement électronique, entre des textes appropriés et des procédures électroniques, l’analyse des divergences et convergences entre ces deux formes de productions contraintes, permettra de définir une textualité électronique fondée sur un système.
35

Usure des tubes GV générée par des impacts répétés contre les supports à jeu

Souilliart, Thibaut 27 September 2017 (has links)
Ce mémoire présente une étude sur l’usure générée par des impacts glissants obliques faiblement chargés, et plus particulièrement par les impacts répétés entre les tubes de générateur de vapeur et les barres antivibratoires dans les réacteurs à eau pressurisée. L’étude expérimentale de la dynamique des impacts obliques montre une très forte dépendance de leurs caractéristiques à l’angle d’incidence, avec l’existence de deux régimes de frottement distincts, caractérisés par du glissement pendant tout l’impact pour les angles rasants et par une phase de glissement suivi d’une phase d’adhérence pour les angles proches de la normale. Les caractéristiques dynamiques des impacts, telles que le rapport de percussion, la perte d’énergie ou la distance glissée au cours d’un impact, sont exprimées en fonction des paramètres incidents, du coefficient de frottement cinétique et du coefficient de restitution, en étendant les formulations érosives de Brach [1] au cas d’impacts percussifs multi-aspérités faiblement chargés. L’étude de l’usure générée par des impacts obliques en air et en eau à température ambiante montre que celle-ci est reliée linéairement à la perte d’énergie sans période d’incubation, par un coefficient constant en air, et par un coefficient qui dépend fortement de l’angle d’incidence en eau. Les surfaces usées présentent des stries semblables à de fines rayures d’abrasion, sans trace d’adhésion ou de déformation plastique importante, incitant à proposer un scénario d’endommagement fondé sur un enlèvement de matière uniquement généré par des micro-rayures d’abrasion. Deux modèles d’usure par impacts en eau sont formulés, exprimant d’une part le volume usé et d’autre part la profondeur usée en fonction des paramètres incidents des impacts, du coefficient de restitution, du coefficient de frottement cinétique, des caractéristiques géométriques du tube GV et de la BAV et d’un coefficient d’usure constant. / This thesis presents a study on wear induced by low-loaded sliding impacts in general and on wear induced by repetitive impacts between steam generator tubes and antivibration bars in pressurized water reactors in particular. The experimental study of the impacts dynamics shows that their characteristics strongly depend on the incidence angle. Two friction regimes are observed, characterized by sliding throughout the impact for grazing angles and by the existence of a sliding phase followed by an adhesion phase for the angles close to normal. The dynamic characteristics of the impacts, such as the impulse ratio, the energy loss or the sliding distance during an impact, are expressed as functions of the incident parameters, the kinetic friction coefficient and the restitution coefficient. These expressions extend the erosive formulations of Brach [1] to the case of low-loaded percussive multi-asperities impacts. The study of wear induced by oblique impacts at ambient temperature in air and water environment shows a linear relationship between the wear volume and the energy loss without any incubation period, with a constant proportionality coefficient in air, and with a proportionality coefficient which strongly depends on the incidence angle in water environment. Ridges similar to thin abrasion scratches are observed on the worn surfaces, without any mark of adhesion or significant plastic deformation. Thus, a damage scenario based on micro-scratching abrasion only is proposed. Two impacts wear models in water environment are proposed, which express firstly the worn volume and secondly the maximal worn depth as functions of the impacts incident parameters, the restitution coefficient, the kinetic friction coefficient, the SG tube and AVB geometrical characteristics and a constant wear coefficient.
36

Alimentation électrique d'un site isolé à partir d'un générateur photovoltaïque associé à un tandem électrolyseur/pile à combustible (batterie H2/O2)

Gailly, Frédéric 18 July 2011 (has links) (PDF)
Les systèmes à énergies renouvelables couplés à un stockage hydrogène apportent des solutions nouvelles et innovantes à l'alimentation électrique des milieux peu ou non électrifiés. Le concept de batterie H2 qui équipe ce type de système est une forme de stockage originale qui apporte l'autonomie et l'indépendance électrique pour des longues durées (typiquement stockage saisonnier). Le fonctionnement de cette batterie H2 est le suivant : un électrolyseur produit des gaz (H2 et O2) avec les surplus d'énergie de la source renouvelable ; l'hydrogène, voire l'oxygène, est ensuite stocké dans des réservoirs pour être utilisé ultérieurement grâce à une pile à combustible lorsque la source renouvelable est insuffisante. Dans cette étude, nous nous intéresserons spécifiquement au couplage entre des générateurs photovoltaïques avec une batterie H2/O2 pour l'alimentation d'un site isolé sans interruption. Ces travaux de recherche s'inscrivent dans le projet ANR PEPITE (ANR-PanH 2007-2012) et ont été menés en partenariat avec HELION Hydrogen Power, le CEA Liten et l'Université de Corse. Le projet est également labellisé par les pôles de compétitivité CAPENERGIES et TENERRDIS. Tout d'abord, une réflexion générale s'appuyant sur les propriétés d'une batterie H2/O2 démontre la nécessité d'introduire une batterie (ici au plomb) pour garantir un fonctionnement instantané et sans interruption. Puis, une étude qualitative sur les architectures électriques possibles (bus de tension DC, AC…) a été menée pour s'achever sur une étude quantitative réalisée spécifiquement pour le projet PEPITE. Parallèlement à cela, différentes stratégies de gestions énergétiques ont été proposées afin d'utiliser les deux stockages dans les meilleures conditions, de limiter leur vieillissement ainsi que les pertes. Deux bancs d'essais à échelle réduite (un premier à bus DC et un second à bus AC) ont été réalisés au sein du laboratoire LAPLACE afin de valider les études et de préparer le prototype final qui sera testé sur le site de HELION Hydrogen Power au cours de l'été 2011.
37

Alimentation électrique d'un site isolé à partir d'un générateur photovoltaïque associé à un tandem électrolyseur/pile à combustible (batterie H2/O2)

Gailly, Frédéric 18 July 2011 (has links) (PDF)
Les systèmes à énergies renouvelables couplés à un stockage hydrogène apportent des solutions nouvelles et innovantes à l'alimentation électrique des milieux peu ou non électrifiés. Le concept de batterie H2 qui équipe ce type de système est une forme de stockage originale qui apporte l'autonomie et l'indépendance électrique pour des longues durées (typiquement stockage saisonnier). Le fonctionnement de cette batterie H2 est le suivant : un électrolyseur produit des gaz (H2 et O2) avec les surplus d'énergie de la source renouvelable ; l'hydrogène, voire l'oxygène, est ensuite stocké dans des réservoirs pour être utilisé ultérieurement grâce à une pile à combustible lorsque la source renouvelable est insuffisante. Dans cette étude, nous nous intéresserons spécifiquement au couplage entre des générateurs photovoltaïques avec une batterie H2/O2 pour l'alimentation d'un site isolé sans interruption. Ces travaux de recherche s'inscrivent dans le projet ANR PEPITE (ANR-PanH 2007-2012) et ont été menés en partenariat avec HELION Hydrogen Power, le CEA Liten et l'Université de Corse. Le projet est également labellisé par les pôles de compétitivité CAPENERGIES et TENERRDIS. Tout d'abord, une réflexion générale s'appuyant sur les propriétés d'une batterie H2/O2 démontre la nécessité d'introduire une batterie (ici au plomb) pour garantir un fonctionnement instantané et sans interruption. Puis, une étude qualitative sur les architectures électriques possibles (bus de tension DC, AC…) a été menée pour s'achever sur une étude quantitative réalisée spécifiquement pour le projet PEPITE. Parallèlement à cela, différentes stratégies de gestions énergétiques ont été proposées afin d'utiliser les deux stockages dans les meilleures conditions, de limiter leur vieillissement ainsi que les pertes. Deux bancs d'essais à échelle réduite (un premier à bus DC et un second à bus AC) ont été réalisés au sein du laboratoire LAPLACE afin de valider les études et de préparer le prototype final qui sera testé sur le site de HELION Hydrogen Power au cours de l'été 2011.
38

Modèles procéduraux littéraires et création sur ordinateur

Rucar, Yan January 2011 (has links)
Cette thèse a pour problématique la relation entre le texte électronique et la notion de contrainte. Afin d’étudier la rencontre de la création contrainte avec l’environnement électronique, le corpus est constitué de deux séries d’oeuvres positionnées différemment par rapport au média numérique. Les sections 1 et 2 du Chapitre I traitent de textes contraints produits par des auteurs hors du contexte numérique et qui furent intégrés à l’écran d’ordinateur lors de la transmédiatisation de l’oeuvre imprimée. Ces sections exposent les principes d’écriture contrainte employés dans ces oeuvres, les versions électroniques de celles-ci étant analysées dans le chapitre II. La seconde partie du corpus est comprise par des oeuvres dont la procédure contraignante est électronique, des textes imprimés étant appropriés via des algorithmes. Ces procédures électroniques font intervenir des générateurs combinatoires de textes, qui redistribuent aléatoirement les composants des textes appropriés. Lorsque le texte n’est pas semblablement transformé, l’écrit approprié est livré à une autre forme de systématisme, qui altère l’oeuvre originale en la faisant défiler sur l’écran selon des lois perturbant l’appréhension du texte. Les spécificités générales des générateurs de textes sont exposées dans la section 3 du chapitre I. Les générateurs inclus dans le corpus sont analysés dans le chapitre III. L’étude de l’interaction entre la contrainte écrite et l’environnement électronique, entre des textes appropriés et des procédures électroniques, l’analyse des divergences et convergences entre ces deux formes de productions contraintes, permettra de définir une textualité électronique fondée sur un système.
39

Scandium complexes : physico-chemical study and evaluation of stability in vitro and in vivo for nuclear medicine application / Complexes de Scandium : étude physico-chimique et évaluation des stabilités in vitro et in vivo pour des applications en médecine nucléaire

Kerdjoudj, Rabha 04 December 2014 (has links)
Parmi les différents isotopes du Scandium qui peuvent être utilisés en médecine nucléaire, on peut citer le ⁴⁷Sc et le ⁴⁴Sc. Le premier se désintègre en émettant un électron associé à un gamma de 159 keV et peut donc être utilisé soit pour faire de la radiothérapie, soit de l’imagerie TEMP. Le ⁴⁴Sc (3.97 h) se désintègre dans 94.27 % des cas en émettant un positron, accompagné d’un photon γ d’énergie égale à 1.157 MeV. Cet isotope est alors un candidat idéal pour des applications en imagerie TEP. Actuellement, le Cyclotron de haute énergie et haute intensité Arronax produit le ⁴⁴Sc et coproduit son état isomérique le ⁴⁴mSc (2.44 j). Le ⁴⁴mSc a des propriétés (Eᵧ=270 keV, 98.8 %) qui permet d’envisager son utilisation comme potentiel générateur in vivo. Les travaux précédents ont permis de montrer que le ligand DOTA est le plus adapté et le plus stable pour le Sc. Ce travail de thèse a pour but de mettre en évidence la faisabilité du générateur in vivo ⁴⁴m/⁴⁴Sc. Dans un premier temps une procédure a été optimisée et validée pour la production du ⁴⁴m/⁴⁴Sc avec une haute activité spécifique et pureté chimique. Le radiomarquage sur des peptides contenant du DOTA a été ensuite développé et optimisé. Des études théoriques et expérimentales ont été réalisées dans le but de démontrer la faisabilité du ⁴⁴m/⁴⁴Sc comme potentiel générateur in vivo. En fin des études de stabilité in vitro sur des complexes radiomarqués du ⁴⁴m/⁴⁴Sc suivi d’études de biodistribution et d’imagerie TEP ont été réalisées. / Among the different isotopes of Scandium that can be used in nuclear medicine may be mentioned the ⁴⁷Sc and ⁴⁴Sc. The first decays by emitting an electron associated with a 159 keV gamma can thus be used either for radiotherapy or TEMP imaging. The ⁴⁴Sc (3.97 h) decays in 94.27% in case by emitting a positron, with a γ photon energy equal to 1.157 MeV. This isotope is then an ideal candidate for applications in PET imaging. Currently, the Cyclotron of high energy and high intensity ARRONAX produce ⁴⁴Sc and co-produces the isomeric state the ⁴⁴mSc(2.44 d). The ⁴⁴mSc has properties (Eᵧ = 270 keV, 98.8%), which allows to consider its use as a potential in vivo generator. Previous work had demonstrated that the DOTA ligand is most suitable and stable for Sc. This thesis aims; make in evidence the feasibility of the in vivo ⁴⁴m/⁴⁴Sc generator. Initially a procedure was optimized and validated for the production of ⁴⁴m/⁴⁴Sc with a high specific activity and chemical purity. Radiolabeling of DOTA conjugated peptides was then developed and optimized. Theoretical and experimental studies have been performed in order to demonstrate the feasibility of ⁴⁴m/⁴⁴Sc as a potential in vivo generator. Finally, in vitro stability studies on radiolabeled ⁴⁴m / ⁴⁴Sc complexes were performed, followed by biodistribution studies and PET imaging.
40

Détection et localisation de défauts pour un système PV / Faults Detection and Isolation in a PV System

Bun, Long 04 November 2011 (has links)
Comme tout processus industriel, un système photovoltaïque peut être soumis, au cours de son fonctionnement, à différents défauts et anomalies conduisant à une baisse de la performance du système et voire à son indisponibilité. Permettre de diagnostiquer finement et de faire de la détection et de localisation de défauts dans une installation PV réduit les coûts de maintenance et surtout augmente la productivité. Dans ce travail de thèse, nous nous intéressons spécifiquement à la détection et la localisation de défauts côté DC du système PV, c'est-à-dire du côté générateur PV. L'objectif de cette thèse est de proposer, en prenant le moins de mesures possibles pour respecter les contraintes économiques, un algorithme pour détecter et localiser des défauts conduisant à une baisse de production. Pour cela, le choix s'est porté sur l'analyse de la caractéristique I-V du générateur PV pour les différents modes de fonctionnement considérés. Cette analyse a conduit à utiliser la méthode d'inférence pour effectuer le diagnostic de l'installation. Cette démarche a été validée par des expérimentations sur site, des simulations temps-réel et hors temps-réel. / As every industrial process, a photovoltaic system may subject, during his operation, to various faults and abnormalities leading to a drop of its efficiency up to its unavailability. A precise diagnosis and a fault detection and isolation make it possible to reduce the maintenance costs and above all increase the yield. In this work, a focus has been made on the fault detection and isolation in the DC part of the PV system, it means of the PV array. The goal of this work is to propose, by conducting the less possible measurements to meet the economic constraints, an algorithm to detect an isolate the faults causing a drop in the array yield. To achieve this goal, the analysis of the I-V characteristic has been chosen. This analysis leads to the use of the inference method to conduct the diagnosis of the PV plant. This procedure has been validated by on site experiments, real-time simulations and non real-time simulations.

Page generated in 0.0508 seconds