Modèle du solide indéformableLe modèle du solide indéformable est un modèle de solide fréquemment utilisé en mécanique des systèmes de points matériels. Il s'agit d'une idéalisation de la notion usuelle de corps (à l'état) solide, considéré comme absolument rigide, et négligeant toute déformation. Le solide indéformable est un modèle utilisé en mécanique pour décrire le comportement d'un corps (objet, pièce). Comme son nom l'indique, on considère qu'au cours du temps la distance entre deux points donnés ne varie pas.
CinématiqueEn physique, la cinématique (du grec kinêma, le mouvement) est l'étude des mouvements indépendamment des causes qui les produisent, ou, plus exactement, l'étude de tous les mouvements possibles. À côté de la notion d'espace qui est l'objet de la géométrie, la cinématique introduit la notion de temps. À ne pas confondre avec la , un terme plus général qui concerne la vitesse et les mécanismes d'une grande variété de processus ; en mécanique, cinétique est utilisé comme adjectif pour qualifier deux grandeurs impliquant aussi la masse : le moment cinétique et l'énergie cinétique.
Cinématique inverseLa cinématique inverse (souvent abrégée IK, de l'anglais inverse kinematics) désigne l'ensemble des méthodes de calcul des positions et rotations d'un modèle articulaire afin d'obtenir une pose désirée. Les méthodes de cinématique inverse sont principalement utilisées en infographie, en robotique, en animation ou encore en chimie. Le terme cinématique inverse renvoie au fait que la résolution des calculs est généralement basée sur les équations cinématiques du modèle articulaire.
Finite strain theoryIn continuum mechanics, the finite strain theory—also called large strain theory, or large deformation theory—deals with deformations in which strains and/or rotations are large enough to invalidate assumptions inherent in infinitesimal strain theory. In this case, the undeformed and deformed configurations of the continuum are significantly different, requiring a clear distinction between them. This is commonly the case with elastomers, plastically-deforming materials and other fluids and biological soft tissue.
Robot kinematicsIn robotics, robot kinematics applies geometry to the study of the movement of multi-degree of freedom kinematic chains that form the structure of robotic systems. The emphasis on geometry means that the links of the robot are modeled as rigid bodies and its joints are assumed to provide pure rotation or translation. Robot kinematics studies the relationship between the dimensions and connectivity of kinematic chains and the position, velocity and acceleration of each of the links in the robotic system, in order to plan and control movement and to compute actuator forces and torques.
Forward kinematicsIn robot kinematics, forward kinematics refers to the use of the kinematic equations of a robot to compute the position of the end-effector from specified values for the joint parameters. The kinematics equations of the robot are used in robotics, computer games, and animation. The reverse process, that computes the joint parameters that achieve a specified position of the end-effector, is known as inverse kinematics.
Déformation d'un matériauLa déformation des matériaux est une science qui caractérise la manière dont réagit un matériau donné quand il est soumis à des sollicitations mécaniques. Cette notion est primordiale dans la conception (aptitude de la pièce à réaliser sa fonction), la fabrication (mise en forme de la pièce), et le dimensionnement mécanique (calcul de la marge de sécurité d'un dispositif pour éviter une rupture). La capacité d'une pièce à se déformer et à résister aux efforts dépend de trois paramètres : la forme de la pièce ; la nature du matériau ; des processus de fabrication : traitement thermique , traitement de surface, etc.
Liaison (mécanique)thumb|Les contacts piston/bielle et piston/chemise peuvent être modélisés par des liaisons pivots. Un mécanisme, ou transmetteur, est l'association de plusieurs pièces liées entre elles par des contacts physiques qui les rendent totalement ou partiellement solidaires, selon qu'ils autorisent ou non des mouvements relatifs des pièces. La liaison mécanique est le modèle de comportement cinématique utilisé pour décrire cette relation, dont la considération est primordiale dans l'étude des mécanismes.
Rigid body dynamicsIn the physical science of dynamics, rigid-body dynamics studies the movement of systems of interconnected bodies under the action of external forces. The assumption that the bodies are rigid (i.e. they do not deform under the action of applied forces) simplifies analysis, by reducing the parameters that describe the configuration of the system to the translation and rotation of reference frames attached to each body. This excludes bodies that display fluid, highly elastic, and plastic behavior.
Rotateur rigideLe rotateur rigide est un modèle mécanique utilisé pour expliquer les systèmes en rotation (et particulièrement en mécanique quantique). Un rotateur rigide quelconque est un objet tridimensionnel rigide, comme une toupie. Afin d'orienter un tel objet dans l'espace, trois angles sont nécessaires. Le rotateur linéaire, objet bidimensionnel, est un cas particulier de rotateur rigide en trois dimensions ne nécessitant que deux angles pour décrire son orientation. On peut citer comme exemple de rotateur linéaire une molécule diatomique.
Rotation (physique)En cinématique, l'étude des corps en rotation est une branche fondamentale de la physique du solide et particulièrement de la dynamique, y compris de la dynamique des fluides, qui complète celle du mouvement de translation. L'analyse du mouvement de rotation se prolonge y compris aux échelles atomiques, avec la dynamique moléculaire et l'étude de la fonction d'onde en mécanique quantique.
Chaîne cinématique (robotique)thumb|Exemple de chaîne cinématique du corps humain. Le genou est représenté comme une liaison pivot, la hanche par une liaison sphérique, etc. La chaîne cinématique est un modèle mathématique des systèmes mécaniques dans lequel un ensemble de solides indéformables (les "corps" ou "liens" du système) sont connectés entre eux par des articulations. Les articulations d'une chaîne cinématique sont des liaisons mécaniques.
Deformation (engineering)In engineering, deformation refers to the change in size or shape of an object. Displacements are the absolute change in position of a point on the object. Deflection is the relative change in external displacements on an object. Strain is the relative internal change in shape of an infinitesimally small cube of material and can be expressed as a non-dimensional change in length or angle of distortion of the cube. Strains are related to the forces acting on the cube, which are known as stress, by a stress-strain curve.
Type systemIn computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.
Sûreté du typageLa sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.
Environnement de bureauEn informatique, un environnement de bureau (de l'anglais desktop environment) est un logiciel (ensemble de programmes) qui permet de manier l'ordinateur à travers une interface utilisateur qui se présente en mode graphique (graphical shell) sous l'aspect d'un bureau. Il s'agit d'un type d'environnement graphique où le terme « environnement de bureau » provient de la métaphore du bureau, sur laquelle sont fondés ces produits. De nombreux systèmes d'exploitation ont un environnement de bureau incorporé.
Orientation dans l'espaceL'orientation d'un objet dans l'espace est une partie de la description de la façon dont un objet est placé dans l'espace. Cette orientation est relative et ne peut être décrite que par rapport à une orientation de référence ; l'orientation est alors la rotation imaginaire que l'objet devrait subir pour être placé de la même façon que la référence. Une rotation n'est pas en général suffisante pour retrouver le placement de référence et il est le plus souvent nécessaire de faire subir une translation à l'objet, ce qui correspond à la position de l'objet dans l'espace.
Type (informatique)vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.
Euler's equations (rigid body dynamics)In classical mechanics, Euler's rotation equations are a vectorial quasilinear first-order ordinary differential equation describing the rotation of a rigid body, using a rotating reference frame with angular velocity ω whose axes are fixed to the body. Their general vector form is where M is the applied torques and I is the inertia matrix. The vector is the angular acceleration. Again, note that all quantities are defined in the rotating reference frame.
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).
