Training simulationIn business, training simulation is a virtual medium through which various types of skills can be acquired. Training simulations can be used in a variety of genres; however they are most commonly used in corporate situations to improve business awareness and management skills. They are also common in academic environments as an integrated part of a business or management course. The word simulation implies an imitation of a real-life process, usually via a computer or other technological device, in order to provide a lifelike experience.
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.
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.
Particule αLes particules alpha (ou rayons alpha) sont une forme de rayonnement émis, principalement, par des noyaux instables de grande masse atomique. Elles sont constituées de deux protons et deux neutrons combinés en une particule identique au noyau d' (hélion) ; elles peuvent donc s'écrire 4He2+. La masse d'une particule alpha est de , ce qui équivaut à une énergie de masse de . Radioactivité α Les particules alpha sont émises par des noyaux radioactifs, comme l'uranium ou le radium, par l'intermédiaire du processus de désintégration alpha.
Déformation plastiqueLa théorie de la plasticité traite des déformations irréversibles indépendantes du temps, elle est basée sur des mécanismes physiques intervenant dans les métaux et alliages mettant en jeu des mouvements de dislocations (un réarrangement de la position relative des atomes, ou plus généralement des éléments constitutifs du matériau) dans un réseau cristallin sans influence de phénomènes visqueux ni présence de décohésion endommageant la matière. Une des caractéristiques de la plasticité est qu’elle n’apparaît qu’une fois un seuil de charge atteint.
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).
Densité de courantLa densité de courant, ou densité volumique de courant, est un vecteur qui décrit le courant électrique à l'échelle locale, en tout point d'un système physique. Dans le Système international d'unités, son module s'exprime en ampères par mètre carré ( ou ). À l'échelle du système tout entier il s'agit d'un champ de vecteurs, puisque le vecteur densité de courant est défini en tout point.
Radioactivité αLa radioactivité alpha (ou rayonnement alpha, symbolisé α) est le rayonnement provoqué par la désintégration alpha, soit la forme de désintégration radioactive où un noyau atomique X éjecte une et se transforme en un noyau Y de nombre de masse A diminué de 4 et de numéro atomique Z diminué de 2. En 1898, Ernest Rutherford découvre que la radioactivité émise par un minerai d'uranium est un mélange de deux phénomènes distincts qu'il appelle radioactivité α et radioactivité β.
Alpha-1-antitrypsineL'alpha-1-antitrypsine ou α1-antitrypsine (A1AT) est un inhibiteur de la sérine protéase (serpine). Elle protège les tissus contre des enzymes produites par des cellules inflammatoires, particulièrement l'élastase. On la trouve dans le sang humain à des taux de . Sa carence est une cause d'emphysème et de cirrhose. Elle fait partie de la famille des serpines comme l'alpha-1-antichymotrypsine, l'inhibiteur du C1, l'antithrombine et la neuroserpine. Le déficit de l'une de ces protéines étant responsable d'une serpinopathie.
Densité de chargeLa densité de charge électrique désigne la quantité de charge électrique par unité d'espace. Selon que l'on considère un problème à 1, 2 ou 3 dimensions, c'est-à-dire une ligne, une surface ou un volume, on parlera de densité linéique, surfacique ou volumique de charge. Leurs unités sont respectivement le coulomb par mètre (), le coulomb par mètre carré () et le coulomb par mètre cube () dans le Système international. Comme il existe des charges négatives comme des charges positives, la densité de charge peut prendre des valeurs négatives.
