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.
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.
Circular symmetryIn geometry, circular symmetry is a type of continuous symmetry for a planar object that can be rotated by any arbitrary angle and map onto itself. Rotational circular symmetry is isomorphic with the circle group in the complex plane, or the special orthogonal group SO(2), and unitary group U(1). Reflective circular symmetry is isomorphic with the orthogonal group O(2). A 2-dimensional object with circular symmetry would consist of concentric circles and annular domains.
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).
Spherical basisIn pure and applied mathematics, particularly quantum mechanics and computer graphics and their applications, a spherical basis is the basis used to express spherical tensors. The spherical basis closely relates to the description of angular momentum in quantum mechanics and spherical harmonic functions. While spherical polar coordinates are one orthogonal coordinate system for expressing vectors and tensors using polar and azimuthal angles and radial distance, the spherical basis are constructed from the standard basis and use complex numbers.
Pendule de Katerthumb|250px|Le pendule original de Kater, montrant son utilisation, d'après l'article original de 1818. La période d’oscillation du pendule était mesurée en la comparant à la pendule de précision (au second plan). On utilisait une mire de visée (à gauche) pour éviter l’erreur de parallaxe. Le pendule de Kater est un pendule réversible dont l'idée première revient à l'astronome, mathématicien et physicien wurtembergeois Johann Gottlieb Friedrich von Bohnenberger et que le physicien et officier britannique Henry Kater proposa d'utiliser comme gravimètre en 1817.
Pendule (horloge)vignette|Pendule de bois. Une pendule, au féminin, est une horloge de moyenne taille fonctionnant grâce à un pendule. Un pendule, au masculin, est le balancier d'un tel mécanisme. Leur force motrice est généralement des ressorts. Une horloge (du grec hôra : heure ; et legein = logo : dire - parler) est un dispositif indiquant l'heure (ex. : horloge à eau, horloge à poids, horloge d'édifice...). Un mécanisme de grande ou très grande taille sera plutôt appelé horloge (même s'il est équipé d'un pendule) (ex.
Pendule inverséEn physique, un pendule inversé est un pendule simple. Il présente une position d'équilibre instable s'il est maintenu vertical à 180°, mais cette position est maintenue par un système de contrôle ou par excitation de Kapitza. C'est un problème de physique non linéaire. La situation est exactement la même que celle décrite pour le pendule simple, en considérant une tige rigide mais de masse négligeable. On définit donc : θ l'angle formé entre la tige et la verticale ; m la masse du pendule ; l la longueur de la tige ; g l'accélération de la pesanteur ; On note les dérivées temporelles par un point : et .
Mouvement (mécanique)Un mouvement, dans le domaine de la mécanique (physique), est le déplacement d'un corps par rapport à un point fixe de l'espace nommé référentiel et à un moment déterminé. Le mouvement est plus spécifiquement l'objet de la cinématique et de la dynamique. On caractérise un mouvement par sa trajectoire et l'évolution de sa vitesse par exemple : le mouvement circulaire uniforme : mouvement d'un point ou de tous les points matériels qui décrit un cercle avec une vitesse constante.
Coordonnées généraliséesthumb|Calcul de vecteurs dans un système de coordonnées généralisées cartésien. On appelle coordonnées généralisées d'un système physique un ensemble de variables réelles, qui ne correspondent pas toutes à des coordonnées cartésiennes (par exemple : angles, positions relatives), et permettant de décrire ce système, en particulier dans le cadre de la mécanique lagrangienne. Le terme « généralisées » vient de l'époque où les coordonnées cartésiennes étaient considérées comme étant les coordonnées normales ou naturelles.
Cylindrevignette|Un cylindre quelconque. vignette|Divers cylindres droits (le premier est un cylindre circulaire droit). Un cylindre est une surface réglée dont les génératrices sont parallèles, c'est-à-dire une surface dans l'espace constituée de droites parallèles. On parle aussi de surface cylindrique. C'est un exemple de surface développable. On peut considérer un cylindre comme un cône dont le sommet est « rejeté à l'infini ». Par extension, on appelle encore cylindre le solide délimité par une surface cylindrique et par deux plans strictement parallèles.
Lois du mouvement de NewtonLes sont un ensemble de principes à la base de la grande théorie de Newton sur le mouvement des corps, appelée mécanique newtonienne ou mécanique classique. À ces lois générales du mouvement, Newton a ajouté la loi de la gravitation universelle permettant d'expliquer aussi bien la chute des corps que le mouvement de la Lune autour de la Terre. Elles sont énoncées pour la première fois dans son ouvrage Philosophiae naturalis principia mathematica en .
