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.
Type dépendantEn Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).
Principe de superpositionOn dit qu'un système de type entrée-sortie est linéaire ou relève du principe de superposition si: à la somme de deux entrées quelconques correspond la somme des deux sorties correspondantes, à un multiple d'une entrée quelconque correspond le même multiple de la sortie correspondante. Dans le domaine des systèmes physiques et mécaniques, on appelle souvent l'entrée excitation et la sortie réponse.
Champ gravitationnelEn physique classique, le champ gravitationnel ou champ de gravitation est un champ réparti dans l'espace et dû à la présence d'une masse susceptible d'exercer une influence gravitationnelle sur tout autre corps présent à proximité (immédiate ou pas). L'introduction de cette grandeur permet de s'affranchir du problème de la médiation de l'action à distance apparaissant dans l'expression de la force de gravitation universelle.
IPhoneL'iPhone est une gamme de smartphone créée par Apple comprenant plusieurs générations, opérant sur le Système d'exploitation mobile iOS, développé également par Apple. Steve Jobs dévoile le premier , l'IPhone 2G, le . Chaque année, la firme américaine publie de nouveaux modèles ainsi que des mises à jour du système d'exploitation. Au , plus de d' ont été vendus. Son interface utilisateur est constituée d'un écran multi-touch.
Intuitionistic type theoryIntuitionistic type theory (also known as constructive type theory, or Martin-Löf type theory) is a type theory and an alternative foundation of mathematics. Intuitionistic type theory was created by Per Martin-Löf, a Swedish mathematician and philosopher, who first published it in 1972. There are multiple versions of the type theory: Martin-Löf proposed both intensional and extensional variants of the theory and early impredicative versions, shown to be inconsistent by Girard's paradox, gave way to predicative versions.
Principe de superposition quantiquethumb|Mesure de la position d'un ensemble de particules étant dans le même état superposé. En mécanique quantique, selon le principe de superposition, un même état quantique peut posséder plusieurs valeurs pour une certaine quantité observable (spin, position, quantité de mouvement, etc.) Ce principe résulte du fait que l'état – quel qu'il soit – d'un système quantique (une particule, une paire de particules, un atome, etc.) est représenté par un vecteur dans un espace vectoriel nommé espace de Hilbert (premier postulat de la mécanique quantique).
Équations d'EulerEn mécanique des fluides, les équations d'Euler sont des équations aux dérivées partielles non linéaires qui décrivent l'écoulement des fluides (liquide ou gaz) dans l’approximation des milieux continus. Ces écoulements sont adiabatiques, sans échange de quantité de mouvement par viscosité ni d'énergie par conduction thermique. L'histoire de ces équations remonte à Leonhard Euler qui les a établies pour des écoulements incompressibles (1757).
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 .
IPhone XL'iPhone X (prononcé iPhone 10 pour le chiffre romain ) est un smartphone, modèle de la d'iPhone d'Apple. Il est disponible en pré-commande le et est commercialisé le . Il est destiné à présenter ce qu'Apple considère comme la technologie du futur. Il utilise un boîtier en verre et en acier inoxydable et une conception sans contour, ce qui permet de réduire les cadres. C'est le premier iPhone à utiliser un écran OLED.
Force électromagnétiquevignette|Force de Lorentz agissant sur des particules chargées se déplaçant rapidement dans une chambre à bulles. Les trajectoires de charge positive et négative se courbent dans des directions opposées.La force électromagnétique ou force de Lorentz est la force subie par une particule chargée dans un champ électromagnétique. C'est la principale manifestation de l'interaction électromagnétique. Cette force, appliquée dans diverses situations, induit l'ensemble des interactions électriques et magnétiques observées ; elle est de ce fait principalement étudiée en physique et en chimie.
Force centripèteLe terme force centripète (« qui tend à rapprocher du centre », en latin) désigne une force permettant de maintenir un objet dans une trajectoire incurvée, généralement une conique (cercle, ellipse, parabole, hyperbole). En effet, tout objet décrivant une trajectoire de ce type possède en coordonnées cylindriques une accélération radiale non nulle, appelée accélération centripète, qui est dirigée vers le centre de courbure. D'un point de vue dynamique, le principe fondamental de la dynamique (PFD) indique alors la présence d'une force radiale dirigée elle aussi vers le centre de courbure.
