181 |
Diagnostic des systèmes embarqués en réseau. Application à un mini drone hélicoptèreBerbra, Cédric 12 November 2009 (has links) (PDF)
Les systèmes commandés en réseau sont des systèmes où le réseau est utilisé comme moyen de communication dans la boucle de commande. En conséquence, la qualité de commande (QoC) ou de la supervision de ces systèmes est directemenet liée à celle du réseau. Ce travail de doctorat aborde plusieurs problèmes. Le premier consiste à mettre au point un système de diagnostic performant permettant de détecter et localiser un défaut survenant sur un capteur particulier, une centrale d'attitude, embarqué dans un quadrotor. Le deuxième concerne la mise en oeuvre du système en réseau. Il faut tenir compte du réseau et de sa qualité de service (QoS) dans les algorithmes de commande et de diagnostic. Ensuite pour garantir les performances du système, il faut modifier la QoS du réseau. La réalisation d'une plateforme expérimentale a permis de valider les solutions proposées.
|
182 |
La réinjection optique dans un laser VCSEL en tant que la détection et l'asservissement de distance en microscopie à sonde localeBarret, Romain 31 March 2008 (has links) (PDF)
Cette thèse se situe dans le contexte d'un projet d'intégration sur puce de microscopes à sonde locale : systèmes parallèles de nano-lecture-écriture optique comprenant des micro-leviers équipés de diodes laser, et montés sur des systèmes MEMS assurant les fonctions de balayage spatial. On utilisera des diodes laser à cavité verticale émettant par la surface (VCSEL). En quelques mots, un VCSEL est un laser à semi-conducteur, pompé électriquement, formé de miroirs de Bragg délimitant une cavité optique dans laquelle se trouvent des puits quantiques. Les VCSEL ont l'avantage d'avoir un faible courant seuil, une faible divergence et une grande capacité d'intégration surfacique. On exploitera la sensibilité des VCSEL à la réinjection optique. Le travail de thèse proprement dit porte sur l'étude de la réinjection optique dans un VCSEL sur le plan expérimental et théorique. La réinjection optique dans un VCSEL correspond à réintroduire une partie ou la totalité de la lumière émise par le VCSEL à l'intérieur de la cavité du VCSEL. Pour ce faire, on ajoute un miroir externe de façon à rétroréfléchir l'émission vers la face émettrice. On forme, entre la face émettrice du laser et le miroir externe, une cavité externe. La réinjection optique a été étudiée pour la première fois par R. Lang et K. Kobayashi dans des lasers à émission par la tranche en 1980. Depuis plusieurs travaux portant sur des VCSEL ont montré que la réinjection optique perturbe plusieurs caractéristiques de ces lasers : caractéristiques spectrales, courant seuil, efficacité quantique différentielle, puissance optique, tension, polarisation. Les effets de la réinjection optique sont influencés par la longueur (distance entre la face émettrice et le miroir externe) de la cavité externe d'une manière périodique, la période est la demi-longueur de l'onde laser du VCSEL. Ces effets sont également modifiés par la réflectivité du miroir externe. Ce travail de thèse se situe dans le prolongement d'une première thèse faite par D. Heinis et soutenue en octobre 2005. Il a notamment réalisé un microscope SNOM semi-massif fibré utilisant un asservissement à force de cisaillement, la sonde est une fibre optique étirée. L'information optique est obtenue à partir de la variation de la puissance optique induite par la réinjection optique dans un VCSEL émettant dans le proche IR. A partir de ce microscope SNOM, un montage de microscope à sonde optique et à asservissement optique est proposé. On utilise l'effet de la réinjection optique sur la puissance optique et la dépendance de cet effet avec la longueur de la cavité externe.
|
183 |
Définition conceptuelle d'avions : vers une optimisation multiobjectif, robuste et incertaineBadufle, Céline 04 May 2007 (has links) (PDF)
La conception d'avions au stade avant-projet consiste à déterminer les principales caractéristiques d'un avion répondant à un cahier des charges donné. Ces études peuvent être résumées par des problèmes d'optimisation globale sous contraintes avec typiquement un millier de paramètres et presque autant de contraintes. Les contraintes expriment la faisabilité physique ainsi que le cahier des charges à respecter, et les objectifs sont des performances de l'avion guidées par des études de marché. De plus, le conception d'avions est un problème d'optimisation multicritère du fait de la présence de fonctions objectifs antagonistes.<br /><br />L'objectif de cette thèse est d'introduire de nouvelles méthodes mathématiques qui peuvent être utiles dans un outil de dimensionnement avant-projet pour résoudre le problème d'optimisation d'une configuration d'avion. Nous avons contribué à l'amélioration des méthodes d'optimisation qui sont couramment utilisées au département des Avant-Projets d'Airbus. En utilisant les algorithmes génétiques, nous avons rendu le processus d'optimisation monocritère plus robuste. Ensuite, nous avons introduit des méthodes d'optimisation multicritère car nous avions plusieurs critères conflictuels à considérer. Comme les temps de calcul sont devenus importants, nous avons décidé de substituer au modèle d'avion un modèle approché. Nous avons implémenté les fonctions à base radiale pour approcher les contraintes et les fonctions objectifs. Enfin, nous avons propagé les incertitudes du modèle pour estimer la robustesse des résultats de l'optimisation et nous avons proposé un aboutissement possible de l'intégration de ces techniques : donner aux ingénieurs une perception opérationnelle de l'espace de définition.
|
184 |
Observateurs et commande basée sur un observateur pour les systèmes bilinéairesGérard, Benjamin 14 November 2008 (has links) (PDF)
La commande et l'estimation des systèmes bilinéaires restent un problème ouvert en automatique du fait de la nature non linéaire des systèmes. Même si ces systèmes semblent « proches » des systèmes linéaires, leur étude nécessite une approche différente. En effet, les entrées peuvent générer des singularités qui doivent être explicitement prises en compte dans la synthèse de lois de commande et des observateurs. Cette spécifité du rôle des entrées dans les propriétés des systèmes bilinéaires nous a amené à traiter le problème de l'observation à partir de deux approches principales :<br /> <br />- une approche de type LPV (Linear Parameter Varying, Linéaire à Paramètres Variants) s'appuyant explicitement sur le modèle,<br />- une approche basée sur l'analyse structurelle des systèmes bilinéaires en exploitant différemment les parties uniformément observables et non uniformément observables.<br /><br />L'une des contributions présentées dans ce mémoire réside dans l'utilisation de l'approche LPV pour la prise en compte des entrées de commande afin de concevoir un observateur pour les systèmes bilinéaires. L'approche H-infini pour le filtrage des perturbations a été étudiée pour deux types d'observateurs, l'observateur à grand gain, spécialement adapté aux systèmes uniformément observables, et l'observateur fonctionnel. Des approches LMI permettent la synthèse et/ou l'optimisation de ces filtres. En s'appuyant sur cette approche, différentes commandes saturées basées sur ces observateur ont été proposées :<br /><br />- la commande bang bang,<br />- la commande quadratique,<br />- la commande linéaire,<br />- l'utilisation couplée de différentes commandes.<br /><br />Une autre partie de mon travail a consisté à exploiter la structure des systèmes bilinéaires afin de relaxer le conservatisme dans le traitement des entrées lors de la synthèse d'un observateur. Nous avons ainsi conçu des observateurs à deux étages afin de séparer les dynamiques uniformément observables et celles qui ne le sont pas afin d'y appliquer différents types d'observateurs LPV. Cette approche montre en outre les possibilités d'association de divers types d'observateurs pour les systèmes de grandes dimensions. En s'appuyant sur la décomposition structurelle évoquer ci-dessus, nous avons étudié le couplage de diverses commandes et divers observateurs pour les systèmes bilinéaires.
|
185 |
Correspondance de McKay : variations en dimension troisTÉROUANNE, Sophie 25 June 2004 (has links) (PDF)
Le thème central de cette thèse est la correspondance de McKay en dimension trois. Soit $X$ un schéma projectif lisse sur un corps $k$ et $G$ un groupe réductif fini. Dans un premier temps, on s'intéresse au schéma de Hilbert $G$-équivariant de $X$. On le définit dans un cadre général et on construit le morphisme de Hilbert-Chow par une méthode de linéarisation du déterminant. On étudie alors le cas particulier où le quotient $X/G$ est lisse. Dans un deuxième temps, on étudie une famille de singularités de dimension trois qui admettent deux résolutions crépantes naturelles : l'une est le schéma de Hilbert équivariant, et l'autre est le résultat d'un processus de désingularisation de singularités de points doubles. On calcule les fibres de ces deux résolutions et on conclut que le schéma de Hilbert donne une résolution plus naturelle au sens de McKay. On donne alors une interprétation de ce schéma en tant qu'espace modulaire d'une famille de fibrés vectoriels. Enfin, on s'intéresse à la catégorie dérivée équivariante. On donne une version $G$-équivariante du théorème de Be\u(\i)linson, puis on compare la catégorie dérivée $G$-équivariante de $X$ et la catégorie dérivée du quotient $X/G$ en déterminant l'image du foncteur $(\bf L)\pi^* : (\cal D)(X/G)\rightarrow (\cal D)^G(X)$.
|
186 |
Etude d'une source solide monomode de photons uniques constituée par une boîte quantique semi-conductrice dans une microcavité optiqueMoreau, Emmanuel 04 November 2002 (has links) (PDF)
Le développement de sources de photons uniques est un enjeu majeur dans le domaine du traitement quantique de l'information. Dans ce travail de thèse nous étudions la première source solide de photons uniques, obtenue par l'intégration d'une boîte quantique dans une microcavité en forme de pilier. Nous étudions d'abord les propriétés de microphotoluminescence d'une boîte quantique unique et identifions les principales raies d'émission (X et XX, associées aux états exciton et biexciton). La génération d'états quantiques de la lumière (émission de photons dégroupés) est mise en évidence sur ce même émetteur par des expériences d'auto-corrélation sur la raie X (ainsi que XX), sous excitation pulsée puis continue. Des expériences de corrélation croisée entre les raies X et XX prouvent la génération de paires de photons corrélés dans le temps. Nous démontrons alors des effets d'électrodynamique quantique en cavité à l'état solide en plaçant une boîte quantique en résonance avec le mode fondamental d'un micropilier. Un raccourcissement du temps de vie de cet émetteur d'un facteur au moins égal à 3 laisse penser que la majorité des photons est collectée grâce à l'effet Purcell dans un seul et même mode spatial. La polarisation des photons émis peut être contrôlée en utilisant des micropiliers à section elliptique. Nous soulignons pour la première fois l'importance des pertes extrinsèques liées à la diffusion par les rugosités de la cavité. La prise en compte de cet effet conduit à de nouvelles règles pour la conception de micropiliers. La source à un photon réalisée présente une probabilité de collecter un photon par impulsion proche de 40% et une probabilité d'en émettre plus d'un de 1%. Enfin, des expériences d'auto-corrélation en fonction de la température montrent une dégradation modérée du dégroupement de photons avec la température, qui permet d'envisager un fonctionnement à 100 K.
|
187 |
Théorie du blocage de Coulomb appliquée aux nanostructures semi-conductrices : modélisation des dispositifs à nanocristaux de siliciumSée, Johann 16 December 2003 (has links) (PDF)
Dans la recherche de solutions innovantes assurant la pérennité de la micro-électronique sur silicium, qui devra faire face, dans quelques années, à des limites, tant technologiques que théoriques, les dispositifs à blocage de Coulomb à semi-conducteur ont su dévoiler des atouts plus que prometteurs. Ainsi, ces composants d'avant-garde, basés sur le caractère quantique de la charge électrique, offrent une alternative possible aux circuits CMOS, tout en restant compatibles avec les technologies actuelles. Parallèlement à leur mise au point, une étude théorique se révèle donc de première importance afin de prédire et comprendre le fonctionnement de ces dispositifs de nouvelle génération. Tel est l'objet de ce mémoire consacré à l'étude des boîtes quantiques en silicium dans le cadre d'une utilisation de type "blocage de Coulomb". Après un exposé de l'état de l'art, tant théorique qu'expérimental, en matière de composants à blocage de Coulomb, le présent travail se concentre d'abord sur l'étude des boîtes quantiques semi-conductrices (polarisées ou non) entourées d'oxyde en développant une série de modèles visant à décrire leur structure électronique. En particulier, la mise en oeuvre d'un modèle unidimensionnel capable de décrire des boîtes quantiques à symétrie sphérique se révèle très avantageux d'un point de vue du temps de calcul. Les limites de l'approximation de la masse effective, clé de voûte des modèles présentés sont, en outre, évaluées à l'aide d'une description moléculaire des nanocristaux de silicium en utilisant la méthode des combinaisons linéaires d'orbitales atomiques. La deuxième partie de ce travail de thèse est plus spécifiquement axée sur le transport des électrons par effet tunnel dans le cadre du blocage de Coulomb. La description des mécanismes de transfert de charges est basée sur le concept d'hamiltonien de transfert tunnel dont l'application au cas des composants à blocage de Coulomb métalliques et semi-conducteurs (plus particulièrement à des structures du type Métal-Isolant-Métal-Isolant-Métal ou Métal-Isolant-Boîte Silicium-Isolant-Métal) a permis la mise au point d'un simulateur reposant uniquement sur la connaissance des paramètres physiques fondamentaux du système.
|
188 |
Étude de la stabilité de systèmes dynamiques quantiquesBOURGET, Olivier 06 December 2002 (has links) (PDF)
La dynamique d'un système quantique gouverné par un hamiltonien dépendant du temps de manière périodique peut être décrite à l'aide d'un opérateur de Floquet sur un espace de Hilbert convenable. La nature spectrale de cet opérateur donne des informations sur le comportement temporel asymptotique du système concerné. Deux modèles sont étudiés dans cette perspective. La première analyse que nous proposons, prolonge et complète les travaux de Combescure sur la dynamique de systèmes stationnaires à spectre discret, simple, frappés périodiquement par une perturbation de rang un. Un premier résultat est d'abord obtenu lorsque les valeurs propres du système stationnaire sont données par un polynôme vérifiant certaines conditions arithmétiques et lorsque la perturbation est convenablement choisie : le spectre de l'opérateur de Floquet est alors singulier continu. Nous montrons ensuite que sous certaines hypothèses sur la croissance de ces valeurs propres, ce spectre reste singulier continu pour presque toute période au sens de la mesure de Lebesgue et tout choix convenable de la perturbation de rang un. Une stratégie d'analyse spectrale différente est ensuite mise en place pour une classe d'opérateurs de Floquet intervenant dans un modèle de conduction électronique et ayant une représentation matricielle multi-diagonale. Bien que ces opérateurs soient bâtis autour d'un nombre de paramètres plus importants, nous montrons que dans une certaine limite motivée par des considérations physiques, l'étude spectrale est seulement gouvernée par deux suites de phases. Lorsque ces phases sont engendrées par certains processus ergodiques, nous montrons que le spectre de l'opérateur de Floquet est singulier. Lorsqu'elles sont données par une construction périodique, le spectre présente une portion absolument continue ainsi qu'un nombre fini de valeurs propres isolées et de multiplicité un.
|
189 |
Réseaux de Petri temporels à inhibitions/permissions - Application à la modélisation et vérification de systèmes de tâches temps réelPeres, Florent 26 January 2010 (has links) (PDF)
Les systèmes temps réel (STR) sont au coeur de machines souvent jugés critiques pour la sécurité : ils en contrôlent l'exécution afin que celles-ci se comportent de manière sûre dans le contexte d'un environnement dont l'évolution peut être imprévisible. Un STR n'a d'autre alternative que de s'adapter `a son environnement : sa correction dépend des temps de réponses aux stimuli de ce dernier. Il est couramment admis que le formalisme des réseaux de Petri temporels (RdPT) est adapté à la description des STR. Cependant, la modélisation de systèmes simples, ne possédant que quelques tâches périodiques ordonnancées de façon basique se révèle être un exercice souvent complexe. En premier lieu, la modélisation efficace d'une gamme étendue de politiques d'ordonnancements se heurte à l'incapacité des RdPT à imposer un ordre d'apparition à des évènements concurrents survenant au même instant. D'autre part, les STR ont une nette tendance à être constitués de caract éristiques récurrentes, autorisant une modélisation par composants. Or les RdPT ne sont guère adaptés à une utilisation compositionnelle un tant soit peu générale. Afin de résoudre ces deux problèmes, nous proposons dans cette thèse Cifre - en partenariat entre Airbus et le Laas-Cnrs - d'étendre les RdPT à l'aide de deux nouvelles relations, les relations d'inhibition et de permission, permettant de spécifier de manière plus fine les contraintes de temps. Afin de cerner un périmètre clair d'adéquation de cette nouvelle extension à la modélisation des systèmes temps réel, nous avons défini Pola, un langage spécifique poursuivant deux objectifs : déterminer un sous-ensemble des systèmes temps réel modélisables par les réseaux de Petri temporels à inhibitions/permissions et fournir un langage simple à la communauté temps réel dont la vérification, idéalement automatique, est assurée par construction. Sa sémantique est donnée par traduction en réseaux de Petri temporels à inhibitions/permissions. L'explorateur d'espace d'états de la boite à outils Tina a été étendu afin de permettre la vérification des descriptions Pola.
|
190 |
Corporate Responses to the Global Compact and the UN norms: A difference in preference? : A Case-study on corporations` response to voluntary and legally binding initiativesViklund, Johan January 2008 (has links)
<p>This paper examines corporate responses to the voluntary UN initiative; the Global Compact and the legally binding UN Norms initiative that are attempts, at the urging of the international community, at different types of regulation of corporate activity in international socio-economic settings. This examination is done within the framework of the Modern World-Systems theory and both questions of the paper are therefore grounded in the MWS theory`s possibility to predict and explain the corporations` response to the two initiatives. The two hypotheses used in this paper are corresponding to the questions and they state that the MWS theory can answer the two questions. The paper therefore employs an overreaching congruence method that uses the MWS theory to predict and explain the outcome of the case study and a complementary descriptive argumentation analysis. This is conducted in order to attain the data needed and to elucidate what the differences and similarities are between the two initiatives and what aspect can be attributed most explanatory value to understand the possible differences in attitude by the corporations. The outcome of the case study shows that corporations are more in favor of the Global Compact then they are concerning the UN norms which they opposes vehemently. This difference in reaction is attributed to the latter’s legally binding principle and this is in accord with the logic of the MWS theory which is granted high predictable and explanatory value concerning the corporations` response to the Global Compact and the UN norms.</p>
|
Page generated in 0.0323 seconds