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.
Order isomorphismIn the mathematical field of order theory, an order isomorphism is a special kind of monotone function that constitutes a suitable notion of isomorphism for partially ordered sets (posets). Whenever two posets are order isomorphic, they can be considered to be "essentially the same" in the sense that either of the orders can be obtained from the other just by renaming of elements. Two strictly weaker notions that relate to order isomorphisms are order embeddings and Galois connections.
Moteur sans balaisUn moteur sans balais, ou « moteur brushless », ou machine synchrone auto-pilotée à aimants permanents, est une machine électrique de la catégorie des machines synchrones, dont le rotor est constitué d'un ou de plusieurs aimants permanents et pourvu d'origine d'un capteur de position rotorique : capteur à effet Hall, synchro-résolver, codeur rotatif (par exemple codeur incrémental), ou tout autre système permettant l'auto-pilotage de la machine. Vu de l'extérieur, il fonctionne en courant continu.
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).
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.
Electromagnetic brakeElectromagnetic brakes or EM brakes are used to slow or stop vehicles using electromagnetic force to apply mechanical resistance (friction). They were originally called electro-mechanical brakes but over the years the name changed to "electromagnetic brakes", referring to their actuation method which is generally unrelated to modern electro-mechanical brakes. Since becoming popular in the mid-20th century, especially in trains and trams, the variety of applications and brake designs has increased dramatically, but the basic operation remains the same.
Topologie de l'ordreEn mathématiques, la topologie de l'ordre est une topologie naturelle définie sur tout ensemble ordonné (E, ≤), et qui dépend de la relation d'ordre ≤. Lorsque l'on définit la topologie usuelle de la droite numérique R, deux approches équivalentes sont possibles. On peut se fonder sur la relation d'ordre dans R, ou sur la valeur absolue de la distance entre deux nombres. Les égalités ci-dessous permettent de passer de l'une à l'autre : La valeur absolue se généralise en la notion de distance, qui induit le concept de topologie d'un espace métrique.
FreinUn 'frein' est un système permettant de ralentir, voire d'immobiliser, les pièces d'une machine ou d'un véhicule. Dans le cas de mouvements, la plupart des types de freins transforment l’énergie cinétique en énergie thermique par friction de pièces mobiles sur des pièces fixes, éléments qu'il faut refroidir. D'autres systèmes convertissent l’énergie cinétique en une autre forme d'énergie (par exemple électrique ou pneumatique), par freinage régénératif dans le cas d'un véhicule électrique.
Vibrationthumb Une vibration est un mouvement d'oscillation mécanique autour d'une position d'équilibre stable ou d'une trajectoire moyenne. La vibration d'un système peut être libre ou forcée. Tout mouvement vibratoire peut être défini par les caractéristiques suivantes : un degré de liberté ; deux ou plusieurs degrés de liberté ; Une masse libre dans l'espace a naturellement six degrés de liberté : trois translations (notées Tx, Ty, Tz) ; trois rotations (notées Rx, Ry, Rz).
RésonanceLa résonance est un phénomène selon lequel certains systèmes physiques (électriques, mécaniques) sont sensibles à certaines fréquences. Un système résonant peut accumuler une énergie, si celle-ci est appliquée sous forme périodique, et proche d'une fréquence dite « fréquence de résonance ». Soumis à une telle excitation, le système va être le siège d'oscillations de plus en plus importantes, jusqu'à atteindre un régime d'équilibre qui dépend des éléments dissipatifs du système, ou bien jusqu'à une rupture d'un composant du système.
