Treillis (assemblage)Un treillis, ou système triangulé, est un assemblage de barres verticales, horizontales et diagonales formant des triangles, de sorte que chaque barre subisse un effort acceptable, et que la déformation de l'ensemble soit modérée. Cette structure est devenue courante en construction à partir de la révolution industrielle, pour des ponts, fuselages d'avion En effet, un tel assemblage allie résistance, rigidité et légèreté, et permet d'utiliser des éléments normalisés (barres) ; par ailleurs, le treillis peut éventuellement être préassemblé.
Pont en treillisvignette|Pont Bailey sur la Meurthe, France. Pont provisoire en treillis, à mise en place très rapide. Un pont en treillis, pont en poutre en treillis ou pont-treillis est un pont dont les poutres latérales sont composées de barres métalliques triangulées, assemblées en treillis. Au début du , les poutres en treillis étaient dénommées poutres américaines, car c’est aux États-Unis que la technique est apparue. Les treillis peuvent être assemblés par boulonnage, par rivetage ou bien soudés.
Structure algébriqueEn mathématiques, une structure algébrique est définie axiomatiquement par une ou plusieurs opérations sur un ensemble (dites internes), éventuellement muni d’autres opérations (externes) dépendant d’autres ensembles, toutes ces opérations satisfaisant certaines relations telles que l’associativité, la commutativité ou la distributivité. La structure de groupe qui émerge progressivement au , avec une seule opération interne et quelques propriétés se formalise au début du avec une kyrielle de structures d’algèbre générale moins restrictives (monoïde) ou au contraire enrichies par une seconde opération (anneau, corps, algèbre de Boole.
Structure (mathématiques)En mathématiques, une structure est une théorie plus forte que la théorie des ensembles, c'est-à-dire une théorie qui en contient tous les axiomes, signes et règles. C'est donc une théorie fondée sur la théorie des ensembles, mais contenant également des contraintes supplémentaires, qui lui sont propres, et qui permettent également de définir de nouvelles structures qu'elle inclut. Cette notion est ainsi une puissante contribution à l'hypothèse selon laquelle la théorie des ensembles fournit le fondement des mathématiques.
Program analysisIn computer science, program analysis is the process of automatically analyzing the behavior of computer programs regarding a property such as correctness, robustness, safety and liveness. Program analysis focuses on two major areas: program optimization and program correctness. The first focuses on improving the program’s performance while reducing the resource usage while the latter focuses on ensuring that the program does what it is supposed to do.
Analyse statique de programmesEn informatique, la notion d’analyse statique de programmes couvre une variété de méthodes utilisées pour obtenir des informations sur le comportement d'un programme lors de son exécution sans réellement l'exécuter. C'est cette dernière restriction qui distingue l'analyse statique des analyses dynamiques (comme le débugage ou le profiling) qui s'attachent, elles, au suivi de l’exécution du programme. L’analyse statique est utilisée pour repérer des erreurs formelles de programmation ou de conception et pour déterminer la facilité ou la difficulté à maintenir le code.
Somme directeEn mathématiques, et plus précisément en algèbre, le terme de somme directe désigne des ensembles munis de certaines structures, souvent construits à partir du produit cartésien d'autres ensembles du même type, et vérifiant la propriété universelle de la somme (ou « coproduit ») au sens des catégories. Produit direct (groupes)#Somme directe interne d'une famille de sous-groupes abéliensSomme directe interne de sous-groupes abéliens Soient F et F deux sous-espaces vectoriels d'un espace vectoriel E.
Essai de compressionUn essai de compression mesure la résistance à la compression d'un matériau sur une machine d'essais mécaniques suivant un protocole normalisé. Les essais de compression se font souvent sur le même appareil que l'essai de traction mais en appliquant la charge en compression au lieu de l'appliquer en traction. Pendant l'essai de compression, l'échantillon se raccourcit et s'élargit. La déformation relative est « négative » en ce sens que la longueur de l'échantillon diminue.
Ultimate tensile strengthUltimate tensile strength (also called UTS, tensile strength, TS, ultimate strength or in notation) is the maximum stress that a material can withstand while being stretched or pulled before breaking. In brittle materials the ultimate tensile strength is close to the yield point, whereas in ductile materials the ultimate tensile strength can be higher. The ultimate tensile strength is usually found by performing a tensile test and recording the engineering stress versus strain.
Specific strengthThe specific strength is a material's (or muscle's) strength (force per unit area at failure) divided by its density. It is also known as the strength-to-weight ratio or strength/weight ratio or strength-to-mass ratio. In fiber or textile applications, tenacity is the usual measure of specific strength. The SI unit for specific strength is Pa⋅m3/kg, or N⋅m/kg, which is dimensionally equivalent to m2/s2, though the latter form is rarely used.
Treillis (ensemble ordonné)En mathématiques, un treillis () est une des structures algébriques utilisées en algèbre générale. C'est un ensemble partiellement ordonné dans lequel chaque paire d'éléments admet une borne supérieure et une borne inférieure. Un treillis peut être vu comme le treillis de Galois d'une relation binaire. Il existe en réalité deux définitions équivalentes du treillis, une concernant la relation d'ordre citée précédemment, l'autre algébrique. Tout ensemble muni d'une relation d'ordre total est un treillis.
Complete latticeIn mathematics, a complete lattice is a partially ordered set in which all subsets have both a supremum (join) and an infimum (meet). A lattice which satisfies at least one of these properties is known as a conditionally complete lattice. Specifically, every non-empty finite lattice is complete. Complete lattices appear in many applications in mathematics and computer science. Being a special instance of lattices, they are studied both in order theory and universal algebra.
E8 latticeIn mathematics, the E_8 lattice is a special lattice in R^8. It can be characterized as the unique positive-definite, even, unimodular lattice of rank 8. The name derives from the fact that it is the root lattice of the E_8 root system. The norm of the E_8 lattice (divided by 2) is a positive definite even unimodular quadratic form in 8 variables, and conversely such a quadratic form can be used to construct a positive-definite, even, unimodular lattice of rank 8. The existence of such a form was first shown by H.
Olea europaeaOlea europaea est une espèce d’arbres ou d'arbustes de la famille des Oleaceae répandue à travers l'Afrique, l'Asie et l'Europe méditerranéenne et dont une variété a été domestiquée et cultivée pour devenir l'olivier. Au cours de l'histoire de la botanique, de nombreuses sous-espèces ont été décrites. La dernière révision du genre Olea en 2002 n'en distingue cependant plus que six : Olea europaea subsp. europaea, caractéristique du bassin méditerranéen, dont la variété cultivée (var.
Unimodular latticeIn geometry and mathematical group theory, a unimodular lattice is an integral lattice of determinant 1 or −1. For a lattice in n-dimensional Euclidean space, this is equivalent to requiring that the volume of any fundamental domain for the lattice be 1. The E8 lattice and the Leech lattice are two famous examples. A lattice is a free abelian group of finite rank with a symmetric bilinear form (·, ·). The lattice is integral if (·,·) takes integer values. The dimension of a lattice is the same as its rank (as a Z-module).
Huile d'oliveL’huile d'olive est une variété d'huile alimentaire, à base de matière grasse végétale extraite des olives (fruits d'oliviers cultivés en oliveraie d'oléiculture) lors de la trituration dans un moulin à huile. Elle est un des fondements de la cuisine méditerranéenne (et du paradoxe français) et peut être, sous certaines conditions, bénéfique pour la santé. La consommation alimentaire d'olives sauvages date de la période préhistorique des chasseurs-cueilleurs du Néolithique.
Arche de TchernobylL’arche de Tchernobyl est un dispositif de confinement du réacteur accidenté de la centrale nucléaire de Tchernobyl, en Ukraine, et de son sarcophage endommagé construit en 1986. Il s'agit d'une structure métallique en forme d'arche de de haut et de large pour une portée de . Elle est conçue pour une durée de service de cent ans. Sa construction doit permettre le futur démantèlement du réacteur endommagé.
Réseau réciproqueEn cristallographie, le réseau réciproque d'un réseau de Bravais est l'ensemble des vecteurs tels que : pour tous les vecteurs position du réseau de Bravais. Ce réseau réciproque est lui-même un réseau de Bravais, et son réseau réciproque est le réseau de Bravais de départ. Un cristal peut se décrire comme un réseau aux nœuds duquel se trouvent des motifs : atome, ion, molécule. Si l'on appelle les vecteurs définissant la maille élémentaire, ces vecteurs définissent une base de l'espace.
