Arme nucléairevignette|upright=1.5|Carte des neuf États dotés de l'arme nucléaire en 2021 Une arme nucléaire est une arme non conventionnelle qui utilise l'énergie dégagée par la fission de noyaux atomiques lourds (uranium, plutonium dans le cas des bombes A), ou par une combinaison de ce phénomène avec celui de la fusion de noyaux légers (hydrogène dans le cas des bombes H). L'énergie libérée par l'explosion s'exprime par son équivalent en TNT.
Focalisateur de plasma denseUn focalisateur de plasma dense (en anglais dense plasma focus, abrégé DPF), est un appareil qui, par accélération et compression électromagnétiques, donne naissance à un cordon de plasma à vie courte qui produit, grâce aux températures et densités très élevées qu'il atteint, une abondance de rayonnements multiples. Sa conception, qui date du début des années 1960, est due à la fois à l'Américain J.W. Mather et au Russe N.V. Filippov, qui l'ont inventé parallèlement et indépendamment l'un de l'autre.
National Ignition FacilityLe National Ignition Facility, ou NIF, est un laser de recherche extrêmement énergétique, construit au sein du laboratoire national Lawrence Livermore, à Livermore (Californie, États-Unis). Le NIF a des usages multiples. Ses deux fonctions principales sont le test des armes nucléaires des États-Unis et les expériences liées à l'énergie de fusion. Le National Ignition Facility utilise la technique du confinement inertiel pour permettre aux scientifiques d'étudier la fusion nucléaire et les autres domaines d'utilisation des plasmas extrêmement denses.
Calcul numérique d'une intégraleEn analyse numérique, il existe une vaste famille d’algorithmes dont le but principal est d’estimer la valeur numérique de l’intégrale définie sur un domaine particulier pour une fonction donnée (par exemple l’intégrale d’une fonction d’une variable sur un intervalle). Ces techniques procèdent en trois phases distinctes : Décomposition du domaine en morceaux (un intervalle en sous-intervalles contigus) ; Intégration approchée de la fonction sur chaque morceau ; Sommation des résultats numériques ainsi obtenus.
Vérification formelleIn the context of hardware and software systems, formal verification is the act of proving or disproving the correctness of intended algorithms underlying a system with respect to a certain formal specification or property, using formal methods of mathematics. Formal verification can be helpful in proving the correctness of systems such as: cryptographic protocols, combinational circuits, digital circuits with internal memory, and software expressed as source code.
Dynamique moléculaireLa dynamique moléculaire est une technique de simulation numérique permettant de modéliser l'évolution d'un système de particules au cours du temps. Elle est particulièrement utilisée en sciences des matériaux et pour l'étude des molécules organiques, des protéines, de la matière molle et des macromolécules. En pratique, la dynamique moléculaire consiste à simuler le mouvement d'un ensemble de quelques dizaines à quelques milliers de particules dans un certain environnement (température, pression, champ électromagnétique, conditions aux limites.
Prévision numérique du tempsLa prévision numérique du temps (PNT) est une application de la météorologie et de l'informatique. Elle repose sur le choix d'équations mathématiques offrant une proche approximation du comportement de l'atmosphère réelle. Ces équations sont ensuite résolues, à l'aide d'un ordinateur, pour obtenir une simulation accélérée des états futurs de l'atmosphère. Le logiciel mettant en œuvre cette simulation est appelé un modèle de prévision numérique du temps.
Équations de Navier-Stokesthumb|Léonard de Vinci : écoulement dans une fontaine En mécanique des fluides, les équations de Navier-Stokes sont des équations aux dérivées partielles non linéaires qui décrivent le mouvement des fluides newtoniens (donc des gaz et de la majeure partie des liquides). La résolution de ces équations modélisant un fluide comme un milieu continu à une seule phase est difficile, et l'existence mathématique de solutions des équations de Navier-Stokes n'est pas démontrée.
Équation différentielleEn mathématiques, une équation différentielle est une équation dont la ou les « inconnue(s) » sont des fonctions ; elle se présente sous la forme d'une relation entre ces fonctions inconnues et leurs dérivées successives. C'est un cas particulier d'équation fonctionnelle. On distingue généralement deux types d'équations différentielles : les équations différentielles ordinaires (EDO) où la ou les fonctions inconnues recherchées ne dépendent que d'une seule variable ; les équations différentielles partielles, plutôt appelées équations aux dérivées partielles (EDP), où la ou les fonctions inconnues recherchées peuvent dépendre de plusieurs variables indépendantes.
ModélisationLa modélisation est la conception et l'utilisation d'un modèle. Selon son objectif (représentation simplifiée, compréhension, prédiction) et les moyens utilisés, la modélisation est dite mathématique, géométrique, 3D, empirique, mécaniste ( modélisation de réseau trophique dans un écosystème), cinématique... Elle nécessite généralement d'être calée par des observations ou mesures faites , lesquelles servent aussi à paramétrer, calibrer ou ajuster le modèle, par exemple en intégrant des facteurs d'influences qui s'avèreraient nécessaires.
