Arc (architecture)vignette|Arche d'un pont (Ota, Corse). vignette|Quelques termes d'architecture. vignette|Arc plein cintre dans la cathédrale de Spire en Allemagne. vignette|Arcs brisés dans les ruines de l'abbaye de Bolton () dans le comté de Yorkshire du Nord (Angleterre).|alt= vignette|Arc de triomphe (Paris).|alt= vignette|Arcs sous la couverture de la Casa Milà (ou la Pedrera) à Barcelone (Espagne). Création d'Antoni Gaudí. vignette|Égypte antique, entrepôts du Ramesséum, bâtis avec des arcs en adobe.
MaçonnerieLa maçonnerie est l'art de bâtir une construction par l'assemblage de matériaux élémentaires, liés ou non par un mortier. C'est l'art du maçon par définition mais aussi le résultat de son travail. En France, la maçonnerie traditionnelle est appelée limousinage, et la maçonnerie sans mortier maçonnerie à pierres sèches. Par extension, on associe aussi sous le terme « maçonnerie » les travaux d'habillage des ensembles : pose d'enduits, de carrelages, etc.
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.
Ingénierie des structuresL'ingénierie des structures est un domaine de l'ingénierie et plus particulièrement du génie civil, traitant de la stabilité des constructions (conception et de l'analyse des structures). Une structure est soumise à différentes actions, permanentes ou variables dans le temps, statiques ou dynamiques, de nature mécanique ou thermique, et sa conception vise à satisfaire certains critères vis-à-vis de ces actions : Sécurité : sa résistance, son équilibre et sa stabilité doivent être assurés avec une probabilité choisie ; Performance : son fonctionnement et le confort associés doivent être garantis pour une durée suffisante ; Durabilité : la dégradation de la structure dans le temps doit être limitée et maîtrisée pour satisfaire les deux premiers critères.
Calcul des structures et modélisationLe calcul des structures et la modélisation concernent deux domaines distincts : d'une part les applications spécifiques au patrimoine architectural, mobilier et naturel et d'autre part les applications industrielles. Le calcul des structures et leur modélisation est utilisé dans les domaines : de la conservation et mise en valeur du patrimoine architectural, mobilier et naturel, dans le cadre de missions d’assistance à la maître d’œuvre ou au maître d’ouvrage permettant d’arrêter un programme de travaux, d’applications industrielles.
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.
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.
Structural steelStructural steel is a category of steel used for making construction materials in a variety of shapes. Many structural steel shapes take the form of an elongated beam having a of a specific cross section. Structural steel shapes, sizes, chemical composition, mechanical properties such as strengths, storage practices, etc., are regulated by standards in most industrialized countries. Most structural steel shapes, such as -beams, have high second moments of area, which means they are very stiff in respect to their cross-sectional area and thus can support a high load without excessive sagging.
Structural integrity and failureStructural integrity and failure is an aspect of engineering that deals with the ability of a structure to support a designed structural load (weight, force, etc.) without breaking and includes the study of past structural failures in order to prevent failures in future designs. Structural integrity is the ability of an item—either a structural component or a structure consisting of many components—to hold together under a load, including its own weight, without breaking or deforming excessively.
Structural loadA structural load or structural action is a force, deformation, or acceleration applied to structural elements. A load causes stress, deformation, and displacement in a structure. Structural analysis, a discipline in engineering, analyzes the effects of loads on structures and structural elements. Excess load may cause structural failure, so this should be considered and controlled during the design of a structure. Particular mechanical structures—such as aircraft, satellites, rockets, space stations, ships, and submarines—are subject to their own particular structural loads and actions.
Taille de pierreLa taille de pierre regroupe un ensemble de techniques pour former dans un bloc de pierre une forme géométrique préconçue qui s'intègre généralement dans un appareil de pierres taillées. À ne pas confondre avec la gravure sur pierre, l'ornementation sur pierre ou la sculpture sur pierre qui orne le bâtiment d'éléments figuratifs. Ainsi, le tailleur de pierre construit l'édifice tandis que le sculpteur le décore. Les pierres de taille sont extraites de carrières.
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 .
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.
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.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
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.
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.
Linguistique structuraleLa linguistique structurale est une approche de la linguistique issue des travaux du linguiste suisse Ferdinand de Saussure et fait partie de l'approche générale du structuralisme. Le Cours de linguistique générale de Saussure, publié à titre posthume en 1916, mettait l'accent sur l'étude du langage comme système statique d'unités interconnectées.
Maçonnerie à pierres sèchesvignette|Muret de pierre sèche épousant la déclivité et le relief du terrain dans la combe des Amburnex, à l'ouest du crêt de la Neuve, sommet du massif du Jura, dans le canton de Vaud (Suisse). La maçonnerie à pierres sèches (dite aussi maçonnerie à sec, maçonnerie sèche ou encore plus familièrement la pierre sèche) est une technique de construction consistant à assembler, sans aucun mortier à liant, des moellons, des plaquettes, des blocs, des dalles, bruts ou ébauchés, pour monter un mur, un voûtement.
