GéothermieLa géothermie, du grec géo (« la Terre ») et thermos (« la chaleur »), est à la fois la science qui étudie les phénomènes thermiques internes du globe terrestre, et la technique qui vise à les exploiter. Par extension, la « géothermie » désigne aussi parfois l'énergie géothermique issue de l'énergie de la Terre, qui est convertie en chaleur. Pour capter l'énergie géothermique, on fait circuler un fluide dans les profondeurs de la terre.
Enthalpie libreL’enthalpie libre, appelée aussi énergie libre de Gibbs ou simplement énergie de Gibbs, est une fonction d'état extensive introduite par Willard Gibbs, et généralement notée G. Le changement d'enthalpie libre correspond au travail maximal qui peut être extrait d'un système fermé à température et pression fixes, hors le travail dû à la variation de volume. L'enthalpie libre est reliée à l'enthalpie par la formule (où désigne la température et l'entropie), à l'énergie libre par la relation (où désigne la pression et le volume) et à l'énergie interne par la relation .
Perceptual control theoryPerceptual control theory (PCT) is a model of behavior based on the properties of negative feedback control loops. A control loop maintains a sensed variable at or near a reference value by means of the effects of its outputs upon that variable, as mediated by physical properties of the environment. In engineering control theory, reference values are set by a user outside the system. An example is a thermostat. In a living organism, reference values for controlled perceptual variables are endogenously maintained.
Densité massique d'énergieEn physique, la densité massique d'énergie désigne le quotient d'une énergie E par la masse m de matière dans laquelle cette énergie est déposée ou stockée : Pour le stockage d'énergie, quand il s'agit d'une propriété intrinsèque du matériau (ou du dispositif) considéré, on l'appelle énergie spécifique. L'unité dérivée de référence pour exprimer la densité massique d'énergie dans le Système international est le joule par kilogramme (J/kg).
Primitive data typeIn computer science, primitive data types are a set of basic data types from which all other data types are constructed. Specifically it often refers to the limited set of data representations in use by a particular processor, which all compiled programs must use. Most processors support a similar set of primitive data types, although the specific representations vary. More generally, "primitive data types" may refer to the standard data types built into a programming language (built-in types).
Énergie libreEn thermodynamique, l'énergie libre, appelée aussi énergie libre de Helmholtz ou simplement énergie de Helmholtz, est une fonction d'état extensive dont la variation permet d'obtenir le travail utile susceptible d'être fourni par un système thermodynamique fermé, à température constante, au cours d'une transformation réversible. En français on la représente généralement par ; en anglais on l'appelle énergie libre de Helmholtz et on la représente généralement par .
Cycle de CarnotLe cycle de Carnot est un cycle thermodynamique théorique pour un moteur ditherme, constitué de quatre processus réversibles : une détente isotherme réversible, une dilatation adiabatique réversible (donc isentropique), une compression isotherme réversible, et une compression adiabatique réversible. Quand il est moteur, il s'agit du cycle le plus efficace pour obtenir du travail à partir de deux sources de chaleur de températures constantes, considérées comme des thermostats.
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.
Énergie d'ionisationthumb|right|600px|Graphique des premières énergies d'ionisation en eV, en fonction du numéro atomique. L'énergie d'ionisation augmente graduellement des métaux alcalins jusqu'aux gaz nobles. Et dans une colonne donnée du tableau périodique, l'énergie d'ionisation diminue du premier rang jusqu'au dernier, à cause de la distance croissante du noyau jusqu'à la couche des électrons de valence.
Asymptotic computational complexityIn computational complexity theory, asymptotic computational complexity is the usage of asymptotic analysis for the estimation of computational complexity of algorithms and computational problems, commonly associated with the usage of the big O notation. With respect to computational resources, asymptotic time complexity and asymptotic space complexity are commonly estimated. Other asymptotically estimated behavior include circuit complexity and various measures of parallel computation, such as the number of (parallel) processors.
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.
Développement asymptotiqueEn mathématiques, un développement asymptotique d'une fonction f donnée dans un voisinage fixé est une somme finie de fonctions de référence qui donne une bonne approximation du comportement de la fonction f dans le voisinage considéré. Le concept de développement asymptotique a été introduit par Poincaré à propos de l'étude du problème à N corps de la mécanique céleste par la théorie des perturbations. La somme étant finie, la question de la convergence ne se pose pas.
