• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 304
  • 148
  • 103
  • 37
  • 3
  • 1
  • 1
  • 1
  • Tagged with
  • 578
  • 177
  • 121
  • 111
  • 65
  • 63
  • 60
  • 47
  • 45
  • 44
  • 44
  • 38
  • 36
  • 35
  • 34
  • 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.
211

Bases génétiques et écologiques de la diversification adaptative chez Escherichia coli

Plucain, Jessica 11 December 2012 (has links) (PDF)
Les processus de diversification adaptative, qui sont au cœur de la diversité du monde vivant, ont été étudiés grâce à une stratégie d'évolution expérimentale, initiée par le Pr Richard Lenski en 1988. Douze populations, fondées à partir d'un ancêtre commun d'Escherichia coli, sont propagées indépendamment depuis plus de 55 000 générations par transferts journaliers dans un milieu minimum limité en glucose. Un événement de diversification a émergé après 6500 générations d'évolution dans une seule des douze populations, appelée Ara-2, conduisant à deux lignées cellulaires différenciées, appelées S et L, qui continuent de co-exister depuis notamment grâce à des interactions négatives dépendant de leur fréquence. Deux propriétés confèrent à ce polymorphisme une grande originalité et donc un intérêt d'étude important : sa durée car il s'agit du plus long polymorphisme jamais identifié lors d'expériences d'évolution en laboratoire, et son unicité puisqu'il ne s'est produit qu'une seule fois au sein des douze populations initiées à partir d'un ancêtre commun. L'objectif de ce travail a été d'identifier les mécanismes du maintien au long terme des lignées S et L, ainsi que les bases génétiques de leur émergence. Le maintien du polymorphisme est lié à une forte dynamique des relations écologiques entre S et L, l'une des lignées envahissant systématiquement les niches écologiques de l'autre, qui réagit en conséquence pour éviter l'extinction. L'émergence de la lignée S est due à une succession précise de trois mutations, nécessaires et suffisantes pour établir les phénotypes de la lignée S. Les trois mutations affectent toutes des gènes codant des régulateurs globaux de la transcription, dont deux sont impliqués dans la régulation du métabolisme central. Pour l'un d'entre eux, l'allèle évolué altère les propriétés de liaison à l'ADN de la protéine évoluée. Bien que ce polymorphisme soit unique, ces trois gènes sont pourtant les cibles de la sélection naturelle dans la majorité des autres populations de l'expérience d'évolution. Pour deux d'entre eux, seul l'allèle substitué dans la population Ara-2 confère en fait les phénotypes de la lignée S. Ainsi, l'unicité de cet événement de diversification est liée à une succession d'événements mutationnels très précis, qui affectent par ailleurs les réseaux globaux de l'expression des gènes. Ces modifications graduelles ont ainsi conduit à l'émergence du plus long polymorphisme mis en évidence à ce jour dans des expériences d'évolution en laboratoire.
212

Commande variante dans le temps pour le contrôle d'attitude de satellites

Luzi, Alexandru 11 February 2014 (has links) (PDF)
Dans le domaine de la commande par roues à réaction de l'attitude des satellites, la synthèse de correcteurs couvrant des plages de fonctionnement étendues reste un problème ouvert. En effet, les limitations des actionneurs font que l'utilisation d'une loi invariante sur tout le domaine considéré ne peut pas être envisagée. Apparait ainsi un besoin de mettre en place des stratégies de commande à temps variant. Ce besoin a motivé nos travaux de recherche, orientés vers la commande LPV et la commande adaptative directe. Après la présentation d'une solution de commande existante en début de nos travaux, nous nous orienterons, au cours de cette présentation, vers la commande adaptative. Ce domaine inclut la plupart des contributions, aussi bien théoriques que pratiques, apportées au cours de la thèse. Plus spécifiquement, les lois de commande auxquelles nous nous sommes intéressées s'expriment sous la forme d'un retour de sortie qui varie en fonction de signaux mesurés. A ce niveau, les outils que nous avons développés permettent de synthétiser des lois structurées, l'adaptation de chaque gain de commande étant réalisée de manière indépendante, en fonction des spécificités du procédé à contrôler. Les preuves de stabilité en boucle fermée se basent sur des outils de la théorie de Lyapunov, spécifiques à la commande adaptative, mais également à la commande robuste. Cette combinaison permet d'établir des preuves de stabilité asymptotique pour des lois d'adaptation structurées faisant apparaitre, entre autre, la sigma-modification. De nombreux degrés de liberté sont laissés à la disposition du concepteur de la loi de commande, la structure proposée présentant ainsi une grande flexibilité. D'autres paramètres sont déterminés de façon systématique pour garantir stabilité et robustesse. Au niveau de la commande du satellite nous avons obtenu, grâce à ces résultats, des correcteurs permettant d'adapter l'agilité de la structure en fonction des capacités disponibles du système d'actionnement à bord. Ces développements ont été récemment validés par la campagne d'essais en vol mise en place par le Cnes sur le satellite Picard. Ces essais, dont nous présenterons les résultats en avant-première lors de la soutenance, illustrent que les lois de commande proposées sont appropriées à une mise en œuvre pratique. Elles se montrent en effet robustes aux différentes non-linéarités du système ainsi qu'aux perturbations liées à l'environnement orbital.
213

Commande variante dans le temps pour le contrôle d'attitude de satellites

Luzi, A.R. 04 February 2014 (has links) (PDF)
Cette thèse porte sur la commande variant dans le temps avec comme fil directeur une application satellite. Nous avons étudié trois types de commande: une commande à commutation, une commande LPV et une commande adaptative directe. Pour cette dernière nous avons proposé des résultats théoriques nouveaux portant sur la structuration du gain et de l'adaptation. Les résultats ont été validés en simulation et sont testés à bord d'un satellite. L'application que nous considérons au cours de cette étude est la commande d'attitude des satellites par roues à réaction. A partir des limitations de ces actionneurs, nous exposons dans un premier temps le besoin de mettre en place des lois de commande qui varient selon les conditions de fonctionnement. En particulier, on cherche des correcteurs assurant une réponse rapide lorsque l'erreur d'attitude est faible, tout en limitant l'effort de commande lorsque le satellite se trouve loin de sa position de consigne. En partant des résultats préliminaires portant sur la commande à commutation, actuellement utilisée sur les satellites Myriade, une première partie de nos travaux est dédiée à la commande LPV. Une méthode de synthèse est développée, permettant d'obtenir de nouveaux algorithmes exprimés dans ce formalisme. L'approche que nous proposons se base sur la spécification des objectifs de commande à travers un modèle de référence LPV qui décrit le comportement idéal en boucle fermée. Testées en simulation, les lois de commande LPV obtenues répondent à la problématique de notre application. Toutefois, le choix du modèle de référence LPV s'avère délicat. Cette difficulté a été levée en utilisant la commande adaptative. Dans cette approche, les spécifications concernant les comportements aux dépointages faibles et forts sont traduites par des contraintes au niveau des lois d'adaptation des gains de commande. Nous introduisons ainsi une nouvelle méthode de synthèse permettant d'obtenir des lois adaptatives structurées. Les preuves de stabilité en boucle fermée se basent sur des outils de la théorie de Lyapunov, spécifiques à la commande adaptative, mais également à la commande robuste. Cette combinaison permet d'établir des preuves de stabilité asymptotique pour des lois d'adaptation structurées faisant apparaitre, entre autre, la sigma-modification. Plusieurs lois ainsi obtenues ont été testées sur un simulateur complet du un modèle non-linéaire d'un satellite dans son environnement orbital. Les résultats montrent l'intérêt de l'utilisation de tels algorithmes adaptatifs, qui permettent en particulier de modifier la dynamique du satellite en fonction des capacités disponibles des actionneurs. Sur la base de ces résultats positifs, une campagne d'essais en vol sur le satellite Picard est actuellement en cours.
214

Développement de méthodes intelligentes pour la gestion énergétique des bâtiments, utilisant des capteurs sans fil

Nguyen, Nhat hai 11 July 2011 (has links) (PDF)
L'utilisation des charges de manière active et intelligente et leur gestion optimale sont parmiles préoccupations majeures des gestionnaires, des fournisseurs, des commercialisateurs et desconsommateurs d'énergie, et constitue l'un de axes privilégies du projet smart-grid.L'objectif de cette thèse est de développer et réaliser un système de pilotage des charges desbâtiments résidentiels ou tertiaires en temps réel en utilisant des réseaux de capteurs sans fil. Lesméthodes de gestion de charge ont été développées afin de minimiser les pics de consommation,maintenir le confort thermique et minimiser le coût global de consommation. Une conception dusystème de gestion des charges en temps réel sans fil a été proposée avec la communicationstandardisée ZigBee. Des démonstrateurs basés sur la régulation adaptative des chauffages et desclimatisations d'une part et sur une méthode de délestage doux pour des cuisinières d'autre part ontété développés. Le prototype du système proposé a été réalisé et testé lors de campagnes demesures sur un appartement expérimental afin de montrer l'intérêt et les performances des méthodesproposées. Le système développé permet d'éviter l'utilisation des modèles prédictifs qui sont trèsdifficiles à identifier et à reconfigurer en cas d'ajout de nouveaux appareils électriques dans lesbâtiments contrôlés.
215

Simulation de la diffraction par des réseaux lamellaires 1D par la méthode modale en différences finies et la méthode des moments en coordonnées paramétriques

Andriamanampisoa, Lala Bakonirina 17 December 2010 (has links) (PDF)
Ce manuscrit est consacré à l'amélioration des deux méthodes numériques : MMDF et Méthode des Moments avec la technique de la RSA. Dans un premier temps, on présente les outils théoriques sur l'étude du problème de la diffraction par des réseaux lamellaires, éclairée sous incidence classique et les outils de simulation pour résoudre les équations de Maxwell. On choisit comme fonctions de base et de test, les fonctions triangles. On introduit par la suite, la technique de la RSA afin d'améliorer la vitesse de convergence de calcul. Les résultats obtenus sont comparés à ceux de la méthode MMFE et la méthode MMDF de "Lalanne et al". Une étude numérique de la stabilité et de la convergence de la méthode est effectuée. Enfin, on présente une extension de la Méthode des Moments basée sur l'hypothèse de Galerkin au cas de l'incidence conique. Le détail de la résolution des équations Maxwell est décrit. L'application numérique est traitée dans le cas du réseau diélectrique pour mettre au point les influences de l'état de la polarisation et les paramètres physiques.
216

etude, optimisation et implémentation en silicium du circuit de conditionnement intelligent haute-tension pour le système de récupération électrostatique d'énergie vibratoire

Dudka, Andrii 18 February 2014 (has links) (PDF)
La récupération de l'énergie des vibrations est un concept relativement nouveau qui peut être utilisé dans l'alimentation des dispositifs embarqués de puissance à micro-échelle avec l'énergie des vibrations omniprésentes dans l'environnement. Cette thèse contribue à une étude générale des récupérateurs de l'énergie des vibrations (REV) employant des transducteurs électrostatiques. Un REV électrostatique typique se compose d'un transducteur capacitif, de l'électronique de conditionnement et d'un élément de stockage. Ce travail se concentre sur l'examen du circuit de conditionnement auto-synchrone proposé en 2006 par le MIT, qui combine la pompe de charge à base de diodes et le convertisseur DC-DC inductif de type de flyback qui est entraîné par le commutateur. Cette architecture est très prometteuse car elle élimine la commande de grille précise des transistors utilisés dans les architectures synchrones, tandis qu'un commutateur unique se met en marche rarement. Cette thèse propose une analyse théorique du circuit de conditionnement. Nous avons développé un algorithme qui par commutation appropriée de flyback implémente la stratégie de conversion d'énergie optimale en tenant compte des pertes liées à la commutation. En ajoutant une fonction de calibration, le système devient adaptatif pour les fluctuations de l'environnement. Cette étude a été validée par la modélisation comportementale.Une autre contribution consiste en la réalisation de l'algorithme proposé au niveau du circuit CMOS. Les difficultés majeures de conception étaient liées à l'exigence de haute tension et à la priorité de la conception faible puissance. Nous avons conçu un contrôleur du commutateur haute tension de faible puissance en utilisant la technologie AMS035HV. Sa consommation varie entre quelques centaines de nanowatts et quelques microwatts, en fonction de nombreux facteurs - paramètres de vibrations externes, niveaux de tension de la pompe de charge, la fréquence de la commutation de commutateur, la fréquence de la fonction de calibration, etc.Nous avons également réalisé en silicium, fabriqué et testé un commutateur à haute tension avec une nouvelle architecture de l'élévateur de tension de faible puissance. En montant sur des composants discrets de la pompe de charge et du circuit de retour et en utilisant l'interrupteur conçu, nous avons caractérisé le fonctionnement large bande haute-tension du prototype de transducteur MEMS fabriqué à côté de cette thèse à l'ESIEE Paris. Lorsque le capteur est excité par des vibrations stochastiques ayant un niveau d'accélération de 0,8 g rms distribué dans la bande 110-170 Hz, jusqu'à 0,75 µW de la puissance nette a été récupérée.
217

Étude de la physiopathologie de l'infection Chikungunya en phase aiguë et chronique chez l'homme

Jaffar-Bandjee, Marie-Christine 12 October 2010 (has links) (PDF)
Chikungunya est un alphavirus transmis par les moustiques (Aedes) et qui provoque de la fièvre, des éruptions cutanées, des myalgies et des arthralgies. La maladie (CHIKVD) est transitoire, mais des formes sévères menant à des arthrites chroniques incapacitantes ont été signalées. Nous avons dans un premier temps étudié prospectivement les paramètres cliniques et immunologiques associés à la maladie chez des patients hospitalisés et identifiés comme étant 'guéris' ou 'chronique' à M12 après l'infection. Dans la deuxième partie, nous avons observé in vitro les mécanismes et le rôle de l'apoptose dans le processus infectieux permettant au virus de persister dans les sanctuaires tissulaires. En phase aiguë, une forte réponse immune dominée par une activation des cellules NK/dendritique/cellules T, la production d'anticorps spécifiques et une faible production de cytokines Th1 > Th2 a été observée mais sans aucune différence significative entre les deux groupes. Cependant, la virémie initiale s'est révélée beaucoup plus élevée dans le groupe chronique est nous avons pu identifier du matériel viral dans les macrophages du tissu synovial d'un patient chronique post-CHIKVD (M18). Dans la deuxième partie de l'étude, nous avons constaté que CHIKV est capable d'induire l'apoptose par la voie intrinsèque et extrinsèque et également par un mécanisme 'bystander'. De plus, nous avons observé que le CHIKV présent dans des corps (blebs) apoptotiques était capable d'infecter les cellules voisines (Hela et macrophage MM6). Notre étude a permis de mettre en évidence pour la première fois que CHIKV contrôle et détourne à son profit les mécanismes de défense anti-infectieux.
218

Contrôle autonome d'opérateurs pour la recherche locale

Veerapen, Nadarajen 29 November 2012 (has links) (PDF)
Au fil des années, un nombre croissant de méthodes de résolution ont été proposées afin de traiter des problèmes plus grands et plus complexes. Parmi ces méthodes, les métaheuristiques sont largement utilisées dans le monde académique et industriel afin de résoudre efficacement des problèmes d'optimisation et de satisfaction de contraintes. Toutefois la conception de métaheuristiques de plus en plus performantes produit souvent des systèmes fortement complexes dont l'utilisation demande une expertise non négligeable aussi bien du problème lui-même que de la façon de paramétrer la méthode de résolution. Concevoir des algorithmes de recherche autonomes est donc une question importante. Cette thèse traite du problème de la gestion et de la sélection d'opérateurs dans le contexte de la recherche locale, au sein d'un contrôleur générique. Celui a pour but de pouvoir être réutilisé facilement pour traiter différents problèmes. Nous nous attachons donc à concevoir des méthodes simples et robustes. La sélection des opérateurs se base sur un apprentissage des performances antérieures de chaque opérateur afin de déterminer les opérateurs vraisemblablement les plus bénéfiques à chaque pas de la recherche. Pour effectuer ces choix, le contrôleur se base sur la capacité des opérateurs à améliorer la qualité des solutions ainsi que sur la faculté de produire des solutions qui diffèrent de celles déjà obtenues. Les méthodes proposées sont testées sur différents problèmes théoriques et pratiques d'optimisation combinatoire et de satisfaction de contraintes. Les résultats obtenus montrent qu'il est possible d'obtenir des résultats corrects avec des méthodes simples. Les mécanismes adaptatifs proposés se révèlent robustes sur différents problèmes.
219

Développement de nouveaux outils de traitement et d’analyse pour l’optique adaptative grand champ / Development of new processing and analyses tools for wide field adaptive optics

Bernard, Anaïs 27 October 2017 (has links)
Nous allons assister au cours de la prochaine décennie, à la première lumière des nouveaux Extremely Large Telescopes. Leur grande taille (de 25 à 39 m de diamètre) permet d’augmenter à la fois leur sensibilité et leur résolution angulaire. Cependant, la résolution angulaire d'un télescope terrestre, est toujours limitée par la turbulence atmosphérique. Pour pallier à ce problème, les grands télescopes sont désormais équipés d'instruments d’Optique Adaptative (OA). L’OA est une technique qui permet d’analyser les effets de la turbulence et de les compenser en temps réel à l’aide de miroirs déformables. En complément, la plupart des télescopes de la génération 8-10 m sont maintenant équipés de systèmes d’étoiles lasers qui permettent d’augmenter la proportion du ciel pouvant bénéficier d’une correction par OA: on parle alors d'Optique Adaptative Grand Champ (OAGC). Malgré les excellentes performances de ces systèmes, la correction apportée aux images reste partielle et des résidus de correction limitent encore leur qualité. Pour extraire les meilleurs résultats scientifiques des images issues de l'OAGC, il est donc essentiel d'optimiser les outils de réduction et d'analyse de données. La première partie de cette thèse détaille une analyse astrophysique de données OAGC ayant pour but d'étudier la formation des étoiles massives dans un environnement extra-galactique. Au delà des résultats scientifiques nouveaux, cette étude a permis de mettre en évidence les termes d'erreur limitant l'analyse scientifique de données OAGC. La seconde partie de cette thèse est dédiée au développement d'un nouvel outil de correction de la distorsion permettant de réduire ces termes d'erreurs. / The next decade will see the first light of the new Extremely Large Telescopes. Their large diameter (from 25 to 39 meters across), increases both their sensitivity and their angular resolution. However, angular resolution of all sizes ground-based telescope is always strongly limited by the atmospheric turbulence. To tackle this problem and fully exploit their capabilities, large optical telescopes are now indissociable of their Adaptive Optics (AO) instruments. AO is a technic that consists in analyzing the effects of turbulence on the wavefront and compensating for it in real time, thanks to one or several deformable mirrors in order to restore the initial angular resolution of optical telescopes. In addition, most of the 8-10 meters telescopes are supplied with laser guide stars systems in order to increase the portion of the sky that can benefit for such an AO correction. Such systems are called Wide Field AO (WFAO). However, despite the excellent performance of such systems, the correction performed is not perfect and some residuals still limit the image quality. In order to get the best science results out of the WFAO images, dedicated and optimized reduction and analyses tools are needed. The first part of this document present an astrophysics analyses of WFAO images aiming to study massive star formation in an extra-galactic environment. In addition to new science results, the study carried out on these observations has enable to highlight the critical parameters that limit the scientific analyses of Wide Field AO data. The second part of this document is dedicated to the development of a new distorsion correction tool that aims to reduce these error terms.
220

Algorithmes pour la dynamique moléculaire restreinte de manière adaptative / Algorithms for adaptively restrained molecular dynamics

Singh, Krishna Kant 08 November 2017 (has links)
Les méthodes de dynamique moléculaire (MD pour Molecular Dynamics en anglais) sont utilisées pour simuler des systèmes volumineux et complexes. Cependant, la simulation de ce type de systèmes sur de longues échelles temporelles demeure un problème coûteux en temps de calcul. L'étape la plus coûteuse des méthodes de MD étant la mise à jour des forces entre les particules. La simulation de particules restreintes de façon adaptative (ARMD pour Adaptively Restrained Molecular Dynamics en anglais) est une nouvelle approche permettant d'accélérer le processus de simulation en réduisant le nombre de calculs de forces effectués à chaque pas de temps. La méthode ARMD fait varier l'état des degrés de liberté en position en les activants ou en les désactivants de façon adaptative au cours de la simulation. Du fait, que le calcul des forces dépend majoritairement de la distance entre les atomes, ce calcul peut être évité entre deux particules dont les degrés de liberté en position sont désactivés. En revanche, le calcul des forces pour les particules actives (i.e. celles dont les degrés de liberté en position sont actifs) est effectué. Afin d'exploiter au mieux l'adaptabilité de la méthode ARMD, nous avons conçu de nouveaux algorithmes permettant de calculer et de mettre à jour les forces de façon plus efficace. Nous avons développé des algorithmes permettant de construire et de mettre à jour des listes de voisinage de manière incrémentale. En particulier, nous avons travaillé sur un algorithme de mise à jour incrémentale des forces en un seul passage deux fois plus rapide que l'ancien algorithme également incrémental mais qui nécessitait deux passages. Les méthodes proposées ont été implémentées et validées dans le simulateur de MD appelé LAMMPS, mais elles peuvent s'appliquer à n'importe quel autre simulateur de MD. Nous avons validé nos algorithmes pour différents exemples sur les ensembles NVE et NVT. Dans l'ensemble NVE, la méthode ARMD permet à l'utilisateur de jouer sur le précision pour accélérer la vitesse de la simulation. Dans l'ensemble NVT, elle permet de mesurer des grandeurs statistiques plus rapidement. Finalement, nous présentons des algorithmes parallèles pour la mise à jour incrémentale en un seul passage permettant d'utiliser la méthode ARMD avec le standard Message Passage Interface (MPI). / Molecular Dynamics (MD) is often used to simulate large and complex systems. Although, simulating such complex systems for the experimental time scales are still computationally challenging. In fact, the most computationally extensive step in MD is the computation of forces between particles. Adaptively Restrained Molecular Dynamics (ARMD) is a recently introduced particles simulation method that switches positional degrees of freedom on and off during simulation. Since force computations mainly depend upon the inter-atomic distances, the force computation between particles with positional degrees of freedom off~(restrained particles) can be avoided. Forces involving active particles (particles with positional degrees of freedom on) are computed.In order to take advantage of adaptability of ARMD, we designed novel algorithms to compute and update forces efficiently. We designed algorithms not only to construct neighbor lists, but also to update them incrementally. Additionally, we designed single-pass incremental force update algorithm that is almost two times faster than previously designed two-pass incremental algorithm. These proposed algorithms are implemented and validated in the LAMMPS MD simulator, however, these algorithms can be applied to other MD simulators. We assessed our algorithms on different and diverse benchmarks in both microcanonical ensemble (NVE) and canonical (NVT) ensembles. In the NVE ensemble, ARMD allows users to trade between precision and speed while, in the NVT ensemble, it makes it possible to compute statistical averages faster. In Last, we introduce parallel algorithms for single-pass incremental force computations to take advantage of adaptive restraints using the Message Passage Interface (MPI) standard.

Page generated in 0.2337 seconds