Informatique théoriquevignette|Une représentation artistique d'une machine de Turing. Les machines de Turing sont un modèle de calcul. L'informatique théorique est l'étude des fondements logiques et mathématiques de l'informatique. C'est une branche de la science informatique et la science formelle. Plus généralement, le terme est utilisé pour désigner des domaines ou sous-domaines de recherche centrés sur des vérités universelles (axiomes) en rapport avec l'informatique.
Typed lambda calculusA typed lambda calculus is a typed formalism that uses the lambda-symbol () to denote anonymous function abstraction. In this context, types are usually objects of a syntactic nature that are assigned to lambda terms; the exact nature of a type depends on the calculus considered (see kinds below). From a certain point of view, typed lambda calculi can be seen as refinements of the untyped lambda calculus, but from another point of view, they can also be considered the more fundamental theory and untyped lambda calculus a special case with only one type.
Échangeur de chaleurUn échangeur de chaleur est un dispositif permettant de transférer de l'énergie thermique d'un fluide vers un autre sans les mélanger. Le flux thermique y traverse la surface d'échange qui sépare les fluides. L'intérêt du dispositif réside dans la séparation des deux circuits et dans l'absence d'autres échanges que la chaleur, qui maintient les caractéristiques physico-chimiques (pression, concentration en éléments chimiques...) de chaque fluide inchangées hormis leur température ou leur état.
Théorie du contrôleEn mathématiques et en sciences de l'ingénieur, la théorie du contrôle a comme objet l'étude du comportement de systèmes dynamiques paramétrés en fonction des trajectoires de leurs paramètres. On se place dans un ensemble, l'espace d'état sur lequel on définit une dynamique, c'est-à-dire une loi mathématiques caractérisant l'évolution de variables (dites variables d'état) au sein de cet ensemble. Le déroulement du temps est modélisé par un entier .
Générateur thermoélectrique à radioisotopeUn générateur thermoélectrique à radioisotope (en abrégé GTR ; en anglais Radioisotope Thermoelectric Generator, RTG) est un générateur électrique nucléaire de conception simple, produisant de l'électricité à partir de la chaleur résultant de la désintégration radioactive de matériaux riches en un ou plusieurs radioisotopes, généralement du sous forme de dioxyde de plutonium .
Résistance thermiqueLa résistance thermique quantifie l'opposition à un flux thermique entre deux isothermes entre lesquels s'effectue un transfert thermique de sorte que : où est le flux thermique en watts (W) et est la différence de température en kelvins (K). La résistance thermique s'exprime en kelvins par watt (K/W). La résistance thermique surfacique (en mètres carrés-kelvins par watt, K·m·W-1, est son équivalent rapporté à la densité de flux thermique (en watts par mètre carré, W/m) : Cette dernière est davantage utilisée dans le cas des surfaces planes notamment dans le domaine de la thermique du bâtiment.
Stochastic controlStochastic control or stochastic optimal control is a sub field of control theory that deals with the existence of uncertainty either in observations or in the noise that drives the evolution of the system. The system designer assumes, in a Bayesian probability-driven fashion, that random noise with known probability distribution affects the evolution and observation of the state variables. Stochastic control aims to design the time path of the controlled variables that performs the desired control task with minimum cost, somehow defined, despite the presence of this noise.
Rayonnement thermiqueLe rayonnement thermique est un rayonnement électromagnétique généré par l'agitation thermique de particules dans la matière quel que soit l'état de celle-ci : solide, liquide ou gaz. Le spectre de ce rayonnement s'étend du domaine micro-ondes à l'ultra-violet. L'expression est également utilisée pour des phénomènes beaucoup plus énergétiques tels que rencontrés dans les plasmas, qui sont la source de rayonnement X. Ce phénomène conduit au rayonnement du corps noir lorsque l'interaction matière - rayonnement est réversible et importante.
ThéorieUne théorie (du grec theoria, « contempler, observer, examiner ») est un ensemble cohérent, si elle prétend à la scientificité, d'explications, de notions ou d'idées sur un sujet précis, pouvant inclure des lois et des hypothèses, induites par l'accumulation de faits provenant de l'observation, l'expérimentation ou, dans le cas des mathématiques, déduites d'une base axiomatique donnée : théorie des matrices, des torseurs, des probabilités.
