Extension de corpsEn mathématiques, plus particulièrement en algèbre, une extension d'un corps commutatif K est un corps L qui contient K comme sous-corps. Par exemple, le corps C des nombres complexes est une extension du corps R des nombres réels, lequel est lui-même une extension du corps Q des nombres rationnels. On note parfois L/K pour indiquer que L est une extension de K. Soit K un corps. Une extension de K est un couple (L, j) où L est un corps et j un morphisme de corps de K dans L (les morphismes de corps étant systématiquement injectifs).
Social simulationSocial simulation is a research field that applies computational methods to study issues in the social sciences. The issues explored include problems in computational law, psychology, organizational behavior, sociology, political science, economics, anthropology, geography, engineering, archaeology and linguistics . Social simulation aims to cross the gap between the descriptive approach used in the social sciences and the formal approach used in the natural sciences, by moving the focus on the processes/mechanisms/behaviors that build the social reality.
Procédure d'approchethumb|Procédure d'approche en vidéo - reconstitution du Vol 801 Korean Air. La procédure d'approche d'un avion définit les trajectoires et altitudes à respecter avant l'atterrissage. Elle peut s'effectuer à vue ou aux instruments. Le pilote est tenu de respecter les procédures publiées dans des cartes d'approche par les autorités du pays. L'approche est la phase du vol située entre la croisière et l'atterrissage. Au cours de l'approche, le pilote réduit la vitesse et l'altitude de l'aéronef tout en l'alignant sur l'axe de la piste.
Règles de vol aux instrumentsLes règles de vol aux instruments (en abrégé IFR – instrument flight rules) définissent un régime de vol où la prévention des collisions repose sur le contrôle de la circulation aérienne et le respect de trajectoires spécifiques. Elles font partie des règles de l'air définies par l'OACI. Le pilote, à l'aide d'indications données par des instruments de bord et des directives reçues des contrôleurs aériens, doit : maintenir son avion dans une configuration propre au vol (altitude, vitesse) ; suivre une trajectoire imposée par les organismes de circulation aérienne (pour assurer sa séparation avec le relief, les obstacles et les autres aéronefs) ; respecter la réglementation et les procédures (conventionnelles ou PBN) publiées.
Algorithme de rechercheEn informatique, un algorithme de recherche est un type d'algorithme qui, pour un domaine, un problème de ce domaine et des critères donnés, retourne en résultat un ensemble de solutions répondant au problème. Supposons que l'ensemble de ses entrées soit divisible en sous-ensemble, par rapport à un critère donné, qui peut être, par exemple, une relation d'ordre. De façon générale, un tel algorithme vérifie un certain nombre de ces entrées et retourne en sortie une ou plusieurs des entrées visées.
Verrou (informatique)Un verrou informatique permet de s'assurer qu'une seule personne, ou un seul processus accède à une ressource à un instant donné. Ceci est souvent utilisé dans le domaine des accès à des fichiers sur des systèmes d'exploitation multi-utilisateur, car si deux programmes modifient un même fichier au même moment, le risque est de : provoquer des erreurs dans un des deux programmes, voire dans les deux ; laisser le fichier en fin de traitement dans une complète incohérence ; endommager le fichier manipulé.
Algorithme d'EuclideEn mathématiques, l'algorithme d'Euclide est un algorithme qui calcule le plus grand commun diviseur (PGCD) de deux entiers, c'est-à-dire le plus grand entier qui divise les deux entiers, en laissant un reste nul. L'algorithme ne requiert pas de connaître la factorisation de ces deux nombres. vignette|Peinture censée représenter le mathématicien Euclide d'Alexandrie, par Justus of Ghent. Selon Donald Knuth, l'algorithme d'Euclide est l'un des plus anciens algorithmes.
Distributed lock managerOperating systems use lock managers to organise and serialise the access to resources. A distributed lock manager (DLM) runs in every machine in a cluster, with an identical copy of a cluster-wide lock database. In this way a DLM provides software applications which are distributed across a cluster on multiple machines with a means to synchronize their accesses to shared resources. DLMs have been used as the foundation for several successful s, in which the machines in a cluster can use each other's storage via a unified , with significant advantages for performance and availability.
Navigationthumb|Porter un point ou tracer une route sur une carte marine à la passerelle de la frégate La Motte-Picquet. La navigation est la science et l'ensemble des techniques qui permettent de : connaître la position (ses coordonnées) d'un mobile par rapport à un système de référence, ou par rapport à un point fixe déterminé ; calculer ou mesurer la route à suivre pour rejoindre un autre point de coordonnées connues ; calculer toute autre information relative au déplacement de ce mobile (distances et durées, vitesse de déplacement, heure estimée d'arrivée, etc.
Designvignette|Chaise de Charles Rennie Mackintosh, 1897. Le design, le stylisme ou la stylique est une activité de création souvent à vocation industrielle ou commerciale, pouvant s’orienter vers les milieux sociaux, politiques, scientifiques et environnementaux. Le but premier du design est d’inventer, d’améliorer ou de faciliter l’usage ou le processus d’un élément ayant à interagir avec un produit ou un service matériel ou virtuel.
