Suspension activeLa suspension active est un type de suspension automobile où le mouvement vertical des roues par rapport au châssis est activement contrôlé par un système embarqué. Elle est utilisée pour la première fois dans le cadre du championnat du monde de Formule 1 au Grand Prix d'Afrique du Sud en 1992, par l'écurie Williams sur la FW14. Elle s'oppose ainsi à la suspension passive, dans laquelle le mouvement vertical du véhicule est déterminé par les conditions au sol.
Tri par paquetsLe tri par paquets est un algorithme de tri qui fonctionne sur des nombres réels appartenant à un intervalle borné fixé à l'avance. Le principe de ce tri consiste à partitionner régulièrement l'intervalle d'entrée en autant de sous-intervalles que l'entrée comporte d'éléments à trier, et à distribuer les données selon leur valeurs en autant de paquets correspondant à ces sous-intervalles. Les paquets sont alors triés séparément à l'aide d'un autre algorithme de tri.
Tri à bullesvignette|Visualisation statique du tri : les étapes vont de gauche à droite. À chaque étape une permutation est faite. La couleur la plus foncée a le plus de valeur et trouve sa place définitive (en bas) en premier. Le tri à bulles ou tri par propagation est un algorithme de tri. Il consiste à comparer répétitivement les éléments consécutifs d'un tableau, et à les permuter lorsqu'ils sont mal triés. Il doit son nom au fait qu'il déplace rapidement les plus grands éléments en fin de tableau, comme des bulles d'air qui remonteraient rapidement à la surface d'un liquide.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Tri par baseEn algorithmique le tri par base, ou tri radix de radix sort en anglais, est un algorithme de tri, utilisé pour ordonner des éléments identifiés par une clef unique. Chaque clef est une chaîne de caractères ou un nombre que le tri par base trie selon l'ordre lexicographique. Cet algorithme a besoin d'être couplé avec un ou plusieurs algorithmes de tri stable. Le principe de l'algorithme est le suivant : On considère le chiffre le moins significatif de chaque clef. On trie la liste des éléments selon ce chiffre avec un algorithme de tri stable.
Suspension pneumatiqueLa suspension pneumatique est un type de suspension de véhicule alimenté par une pompe à air entraînée par un moteur électrique ou un compresseur. Cette pompe pressurise l'air pour utiliser l'air comprimé comme un ressort. La suspension pneumatique remplace les ressorts en acier conventionnels, mais si le moteur ne fonctionne pas pendant une période prolongée, la suspension du véhicule se dégonfle. Le but de la suspension pneumatique est de fournir un bon confort de roulement et la possibilité de régler la fermeté des suspensions voire la hauteur du véhicule.
Suspension de véhiculeLes suspensions d'un véhicule sont les éléments permettant de relier les masses non suspendues (typiquement la roue, les pièces d'entraînement de roue, souvent les systèmes de freinage, etc) aux masses suspendues (typiquement le châssis, le moteur et tous les composants du véhicule fixés au châssis). L'utilisation de la suspension est imposée par les irrégularités de la surface sur laquelle se déplace le véhicule.
Algorithme de triUn algorithme de tri est, en informatique ou en mathématiques, un algorithme qui permet d'organiser une collection d'objets selon une relation d'ordre déterminée. Les objets à trier sont des éléments d'un ensemble muni d'un ordre total. Il est par exemple fréquent de trier des entiers selon la relation d'ordre usuelle « est inférieur ou égal à ». Les algorithmes de tri sont utilisés dans de très nombreuses situations. Ils sont en particulier utiles à de nombreux algorithmes plus complexes dont certains algorithmes de recherche, comme la recherche dichotomique.
ÉtudiantUn étudiant ou une étudiante est un mot dérivé du latin studere qui signifie « s'appliquer à apprendre quelque chose ». Cependant, le terme ne s'applique pas à toute personne qui apprend. On le réserve généralement aux personnes intégrées dans un parcours scolaire ou universitaire. Dans la plupart des pays francophones, l'usage du mot « étudiant » est encore plus restreint. Le plus couramment, il désigne les personnes engagées dans un cursus d'enseignement supérieur.
Bachelor of EngineeringA Bachelor of Engineering (BE or BEngg) or a Bachelor of Science in Engineering (BSc (Engg) or BSE) is an undergraduate academic degree awarded to a student after three to five years of studying engineering at an accredited college or university. In the United Kingdom, a Bachelor of Engineering degree will be accredited by one of the Engineering Council's professional engineering institutions as suitable for registration as an incorporated engineer or chartered engineer with further study to masters level.
Suspension hydropneumatiqueLa suspension hydropneumatique Citroën est un type de suspension automobile, que l’on peut aussi appeler oléopneumatique, équipant les véhicules de moyenne gamme (comme la GS) à haut de gamme (comme la C6) du constructeur. Elle équipe des véhicules Citroën de 1954 à 2017. Plus de 9 millions de véhicules l'employant ont été produits à ce jour. Elle équipe également certains véhicules de la marque Mercedes comme la 450 SEL 6.9.
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.
