Variables conjuguées (thermodynamique)En thermodynamique, l'énergie interne d'un système est exprimé à travers un couple de grandeurs physiques appelé variables conjuguées. Ce couple de deux variables vérifie les propriétés suivantes : l'une est intensive et l'autre extensive ; leur produit est homogène à une énergie (ou parfois une puissance). Le produit de ces deux variables donne ici une énergie, ce qui s'explicite en disant que les deux variables sont « conjuguées par rapport à l'énergie ».
Optimisation multiobjectifL'optimisation multiobjectif (appelée aussi Programmation multi-objective ou optimisation multi-critère) est une branche de l'optimisation mathématique traitant spécifiquement des problèmes d'optimisation ayant plusieurs fonctions objectifs. Elle se distingue de l'optimisation multidisciplinaire par le fait que les objectifs à optimiser portent ici sur un seul problème. Les problèmes multiobjectifs ont un intérêt grandissant dans l'industrie où les responsables sont contraints de tenter d'optimiser des objectifs contradictoires.
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.
Cycle thermodynamiqueUn cycle thermodynamique est une suite de transformations successives qui part d'un système thermodynamique dans un état donné, le transforme et le ramène finalement à son état initial, de manière à pouvoir recommencer le cycle. Au cours du cycle, le système voit sa température, sa pression ou d'autres paramètres d'état varier, tandis qu'il échange du travail et réalise un transfert thermique avec l'extérieur. Il existe de nombreux cycles thermodynamiques, dont voici quelques-uns.
Working fluidFor fluid power, a working fluid is a gas or liquid that primarily transfers force, motion, or mechanical energy. In hydraulics, water or hydraulic fluid transfers force between hydraulic components such as hydraulic pumps, hydraulic cylinders, and hydraulic motors that are assembled into hydraulic machinery, hydraulic drive systems, etc. In pneumatics, the working fluid is air or another gas which transfers force between pneumatic components such as compressors, vacuum pumps, pneumatic cylinders, and pneumatic motors.
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.
Énergie aérothermiqueAn air source heat pump (ASHP) is a type of heat pump that can absorb heat from outside a structure and release it inside using the same vapor-compression refrigeration process and much the same equipment as air conditioners but used in the opposite direction. Unlike an air conditioning unit, most ASHPs are reversible and are able to either warm or cool buildings and in some cases also provide domestic hot water. In a typical setting, an ASHP can gain 4 kWh thermal energy from 1 kWh electric energy.
Destruction de la couche d'ozoneLa destruction (ou dégradation) de la couche d'ozone est un amincissement voire une disparition de cette couche qui résulte d'un déséquilibre entre la production et la destruction de l’ozone dans la stratosphère. L'épaisseur de la couche d'ozone est mesurée en unité Dobson (DU), 1 DU correspondant à molécules d'ozone par mètre carré. Elle varie autour du globe en fonction de la latitude et des saisons. La couche est mince au niveau de l’équateur (environ 270 DU) et plus épaisse au niveau des pôles (environ 300 DU), elle est plus mince en automne et plus épaisse au printemps.
Ensemblevignette|Ensemble de polygones dans un diagramme d'Euler En mathématiques, un ensemble désigne intuitivement un rassemblement d’objets distincts (les éléments de l'ensemble), « une multitude qui peut être comprise comme une totalité » pour paraphraser Georg Cantor qui est à l'origine de la théorie des ensembles. Dans une approche axiomatique, la théorie des ensembles est une théorie de l'appartenance (un élément d'un ensemble est dit « appartenir » à cet ensemble).
Test caseIn software engineering, a test case is a specification of the inputs, execution conditions, testing procedure, and expected results that define a single test to be executed to achieve a particular software testing objective, such as to exercise a particular program path or to verify compliance with a specific requirement. Test cases underlie testing that is methodical rather than haphazard. A battery of test cases can be built to produce the desired coverage of the software being tested.
