Coefficient de performanceLe coefficient de performance, ou COP (parfois CP), d'une pompe à chaleur est le quotient de la chaleur produite par le travail fourni. Le COP est défini par la relation suivante : où Q est la chaleur utile à l'échangeur et W est le travail mécanique absorbé par le compresseur. Chaleur et travail étant des énergies, exprimées en joules, le COP est sans unité. Le COP est ainsi une efficacité énergétique, dans laquelle le système étudié se situe à la sortie du moteur du compresseur (source chaude) : seule l'efficacité du circuit frigorifique est prise en compte.
Transaction-level modelingTransaction-level modeling (TLM) is an approach to modelling complex digital systems by using electronic design automation software. TLM language (TLML) is a hardware description language, usually, written in C++ and based on SystemC library. TLMLs are used for modelling where details of communication among modules are separated from the details of the implementation of functional units or of the communication architecture. It's used for modelling of systems that involve complex data communication mechanisms.
Systems modelingSystems modeling or system modeling is the interdisciplinary study of the use of models to conceptualize and construct systems in business and IT development. A common type of systems modeling is function modeling, with specific techniques such as the Functional Flow Block Diagram and IDEF0. These models can be extended using functional decomposition, and can be linked to requirements models for further systems partition.
Gas-fired power plantA gas-fired power plant (sometimes referred to as "gas-fired power station" or "natural gas power plant") is a thermal power station that burns natural gas to generate electricity. Gas-fired power plants generate almost a quarter of world electricity and are significant sources of greenhouse gas emissions. However, they can provide seasonal, dispatchable energy generation to compensate for variable renewable energy deficits, where hydropower or interconnectors are not available.
Modèle mentalEn psychologie cognitive, un modèle mental est une représentation permettant de simuler mentalement le déroulement d'un phénomène pour anticiper les résultats d'une action. La notion de modèle mental est également largement employée en ergonomie cognitive et interaction homme-machine. Le terme de modèle mental provient de Kenneth Craik dans son livre The Nature of Explanation publié en 1943. John Bowlby s'en inspire dans ses travaux sur la théorie de l’attachement.
Agent-based modelAn agent-based model (ABM) is a computational model for simulating the actions and interactions of autonomous agents (both individual or collective entities such as organizations or groups) in order to understand the behavior of a system and what governs its outcomes. It combines elements of game theory, complex systems, emergence, computational sociology, multi-agent systems, and evolutionary programming. Monte Carlo methods are used to understand the stochasticity of these models.
Modèle statistiqueUn modèle statistique est une description mathématique approximative du mécanisme qui a généré les observations, que l'on suppose être un processus stochastique et non un processus déterministe. Il s’exprime généralement à l’aide d’une famille de distributions (ensemble de distributions) et d’hypothèses sur les variables aléatoires X1, . . ., Xn. Chaque membre de la famille est une approximation possible de F : l’inférence consiste donc à déterminer le membre qui s’accorde le mieux avec les données.
Cycle frigorifiqueLe cycle frigorifique est un cycle thermodynamique. Il permet d'abaisser la température d'un milieu relativement froid (la source froide) et simultanément d'augmenter la température d'un autre milieu relativement chaud (la source chaude) au moyen d'une dépense d'énergie mécanique. Il est notamment utilisé dans les réfrigérateurs ou les pompes à chaleur.
Recherche empiriqueLa recherche empirique explore le monde sensible en s'appuyant sur l’expérimentation, l’observation, ainsi que sur un processus d'évaluation par les pairs qui permet de faire un tri dans les connaissances scientifiques produites et de ne garder, au fil du temps, que ce qui reste valide. Il existe deux types de sciences empiriques : les sciences humaines et sociales ainsi que les sciences naturelles. Le raisonnement empirique se déroule en différentes étapes qui se répètent, c'est pourquoi on parle même de cycle de raisonnement.
Electronic system-level design and verificationElectronic system level (ESL) design and verification is an electronic design methodology, focused on higher abstraction level concerns. The term Electronic System Level or ESL Design was first defined by Gartner Dataquest, an EDA-industry-analysis firm, on February 1, 2001. It is defined in ESL Design and Verification as: "the utilization of appropriate abstractions in order to increase comprehension about a system, and to enhance the probability of a successful implementation of functionality in a cost-effective manner.
Atténuation du changement climatiquethumb|Consommation globale d'énergie entre 2000 et 2020. L'atténuation du changement climatique ou « atténuation du réchauffement climatique » (en anglais, climate change mitigation) regroupe les actions visant à atténuer l'ampleur du réchauffement mondial d'origine humaine par la réduction des émissions de gaz à effet de serre ou la capture et séquestration du dioxyde de carbone de l'atmosphère.
Machine thermiqueUne machine thermique est un mécanisme qui fait subir à un fluide des transformations cycliques au cours desquelles le fluide échange avec l'extérieur de l'énergie sous forme de travail et de chaleur. La théorie des machines thermiques s'attache à la description et à l'étude physique de certains systèmes thermodynamiques qui permettent de transformer l'énergie thermique en énergie mécanique, et vice versa. Fondée au milieu du siècle, elle s'appuie sur la thermodynamique, et en particulier sur ses deux premiers principes.
