Énergie chimiqueL'énergie chimique est le potentiel pour une substance chimique à subir une réaction chimique pour se transformer en d'autres substances. Les piles, les aliments et les combustibles fossiles sont des exemples de supports de stockage de l'énergie chimique. La rupture ou la création de liaisons chimiques implique de l'énergie, qui peut être absorbée ou dégagée par un système chimique (sous forme de chaleur ou d'énergie électrique par exemple).
Champ conservatifUn champ de vecteurs est dit à circulation conservative (ou irrotationnel) si sa circulation sur toute courbe fermée est nulle (son rotationnel est alors nul, et réciproquement). Sous certaines conditions relatives au domaine de définition et à la régularité du champ, on peut dériver le potentiel de ce champ, fonction scalaire qui en permet une représentation alternative. De même, un champ de vecteurs est dit à flux conservatif si son flux sur toute surface fermée est nul (sa divergence est alors nulle, et réciproquement).
Fluide de Binghamthumb|302px|La mayonnaise est un fluide de Bingham. Les plis et crêtes à la surface montrent que sous de faibles contraintes de cisaillement, les fluides de Bingham sont des quasi-solides. Le fluide de Bingham est un modèle théorique de milieu viscoplastique qui correspond à un comportement de solide parfait sous faibles contraintes, et à un comportement de fluide visqueux au-delà d'une contrainte-seuil. Ce modèle porte le nom d’Eugène Bingham qui en a donné l'expression mathématique.
Potentiel chimiqueEn thermodynamique, le potentiel chimique d'une espèce chimique correspond à la variation d'énergie d'un système thermodynamique due à la variation de la quantité (nombre de moles) de cette espèce dans ce système. Étroitement lié au deuxième principe de la thermodynamique, le potentiel chimique permet d'étudier la stabilité des espèces chimiques et leur tendance à changer d'état, à réagir chimiquement ou à migrer par diffusion. La fugacité et l'activité chimique, définies à partir du potentiel chimique, sont plus faciles à manipuler que celui-ci.
Grand potentialThe grand potential or Landau potential or Landau free energy is a quantity used in statistical mechanics, especially for irreversible processes in open systems. The grand potential is the characteristic state function for the grand canonical ensemble. Grand potential is defined by where U is the internal energy, T is the temperature of the system, S is the entropy, μ is the chemical potential, and N is the number of particles in the system.
Force (physique)Une force modélise, en physique classique, une action mécanique exercée sur un objet ou une partie d'un objet par un autre objet ou partie d'objet. L'ensemble des forces appliquées à un objet a pour effet de lui communiquer une accélération ou de le déformer. Introduit antérieurement , le concept de force a été précisé en 1684 par Isaac Newton, qui en a fait l'un des fondements de la mécanique newtonienne. Le concept de force est ancien, mais il a mis longtemps à obtenir une nouvelle définition utilisable.
Dynamique de rotationLa rotation d'un système est un cas particulier de mouvement important notamment de par ses applications industrielles (machines tournantes) mais aussi sur un plan plus fondamental pour la dynamique dans un référentiel tournant, dont le cas le plus important est donné par la dynamique terrestre. Dans un système matériel, d'après la loi des actions mutuelles (autrefois action et réaction) de Newton (cf lois du mouvement de Newton, énoncées en 1687), le torseur des forces intérieures au système est nul.
Force centrifugeLa force centrifuge, nom courant de l'effet centrifuge, est une force parfois qualifiée de fictive qui apparaît en physique dans le contexte de l'étude du mouvement des objets dans des référentiels non inertiels. L'effet ressenti, modélisé par cette force, est dû à l'inertie des corps face aux mouvements de rotation de ces référentiels et se traduit par une tendance à éloigner les corps de leur centre de rotation. Un exemple en est la sensation d'éjection que ressent un voyageur dans un véhicule qui effectue un virage.
Programmation par contraintesLa programmation par contraintes (PPC, ou CP pour constraint programming en anglais) est un paradigme de programmation apparu dans les années 1970 et 1980 permettant de résoudre des problèmes combinatoires de grande taille tels que les problèmes de planification et d'ordonnancement. En programmation par contraintes, on sépare la partie modélisation à l'aide de problèmes de satisfaction de contraintes (ou CSP pour Constraint Satisfaction Problem), de la partie résolution dont la particularité réside dans l'utilisation active des contraintes du problème pour réduire la taille de l'espace des solutions à parcourir (on parle de propagation de contraintes).
Force centraleEn mécanique classique du point matériel, un champ de forces est dit champ de force centrale, de centre O s'il vérifie . Le support de la force passe par le centre fixe O. L'étude du mouvement à force centrale fut un des premiers problèmes de mécanique résolu par Newton. Si la force centrale est conservative, elle dérive d'une énergie potentielle (scalaire), notée . Souvent la constante est choisie conventionnellement, si cela est possible, pour que .
Problème de satisfaction de contraintesLes problèmes de satisfaction de contraintes ou CSP (Constraint Satisfaction Problem) sont des problèmes mathématiques où l'on cherche des états ou des objets satisfaisant un certain nombre de contraintes ou de critères. Les CSP font l'objet de recherches intenses à la fois en intelligence artificielle et en recherche opérationnelle. De nombreux CSP nécessitent la combinaison d'heuristiques et de méthodes d'optimisation combinatoire pour être résolus en un temps raisonnable.
Constraint logic programmingConstraint logic programming is a form of constraint programming, in which logic programming is extended to include concepts from constraint satisfaction. A constraint logic program is a logic program that contains constraints in the body of clauses. An example of a clause including a constraint is . In this clause, is a constraint; A(X,Y), B(X), and C(Y) are literals as in regular logic programming. This clause states one condition under which the statement A(X,Y) holds: X+Y is greater than zero and both B(X) and C(Y) are true.
