Locomotion robotiqueLa locomotion robotique est le nom collectif des différentes méthodes que les robots utilisent pour se déplacer d'un endroit à l'autre. Les robots à roues sont généralement assez efficaces sur le plan énergétique et simples à contrôler. Toutefois, d'autres formes de locomotion peuvent être plus appropriées pour un certain nombre de raisons, par exemple pour traverser un terrain accidenté, ainsi que pour se déplacer et interagir dans des environnements humains.
Robotique en essaimLa robotique en essaim est une branche de la robotique appliquant les méthodes d'intelligence distribuée aux systèmes à plusieurs robots. Il s'agit généralement d'utiliser des robots simples, voire simplistes, et peu coûteux, d'un intérêt individuel assez limité, mais qui ensemble (par exemple via des capacités d'autoassemblage ou d'auto-organisation) forment un système complexe et robuste. La robotique en essaim cherche à étudier la conception et le comportement des robots.
Robot hexapodeUn robot hexapode est un robot marcheur dont la locomotion est fondée sur trois paires de pattes. L'étude de la marche des insectes est d'un intérêt particulier pour présenter une alternative à l'usage de roues. Le terme se réfère donc aux robots d'inspiration biologique imitant dans le cas présent les animaux hexapodes tels les insectes. Les robots hexapodes sont considérés plus stables que les robots bipèdes du fait que dans la plupart des cas, les hexapodes sont statiquement stables.
Theory of computationIn theoretical computer science and mathematics, the theory of computation is the branch that deals with what problems can be solved on a model of computation, using an algorithm, how efficiently they can be solved or to what degree (e.g., approximate solutions versus precise ones). The field is divided into three major branches: automata theory and formal languages, computability theory, and computational complexity theory, which are linked by the question: "What are the fundamental capabilities and limitations of computers?".
ComputationA computation is any type of arithmetic or non-arithmetic calculation that is well-defined. Common examples of computations are mathematical equations and computer algorithms. Mechanical or electronic devices (or, historically, people) that perform computations are known as computers. The study of computation is the field of computability, itself a sub-field of computer science. The notion that mathematical statements should be ‘well-defined’ had been argued by mathematicians since at least the 1600s, but agreement on a suitable definition proved elusive.
Positionnement dynamiquethumb|alt=alternative de l'image à compléter|Navire de soutien Offshore Toisa Perseus avec en arrière-plan la cinquième génération de navire de forage en eau très profonde Discoverer Enterprise Le positionnement dynamique (DP) est un système contrôlé par ordinateur qui permet à un navire de maintenir sa position en utilisant ses propres moyens de propulsion. Le système DP est constitué de trois parties. Les capteurs recueillent les informations, la console informatique effectue les calculs et sert d'interface pour l'opérateur, et les actionneurs agissent sur consigne.
Récepteur GPSLe système de navigation et de positionnement par satellite capte et analyse les signaux émis par une constellation de satellites. Les systèmes les plus connus sont GPS, GLONASS, Galileo et Beidu. Malgré la simplicité apparente de la technique, le traitement des signaux et le calcul de la position d'un récepteur sont complexes. Le récepteur décrit ici concerne le système GPS, mais la description est généralisable aux autres systèmes. Les satellites émettent en permanence sur deux fréquences L1 () et L2 ().
TélédétectionLa télédétection est l'ensemble des techniques utilisées pour déterminer à distance les propriétés d'objets naturels ou artificiels à partir des rayonnements qu'ils émettent ou réfléchissent. Les techniques de télédétection comprennent l'ensemble du processus : la capture et l'enregistrement de l'énergie d'un rayonnement émis ou réfléchi par les objets observés, le traitement des données résultantes et enfin l'analyse des données finales. Ce processus met en œuvre un capteur (appareil photographique, laser, radar, sonar, lidar, sismographe, gravimètre,.
Criquet pèlerinLe criquet pèlerin (Schistocerca gregaria), appelé aussi sauterelle tigre, est une espèce d'insectes orthoptères caelifères de la famille des Acrididae, sous-famille des Cyrtacanthacridinae et de la tribu des Cyrtacanthacridini. Les essaims de criquets pèlerins sont depuis des siècles une menace pour la production agricole en Afrique, au Moyen-Orient et en Asie. Les moyens de subsistance d'au moins un dixième de la population mondiale peuvent être affectés par cet insecte vorace.
Receiver autonomous integrity monitoringReceiver autonomous integrity monitoring (RAIM) is a technology developed to assess the integrity of global positioning system (GPS) signals in a GPS receiver system. It is of special importance in safety-critical GPS applications, such as in aviation or marine navigation. GPS does not include any internal information about the integrity of its signals. It is possible for a GPS satellite to broadcast slightly incorrect information that will cause navigation information to be incorrect, but there is no way for the receiver to determine this using the standard techniques.
