Refroidissement thermoélectriqueLe refroidissement thermoélectrique est une technique de refroidissement utilisant la thermoélectricité. On utilise pour cela des composants nommés « modules Peltier » qui exploitent l'effet Peltier, par lequel un courant électrique est converti en une différence de température. Les modules Peltier sont nommés ainsi car ils mettent en œuvre la thermoélectricité et plus précisément l’effet Peltier. Un tel module est alimenté par un courant et présente deux faces, l’une dite froide et l’autre chaude.
Calcul numérique d'une intégraleEn analyse numérique, il existe une vaste famille d’algorithmes dont le but principal est d’estimer la valeur numérique de l’intégrale définie sur un domaine particulier pour une fonction donnée (par exemple l’intégrale d’une fonction d’une variable sur un intervalle). Ces techniques procèdent en trois phases distinctes : Décomposition du domaine en morceaux (un intervalle en sous-intervalles contigus) ; Intégration approchée de la fonction sur chaque morceau ; Sommation des résultats numériques ainsi obtenus.
ThermorégulationLa thermorégulation est l'ensemble des mécanismes qui permet à un organisme ou à un système de se maintenir à une température souhaitée. Elle est le résultat de production et de déperdition d'énergie thermique. Dans le monde du vivant, on distingue les organismes homéothermes des organismes poïkilothermes. Les poïkilothermes sont des organismes dont la température interne varie avec la température de leur environnement, contrairement aux homéothermes qui disposent d'une thermorégulation efficace permettant un contrôle de leur température.
Théorème de dérivation des fonctions composéesEn mathématiques, dans le domaine de l'analyse, le théorème de dérivation des fonctions composées (parfois appelé règle de dérivation en chaîne ou règle de la chaîne, selon l'appellation anglaise) est une formule explicitant la dérivée d'une fonction composée pour deux fonctions dérivables. Elle permet de connaître la j-ème dérivée partielle de la i-ème application partielle de la composée de deux fonctions de plusieurs variables chacune.
Règle du produitEn analyse mathématique, la règle du produit, aussi appelée règle de Leibniz, est une formule utilisée afin de trouver les dérivées de produits de fonctions. Sous sa forme la plus simple, elle s'énonce ainsi : En notation de Leibniz, cette formule s'écrit : Une application importante de la règle du produit est la méthode d'intégration par parties. Soit la fonction définie par : Pour trouver sa dérivée avec la règle du produit, on pose et . Les fonctions , et sont partout dérivables car polynomiales.
Quotient ruleIn calculus, the quotient rule is a method of finding the derivative of a function that is the ratio of two differentiable functions. Let , where both f and g are differentiable and The quotient rule states that the derivative of h(x) is It is provable in many ways by using other derivative rules. Given , let , then using the quotient rule: The quotient rule can be used to find the derivative of as follows: Reciprocal rule The reciprocal rule is a special case of the quotient rule in which the numerator .
Structural ruleIn proof theory, a structural rule is an inference rule that does not refer to any logical connective, but instead operates on the judgment or sequents directly. Structural rules often mimic intended meta-theoretic properties of the logic. Logics that deny one or more of the structural rules are classified as substructural logics. Three common structural rules are: Weakening, where the hypotheses or conclusion of a sequent may be extended with additional members.
