Tenseur énergie-impulsionLe tenseur énergie-impulsion est un outil mathématique utilisé notamment en relativité générale afin de représenter la répartition de masse et d'énergie dans l'espace-temps. La théorie de la relativité restreinte d'Einstein établissant l'équivalence entre masse et énergie, la théorie de la relativité générale indique que ces dernières courbent l'espace. L'effet visible de cette courbure est la déviation de la trajectoire des objets en mouvement, observé couramment comme l'effet de la gravitation.
Prestressed concretePrestressed concrete is a form of concrete used in construction. It is substantially "prestressed" (compressed) during production, in a manner that strengthens it against tensile forces which will exist when in service. This compression is produced by the tensioning of high-strength "tendons" located within or adjacent to the concrete and is done to improve the performance of the concrete in service. Tendons may consist of single wires, multi-wire strands or threaded bars that are most commonly made from high-tensile steels, carbon fiber or aramid fiber.
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.
Effet de peauL’effet de peau ou effet pelliculaire (ou plus rarement effet Kelvin) est un phénomène électromagnétique qui fait que, à fréquence élevée, le courant a tendance à ne circuler qu'en surface des conducteurs. Ce phénomène d'origine électromagnétique existe pour tous les conducteurs parcourus par des courants alternatifs. Il provoque la décroissance de la densité de courant à mesure que l'on s'éloigne de la périphérie du conducteur. Il en résulte une augmentation de la résistance du conducteur.
Stress chez l'humainLe 'stress chez l'humain' qualifie à la fois une situation contraignante et les processus physiologiques mis en place par l'organisme pour s'y adapter. Chez l'adulte, le stress peut avoir des origines physiques, pathogéniques (ayant une maladie génétique, infectieuse ou parasitaire comme origine par exemple), socio-psychiques, médiées par divers processus hormonaux (hormones, ou molécules de stress), chimiques et biochimiques de l'organisme.
SoudageLe soudage est un procédé d'assemblage permanent qui assure la continuité de la matière à assembler ; la soudure est le résultat obtenu (mais le terme est souvent utilisé pour le procédé). Cette continuité est ce qui distingue le soudage d'autres techniques d'assemblage mécaniques (rivetage, boulonnage, ...) ou par adhésion (collage), ainsi que les techniques de brasage L'opération peut être appliquée aux métaux ainsi qu'aux matières thermoplastiques (voir Soudage de plastiques) et au bois (voir Soudage du bois).
RivetUn rivet est un élément d'assemblage et de fixation permanent. Il se présente sous la forme d'une tige cylindrique, généralement métallique, pleine ou creuse qui est munie à l'une de ses extrémités d'une « tête », c'est-à-dire une partie de section plus grande. L'autre extrémité sera aplatie et élargie par écrasement, pour solidariser les éléments qu'on veut riveter ensemble. C'est le rivetage. Ces éléments (par exemple deux plaques de métal) ont chacun été percés au préalable d'un trou permettant à la tige du rivet de traverser l'un et l'autre.
Méthode formelle (informatique)En informatique, les méthodes formelles sont des techniques permettant de raisonner rigoureusement, à l'aide de logique mathématique, sur un programme informatique ou du matériel électronique numérique, afin de démontrer leur validité par rapport à une certaine spécification. Elles reposent sur les sémantiques des programmes, c'est-à-dire sur des descriptions mathématiques formelles du sens d'un programme donné par son code source (ou, parfois, son code objet).
StressLe stress (de l'anglais stress ) est, en biologie, l'ensemble des réactions d'un organisme soumis à des pressions ou contraintes de l'environnement, les . Ces réactions dépendent toujours de la perception qu'a l'individu des pressions qu'il ressent. Selon la définition médicale, il s'agit d'une séquence complexe de situations provoquant des réactions physiologiques, psychosomatiques. Par extension tous ces incidents sont également qualifiés de stress. Dans le langage courant, on parle de stress positif (eustress en anglais) ou négatif (distress).
Fragilisation par l'hydrogènevignette|Fissure d'un acier trempé provoquée par de l'hydrogène, observée au microscopie électronique à balayage. La fragilisation par l'hydrogène est un phénomène de fissuration de certains métaux au contact de l'hydrogène. Le rôle de l'hydrogène dissous dans un métal est connu depuis la fin du , mais encore incomplètement compris. Dès 1983, Airey et Van Rooyen démontrent qu'une présence d'hydrogène dissous dans le milieu environnant d'un métal peut aggraver le risque de corrosion, notamment de corrosion sous contrainte.
Bolted jointA bolted joint is one of the most common elements in construction and machine design. It consists of a male threaded fastener (e. g., a bolt) that captures and joins other parts, secured with a matching female screw thread. There are two main types of bolted joint designs: tension joints and shear joints. In a tension joint, the bolt and clamped components of the joint are designed to transfer an applied tension load through the joint by way of the clamped components by the design of a proper balance of joint and bolt stiffness.
Cancer-related fatigueCancer-related fatigue is a symptom of fatigue that is experienced by nearly all cancer patients. Among patients receiving cancer treatment other than surgery, it is essentially universal. Fatigue is a normal and expected side effect of most forms of chemotherapy, radiation therapy, and biotherapy. On average, cancer-related fatigue is "more severe, more distressing, and less likely to be relieved by rest" than fatigue experienced by healthy people. It can range from mild to severe, and may be either temporary or a long-term effect.
