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.
Constraint satisfactionIn artificial intelligence and operations research, constraint satisfaction is the process of finding a solution through a set of constraints that impose conditions that the variables must satisfy. A solution is therefore a set of values for the variables that satisfies all constraints—that is, a point in the feasible region. The techniques used in constraint satisfaction depend on the kind of constraints being considered.
Âge du bronzeL’âge du bronze est la période de la Protohistoire et de l'Histoire caractérisée par l'existence de la métallurgie du bronze, nom générique des alliages de cuivre et d'étain. L'âge du bronze succède au Néolithique final et précède l'âge du fer dans de nombreuses régions de l'Ancien Monde. Schématiquement, dans les régions du monde où il est significatif et étudié (Moyen-Orient, Europe, Afrique du Nord, Asie), l'âge du bronze s'étend sur une période de près de deux mille ans, de 2700 à , mais avec de grandes variations selon les aires géographiques considérées.
Saturated fatA saturated fat is a type of fat in which the fatty acid chains have all single bonds. A fat known as a glyceride is made of two kinds of smaller molecules: a short glycerol backbone and fatty acids that each contain a long linear or branched chain of carbon (C) atoms. Along the chain, some carbon atoms are linked by single bonds (-C-C-) and others are linked by double bonds (-C=C-). A double bond along the carbon chain can react with a pair of hydrogen atoms to change into a single -C-C- bond, with each H atom now bonded to one of the two C atoms.
Scale of temperatureScale of temperature is a methodology of calibrating the physical quantity temperature in metrology. Empirical scales measure temperature in relation to convenient and stable parameters or reference points, such as the freezing and boiling point of water. Absolute temperature is based on thermodynamic principles: using the lowest possible temperature as the zero point, and selecting a convenient incremental unit. Celsius, Kelvin, and Fahrenheit are common temperature scales.
Forme sonateEn musique classique, la forme sonate est une forme musicale qui est composée de trois parties : l'exposition, le développement et la réexposition (ou récapitulation). La forme sonate est le plus souvent fondée sur deux thèmes musicaux, utilisés lors de l'exposition et la récapitulation, et souvent combinés ou se répondant lors du développement. Attention à ne pas confondre la forme sonate et la sonate. Généralement, le premier mouvement d'une sonate - mais aussi d'une symphonie, d'un concerto - est de forme sonate.
Contrainte (mathématiques)En mathématiques, une contrainte est une condition que doit satisfaire la solution d'un problème d'optimisation. On distingue deux types de contraintes : les contraintes d'égalité et les contraintes en inégalité. L'ensemble des solutions satisfaisant toutes les contraintes est appelé l'ensemble admissible. On considère un problème d'optimisation classique : avec et et désigne le vecteur . Dans cet exemple, la première ligne montre la fonction à minimiser (appelée fonction objectif ou fonction-coût) mais aussi l'ensemble où la solution doit être recherché, ici C.
Revenu (métallurgie)Les traitements thermiques dits de revenu font partie d'une famille de traitements thermiques ayant pour trait commun d'être toujours effectués à des températures inférieures aux températures de transformations allotropiques des métaux, lorsque celles-ci existent. Les revenus ont la particularité de produire deux effets : une transformation métallurgique rendue possible par le mécanisme de diffusion amorcé pendant un séjour suffisant à température (voir Diagramme temps-température-transformation) ; un abaissement de la limite d'élasticité et, de moindre façon, du module d'élasticité pendant la montée en température et une légère amorce de fluage pendant le temps de palier à température de revenu.
Tempsthumb|Chronos, dieu du temps de la mythologie grecque, par Ignaz Günther, Bayerisches Nationalmuseum à Munich. vignette|Montre à gousset ancienne Le temps est une notion qui rend compte du changement dans le monde. Le questionnement s'est porté sur sa « nature intime » : propriété fondamentale de l'Univers, ou produit de l'observation intellectuelle et de la perception humaine. La somme des réponses ne suffit pas à dégager un concept satisfaisant du temps.
SuperalliageUn superalliage ou alliage à haute performance est un alliage métallique présentant une excellente résistance mécanique et une bonne résistance au fluage à haute température (typiquement sa température de fusion), une bonne stabilité surfacique ainsi qu'une bonne résistance à la corrosion et à l'oxydation. Les superalliages présentent typiquement une structure cristalline cubique à faces centrées de type austénitique. Les éléments d'alliages à la base d'un superalliage sont le plus souvent le nickel, le cobalt et le fer, mais aussi le titane et l'aluminium.
Forme binaireEn musique classique, la forme binaire est une structure musicale particulière de l'œuvre musicale composée de deux sections — A et B — exécutées deux fois chacune, soit : AABB. Sur une partition, la forme binaire est le plus souvent notée au moyen de barres de reprise. La section A s'achève habituellement dans une tonalité voisine — très souvent, la tonalité de la dominante. La section B au contraire, commence par cette tonalité voisine, et, après un nombre variable de modulations, s'achève sur la tonalité de départ.
