La croissance du trafic ferroviaire prévue dans les années à venir pousse les acteurs du système d'électrification ferroviaire à chercher des solutions innovantes leur permettant d'assurer la consommation d’énergie qui y est liée. Une des solutions concerne l'intégration de moyens de production décentralisés et des systèmes de stockage d'énergie dans les installations fixes de traction électrique (IFTE). Dans cette évolution, la thèse vise à contribuer à la conception d'un outil de dimensionnement et de gestion énergétique intelligente des IFTE hybrides (IFTEH). La première partie décrit une méthodologie de conception technico-économique d’IFTEH. A partir d'une architecture générique d'IFTEH, une démarche d'optimisation sur cycle des variables dimensionnelles, mais également des variables de commandes du système de pilotage est proposée. La modélisation en flux d'énergie de l'IFTEH permet ensuite d’appliquer la méthodologie d’optimisation sur un cas d’étude et de comparer plusieurs scénarios d’optimisation. Après le dimensionnement de l'IFTEH, une méthodologie de gestion énergétique est développée afin de répondre aux objectifs énergétiques, économiques et environnementales, à différents horizons temporels de supervision d'IFTEH. Plusieurs scénarios de gestion sont évalués en simulation à travers des indicateurs de performance représentatifs des gains du système. Une étude d’optimisation des paramètres de supervision apporte des réponses concernant l’influence du dimensionnement du système sur la gestion énergétique. Enfin, la robustesse de la supervision énergétique d’IFTEH est analysée lors de la validation expérimentale à l’échelle de puissance du laboratoire. / In railway traffic increasing and electricity market liberalization context, railway actors are determined to consider innovative solutions to handle the increasing energy demand for electrical traction. One of the solution concerns the integration of decentralized production and energy storage systems in the railway power substations (RPS). The present research work aims to contribute to the design of a sizing and intelligent energy management tool for the hybrid RPS (HRPS). In the first part of the dissertation, a methodology for the techno-economical design of the HRPS is described. From a HRPS generic architecture, an optimization approach is proposed by considering cycles of dimensional and system control variables. Furthermore, an energy flow model permits to apply the optimization methodology on a study case and to compare different optimization scenarios in order to analyze the sizing and optimal planning of electrical sources and loads for a typical day. After sizing the HRPS, an energy management methodology is developed in order to achieve energy, economic and environmental objectives at different time levels of HRPS supervision. Several energy management scenarios are evaluated in simulation through adapted system gain indicators. An optimization study of the supervision parameters provides additional answers concerning the influence of the system design on its management strategy. Eventually, the HRPS energy management robustness is analyzed during an experimental setup phase at laboratory power scale.

Thèse d'exercice : Chirurgie dentaire : Université de Nantes : 2004. / Bibliogr. f. 115-123 [106 réf.].

Reproduction de : Thèse d'exercice : Chirurgie dentaire : Nantes : 2008. / Bibliogr.

Thesis--Catholic University of America. / Bibliography: p. 65-67.

Ce travail étudie certains des problèmes les plus pertinents dans le sens de la navigation et contrôle présentés dans une classe particulière de mini-véhicules aériens. L'un des principaux objectifs c'est à réaliser un véhicule léger et facile à déployer dans un court laps de temps, un véhicule sans pilote drone capable de suivre une mission complète, du décollage aux points de cheminement suivants et de terminer la mission avec un atterrissage autonome à l'intérieur d'une zone délimitée en utilisant une interface graphique dans un ordinateur ou une tablette. La génération de trajectoire II est la partie qui dit le drone où il doit voyager et sont générés par un algorithme intégré sur le drone. Le résultat classique de Dubins est utilisé comme base pour la génération de trajectoire en 2D et nous avons étendu à la génération de trajectoire 3D. Une stratégie de suivi de trajectoire développée en utilisant l'approche de Lyapunov, est présentée pour piloter un drone à voilure fixe à travers tout le chemin désiré. Le concept clé derrière le contrôleur de suivi de trajectoire s'appuie sur la réduction de la distance entre le centre de masse de l'avion p et le point sur la trajectoire q à zéro, ainsi que l'angle entre le vecteur vitesse et la tangente à la trajectoire. Afin de tester les techniques mises au point au cours de la thèse une application C# -Net personnalisée a été développé nommé MAV3DSim (Multi-Aerial Vehicle 3D Simulator). Le MAV3DSim permet une opération de lecture/écriture de/vers le moteur de simulation à partir de laquelle nous pourrions recevoir toutes les informations de capteurs émulés et envoyés par le simulateur. Le système complet est capable d'effectuer un décollage et d'atterrissage autonome, à travers des points de suivi. Ceci est accompli en utilisant chacune des stratégies développées au cours de la thèse. Nous avons une stratégie pour le décollage et l'atterrissage, ce qui est généré par la partie de navigation qui est le générateur de trajectoire. Une fois que nous avons généré le chemin, il est utilisé par la stratégie de suivi de trajectoire et avec ce que nous avons l'atterrissage et le décollage autonome. / This work studies some of the most relevant problems in the direction of navigation and control presented in a particular class of mini‐aircraft. One of the main objectives is to build a lightweight and easy to deploy vehicle in a short period of time, an unmanned aerial vehicle capable of following a complete mission from take‐o⁄ to the following waypoints and complete the mission with an autonomous landing within a delimitated area using a graphical interface in a computer. The Trajectory Generation It is the part that tells the drone where it must travel and are generated by an algorithm built into the drone. The classic result of Dubins is used as a basis for the trajectory generation in 2D and we have extended it to the 3D trajectory generation. A path following strategy developed using the Lyapunov approach is presented to pilot a fixed wing drone across the desired path. The key concept behind the tracking controller is the reduction of the distance between the center of mass of the aircraft p and the point q on the path to zero, as well as the angle between the velocity vector and the vector tangent to the path. In order to test the techniques developed during the thesis a customized C # .Net application was developed called MAV3DSim (Multi‐Aerial Vehicle 3D Simulator). The MAV3DSim allows a read / write operation from / to the simulation engine from which we could receive all emulated sensor information and sent to the simulator. The MAV3DSim consists of three main elements, the simulation engine, the computation of the control law and the visualization interface. The simulation engine is in charge of the numeric integration of the dynamic equations of the vehicle, we can choose between a quadrotor and a xed wing drone for use in simulation. The visualization interface resembles a ground station type of application, where all variables of the vehicle s state vector can be represented on the same screen. The experimental platform functions as a test bed for the control law prototyping. The platform consists of a xed wing aircraft with a PX4 which has the autopilot function as well as a Raspberry PI mini‐computer which to the implementation of the generation and trajectory tracking. The complete system is capable of performing an autonomous take‐o⁄and landing, through waypoints. This is accomplished by using each of the strategies developed during the thesis. We have a strategy for take‐o⁄ and landing, which is generated by the navigationon part that is the trajectory generator. Once we have generated the path, it is used by the trajectory tracking strategy and withthat we have landing and take‐o⁄ autonomously.

Dans ce travail nous étudions la complexité de certains fragments du mu-calcul selon deux points de vue: l’un syntaxique et l’autre topologique. Dans la première partie nous adoptons le point de vue syntaxique afin d'étudier le comportement du mu-calcul sur des classes restreintes de modèles. Parmi d'autres résultats, nous montrons en particulier que sur les modèles transitifs toute propriété définissable par une formule du mu-calcul est définissable par une formule sans alternance de points fixes. Pour ce qui concerne la perspective topologique, nous montrons d'abord que sur les modèles transitifs la logique modale correspond au fragment borélien du mu-calcul. Ensuite nous donnons une description effective des hiérarchies de Borel et de Wadge d'un sous-fragment sans alternance de cette logique sur les arbres binaires et vérifions que pour ce fragment les points de vue topologique et syntaxique coïncident. / In this work we study the complexity of some fragments of the modal mu-calculus from two points of view: the syntactical and the topological. In the first part of the dissertation we adopt the syntactical point of view in order to study the behavior of this formalism on some restricted classes of models. Among other results, we show that on transitive transition systems, every mu-formula is logically equivalent to an alternation free formula. For what concerns the topological point of view, we first prove that on transitive models, the modal logic is exactly the Borel fragment of the modal mu-calculus. Then we provide an effective description of the Borel and Wadge hierarchies of a sub-fragment of the alternation free fragment of the mu-calculus on binary trees. Finally we verify that for this fragment the syntactical point of view and topological point of view coincide.

This presentation is intended to inform about news of Creo Simulate.

Cette thèse s’appuie sur une pratique de la vidéographie, du montage et de la photographie et explore le thème de l’intime. Son hypothèse est que l’espace interrogé de la quotidienneté est identique avec celui de l’exploration des intimes. La réflexion se base sur une analyse des textes théoriques ou des réalisations artistiques de Gaston Bachelard, Roland Barthes, Henri Bergson Sophie Calle, Eliane Chiron, Gilles Deleuze, Georges Didi-Huberman, le Groupe Mu, Pierre Huyghe, Maurice Merleau-Ponty ou encore Agnès Varda, et s’appuie sur un matériel plastique qui permet de cristalliser et situer les déplacements et les objets appartenant aux rituels du quotidien. La première partie explore la sphère intime par l’intermédiaire de photos de famille et d’un medium pictural, le cercle bleu. La seconde partie analyse la sphère intime au travers d’images extraites de films vidéographiques réalisés en suivant des personnes ou dans des espaces privés. La troisième partie est dédiée aux espaces parcourus par les personnages que je filme lorsque je les suis, que je parcours lorsque je marche et par les spectateurs au sein de mon installation. Cette thèse interroge le rôle du corps in situ, au contact des lieux et des situations, dans l’élaboration d’un code narratif et poétique afin d’identifier et d’établir les relations de réciprocité et d’interactions qui lient mon matériel plastique à la durée, au temps et à l’espace, au quotidien qui passe et qui s’étale. Par un jeu de miroirs, ce travail cherche à faire résonner notre mémoire et celle des spectateurs et en hyper-multipliant la banalité du quotidien qui devient extraordinaire. / This thesis is based on a practice of videography, editing and photography and explores the theme of intimacy. Its hypothesis is that the interrogated space of everyday life is identical with that of the exploration of intimates. The reflection is based on an analysis of the theoretical texts or artistic achievements by Gaston Bachelard, Roland Barthes, Henri Bergson Sophie Calle, Eliane Chiron, Gilles Deleuze, George Didi-Huberman, Mu Group, Pierre Huyghe, Maurice Merleau-Ponty or Agnès Varda, and relies on a plastic material that can crystallize and locate the movements and objects belonging to the rituals of everyday life. The first part explores the intimate sphere through family photos and a pictorial medium, the blue circle. The second part analyses the intimate sphere through images extracted from video films made following people or in private spaces. The third part is dedicated to the spaces travelled by the characters that I shadowed, that I walk when I walk and by the spectators within my installation. This thesis questions the in situ role of the body, in con-tact with places and situations, in the development of a narrative and poetic code in order to identify and establish the relations of reciprocity and interactions that bind my plastic material to the duration, the time and the space, the daily life that goes on and spreads. Through a game of mirrors, this work seeks to resonate our memory and that of the audience and hyper-multiplying the banality of everyday life that becomes extraordinary.

Cette thèse est composée de quatre articles. L'objet principal de la thèse est d'énoncer des conditions suffisantes de non vacuité pour le coeur dans les jeux sans paiements latéraux. Rappelons que, dans un système social où des comportements coopératifs entrent en jeu, le coeur est l'ensemble qui vérifie des propriétés naturelles de stabilité et de rationalité. Pour assurer la non vacuité, les principaux résultats de la littérature supposent qu'une condition de balancement sur le jeu est satisfaite. La première partie de la thèse concerne les résultats théoriques de non vacuité, ces résultats reposent sur une nouvelle condition de balancement, dite de balancement dépendant. Le deuxième partie de la thèse propose des applications de ces différents résultats pour le problème des tarifications stables dans les marchés contestables.

Le domaine de cette thèse est la déduction automatique, c.-à-d. le développement d'algorithmes dont le but est de prouver automatiquement des conjectures mathématiques. Dans cette thèse, les conjectures que nous voulons prouver appartiennent à une extension de la logique propositionnelle, appelée "schémas de formules". Ces objets permettent de représenter de façon finie une infinité de formules propositionnelles (de même que, p.ex., les langages réguliers permettent de représenter de façon finie des ensembles infinis de mots). Démontrer un schéma de formules revient alors à démontrer (en une fois) l'infinité de formules qu'il représente. Nous montrons que le problème de démontrer des schémas de formules est indécidable en général. La suite de la thèse s'articule autour de la définition d'algorithmes essayant tout de même de prouver automatiquement des schémas (mais, bien sûr, qui ne terminent pas en général). Ces algorithmes nous permettent d'identifier des classes décidables de schémas, c.-à-d. des classes pour lesquelles il existe un algorithme qui termine sur n'importe quelle entrée en répondant si le schéma est vrai ou pas. L'un de ces algorithmes a donné lieu à l'implémentation d'un prototype. Les méthodes de preuves présentées mélangent méthodes de preuve classiques en logique propositionnelle (DPLL ou tableaux sémantiques) et raisonnement par récurrence. Le raisonnement par récurrence est effectuée par l'utilisation de "preuves cycliques", c.-à-d. des preuves infinies dans lesquelles nous détectons des cycles. Dans ce cas, nous pouvons ramener les preuves infinies à des objets finis, ce que nous pouvons appeler des "schémas de preuves".