Construction parasismiquethumb| La Tokyo Skytree, la deuxième plus grande tour au monde (derrière le Burj Khalifa) qui, du haut de ses , a parfaitement résisté au séisme de 2011 de magnitude 9, démontrant l'efficacité des constructions parasismiques japonaises. La construction parasismique ou construction antisismique est la réalisation de bâtiments et infrastructures résistant aux séismes. Elle implique l'étude du comportement des bâtiments et structures sujets à un chargement dynamique de type sismique.
Aléa sismiquevignette|Ceinture de feu du Pacifique L'aléa sismique est la probabilité qu'un séisme destructeur de caractéristiques données (exprimées en général par des paramètres tels que l’accélération, la période de récurrence, l’intensité, le spectre de réponse...) se produise dans une région donnée pendant une période donnée. Il ne doit pas être confondu avec le risque sismique qui est la probabilité qu'un séisme engendre des destructions et fasse des victimes. Ce risque est une combinaison de .
Seismic retrofitSeismic retrofitting is the modification of existing structures to make them more resistant to seismic activity, ground motion, or soil failure due to earthquakes. With better understanding of seismic demand on structures and with our recent experiences with large earthquakes near urban centers, the need of seismic retrofitting is well acknowledged. Prior to the introduction of modern seismic codes in the late 1960s for developed countries (US, Japan etc.) and late 1970s for many other parts of the world (Turkey, China etc.
Bâtiment (construction)Un bâtiment au sens commun est une construction immobilière, réalisée par intervention humaine, destinée d'une part à servir d'abri, c'est-à-dire à protéger des intempéries des personnes, des biens et des activités, d'autre part à manifester leur permanence comme fonction sociale, politique ou culturelle. Un bâtiment est un ouvrage d'un seul tenant composé de corps de bâtiments couvrant des espaces habitables lorsqu'il est d'une taille importante.
Seismic loadingSeismic loading is one of the basic concepts of earthquake engineering which means application of an earthquake-generated agitation to a structure. It happens at contact surfaces of a structure either with the ground, or with adjacent structures, or with gravity waves from tsunami. Seismic loading depends, primarily, on: Anticipated earthquake's parameters at the site - known as seismic hazard Geotechnical parameters of the site Structure's parameters Characteristics of the anticipated gravity waves from tsunami (if applicable).
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.
Murvignette|Mur gouttereau en maçonnerie de pierres rouges (ruffes), blanches et grises à Octon dans l'Hérault, France. Un mur est une structure solide, faite de pierres, de briques, de parpaings ou d'un autre matériau, qui sépare ou délimite deux espaces. Dans les bâtiments les murs forment les pièces. En plus de définir l'espace intérieur du bâtiment, leur utilité est en règle générale de soutenir les étages et la toiture. En plein air, ils délimitent un espace, offrant une zone de sécurité contre les intrusions ou restreignant simplement la libre circulation des animaux ou des personnes.
Séismevignette|upright=1.5|Carte de la répartition mondiale des séismes en 2010, montrant leur distribution essentiellement le long des frontières des grandes plaques tectoniques (dorsales dans les océans, ceinture de feu du Pacifique et ceinture alpine sur les continents). Un séisme ou tremblement de terre est une secousse du sol résultant de la libération brusque d'énergie accumulée par les contraintes exercées sur les roches. Cette libération d'énergie se fait par rupture le long d'une faille, généralement préexistante.
Seismic analysisSeismic analysis is a subset of structural analysis and is the calculation of the response of a building (or nonbuilding) structure to earthquakes. It is part of the process of structural design, earthquake engineering or structural assessment and retrofit (see structural engineering) in regions where earthquakes are prevalent. As seen in the figure, a building has the potential to 'wave' back and forth during an earthquake (or even a severe wind storm). This is called the 'fundamental mode', and is the lowest frequency of building response.
Seismic intensity scalesSeismic intensity scales categorize the intensity or severity of ground shaking (quaking) at a given location, such as resulting from an earthquake. They are distinguished from seismic magnitude scales, which measure the magnitude or overall strength of an earthquake, which may, or perhaps may not, cause perceptible shaking. Intensity scales are based on the observed effects of the shaking, such as the degree to which people or animals were alarmed, and the extent and severity of damage to different kinds of structures or natural features.
Seismic vibration controlIn earthquake engineering, vibration control is a set of technical means aimed to mitigate seismic impacts in building and non-building structures. All seismic vibration control devices may be classified as passive, active or hybrid where: passive control devices have no feedback capability between them, structural elements and the ground; active control devices incorporate real-time recording instrumentation on the ground integrated with earthquake input processing equipment and actuators within the structure; hybrid control devices have combined features of active and passive control systems.
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.
Séisme lentUn séisme lent (SSE, pour slow slip event) appelé aussi séisme silencieux, est un déplacement discontinu semblable à celui d'un séisme, mais qui libère l'énergie élastique en plusieurs heures ou plusieurs jours au lieu de quelques minutes comme un séisme ordinaire. Les séismes lents ont d'abord été détectés par la mesure des déplacements et déformations. Aujourd'hui l'on sait qu'ils sont généralement accompagnés d'écoulements fluides et du trémor associé, que l'on peut détecter et localiser par filtrage des données sismométriques (dans la bande , typiquement).
Sismologiethumb|Station sismologique Basse-Terre au sommet du morne Mazeau en Guadeloupe. La sismologie ou séismologie (ce dernier est un anglicisme de seismology) est une discipline scientifique qui étudie les séismes (tremblements de terre) et la propagation des ondes élastiques (dites ondes sismiques) à l'intérieur de la Terre. La sismologie moderne utilise les concepts de la mécanique newtonienne appliqués à la connaissance de la Terre.
Séisme de 1994 à NorthridgeLe séisme de 1994 à Northridge est un tremblement de terre qui s'est produit près de Los Angeles le à . De magnitude de moment 6.7, il a tué 72 personnes et fait quelque . Avec des dégâts estimés à environ 20 milliards de dollars, il est l'une des catastrophes naturelles les plus coûteuses de l'histoire des États-Unis. L'épicentre du séisme est situé à Reseda, dans la vallée de San Fernando, à une trentaine de kilomètres du centre de Los Angeles.
Isolement basthumb|Fondation antisimique découplée par isolement bas : appui sur galets caoutchouc en tête de fondation, Municipal Office Building, Glendale. Génie parasismique L’isolement bas est une technique de construction parasismique efficace et peu coûteuse. Son but est de découpler les superstructures des bâtiments de leur partie basse afin de résister aux séismes sans avoir besoin d'une structure extrêmement résistante et dispendieuse.
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.
Contreplaquéthumb|Contreplaqué de bouleau. vignette|Principe de fabrication du contreplaqué. Le contreplaqué ou plus précisément panneau contreplaqué (en Belgique, multiplex ; en anglais, plywood) est un panneau à base de bois obtenu par collage de couches adjacentes à fils croisés, normalement des placages, habituellement à angles droits. Le contreplaqué est composé de plusieurs couches de placages, appelées plis, en nombre impair. L'épaisseur d'un panneau varie entre 1 mm et 50 mm.
Engineered woodEngineered wood, also called mass timber, composite wood, man-made wood, or manufactured board, includes a range of derivative wood products which are manufactured by binding or fixing the strands, particles, fibres, or veneers or boards of wood, together with adhesives, or other methods of fixation to form composite material. The panels vary in size but can range upwards of and in the case of cross-laminated timber (CLT) can be of any thickness from a few inches to or more.
