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.
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.
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.
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.
Robot parallèleUn robot parallèle est un mécanisme dont l'architecture lui confère des propriétés remarquables. La définition scientifique est : En quelque sorte, l'organe terminal ou effecteur — partie qui agit sur l'environnement, outil — est relié au bâti par plusieurs bras, chaque bras étant une « chaîne cinématique » (association de plusieurs pièces articulées entre elles). Sa mobilité est donc restreinte, puisqu'elle est limitée par les divers bras ; par contre, cela confère une plus grande résistance et précision, puisque les efforts sont répartis.
Resolution of singularitiesIn algebraic geometry, the problem of resolution of singularities asks whether every algebraic variety V has a resolution, a non-singular variety W with a proper birational map W→V. For varieties over fields of characteristic 0 this was proved in Hironaka (1964), while for varieties over fields of characteristic p it is an open problem in dimensions at least 4. Originally the problem of resolution of singularities was to find a nonsingular model for the function field of a variety X, in other words a complete non-singular variety X′ with the same function field.
Théorie des singularitésvignette|droite|Visualisation de la fonction (x, y) → x2 + y2 Dans l'acception que lui a donnée René Thom, la théorie des singularités consiste à étudier des objets et des familles d'objets suivant leur degré de généricité. Dans une famille, l'objet peut subir des changements d'états ce que l'on appelle une bifurcation. Un exemple simple est donné par les courbes de niveau de la fonction : La courbe de niveau pour une valeur positive est un cercle. La valeur 0 est singulière et pour les valeurs négatives, la courbe est vide.
Robotique industriellevignette|droite|Un robot industriel Kawasaki FS-03N, robot de soudage La robotique industrielle est officiellement définie par l'Organisation Internationale de Normalisation (ISO) comme étant un système commandé automatiquement, multi-applicatif, reprogrammable, polyvalent, manipulateur et programmable sur trois axes ou plus. Les applications typiques incluent les robots de soudage, de peinture et d'assemblage. L'avantage de la robotique industrielle est sa rapidité d'exécution et sa précision ainsi que la répétition de cette précision dans le temps.
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.
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.
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.
Singularité (mathématiques)En mathématiques, une singularité est en général un point, une valeur ou un cas dans lequel un certain objet mathématique n'est pas bien défini ou bien subit une transition. Ce terme peut donc avoir des significations très différentes en fonction du contexte. Par exemple, dans l'analyse élémentaire, on dit que . En théorie des singularités, le terme prend un sens différent. On dit, par exemple, En algèbre linéaire, une matrice carrée est dite singulière si elle n'est pas inversible.
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.
Kinematic synthesisIn mechanical engineering, kinematic synthesis (also known as mechanism synthesis) determines the size and configuration of mechanisms that shape the flow of power through a mechanical system, or machine, to achieve a desired performance. The word synthesis refers to combining parts to form a whole. Hartenberg and Denavit describe kinematic synthesis as it is design, the creation of something new. Kinematically, it is the conversion of a motion idea into hardware.
Degré de liberté (génie mécanique)En physique, un solide rigide isolé dans l'espace peut se déplacer librement dans un mouvement qu'on peut décomposer suivant 6 transformations géométriques indépendantes (translations et rotations autour d'axes fixes dans trois directions d'une base liée à notre espace à 3 dimensions). Il en est de même d'un solide isolé par rapport à un autre référent. Si ces solides sont liés mécaniquement, certains de ces mouvements élémentaires sont impossibles.
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.
Théorie des typesEn mathématiques, logique et informatique, une théorie des types est une classe de systèmes formels, dont certains peuvent servir d'alternatives à la théorie des ensembles comme fondation des mathématiques. Ils ont été historiquement introduits pour résoudre le paradoxe d'un axiome de compréhension non restreint. En théorie des types, il existe des types de base et des constructeurs (comme celui des fonctions ou encore celui du produit cartésien) qui permettent de créer de nouveaux types à partir de types préexistant.
Singularité gravitationnelleEn relativité générale, une singularité gravitationnelle est une région de l'espace-temps au voisinage de laquelle certaines quantités décrivant le champ gravitationnel deviennent infinies quel que soit le système de coordonnées retenu. Les singularités gravitationnelles sont des singularités mises en évidence par les solutions de l'équation du champ gravitationnel d'Albert Einstein. Une singularité gravitationnelle est une singularité du tenseur métrique g et non une simple singularité de coordonnées.
Inférence de typesL'inférence de types est un mécanisme qui permet à un compilateur ou un interpréteur de rechercher automatiquement les types associés à des expressions, sans qu'ils soient indiqués explicitement dans le code source. Il s'agit pour le compilateur ou l'interpréteur de trouver le type le plus général que puisse prendre l'expression. Les avantages à disposer de ce mécanisme sont multiples : le code source est plus aéré, le développeur n'a pas à se soucier de retenir les noms de types, l'interpréteur fournit un moyen au développeur de vérifier (en partie) le code qu'il a écrit et le programme est peu modifié en cas de changement de structure de données.
Point singulier d'une courbeEn géométrie, un point singulier d'une courbe est un point en lequel la courbe ne peut être paramétrée par un plongement lisse. Les définitions plus précises du point singulier d'une courbe dépendent du type de courbe concernée. Les courbes algébriques planes peuvent être définies comme étant un ensemble de points qui satisfont une équation de la forme où est une fonction polynomiale. Supposons est développée sous la forme : et si l'origine (0, 0) est sur la courbe, alors .
