Céramique techniqueredresse=1.2|vignette|Pièces de roulements, composite . redresse=1.2|vignette|Surface d'une céramique composite. La céramique technique est une branche de la science des matériaux traitant de la science et de la technologie de matériaux minéraux non métalliques ayant des applications industrielles ou militaires. Elle se distingue radicalement des créations artisanales (poterie) ou artistiques (céramique d'art) ainsi que des porcelaines à usage domestique.
Simulation de phénomènesLa simulation de phénomènes est un outil utilisé dans le domaine de la recherche et du développement. Elle permet d'étudier les réactions d'un système à différentes contraintes pour en déduire les résultats recherchés en se passant d'expérimentation. Les systèmes technologiques (infrastructures, véhicules, réseaux de communication, de transport ou d'énergie) sont soumis à différentes contraintes et actions. Le moyen le plus simple d'étudier leurs réactions serait d'expérimenter, c'est-à-dire d'exercer l'action souhaitée sur l'élément en cause pour observer ou mesurer le résultat.
Quantification (logique)vignette|Symboles mathématiques des deux quantificateurs logiques les plus courants.|236px En mathématiques, les expressions « pour tout » (ou « quel que soit ») et « il existe », utilisées pour formuler des propositions mathématiques dans le calcul des prédicats, sont appelées des quantifications. Les symboles qui les représentent en langage formel sont appelés des quantificateurs (ou autrefois des quanteurs). La quantification universelle (« pour tout ... » ou « quel que soit ... ») se dénote par le symbole ∀ (un A à l'envers).
TénacitéLa ténacité est la capacité d'un matériau à résister à la propagation d'une fissure. On peut aussi définir la ténacité comme étant la quantité d'énergie qu'un matériau peut absorber avant de rompre, mais il s'agit d'une définition anglophone. En anglais, on fait la différence entre « toughness », l'énergie de déformation à rupture par unité de volume (, ce qui correspond aussi à des pascals) et « », la ténacité au sens de résistance à la propagation de fissure.
Cerveauvignette|Cerveau d'un chimpanzé. Le cerveau est le principal organe du système nerveux des animaux bilatériens. Ce terme tient du langage courant (non scientifique) et chez les chordés, comme les humains, il peut désigner l'encéphale, ou uniquement une partie de l'encéphale, le prosencéphale (télencéphale + diencéphale), voire seulement le télencéphale. Néanmoins, dans cet article, le terme « cerveau » prend son sens le plus large. Le cerveau des chordés est situé dans la tête, protégé par le crâne chez les craniés, et son volume varie grandement d'une espèce à l'autre.
Universal quantificationIn mathematical logic, a universal quantification is a type of quantifier, a logical constant which is interpreted as "given any", "for all", or "for any". It expresses that a predicate can be satisfied by every member of a domain of discourse. In other words, it is the predication of a property or relation to every member of the domain. It asserts that a predicate within the scope of a universal quantifier is true of every value of a predicate variable.
Branching quantifierIn logic a branching quantifier, also called a Henkin quantifier, finite partially ordered quantifier or even nonlinear quantifier, is a partial ordering of quantifiers for Q ∈ {∀,∃}. It is a special case of generalized quantifier. In classical logic, quantifier prefixes are linearly ordered such that the value of a variable ym bound by a quantifier Qm depends on the value of the variables y1, ..., ym−1 bound by quantifiers Qy1, ..., Qym−1 preceding Qm. In a logic with (finite) partially ordered quantification this is not in general the case.
Microstructure (matériaux)vignette|Microstructure d'origine organique : celle d'un œuf, mise en évidence par une source lumineuse. Le concept de microstructure peut se définir indépendamment des matériaux considérés (métaux, céramiques ou matières plastiques). Schatt et Worch la définissent ainsi : Les zones de la microstructure, appelées cristallites (grains, charges ou zones amorphes) sont généralement de taille microscopique et peuvent être caractérisées, aussi bien qualitativement que quantitativement, au microscope optique.
Lindström quantifierIn mathematical logic, a Lindström quantifier is a generalized polyadic quantifier. Lindström quantifiers generalize first-order quantifiers, such as the existential quantifier, the universal quantifier, and the counting quantifiers. They were introduced by Per Lindström in 1966. They were later studied for their applications in logic in computer science and database query languages. In order to facilitate discussion, some notational conventions need explaining.
Colloidal crystalA colloidal crystal is an ordered array of colloidal particles and fine grained materials analogous to a standard crystal whose repeating subunits are atoms or molecules. A natural example of this phenomenon can be found in the gem opal, where spheres of silica assume a close-packed locally periodic structure under moderate compression. Bulk properties of a colloidal crystal depend on composition, particle size, packing arrangement, and degree of regularity.
