Euler's equations (rigid body dynamics)In classical mechanics, Euler's rotation equations are a vectorial quasilinear first-order ordinary differential equation describing the rotation of a rigid body, using a rotating reference frame with angular velocity ω whose axes are fixed to the body. Their general vector form is where M is the applied torques and I is the inertia matrix. The vector is the angular acceleration. Again, note that all quantities are defined in the rotating reference frame.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Mouvement à la PoinsotEn mécanique du solide, on appelle mouvement à la Poinsot, le mouvement d'un solide autour de son centre de gravité G, le moment des forces extérieures par rapport à G étant nul. Ce mouvement est caractérisé par la conservation du moment cinétique et de l'énergie cinétique de rotation , demi-produit scalaire du moment cinétique et du vecteur de rotation instantanée. Il existe 3 cas : le solide est à symétrie sphérique. Ses moments principaux d'inertie sont égaux : A = B = C.
Rigid transformationIn mathematics, a rigid transformation (also called Euclidean transformation or Euclidean isometry) is a geometric transformation of a Euclidean space that preserves the Euclidean distance between every pair of points. The rigid transformations include rotations, translations, reflections, or any sequence of these. Reflections are sometimes excluded from the definition of a rigid transformation by requiring that the transformation also preserve the handedness of objects in the Euclidean space.
ActionneurDans une machine, un actionneur est un objet qui transforme l’énergie qui lui est fournie en un phénomène physique qui fournit un travail, modifie le comportement ou l’état d'un système. Dans les définitions de l’automatisme, l’actionneur appartient à la partie opérative d'un système automatisé. On peut classer les actionneurs suivant différents critères : énergie utilisée ; phénomène physique utilisable ; principe mis en œuvre. vignette|Deux actionneurs pneumatiques à crémaillère (Automax, à gauche et en haut), contrôlant chacun une vanne.
Conversion de typeEn informatique la conversion de type, le transtypage ou la coercition (cast en anglais) est le fait de convertir une valeur d'un type (source) dans un autre (cible). On distingue trois formes de conversion (dont un seul mérite vraiment le nom de conversion) suivant la relation de sous-typage existant entre les types source et cible : la conversion entre types incomparables ; la coercition ascendante (transtypage vers le haut) ; la coercition descendante (transtypage vers le bas). C'est la coercition la plus ancienne historiquement.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Véhicule hybride rechargeablevignette|Une Audi A1 rechargeable au salon iMobility 2012 à Stuttgart. Un véhicule hybride rechargeable (VHR) est un véhicule hybride électrique dont la batterie de traction est conçue pour être chargée par branchement à une source d'énergie extérieure. Deux catégories de tels véhicules existent : PHEV (de l'anglais « Plug-in Hybrid Electric Vehicle ») quand les deux motorisations agissent de concert pour animer le véhicule, ou EREV (de l'anglais « Extended Range Electric Vehicles ») quand seul le moteur électrique est connecté aux roues, le moteur thermique ne fournissant de la puissance à un générateur d'électricité que lorsque la batterie d'accumulateurs a besoin d’être rechargée.
Hybrid vehicle drivetrainHybrid vehicle drivetrains transmit power to the driving wheels for hybrid vehicles. A hybrid vehicle has multiple forms of motive power. Hybrids come in many configurations. For example, a hybrid may receive its energy by burning gasoline, but switch between an electric motor and a combustion engine. Electrical vehicles have a long history combining internal combustion and electrical transmission - as in a diesel–electric power-train - although they have mostly been used for rail locomotives.
