Équilibre thermodynamiquevignette|200px|Exemple d'équilibre thermodynamique de deux systèmes, en l'occurrence deux phases : l'équilibre liquide-vapeur du brome. En thermodynamique, un équilibre thermodynamique correspond à l'état d'un système ne subissant aucune évolution à l'échelle macroscopique. Les grandeurs intensives caractérisant ce système (notamment la pression, la température et les potentiels chimiques) sont alors homogènes dans l'espace et constantes dans le temps.
Processus thermodynamiqueUn processus thermodynamique, ou une transformation thermodynamique, est une transformation (ou une série de transformations) chimique ou physique d’un système partant d’un état d’équilibre initial pour aboutir à un état d’équilibre final.
Processus adiabatiquevignette|250px|Récipient aux parois adiabatiques : le vase de Dewar. En thermodynamique, un processus adiabatique est une transformation effectuée sans qu'aucun transfert thermique n'intervienne entre le système étudié et son environnement, c'est-à-dire sans échange de chaleur entre les deux milieux. Le mot « adiabatique » a été construit à partir du grec (« infranchissable »), dérivé de , « traverser, franchir ». Un matériau adiabatique est imperméable à la chaleur.
Thermodynamic equationsThermodynamics is expressed by a mathematical framework of thermodynamic equations which relate various thermodynamic quantities and physical properties measured in a laboratory or production process. Thermodynamics is based on a fundamental set of postulates, that became the laws of thermodynamics. One of the fundamental thermodynamic equations is the description of thermodynamic work in analogy to mechanical work, or weight lifted through an elevation against gravity, as defined in 1824 by French physicist Sadi Carnot.
Potentiel thermodynamiqueEn thermodynamique, un potentiel thermodynamique est une fonction d'état particulière qui permet de prédire l'évolution et l'équilibre d'un système thermodynamique, et à partir de laquelle on peut déduire toutes les propriétés (comme les capacités thermiques, le coefficient de dilatation, le coefficient de compressibilité) du système à l'équilibre. Les divers potentiels thermodynamiques correspondent aux divers jeux de variables d'état utilisés dans l'étude des processus thermodynamiques.
Fonction d'étatUne fonction d'état est une fonction de grandeurs appelées variables d'état, qui définissent l'état d'équilibre d'un système thermodynamique. Les variables d'état sont par exemple la température , la pression , le volume ou le nombre de moles . Une telle fonction possède donc la propriété de ne dépendre que de l'état d'équilibre dans lequel se trouve le système, quel que soit le chemin emprunté par le système pour arriver à cet état.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Variable d'étatEn thermodynamique, des variables d'état sont des paramètres qui caractérisent l'état d'équilibre d'un système, tels que le volume, la température, la pression et la quantité de matière. Ces caractérisations sont elles-mêmes des fonctions d'état du système. Une variable d'état n'a de sens que pour un système à l'équilibre thermodynamique. Une variable d'état est toujours une grandeur physique scalaire. Il s'agit soit d'une grandeur extensive, définie sur l'ensemble du système considéré, soit d'une grandeur intensive, qui doit alors prendre la même valeur en tout point du système.
Table of thermodynamic equationsCommon thermodynamic equations and quantities in thermodynamics, using mathematical notation, are as follows: List of thermodynamic propertiesThermodynamic potentialFree entropy and Defining equation (physical chemistry) Many of the definitions below are also used in the thermodynamics of chemical reactions. Heat capacity and Thermal expansion Thermal conductivity The equations in this article are classified by subject. where kB is the Boltzmann constant, and Ω denotes the volume of macrostate in the phase space or otherwise called thermodynamic probability.
Système nominatif de typesUn système nominatif de types est une classe majeure de système de types en programmation informatique. C'est avec lui qu'on détermine la compatibilité et l'équivalence de types par la déclaration explicite et/ou le nommage des types. On utilise les systèmes nominatifs pour déterminer si des types sont équivalents ou pour savoir si un type est un sous-type d'un autre. Ce système est en contraste avec le système structurel, où les comparaisons sont fondées sur la structure des types en question et donc ces types ne nécessitent pas de déclarations explicites.
Substructural type systemSubstructural type systems are a family of type systems analogous to substructural logics where one or more of the structural rules are absent or only allowed under controlled circumstances. Such systems are useful for constraining access to system resources such as , locks, and memory by keeping track of changes of state that occur and preventing invalid states. Several type systems have emerged by discarding some of the structural rules of exchange, weakening, and contraction: Ordered type systems (discard exchange, weakening and contraction): Every variable is used exactly once in the order it was introduced.
Processus isentropiqueEn thermodynamique, un processus isentropique est un processus thermodynamique au cours duquel l'entropie du système étudié reste constante. La constance de l'entropie peut être obtenue par un processus idéal qui est à la fois adiabatique et réversible. Les transferts d'énergie par travail doivent alors être sans frottement et il ne doit y avoir ni transfert d'énergie thermique (chaleur) ni transfert de matière. Un tel processus idéal est utile en ingénierie pour modéliser certains processus réels.
Variable globaleEn programmation informatique, une variable globale est une variable déclarée à l'extérieur du corps de toute fonction ou classe, et pouvant donc être utilisée n'importe où dans le programme. On parle également de variable de portée globale. #include int global = 3; // Une variable globale void ChangeGlobal() { global = 5; // Référence à la variable globale à l'intérieur d'une fonction } int main() { std::cout < global < '\n'; // Référence à la variable globale dans une autre fonction ChangeGlobal(); std::cout < global < '\n'; } La variable étant globale, il n'est pas nécessaire de la passer comme paramètre pour l'utiliser dans les fonctions.
Process functionIn thermodynamics, a quantity that is well defined so as to describe the path of a process through the equilibrium state space of a thermodynamic system is termed a process function, or, alternatively, a process quantity, or a path function. As an example, mechanical work and heat are process functions because they describe quantitatively the transition between equilibrium states of a thermodynamic system. Path functions depend on the path taken to reach one state from another. Different routes give different quantities.
Premier principe de la thermodynamiqueSelon le premier principe de la thermodynamique, lors de toute transformation, il y a conservation de l'énergie. Dans le cas des systèmes thermodynamiques fermés, il s'énonce de la manière suivante : Au cours d'une transformation quelconque d'un système fermé, la variation de son énergie est égale à la quantité d'énergie échangée avec le milieu extérieur, par transfert thermique (chaleur) et transfert mécanique (travail).
Indice adiabatiqueEn thermodynamique, l'indice adiabatique d'un gaz (corps pur ou mélange), aussi appelé coefficient adiabatique, exposant adiabatique ou coefficient de Laplace, noté , est défini comme le rapport de ses capacités thermiques à pression constante (isobare) et à volume constant (isochore) : Le coefficient de Laplace se définit également à partir des capacités thermiques molaires et si la transformation concerne moles de gaz, ou des capacités thermiques massiques (ou spécifiques) et si la transformation concerne
Théorème adiabatiqueLe théorème adiabatique est un concept important en mécanique quantique. Sa forme originelle, énoncée en 1928 par Max Born et Vladimir Fock, peut être énoncée de la manière suivante : Un système physique est maintenu dans son état propre instantané si une perturbation donnée agit sur lui suffisamment lentement et s'il y a un intervalle significatif entre la valeur propre et le reste du spectre de l'hamiltonien. Il peut ne pas être immédiatement compris à partir de cette formulation que le théorème adiabatique est, en fait, un concept extrêmement intuitif.
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.
Variable localeEn programmation informatique, une variable locale est une variable qui ne peut être utilisée que dans la fonction ou le bloc où elle est définie. La variable locale s'oppose à la variable globale qui peut être utilisée dans tout le programme. Selon le langage utilisé, une variable locale à une fonction sera accessible ou non aux fonctions que celle-ci appelle (notion de portée d'une variable ; voir aussi la notion de « fief » en Algol 68).
Thermodynamic stateIn thermodynamics, a thermodynamic state of a system is its condition at a specific time; that is, fully identified by values of a suitable set of parameters known as state variables, state parameters or thermodynamic variables. Once such a set of values of thermodynamic variables has been specified for a system, the values of all thermodynamic properties of the system are uniquely determined. Usually, by default, a thermodynamic state is taken to be one of thermodynamic equilibrium.
