Literatura académica sobre el tema "Pendule, théorie"
Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros
Índice
Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Pendule, théorie".
Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.
También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.
Artículos de revistas sobre el tema "Pendule, théorie"
Grosswiler, Paul. "Dispelling the Alphabet Effect". Canadian Journal of Communication 29, n.º 2 (1 de febrero de 2004). http://dx.doi.org/10.22230/cjc.2004v29n2a1432.
Texto completoTesis sobre el tema "Pendule, théorie"
Tagni, Sandrine Kaméni. "Conditions d'existence d'une solution non triviale à l'équation du pendule simple ou double". Nancy 1, 1997. http://www.theses.fr/1997NAN10028.
Texto completoOur work deals with the existence of non constant periodic solutions for the equations of the simple and double penduli with constant forcing terms. For the simple pendulum, we consider the case when the forcing term is constant. We begin by establish a necessary condition of the existence of a non constant periodic solution. Then, by two different methods (namely, an analysis in phase plane, and a variational method of construction of critical points) we prove that for a period of oscillation sufficiently large, the simple pendulum equation with constant forcing term has always a non constant periodic solution. The advantage of the variational metod is that we can use it in the case of the double (or even multiple) pendulum equation. We then consider the case of a double pendulum with two constant forcing terms. Again, we prove that, under for a period of oscillation sufficiently large, the double pendulum equation with constant forcing terms, has a non constant periodic solution. In fact, we prove that the functional of the corresponding variational problem satisfies a modified Palais-Smale condition. Using the Ambrosetti-Rabinowitz mountainpass theorem, we prove that this functional has critical values. Then, by using the result of H. Hofer on the Morse-index of the mountainpass-type critical points, we prove that at least one of those critical value corresponds to a non trivial critical point which is the expected solution
Rouhling, Damien. "Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle". Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR4058.
Texto completoIn this thesis, we put a library for analysis in the Coq proof assistant to the test through a case study in control theory. We formalise a proof of stability for the inverted pendulum, a standard example in control theory. Controlling the inverted pendulum is challenging because of its non-linearity, so that this system is often used as a benchmark for new control techniques. Through this case study, we identify issues in the tools that are currently available for the formalisation of classical analysis and we develop new ones in order to achieve our formalisation goal. In particular, we try to imitate the pen-and-paper proof style thanks to new notations and inference mechanisms. This is an essential step to make formal proofs more accessible to mathematicians. We then develop a new library for classical analysis in Coq that integrates these new tools and tries to palliate the limitations of the library we tested, especially in the domain of asymptotic reasoning. We also experiment with this new library on the same formal proof and draw lessons on its strengths and weaknesses. Finally, we sketch a new methodology in order to address the limitations of our library in the particular domain of computation. We exploit a technique called refinement to refactor the methodology of proof by reflection, a technique that automates proofs through computation and also reduces the size of proof terms. We implement this methodology on the example of arithmetic reasoning in rings and discuss how this work could be used to generalise existing tools
Israilov, Sardor. "De l'identification basée apprentissage profond à la commande basée modèle". Electronic Thesis or Diss., Université Côte d'Azur, 2024. http://www.theses.fr/2024COAZ4003.
Texto completoFish swimming remains a complex subject that is not yet fully understood due to the inter-section of biology and fluid dynamics. Through years of evolution, organisms in nature have perfected their biological mechanisms to navigate efficiently in their environment and adaptto particular situations. Throughout history, mankind has been inspired by nature to innovateand develop nature-like systems. Biomimetic robotic fish, in particular, has a number of appli-cations in the real world and its control is yet to be optimized. Deep Reinforcement Learning showed excellent results in control of robotic systems, where dynamics is too complex to befully modeled and analyzed. In this thesis, we explored new venues of control of a biomimetic fish via reinforcement learning to effectively maximize the thrust and speed. However, to fully comprehend the newly-emerged data-based algorithms, we first studied the application of these methods on a standard benchmark of a control theory, the inverted pendulum with a cart. We demonstrated that deep Reinforcement Learning could control the system without any prior knowledge of the system, achieving performance comparable to traditional model-based con-trol theory methods. In the third chapter, we focus on the undulatory swimming of a roboticfish, exploring various objectives and information sources for control. Our studies indicate that the thrust force of a robotic fish can be optimized using inputs from both force sensors and cameras as feedback for control. Our findings demonstrate that a square wave control with a particular frequency maximizes the thrust and we rationalize it using Pontryagin Maximum Principle. An appropriate model is established that shows an excellent agreement between simulation and experimental results. Subsequently, we concentrate on the speed maximization of a robotic fish both in several virtual environments and experiments using visual data. Once again, we find that deep Reinforcement Learning can find an excellent swimming gait with a square wave control that maximizes the swimming speed
Libros sobre el tema "Pendule, théorie"
Inverted Pendulum in Control Theory and Robotics: From Theory to New Innovations. Institution of Engineering & Technology, 2017.
Buscar texto completo