PiézoélectricitéLa piézoélectricité (du grec πιέζειν, piézein, presser, appuyer) est la propriété que possèdent certains matériaux de se polariser électriquement sous l’action d’une contrainte mécanique et réciproquement de se déformer lorsqu’on leur applique un champ électrique. Les deux effets sont indissociables. Le premier est appelé effet piézoélectrique direct ; le second effet piézoélectrique inverse. Cette propriété trouve un très grand nombre d’applications dans l’industrie et la vie quotidienne.
Onde stationnairevignette|redresse=2|Onde stationnaire résultant de la superposition d'ondes de sens inverse ; les points rouges sont les nœuds de vibration. En physique ondulatoire, une est une oscillation locale dans un milieu clos, qui ne se propage pas. On appelle les points où l'amplitude est nulle des nœuds de vibration, et ceux où l'amplitude est maximale des ventres de vibration. Dans un milieu à une dimension, comme un conducteur électrique ou un tuyau, elle est la résultante de la superposition d'ondes de même fréquence et de même amplitude mais de sens de propagation opposé .
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Convertisseur de couplethumb|upright=0.8|Convertisseur de couple de marque ZF. Un convertisseur de couple est une variante de l'accouplement hydraulique, qui est employé pour transmettre une puissance entre un arbre moteur et un mécanisme. Comme un accouplement hydraulique, le convertisseur de couple peut remplacer un embrayage mécanique, en permettant à la charge d'être isolée de la source de puissance, mais un convertisseur de couple peut aussi réaliser une démultiplication, c'est-à-dire augmenter le couple quand les vitesses de rotation d'entrée et de sortie sont différentes, en devenant alors l'équivalent d'un variateur de vitesse mécanique.
Tata MotorsTata Motors Limited (en hindi : टाटा मोटर्स), anciennement connu sous le nom de Telco (Tata Engineering and Locomotive Company), est le plus grand constructeur automobile indien. Il fait partie du Groupe Tata. Son siège social est à Bombay, dans l’État du Maharashtra. Le siège européen de Tata Motors est situé dans le quartier londonien de Westminster. 1945 : création de Tata Motors par Jamshetji Tata, initialement pour produire des trains. 2004 : première cotation au New York Stock Exchange.
General MotorsGeneral Motors abrégé en GM (ou General Motors Corporation abrégée en GMC) est un constructeur automobile américain basé à Détroit dans le Michigan, aux États-Unis, qui contrôlait encore une quinzaine de marques à la fin des années 1990. La société a été fondée en 1908 par William Crapo Durant. Son successeur Alfred P. Sloan en a fait le plus grand fabricant automobile au monde entre 1931 et 2005 et en 2011.
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.
Ordre lexicographiqueEn mathématiques, un ordre lexicographique est un ordre que l'on définit sur les suites finies d'éléments d'un ensemble ordonné (ou, de façon équivalente, les mots construits sur un ensemble ordonné). Sa définition est une généralisation de l'ordre du dictionnaire : l'ensemble ordonné est l'alphabet, les mots sont bien des suites finies de lettres de l'alphabet. La principale propriété de l'ordre lexicographique est de conserver la totalité de l'ordre initial.
Ordre totalEn mathématiques, on appelle relation d'ordre total sur un ensemble E toute relation d'ordre ≤ pour laquelle deux éléments de E sont toujours comparables, c'est-à-dire que On dit alors que E est totalement ordonné par ≤. Une relation binaire ≤ sur un ensemble E est un ordre total si (pour tous éléments x, y et z de E) : x ≤ x (réflexivité) ; si x ≤ y et y ≤ x, alors x = y (antisymétrie) ; si x ≤ y et y ≤ z, alors x ≤ z (transitivité) ; x ≤ y ou y ≤ x (totalité). Les trois premières propriétés sont celles faisant de ≤ une relation d'ordre.
