Pontvignette|Pont permettant le passage de la ligne C du métro de Rotterdam, à Capelle-sur-l'Yssel (Pays-Bas). vignette|Pont sur la rivière Moyka à Saint-Pétersbourg, Russie Un pont est un ouvrage d'art qui permet de franchir un obstacle naturel ou artificiel (dépression, cours d'eau, voie de communication, vallée, ravin, canyon) en passant par-dessus. Le franchissement supporte le passage d'humains et de véhicules dans le cas d'un pont routier, ou d'eau dans le cas d'un aqueduc.
Tablier (pont)A deck is the surface of a bridge. A structural element of its superstructure, it may be constructed of concrete, steel, open grating, or wood. Sometimes the deck is covered by a railroad bed and track, asphalt concrete, or other form of pavement for ease of vehicle crossing. A concrete deck may be an integral part of the bridge structure (T-beam or double tee structure) or it may be supported with I-beams or steel girders. When a bridge deck is installed in a through truss, it is sometimes called a floor system.
Pont suspenduUn pont suspendu à câbles porteurs est un ouvrage métallique dont le tablier est attaché par l'intermédiaire de tiges de suspension verticales à un certain nombre de câbles flexibles ou de chaînes dont les extrémités sont reliées aux culées sur les berges. Contrairement à tous les autres ponts, les ponts suspendus exercent une traction horizontale sur leur point d'appui.
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.
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.
Thrust bearingA thrust bearing is a particular type of rotary bearing. Like other bearings they permanently rotate between parts, but they are designed to support a predominantly axial load. Thrust bearings come in several varieties. Thrust ball bearings, composed of bearing balls supported in a ring, can be used in low thrust applications where there is little axial load. Cylindrical thrust roller bearings consist of small cylindrical rollers arranged flat with their axes pointing to the axis of the bearing.
Pont en arcvignette|Pont en maçonnerie sur l'Antietam, un affluent du fleuve Potomac. vignette|Ponts en arc dans le centre-ville d'Amsterdam. vignette|Le pont Maximilien-Joseph à Munich. vignette|Le pont Gebsattel à Munich. vignette|Les Satsop River Bridges dans l'État de Washington. Un pont en arc est un pont, à savoir une construction qui permet de franchir une dépression ou un obstacle (cours d'eau, voie de communication, vallée, ravin, canyon), dont la ligne de la partie inférieure (intrados), est en forme d'arc.
Fluid bearingFluid bearings are bearings in which the load is supported by a thin layer of rapidly moving pressurized liquid or gas between the bearing surfaces. Since there is no contact between the moving parts, there is no sliding friction, allowing fluid bearings to have lower friction, wear and vibration than many other types of bearings. Thus, it is possible for some fluid bearings to have near-zero wear if operated correctly. They can be broadly classified into two types: fluid dynamic bearings (also known as hydrodynamic bearings) and hydrostatic bearings.
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.
Through arch bridgeA through arch bridge, also known as a through-type arch bridge, is a bridge that is made from materials such as steel or reinforced concrete, in which the base of an arch structure is below the deck but the top rises above it. It can either be lower bearing or mid-bearing. Thus, the deck is within the arch, and cables or beams that are in tension suspend the central part of the deck from the arch. For a specific construction method, especially for masonry arches, the proportions of the arch remain similar no matter what the size: wider arches are thus required to be taller arches.
Palier (mécanique)vignette|210x210px|Représentation 3D d'un palier lisse. Les paliers sont des organes utilisés en construction mécanique pour supporter et guider, en rotation, des arbres de transmission. Suivant l’usage désiré, ces paliers peuvent être : lisses, où les arbres qui reposent sur des coussinets sont soumis au frottement de glissement entre les surfaces en contact ; à roulement, où le contact s’effectue par l’intermédiaire de billes, d'aiguilles ou de rouleaux contenus dans des cages.
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).
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.
Palier lisseUn palier lisse assure le guidage en rotation par glissement. Il est dépourvu d'éléments interposés, contrairement au roulement, dont le guidage est assuré par un ou plusieurs éléments roulants. Le terme anglais bearing désigne les deux types donc la confusion n'est pas rare dans les documents traduits. vignette|Exemple de palier lisse. Surface d'un arbre ou dans un alésage, ou pièce intercalée entre eux, permettant un glissement relatif l'un par rapport à l'autre avec un minimum d'usure et de frottement.
Roulement mécaniqueEn mécanique, un roulement est un dispositif destiné à guider un assemblage en rotation, c'est-à-dire à permettre à une pièce de tourner par rapport à une autre selon un axe de rotation défini. Le roulement est donc un palier. Par rapport aux paliers lisses, le roulement permet d'avoir une très faible résistance au pivotement tout en supportant des efforts importants. Nous pouvons en trouver dans les machines à café, les skateboards, les trottinettes, les voitures... Le premier roulement mécanique connu date du .
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
Géométrie synthétiqueLa géométrie synthétique ou géométrie pure est fondée sur une approche axiomatique (donc, « purement logique ») de la géométrie. Elle constitue une branche de la géométrie étudiant diverses propriétés et divers théorèmes uniquement par des méthodes d'intersections, de transformations et de constructions. Elle s'oppose à la géométrie analytique et refuse systématiquement l'utilisation des propriétés analytiques des figures ou l'appel aux coordonnées. Ses concepts principaux sont l'intersection, les transformations y compris par polaires réciproques, la logique.
Géométrie non euclidienneLa géométrie non euclidienne (GNE) est, en mathématiques, une théorie géométrique ayant recours aux axiomes et postulats posés par Euclide dans les Éléments, sauf le postulat des parallèles. Les différentes géométries non euclidiennes sont issues initialement de la volonté de démontrer la proposition du cinquième postulat, qui apparaissait peu satisfaisant en tant que postulat car trop complexe et peut-être redondant avec les autres postulats).
