Commande prédictiveLa commande prédictive (ou compensation ou correction anticipatrice) est une technique de commande avancée de l’automatique. Elle a pour objectif de commander des systèmes industriels complexes. Le principe de cette technique est d'utiliser un modèle dynamique du processus à l'intérieur du contrôleur en temps réel afin d'anticiper le futur comportement du procédé. La commande prédictive fait partie des techniques de contrôle à modèle interne (IMC: Internal Model Controler).
Mécanique newtonienneLa mécanique newtonienne est une branche de la physique. Depuis les travaux d'Albert Einstein, elle est souvent qualifiée de mécanique classique. La mécanique classique ou mécanique newtonienne est une théorie physique qui décrit le mouvement des objets macroscopiques lorsque leur vitesse est faible par rapport à celle de la lumière. Avant de devenir une science à part entière, la mécanique a longtemps été une section des mathématiques. De nombreux mathématiciens y ont apporté une contribution souvent décisive, parmi eux des grands noms tels qu'Euler, Cauchy, Lagrange.
Commande LQEn automatique, la Commande linéaire quadratique, dite Commande LQ, est une méthode qui permet de calculer la matrice de gains d'une commande par retour d'état. L'initiateur de cette approche est Kalman, auteur de trois articles fondamentaux entre 1960 et 1964. Les résultats de Kalman ont été complétés par de nombreux auteurs. Nous ne traiterons ici que de la commande linéaire quadratique à horizon infini dans le cas d'un système linéaire stationnaire (ou « invariant »), renvoyant à l'article Commande optimale pour le cas d'un horizon fini et d'un système linéaire dont les matrices varient en fonction du temps.
Complétude (logique)En logique mathématique et métalogique, un système formel est dit complet par rapport à une propriété particulière si chaque formule possédant cette propriété peut être prouvée par une démonstration formelle à l'aide de ce système, c'est-à-dire par l'un de ses théorèmes ; autrement, le système est dit incomplet. Le terme « complet » est également utilisé sans qualification, avec des significations différentes selon le contexte, la plupart du temps se référant à la propriété de la validité sémantique.
Ingenuity (hélicoptère)Ingenuity ou en (MHS) est un petit hélicoptère d'un peu moins de deux kilogrammes développé par l'agence spatiale américaine, la NASA, qui est mis en œuvre à titre expérimental sur le sol de la planète Mars au cours de la mission Mars 2020, lancée le à bord d'une fusée et dont l'atterrissage a eu lieu le . L'hélicoptère est embarqué à bord du rover Perseverance avant d'être déposé le 3 avril 2021 sur le sol martien. Le , pour la première fois dans l'histoire de l'ère spatiale, un engin effectue un vol motorisé sur une autre planète.
Dronevignette|Un Parrot AR.Drone devant un Dassault Rafale. vignette|Un drone de reconnaissance EADS Harfang lors du Salon du Bourget de 2007. vignette|Drone civil OnyxStar Fox-C8 XT en vol. vignette|Drone de combat russe lourd Soukhoï S-70 Okhotnik-B Les drones (//, du mot anglais signifiant « faux bourdon ») désignent des engins commandés à distance, dont le pilotage est automatique ou télécommandé, qu''ils soient volants, terrestres ou encore amphibies , à usage civil ou au profit des forces armées ou de sécurité d'un État.
Musique classiquethumb|250px|Une vingtaine de compositeurs de musique classique, parmi les plus importants couvrant la période du .(De gauche à droite, de haut en bas : — Antonio Vivaldi, Jean-Sébastien Bach, Georg Friedrich Haendel, Wolfgang Amadeus Mozart, Ludwig van Beethoven — Gioachino Rossini, Felix Mendelssohn, Frédéric Chopin, Richard Wagner, Giuseppe Verdi — Johann Strauss II, Johannes Brahms, Georges Bizet, Piotr Ilitch Tchaïkovski, Antonín Dvořák — Edvard Grieg, Edward Elgar, Sergueï Rachmaninov, George Gershwin, Aram Khatchatourian.
Calculateur analogiquethumb|L'Elwat, un calculateur analogique polonais fabriqué entre 1967 et 1969 ; les éléments visibles sont, de gauche à droite, un voltmètre, un téléscripteur, un oscilloscope et l'ordinateur à proprement parler. Un calculateur analogique est une application particulière des méthodes analogiques consistant à remplacer l'étude d'un système physique donné par celle d'un autre système physique régi par les mêmes équations. Pour que cela présente un intérêt, le système « analogue » doit être facile à construire, les mesures aisées et moins coûteuses que sur le système réel.
RêveLe rêve est une « disposition de l'esprit généralement nocturne, survenant au cours du sommeil, et qui procure à l'individu éveillé des souvenirs nommés eux aussi rêves ». Au cours de l'histoire et des civilisations, le rêve a été un moyen de s'affranchir du temps et de l'espace ordinaires, pour accéder au surnaturel, aux ancêtres, au divin, ou encore comme un moyen de guérison, de connaissance et de révélation. L'approche rationnelle et scientifique en fait un processus ancré dans le corps et lié à l'activité cérébrale au cours du sommeil.
Théorie des modèlesLa théorie des modèles est une branche de la logique mathématique qui traite de la construction et de la classification des structures. Elle définit en particulier les modèles des théories axiomatiques, l'objectif étant d'interpréter les structures syntaxiques (termes, formules, démonstrations...) dans des structures mathématiques (ensemble des entiers naturels, groupes, univers...) de façon à leur associer des concepts de nature sémantique (comme le sens ou la vérité).
Musique de la période classiqueLa musique de la période classique recouvre par convention la musique écrite entre la mort de Johann Sebastian Bach soit 1750 et le début de la période romantique, soit les années 1820. Par extension, on appelle « musique classique » (ou grande musique) toute la musique savante européenne, de la musique du Moyen Âge à la musique contemporaine.
Théorème de complétude de GödelEn logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre. En termes intuitifs le théorème de complétude construit un pont entre vérité et démontrabilité formelle : tout énoncé vrai est démontrable.
