Rupture (matériau)thumb|Courbe de traction idéale d'un matériau ductile thumb|Courbe de traction typique pour un matériau fragile En science des matériaux, la rupture ou fracture d'un matériau est la séparation, partielle (comme une crique ou une fissure ou une brisure) ou complète, en deux ou plusieurs pièces sous l'action d'une contrainte. Une rupture peut être souhaitée par le concepteur de la pièce comme dans le cas de la conception de dispositifs de sécurité ou au contraire celui-ci cherche à éviter cette rupture en mettant en adéquation la fonction de cette pièce avec les dimensionnements et choix des matériaux utilisés et des procédés de fabrication.
Pure type systemNOTOC In the branches of mathematical logic known as proof theory and type theory, a pure type system (PTS), previously known as a generalized type system (GTS), is a form of typed lambda calculus that allows an arbitrary number of sorts and dependencies between any of these. The framework can be seen as a generalisation of Barendregt's lambda cube, in the sense that all corners of the cube can be represented as instances of a PTS with just two sorts. In fact, Barendregt (1991) framed his cube in this setting.
Silice pyrogénéevignette|Silice pyrogénée avec surface spécifique de . La silice pyrogénée (numéro CAS , fumed silica en anglais) est une forme de dioxyde de silicium, ou silice, de formule chimique . Elle se présente comme une poudre constituée de gouttelettes de silice fondue refroidies en formant des chaînes tridimensionnelles qui s'organisent en particules de matière amorphe de très faible masse volumique apparente et de surface spécifique très élevée.
Analyse appliquée du comportementL'analyse du comportement appliquée, siglée ABA, en anglais Applied Behavior Analysis, se définit comme la science dans laquelle les techniques dérivées du béhaviorisme sont appliquées systématiquement afin d'améliorer des comportements socialement significatifs, et dans laquelle l'expérimentation est utilisée pour identifier les variables explicatives du comportement. L'analyse appliquée du comportement a remplacé la modification du comportement » (behavior modification) car cette dernière approche tentait de changer le comportement sans clarifier les interactions sous-jacentes avec l'environnement.
Dioxyde de siliciumLe dioxyde de silicium, ou silice, est un composé chimique de formule . Il s'agit d'un solide incolore présent en abondance dans le milieu naturel et chez divers êtres vivants. Il existe à l'état libre sous différentes formes cristallines ou amorphes, et combiné chimiquement avec d'autres oxydes dans les silicates, qui sont les principaux constituants de l'écorce terrestre et du manteau terrestre. Libre ou combiné, il représente 60,6 % de la masse de la croûte continentale.
Polymère renforcé de fibres de carboneLe polymère renforcé de fibres de carbone, ou PRFC (en anglais Carbon Fiber Reinforced Polymer ou CFRP), est un matériau composite très résistant et léger. Son prix reste à l' assez élevé. De la même manière que le plastique à renfort fibre de verre est appelé plus simplement « fibre de verre », le CFRP prend la dénomination usuelle de « fibre de carbone ». La matrice généralement utilisée dans la fabrication du composite est une résine époxyde ; on peut aussi employer le polyester, le vinylester ou le polyamide.
Fibre naturellethumb|Cordelette en chanvre. Les fibres naturelles sont d'origine animale ou végétale. Les plus utilisées sont les fibres de coton, lin et chanvre, ou encore de sisal, jute, kénaf ou coco. Les fibres de chanvre étaient particulièrement prisées pour les cordages et voilures des bateaux de la marine marchande et de guerre du fait de leur grande souplesse et résistance en environnement agressif. Les fibres et filasses de chanvre sont aujourd'hui utilisées par exemple pour l'étanchéité dans le chauffage sanitaire.
Forme linéaireEn algèbre linéaire, une forme linéaire sur un espace vectoriel est une application linéaire sur son corps de base. En dimension finie, elle peut être représentée par une matrice ligne qui permet d’associer à son noyau une équation cartésienne. Dans le cadre du calcul tensoriel, une forme linéaire est aussi appelée covecteur, en lien avec l’action différente des matrices de changement de base.
Indépendance linéaireEn algèbre linéaire, étant donné une famille de vecteurs d'un même espace vectoriel, les vecteurs de la famille sont linéairement indépendants, ou forment une famille libre, si la seule combinaison linéaire de ces vecteurs qui soit égale au vecteur nul est celle dont tous les coefficients sont nuls. Cela revient à dire qu'aucun des vecteurs de la famille n'est combinaison linéaire des autres. Dans le cas où des vecteurs ne sont pas linéairement indépendants, on dit qu'ils sont linéairement dépendants, ou qu'ils forment une famille liée.
Optimisation linéaire en nombres entiersL'optimisation linéaire en nombres entiers (OLNE) (ou programmation linéaire en nombres entiers (PLNE) ou integer programming (IP) ou Integer Linear Programming (ILP)) est un domaine des mathématiques et de l'informatique théorique dans lequel on considère des problèmes d'optimisation d'une forme particulière. Ces problèmes sont décrits par une fonction de coût et des contraintes linéaires, et par des variables entières.
