ExtrusionL'extrusion est un procédé de fabrication (thermo)mécanique par lequel un matériau compressé est contraint de traverser une filière ayant la section de la pièce à obtenir. On forme en continu un extrudat, produit long (tube, tuyau, profilé, fibre textile) ou plat (plaque, feuille, film). Les cadences de production sont élevées. Il ne faut pas confondre ce procédé avec le tréfilage qui consiste aussi à faire passer un matériau au travers d'une filière, mais sous l'effet d'une traction. Ce procédé est conduit à froid.
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).
Refroidissement à eauLe refroidissement à eau (watercooling en anglais) est une branche du refroidissement liquide ayant pour particularité d’utiliser l’eau comme liquide caloporteur. C’est un système de refroidissement largement répandu dans l’industrie automobile et la production d’énergie. Plus récemment, le refroidissement à eau a fait son apparition dans le secteur de la micro-informatique pour pallier les inconvénients du refroidissement à air. thumb|upright|Utilisation d'un système de refroidissement à cycle ouvert lors d'une expérience de chimie.
Prototypage rapideLe prototypage rapide est une méthode de fabrication commandée par ordinateur, généralement par superposition, qui regroupe un ensemble d’outils, lesquels, agencés entre eux, permettent d’aboutir à des projets de représentation intermédiaire de la conception de produits : les modèles numériques (au sens géométrie du modèle), les maquettes, les prototypes et les préséries. Le prototypage rapide peut se définir comme . Le prototypage rapide peut désigner la fabrication additive (couramment appelée « impression 3D »), des méthodes soustractives (par exemple fraisage ou tournage) ou de thermoformage.
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.
Dépôt chimique en phase vapeurvignette|Schéma d'un CVD Le dépôt chimique en phase vapeur (ou CVD pour l'anglais chemical vapor deposition) est une méthode de dépôt sous vide de films minces, à partir de précurseurs gazeux. La CVD est un procédé utilisé pour produire des matériaux solides de haute performance, et de grande pureté. Ce procédé est souvent utilisé dans l'industrie du semi-conducteur pour produire des couches minces. Dans un procédé CVD typique, le substrat est exposé à un ou plusieurs précurseurs en phase gazeuse, qui réagissent et/ou se décomposent à la surface du substrat pour générer le dépôt désiré.
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.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
