• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 1857
  • 935
  • 762
  • 17
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 3576
  • 3545
  • 2361
  • 1799
  • 1786
  • 1775
  • 811
  • 798
  • 797
  • 789
  • 789
  • 789
  • 788
  • 646
  • 645
  • 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.
181

Interaction affective et expressive. Compagnon artificiel-humain

Riviere, Jeremy 10 October 2012 (has links) (PDF)
Le but de ce travail de thèse est de rendre sincère un Agent Conversationnel Animé (ACA) pour, d'une part, améliorer sa crédibilité du point de vue de l'humain, et d'autre part contribuer à le rendre acceptable dans une relation privilégiée compagnon artificiel - humain. La première partie de ce travail consiste en la création d'un Langage de Conversation Multimodal (LCM) pour ACA, constitué d'Actes de Conversation Multimodaux (ACM) tels que promettre, s'excuser ou exiger : ces ACM permettent à l'agent d'être crédible dans sa sincérité, en exprimant multimodalement ses états mentaux de façon appropriée. Les états mentaux portés par les ACM sont formalisés en logique : la volonté de représenter des états mentaux issus de raisonnements complexes (basés d'une part sur le raisonnement contrefactuel et d'autre part sur les normes et les buts de l'agent), dont l'expression se fait avant tout par le langage (Oatley 1987), a amené à mettre en place le modèle BIGRE (Beliefs, Ideals, Goals, Responsibility, Emotions). Ce modèle, basé sur une logique de type BDI (Belief, Desire, Intention), permet de représenter également des émotions que nous appelons complexes, telles que la réjouissance, la gratitude ou le regret. La catégorie expressive des ACM contient les actes exprimant ces émotions complexes (e.g. remercier, regretter) : l'expression se fait par le langage, conjointement aux autres expressions multimodales appropriées. Le LCM est implémenté dans l'ACA Greta, ce qui permet une évaluation de ce langage en termes de crédibilité et de sincérité perçues par l'humain. La deuxième partie de ce travail porte sur les capacités de raisonnement de l'ACA : dans le but de permettre à l'agent de raisonner dans le dialogue, c'est-à-dire mettre à jour ses états mentaux et ses émotions et sélectionner son intention communicative, un moteur de raisonnement a été mis en place. Ce moteur de raisonnement est basé sur le cycle de comportement BDI - Perception, Décision, Action - et les opérateurs du modèle BIGRE, permettant ainsi la manipulation d'états mentaux issus de raisonnements complexes (dont les émotions complexes). Les ACM qui composent notre langage sont intégrés dans le moteur, et sont utilisés pour atteindre l'intention communicative de l'ACA : par exemple, si l'agent a l'intention d'exprimer sa gratitude, il construit un plan pour satisfaire son intention, formé des ACM remercier ou féliciter, selon le degré de l'émotion. Un type d'intention communicative, déclenché par des règles d'obligation du discours, participe à la régulation locale du dialogue. L'ACA étant de plus affectif, sa sincérité l'amène à exprimer toutes ses émotions. La généricité de ce moteur de raisonnement permet de l'implémenter dans l'ACA Greta (où il est en lien avec le LCM) et dans l'agent MARC. L'expression multimodale des ACM avec l'agent MARC a été rendue possible par l'intégration des checks de Scherer dans le moteur de raisonnement que nous avons adapté au contexte du dialogue. Une évaluation du moteur de raisonnement avec l'agent MARC montre que les états mentaux déduits par le moteur sont appropriés à la situation, et que leur expression (l'expression de la sincérité de l'agent) est également appropriée.
182

Intégration en technologie CMOS d'un modulateur plasmonique à effet de champ CMOS Integration of a field effect plasmonic modulator

Emboras, Alexandros 10 May 2012 (has links) (PDF)
Dans la réalisation de circuits intégrés hybrides électroniques - photoniques pour les réseaux télécom, les modulateurs intégrés plasmoniques pourront jouer un role essentiel de codage de l'information en signaux optiques. Cette thése montre la réalisation d'une approche modulateur plasmonique a effet de champ, intégrée en silicium en utilisant les technologies CMOS standards. Ce modulateur MOS plasmonique présente diverses propriétés intéressantes, a savoir un confinement optique fort, permettant une augmentation de l'interaction lumiére matiére. Ces modulateurs plasmoniques permettent aussi de réduire l'inadéquation entre la taille des dispositifs en photonique Si et celle de l' électronique, ce qui permet d'envisager une convergence de leur fabrication en technologie VLSI sur une meme puce. Le modulateur étudié dans ce mémoire repose sur l'accumulation de porteurs dans un condensateur MOS a grille cuivre integer dans un guide d'onde en silicium, nécessitant aux technologies front end et back end Cu d etre combinés de quelques nanométres l'une de l'autre. Nous présentons aussi de nouveaux designs pour injecter de la lumiére a partir de guide d'onde SOI dans un guide a nanostructure plasmonique et les mesures d'une modulation électro-optique dans les structures MOS plasmoniques
183

Intensification des processus de transfert de chaleur par ultrasons, vers un nouveau type d'échangeur de chaleur : l'échangeur vibrant

Legay, Mathieu 26 October 2012 (has links) (PDF)
Ce travail de thèse concerne l'étude de l'influence des ultrasons sur les transferts de chaleur. Il a été réalisé à partir de la conception d'un échangeur de chaleur dont la structure peut être mise en vibration à sa fréquence de résonance dans la gamme des ondes ultrasonores : 35 kHz. L'influence des ultrasons sur l'augmentation des transferts thermiques a ainsi pu être mise en évidence directement au sein du système. L'étude bibliographique a mis en avant l'originalité de ce travail, qui correspond à une première approche relative à un échangeur fluide-fluide. La conception de l'échangeur, du banc d'essais et du système d'acquisition dédiés a fait l'objet de la première partie de ce travail. Ensuite, la mise au point de méthodes pour l'analyse des performances énergétiques et leur implémentation ont constitué une deuxième partie. Enfin, des configurations opératoires variées (régimes d'écoulement, configurations hydrauliques, matériaux constitutifs, ...) ont pu être étudiées. De plus, le potentiel des ultrasons quant à la réduction de l'encrassement au sein de l'échangeur a aussi été mis en évidence.
184

Intégration du déploiement de flotte et du service aux passagers dans la gestion de la planification pour compagnie aérienne

Duquesne, Christophe-Marie 14 January 2013 (has links) (PDF)
Étant donnés un planning aérien et des prévisions de demande, le problème d'affectation de flotte aérienne consiste à déterminer la meilleure façon de répartir les types d'appareils sur les vols. Cette répartition a un impact majeur sur le profit d'une compagnie aérienne, puisqu'elle détermine les quantités de places disponibles sur les itinéraires du réseau aérien, ainsi que le coût de fonctionnement de celui-ci. Des décennies de recherche ont rendues les modélisations de ce problème de plus en plus réalistes. Cette thèse s'inscrit dans la continuité de ces recherches en considérant le problème d'affectation de flotte dans un contexte où les demandes des passagers sont incertaines. Nous proposons dans un premier temps une étude autour des deux modèles de la littérature les plus utilisés dans l'industrie, FAM et IFAM. Nous montrons que FAM peut être vu comme une Relaxation Lagrangienne de IFAM, avec des multiplicateurs Lagrangiens particuliers. Nous implémentons cette relaxation, et nous appliquons des résultats connus pour l'étendre en une génération de colonnes basée sur une décomposition de Dantzig-Wolfe de IFAM. Nous étudions ensuite les effets que l'imprécision des prévisions peut avoir sur la performance d'IFAM, et nous présentons au terme de cette étude une nouvelle approche pour modéliser le problème d'affectation de flotte. Notre modèle, Market Driven Fleet Assignment Model (MDFAM), intègre les demandes par itinéraires comme variables de décision, et contraint ces demandes plutôt que de les considérer comme une entrée fixe. Nous appelons les contraintes résultantes des contraintes de Marché. Nous illustrons la flexibilité de cette approche à travers divers exemples, et nous proposons une série d'expériences visant à déterminer quelles sont les contraintes de marché donnant les meilleurs résultats. Nous comparons les différents modèles, et nous montrons que MDFAM peut atteindre des niveaux de performance similaires à ceux offert par IFAM, tout en étant plus facile à utiliser et à implémenter.
185

Investigation of magnetized radio frequency plasma sources for electric space propulsion

Gerst, Jan Dennis 08 November 2013 (has links) (PDF)
The PEGASES thruster (Plasma Propulsion with Electronegative Gases) is a novel type of electric thruster for space propulsion. It uses negative and positive ions produced by an inductively coupled radio frequency discharge to create the thrust by electrostatically accelerating the ions through a set of grids. A magnetic filter is used to increase the amount of negative ions in the cavity of the thruster. The PEGASES thruster is not only a source to create a strongly negative ion plasma or even an ion-ion plasma but it can also be used as a classical ion thruster. This means that a plasma is created and only the positive ions are extracted and accelerated making it necessary to neutralize the plasma behind the acceleration stage like in other ion thrusters. The performances of the PEGASES thruster have been investigated mainly in xenon in order to compare the obtained results with RIT-type ion thrusters. The thruster has been investigated with the help of a variety of probes such as a Langmuir probe, a planar probe, a capacitive probe and a RPA (Retarding Potential Analyzer). In addition, an ExB probe has been developed to measure the velocity of the ions leaving the thruster and to differentiate between the ion species present in the plasma.
186

IRM du manganèse (MEMRI) : couplage à l'imagerie chimique par microsonde synchrotron pour optimiser l'imagerie fonctionnelle du transport neuronal

Daoust, Alexia 13 November 2012 (has links) (PDF)
Résumé Le manganèse (Mn2+) est un élément essentiel du corps humain. Ses propriétés paramagnétiques permettent son utilisation comme agent de contraste pour l'IRM (Mn-MRI ou MEMRI). Analogue du calcium (Ca2+), il pénètre les neurones essentiellement par les canaux calciques. Il est ensuite transporté le long des microtubules jusqu'aux synapses où il est libéré, puis capturé par les autres neurones. Ainsi, il peut rendre compte du transport axonal antérograde et rétrograde. L'approche MEMRI peut ainsi apporter des informations uniques sur la connectivité fonctionnelle cérébrale. Toutefois, deux problèmes limitent l'emploi de ce puissant outil d'imagerie in vivo : (i) A doses élevées, le Mn2+ est toxique pour l'organisme et peut provoquer une atteinte grave du système nerveux central, appelé manganisme. Les niveaux et les mécanismes de toxicité sont mal connus. (ii) Le mode de transport du manganèse dans l'approche MEMRI est mal connu. Afin d'apporter des éléments de réponse à ces deux problèmes, nous avons entrepris une étude couplant IRM et microscopie synchrotron pour mieux comprendre le comportement du Mn2+ in vivo. Nous avons précisé les distributions cellulaire et sub-cellulaire du Mn et d'autres métaux pour un modèle de cellules de type neuronal (lignée de neuroblastome N2A), pour des cultures primaires de neurones hippocampiques, mais aussi au niveau de coupes d'hippocampe de rats. En parallèle, nous avons étudié les effets du Mn sur le métabolisme cérébral par une technique de RMN-HRMAS du proton. Pour compléter ce travail, nous avons mis en œuvre l'imagerie MEMRI chez les souris KO MAP6 présentant un déficit d'une protéine stabilisatrice des microtubules pour évaluer la connectivité fonctionnelle du tract thalamo-cortical. Mots clés Hippocampe, MAP6, manganèse, métabolisme, métal, neurone, MRI, rongeurs, synchrotron.
187

L'efficacité d'usage énergétique : pour une meilleure gestion de l'énergie électrique intégrant l'usager dans les bâtiments

Chenailler, Hervé 17 April 2012 (has links) (PDF)
La consommation énergétique, et en particulier électrique, des bâtiments est grandement influencée par le comportement de ses usagers. L'analyse de l'usage électrique au travers d'un retour d'expérience réalisé sur une plateforme bâtiment-test nous a permis d'identifier qu'il pouvait exister différentes formes de satisfactions des usagers remettant en question la notion même d'efficacité énergétique d'un bâtiment. Afin de pouvoir intégrer l'acteur humain dans la conception de systèmes complexes bâtiment, nous proposons de définir la notion d'efficacité énergétique d'usage (EUE). Cette notion repose en particulier sur la satisfaction des usagers vis à vis d'un service que l'on a pu décomposer et quantifier au travers de fonctions de satisfaction rationnelles et sensibles. Le but de cette proposition est la construction d'un diagramme de compromis Coût / Satisfaction qui se positionne à la fois comme un outil effectif d'aide à la décision pour la conception de systèmes énergétiques du bâtiment intégrant l'usager et comme outil d'aide à la sobriété énergétique.
188

La mémoire dans les algorithmes à colonie de fourmis : applications à l'optimisation combinatoire et à la programmation automatique

Roux, Olivier 13 December 2001 (has links) (PDF)
Dans ce mémoire, nous presentons les meta-heuristiques inspirées du comportement des fourmis lors de la recherche de nourriture, les OCF. Nous confrontons ces méthodes face aux principales méta-heuristiques connues. Pour cela, nous proposons de nous placer sous le point de vue de l'utilisation de la mémoire et nous présentons taxinomie qui étend celle des AMP. Nous proposons deux nouvelles adaptations du modéle des fourmis. La premiere est l'algorithme ANTabu, il s'agit d'une méthode hybride pour la résolution du PAQ. Il associe l'utilisation des fourmis artificielles et d'une méthode de recherche locale robuste : la recherche tabou. Le parallélisme intrinseque des systèmes de fourmis nous a amene a developper un modele paralléle pour ANTabu.<br />Cette méthode intègre également une puissante fonction de diversification et l'utilisation de bornes qui lui permettent d'eviter d'être piege au niveau d'optima locaux.<br />La seconde application développee est AP, cet algorithme est l'adaptation du modèle de coopération des fourmis a la programmation automatique. Son mécanisme de fonctionnement<br />est simple, puisque à chaque itération on crée une nouvelle population en utilisant l'information emmagasinée par la phéromone. L'intérêt de cette gestion de l'information est qu'elle n'utilise pas de mécanismes complexes. Nous présentons cette méthode face a l'algorithme de base tel que Koza l'a défini.
189

Le diamant pour la bioélectronique : de la fonctionnalisation chimique à la modification physique par des nanotubes de carbone

Ruffinatto, Sebastien 10 February 2012 (has links) (PDF)
Le contexte scientifique de cette thèse s'inscrit dans le domaine de la bioélectronique et l'objectif vise la mise au point de dispositifs diamant pour des applications en chimie analytique, diagnostic clinique ou encore dans le domaine médical. Un des axes de travail est basé sur la mise au point d'une nouvelle technique de fonctionnalisation du diamant hydrogéné. Cette méthode est rapide, simple, mono-étape et ne nécessite pas d'apport extérieur d'énergie. La caractérisation du greffage par FTIR a permis de proposer un mécanisme réactionnel qui a été corroboré par l'étude de la cinétique réactionnelle. Nous avons mis en évidence que ce procédé permet l'obtention d'une liaison covalente stable carbone-carbone. Elle se révèle particulièrement adaptée à l'immobilisation directe d'espèces biologiques. En utilisant cette technique de greffage, il a été possible de concevoir des biopuces à ADN et protéines, ainsi qu'un biocapteur au peroxyde d'hydrogène de troisième génération. Enfin, le procédé étant basé sur la simple mise en contact de la solution de greffage avec le substrat, il est possible de structurer les dépôts à l'échelle nanométrique en faisant appel au Dip-Pen Nanolithography. En parallèle, un nouveau matériau composite diamant/nanotubes de carbone a été mis au point pour augmenter la surface développée des électrodes de diamant dopé au bore et en accroitre ainsi les performances. Dans ce cadre, une technique de gravure catalytique assistée par filament chaud a été utilisée pour enterrer des nanoparticules dans la couche diamant. Ces dernières assurent par la suite la croissance des nanotubes de carbone par dépôt chimique en phase vapeur. Cette méthodologie assure ainsi une meilleure adhérence des nanotubes sur leur substrat et permet de pallier aux problèmes de toxicité des nanotubes vis-à-vis des milieux biologiques.
190

Artificial Intelligence Models for Large Scale Buildings Energy Consumption Analysis

Zhao, Haixiang 28 September 2011 (has links) (PDF)
The energy performance in buildings is influenced by many factors, such as ambient weather conditions, building structure and characteristics, occupancy and their behaviors, the operation of sub-level components like Heating, Ventilation and Air-Conditioning (HVAC) system. This complex property makes the prediction, analysis, or fault detection/diagnosis of building energy consumption very difficult to accurately and quickly perform. This thesis mainly focuses on up-to-date artificial intelligence models with the applications to solve these problems. First, we review recently developed models for solving these problems, including detailed and simplified engineering methods, statistical methods and artificial intelligence methods. Then we simulate energy consumption profiles for single and multiple buildings, and based on these datasets, support vector machine models are trained and tested to do the prediction. The results from extensive experiments demonstrate high prediction accuracy and robustness of these models. Second, Recursive Deterministic Perceptron (RDP) neural network model is used to detect and diagnose faulty building energy consumption. The abnormal consumption is simulated by manually introducing performance degradation to electric devices. In the experiment, RDP model shows very high detection ability. A new approach is proposed to diagnose faults. It is based on the evaluation of RDP models, each of which is able to detect an equipment fault.Third, we investigate how the selection of subsets of features influences the model performance. The optimal features are selected based on the feasibility of obtaining them and on the scores they provide under the evaluation of two filter methods. Experimental results confirm the validity of the selected subset and show that the proposed feature selection method can guarantee the model accuracy and reduces the computational time.One challenge of predicting building energy consumption is to accelerate model training when the dataset is very large. This thesis proposes an efficient parallel implementation of support vector machines based on decomposition method for solving such problems. The parallelization is performed on the most time-consuming work of training, i.e., to update the gradient vector f. The inner problems are dealt by sequential minimal optimization solver. The underlying parallelism is conducted by the shared memory version of Map-Reduce paradigm, making the system particularly suitable to be applied to multi-core and multiprocessor systems. Experimental results show that our implementation offers a high speed increase compared to Libsvm, and it is superior to the state-of-the-art MPI implementation Pisvm in both speed and storage requirement.

Page generated in 0.0303 seconds