Tool managementTool management is needed in metalworking so that the information regarding the tools on hand can be uniformly organized and integrated. The information is stored in a database and is registered and applied using tool management. Tool data management consists of specific data fields, graphics and parameters that are essential in production, as opposed to managing general production equipment.
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.
Type algébrique de donnéesUn type algébrique est une forme de type de données composite, qui combine les fonctionnalités des types produits (n‐uplets ou enregistrements) et des types sommes (union disjointe). Combinée à la récursivité, elle permet d’exprimer les données structurées telles que les listes et les arbres. Le type produit de deux types A et B est l’analogue en théorie des types du produit cartésien ensembliste et est noté A × B. C’est le type des couples dont la première composante est de type A et la seconde de type B.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
RisqueLe risque est la possibilité de survenue d'un événement indésirable, la probabilité d’occurrence d'un péril probable ou d'un aléa. Le risque est une notion complexe, de définitions multiples car d'usage multidisciplinaire. Néanmoins, il est un concept très usité depuis le , par exemple sous la forme de l'expression , notamment pour qualifier, dans le sens commun, un événement, un inconvénient qu'il est raisonnable de prévenir ou de redouter l'éventualité.
Écologie chimiqueDans le domaine de l'écologie, de l'éthologie et plus généralement des sciences du vivant, la notion d'écologie chimique désigne les disciplines de l'écologie qui étudient les rôles de signal et de médiateur chimique de certains composés biochimiques émis dans l'air ou dans l'eau ou déposés sur certains substrats par des espèces ou des individus (en permanence ou en certaines circonstances) parmi les interactions entre espèces vivantes, animales (ou végétales et fongique en tant que sources d'odeurs).
Génie chimiqueLe génie chimique, ou génie des procédés physico-chimiques, désigne l'application de la chimie physique à l'échelle industrielle. Elle a pour but la transformation de la matière dans un cadre industriel et consiste en la conception, le dimensionnement et le fonctionnement d'un procédé comportant une ou plusieurs transformations chimiques et/ou physiques. Les méthodes utilisées dans un laboratoire ne sont souvent pas adaptées à la production industrielle d'un point de vue économique et technique.
Défense des plantes contre les herbivoresvignette|redresse=1.8|Diagramme représentant quatre métabolites secondaires des plantes qui interviennent dans leur défense contre les herbivores. vignette|L'hétérophyllie du houx (Ilex aquifolium) avec cinq feuilles qui proviennent du même individu. Le broutage d'un pied de houx peut induire localement une spinescence plus importante, ce qui suggère une adaptation de défense contre les mammifères herbivores, montrant le contrôle épigénétique de la plasticité phénotypique des plantes.
Industrie chimiqueL'industrie chimique est le secteur industriel dont l'activité consiste à fabriquer des produits par synthèse chimique contrôlée. Ce secteur regroupe entre autres la pétrochimie, la chimie phytosanitaire, l'industrie pharmaceutique, la fabrication de polymères, de peintures et l'oléochimie. Cette industrie est de type process. L'industrie chimique fabrique à la fois des produits chimiques de base, des produits chimiques intermédiaires et des produits finis.
Procédé chimiquevignette|Barre de Zirconium cristallisé pur à 99.97% obtenue par Procédé Van-Arkel-de-Boer En chimie, un procédé chimique est une méthode ou un moyen de modifier la composition d'une ou de plusieurs molécules. Ce procédé peut survenir naturellement ou artificiellement et exige une ou plusieurs réactions chimiques. En ingénierie, un procédé chimique est une méthode de fabrication employée à l'échelle industrielle dans le but de modifier la composition chimique de substances ou de matériaux.
