État solidevignette|Solide en laiton conçu par Piet Hein prenant la forme d'un superœuf.|alt=Superœuf solide de couleur dorée posé sur une surface indéfinissable. L’état solide est un état de la matière caractérisé par l'absence de liberté entre les molécules ou les ions (métaux par exemple). Les critères macroscopiques de la matière à l'état solide sont : le solide a une forme propre ; le solide a un volume propre. Si un objet solide est ferme, c'est grâce aux liaisons entre les atomes, ions ou molécules composants du solide.
Matière amorpheUn matériau amorphe est une substance dans laquelle les atomes ne respectent aucun ordre à moyenne et grande distance (comparée au diamètre moléculaire), ce qui la distingue des composés cristallisés. La condition sur la distance est importante car la structure des matériaux amorphes présente très souvent un ordre à courte distance (quelques diamètres moléculaires). Les verres, les élastomères et les liquides sont des substances amorphes. En géosciences, le terme générique de minéraloïde est utilisé pour désigner la classe de ces matériaux non-cristallins.
Combustible solideSolid fuel refers to various forms of solid material that can be burnt to release energy, providing heat and light through the process of combustion. Solid fuels can be contrasted with liquid fuels and gaseous fuels. Common examples of solid fuels include wood, charcoal, peat, coal, hexamine fuel tablets, dry dung, wood pellets, corn, wheat, rye, and other grains. Solid fuels are extensively used in rocketry as solid propellants. Solid fuels have been used throughout human history to create fire and solid fuel is still in widespread use throughout the world in the present day.
Propulsion à propergol solideLa propulsion à propergol solide désigne une technique de propulsion de fusée qui utilise un propergol solide (ou poudre). Un propulseur à propergol solide est principalement composé d'une enveloppe contenant le propergol, d'un allumeur et d'une tuyère. Le bloc de poudre est percé par un canal longitudinal qui sert de chambre de combustion. Lorsque le propulseur est allumé, la surface du bloc de poudre côté canal se met à brûler en produisant des gaz de combustion sous haute pression qui sont expulsés par la tuyère.
Vecteur euclidienEn mathématiques, et plus précisément en géométrie euclidienne, un vecteur euclidien est un objet géométrique possédant une direction, un sens et une norme. On l'utilise par exemple en physique et en ingénierie pour modéliser une force. On parle aussi parfois de vecteur géométrique dans le plan euclidien (deux dimensions) et de vecteur spatial dans l'espace à trois dimensions. Vecteur#HistoireVecteur En physique et en ingénierie, on travaille souvent dans l'espace euclidien.
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.
Réécriture (informatique)En informatique théorique, la réécriture (ou récriture) est un modèle de calcul dans lequel il s’agit de transformer des objets syntaxiques (mots, termes, lambda-termes, programmes, preuves, graphes, etc.) en appliquant des règles bien précises. La réécriture est utilisée en informatique, en algèbre, en logique mathématique et en linguistique. La réécriture est utilisée en pratique pour la gestion des courriers électroniques (dans le logiciel sendmail, les entêtes de courrier sont manipulées par des systèmes de réécriture) ou la génération et l'optimisation de code dans les compilateurs.
Espace vectorielvignette|Dans un espace vectoriel, on peut additionner deux vecteurs. Par exemple, la somme du vecteur v (en bleu) et w (en rouge) est v + w. On peut aussi multiplier un vecteur, comme le vecteur w que l'on peut multiplier par 2, on obtient alors 2w et la somme devient v + 2w. En mathématiques, plus précisément en algèbre linéaire, un espace vectoriel est un ensemble d'objets, appelés vecteurs, que l'on peut additionner entre eux, et que l'on peut multiplier par un scalaire (pour les étirer ou les rétrécir, les tourner, etc.
Théorème spin-statistiqueLe théorème spin-statistique relie le spin d'une particule et le type de statistique qu'elle suit. Selon lui, les particules de spin entier sont des bosons, alors que les particules de spin demi-entier sont des fermions. Le théorème spin-statistique est le théorème selon lequel, dans un espace tridimensionnel, les particules élémentaires de spin demi-entier obéissent à la statistique de Fermi-Dirac ; et celles de spin entier, à la statistique de Bose-Einstein. La théorème n'est pas valable en une ou deux dimensions.
Champ de vecteursthumb|Un exemple de champ de vecteurs, de la forme (-y,x). thumb|Autre exemple. thumb|Le flux d'air autour d'un avion est un champ tridimensionnel (champ des vitesses des particules d'air), ici visualisé par les bulles qui matérialisent les lignes de courant. En mathématiques, un champ de vecteurs ou champ vectoriel est une fonction qui associe un vecteur à chaque point d'un espace euclidien ou plus généralement d'une variété différentielle.
Analyse vectorielleL'analyse vectorielle est une branche des mathématiques qui étudie les champs de scalaires et de vecteurs suffisamment réguliers des espaces euclidiens, c'est-à-dire les applications différentiables d'un ouvert d'un espace euclidien à valeurs respectivement dans et dans . Du point de vue du mathématicien, l'analyse vectorielle est donc une branche de la géométrie différentielle. Cette dernière inclut l'analyse tensorielle qui apporte des outils plus puissants et une analyse plus concise entre autres des champs de vecteurs.
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.
Vecteur unitairevignette|Deux vecteurs unitaires dans un espace vectoriel normé. Dans un espace vectoriel normé (réel ou complexe) E, un vecteur unitaire est un vecteur dont la norme est égale à 1. Si le corps des scalaires est R, deux vecteurs unitaires v et w sont colinéaires si et seulement si v = w ou v = –w. Si le corps des scalaires est C, et si v est un vecteur unitaire de E, alors les vecteurs unitaires colinéaires à v sont αv où α est un complexe de module 1. Les vecteurs unitaires permettent de définir la direction et le sens d'un vecteur non nul de E.
Abstract rewriting systemIn mathematical logic and theoretical computer science, an abstract rewriting system (also (abstract) reduction system or abstract rewrite system; abbreviated ARS) is a formalism that captures the quintessential notion and properties of rewriting systems. In its simplest form, an ARS is simply a set (of "objects") together with a binary relation, traditionally denoted with ; this definition can be further refined if we index (label) subsets of the binary relation.
Réseau (géométrie)En mathématiques, un réseau d'un espace (vectoriel) euclidien est un sous-groupe discret de l’espace, de rang fini n. Par exemple, les vecteurs de Rn à coordonnées entières dans une base forment un réseau de Rn. Cette notion permet de décrire mathématiquement des maillages, comme celui correspondant à la figure 1. thumb|Fig. 1. Un réseau est un ensemble discret disposé dans un espace vectoriel réel de dimension finie de manière régulière, au sens où la différence de deux éléments du réseau est encore élément du réseau.
Fibré vectorielEn topologie différentielle, un fibré vectoriel est une construction géométrique ayant une parenté avec le produit cartésien, mais apportant une structure globale plus riche. Elle fait intervenir un espace topologique appelé base et un espace vectoriel modèle appelé fibre modèle. À chaque point de la base est associée une fibre copie de la fibre modèle, l'ensemble formant un nouvel espace topologique : l'espace total du fibré. Celui-ci admet localement la structure d'un produit cartésien de la base par la fibre modèle, mais peut avoir une topologie globale plus compliquée.
Particle statisticsParticle statistics is a particular description of multiple particles in statistical mechanics. A key prerequisite concept is that of a statistical ensemble (an idealization comprising the state space of possible states of a system, each labeled with a probability) that emphasizes properties of a large system as a whole at the expense of knowledge about parameters of separate particles. When an ensemble describes a system of particles with similar properties, their number is called the particle number and usually denoted by N.
Tribu (mathématiques)En mathématiques, une tribu ou σ-algèbre (lire sigma-algèbre) ou plus rarement corps de Borel sur un ensemble X est un ensemble non vide de parties de X, stable par passage au complémentaire et par union dénombrable (donc aussi par intersection dénombrable). Les tribus permettent de définir rigoureusement la notion d'ensemble mesurable. Progressivement formalisées pendant le premier tiers du , les tribus constituent le cadre dans lequel s'est développée la théorie de la mesure.
SigmaSigma (capitale Σ, minuscule σ, ς en fin de mot ; en grec σίγμα) est la lettre de l'alphabet grec, précédée par rhô et suivie par tau. Dérivée de la lettre shin x12px|shin de l'alphabet phénicien, elle est l'ancêtre de la lettre S de l'alphabet latin et de la lettre С de l'alphabet cyrillique. En grec moderne comme en grec ancien, la lettre sigma représente la consonne fricative alvéolaire sourde (). Ce son est voisé en devant ou . Dans le système de numération grecque, sigma vaut 200 ; par exemple représente le nombre 200.
Réseau de BravaisEn cristallographie, un réseau de Bravais est une distribution régulière de points – appelés nœuds – dans l’espace qui représente la périodicité de la distribution atomique d’un cristal. Les nœuds peuvent être imaginés comme les sommets des mailles, c'est-à-dire des portions de l'espace dans lesquelles la structure cristalline peut être divisée. La structure est alors reconstruite par simple translation de la maille.
