Tour aéroréfrigéranteLes tours aéroréfrigérantes ou TAR, aussi appelées tours de refroidissement, sont utilisées pour refroidir un liquide, généralement de l'eau, à l'aide d'un gaz, généralement l'air ambiant. Il s'agit d'un cas particulier d'échangeur de chaleur où le transfert thermique s'effectue par contact direct ou indirect entre les flux. Les tours de refroidissement sont des équipements courants, présents dans des installations de climatisation, ou dans des procédés industriels et énergétiques (centrales électriques, installations de combustion, sucreries, chimie.
Space Launch SystemLe Space Launch System ( « système de lancement spatial »), abrégé SLS, est un lanceur spatial super-lourd américain développé par la NASA depuis 2011 et dont le premier vol a lieu le . Le SLS joue un rôle central dans le programme Artemis dont l'objectif est, après le programme Apollo, d'envoyer de nouveau des équipages à la surface de la Lune, puis de préparer les futures missions habitées vers Mars. Cette fusée sera chargée de placer le vaisseau Orion transportant l'équipage sur une trajectoire à destination de la Lune.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Centrale nucléaireUne centrale nucléaire est un site industriel destiné à la production d'électricité, comprenant un ou plusieurs réacteurs nucléaires. La puissance électrique d'une centrale varie de quelques mégawatts à plusieurs milliers de mégawatts en fonction du nombre et du type de réacteur en service sur le site. L'énergie d'une centrale nucléaire provient de la fission de noyaux d'atomes lourds.
Artemis I(anciennement Exploration Mission 1 ou EM-1) est la première mission du programme Artemis de l'agence spatiale civile américaine, la NASA. Ce programme a pour objectif de retourner sur la surface lunaire et d'y maintenir à terme une présence humaine plus ou moins continue. Pour cette mission, le vaisseau spatial Orion est placé sur une orbite lunaire par la fusée géante américaine Space Launch System (SLS) qui effectue là son premier vol.
Circuit intégréLe circuit intégré (CI), aussi appelé puce électronique, est un composant électronique, basé sur un semi-conducteur, reproduisant une ou plusieurs fonctions électroniques plus ou moins complexes, intégrant souvent plusieurs types de composants électroniques de base dans un volume réduit (sur une petite plaque), rendant le circuit facile à mettre en œuvre. Il existe une très grande variété de ces composants divisés en deux grandes catégories : analogique et numérique.
Méthodes de refroidissement pour ordinateurLes méthodes de refroidissement pour ordinateur sont les moyens permettant de réduire la température de certains composants d'ordinateur afin d'éviter leur surchauffe. La majorité des composants d'un ordinateur chauffent, allant d'une très faible production de chaleur pour les lecteurs optiques, à une production beaucoup plus importantes pour le microprocesseur voire la carte graphique, laquelle consomme parfois plus que le processeur.
Technologie de ruptureUne technologie de rupture (dite aussi rupture d'innovation ou technologique rupture) est une innovation technologique qui porte sur un produit ou un service et qui finit par remplacer une technologie dominante sur un marché. Cette disparition de la technologie existante se fera bien que la technologie de rupture soit radicalement différente et qu’elle soit souvent moins performante à l’origine selon les critères traditionnels de mesure.
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.
Théorème de compacitévignette|420x420px|Si toute partie finie d'une théorie est satisfaisable (schématisée à gauche), alors la théorie est satisfaisable (schématisée à droite). En logique mathématique, un théorème de compacité énonce que si toute partie finie d'une théorie est satisfaisable alors la théorie elle-même est satisfaisable. Il existe des logiques où il y a un théorème de compacité comme le calcul propositionnel ou la logique du premier ordre (on parle de logiques compactes). Il existe aussi des logiques sans théorème de compacité.
