Problème de décisionEn informatique théorique, un problème de décision est une question mathématique dont la réponse est soit « oui », soit « non ». Les logiciens s'y sont intéressés à cause de l'existence ou de la non-existence d'un algorithme répondant à la question posée. Les problèmes de décision interviennent dans deux domaines de la logique : la théorie de la calculabilité et la théorie de la complexité. Parmi les problèmes de décision citons par exemple le problème de l'arrêt, le problème de correspondance de Post ou le dernier théorème de Fermat.
Indian Regional Navigation Satellite SystemL'Indian Regional Navigation Satellite System (« système indien de navigation régionale par satellite ») ou IRNSS est un système de positionnement par satellites indien dont le déploiement en cours devrait s'achever fin 2016. Sa couverture est régionale : les récepteurs peuvent fonctionner en Inde et sur sa périphérie jusqu'à une distance de de ses frontières. Les terminaux dans le service de base fournissent une position avec une précision de . Le système IRNSS est compatible avec les systèmes GPS et Galileo.
Problème du voyageur de commercevignette|Le problème de voyageur de commerce : calculer un plus court circuit qui passe une et une seule fois par toutes les villes (ici 15 villes). En informatique, le problème du voyageur de commerce, ou problème du commis voyageur, est un problème d'optimisation qui consiste à déterminer, étant donné un ensemble de villes, le plus court circuit passant par chaque ville une seule fois. C'est un problème algorithmique célèbre, qui a donné lieu à de nombreuses recherches et qui est souvent utilisé comme introduction à l'algorithmique ou à la théorie de la complexité.
Matière dangereuseLes matières dangereuses sont des matières ou objets qui présentent un risque pour la santé, la sécurité, les biens ou l'environnement. Celles-ci sont énumérées dans la liste des marchandises dangereuses des règlements du transport ou, si elles ne figurent pas sur cette liste, sont classées conformément aux réglementations internationales. L'ONU est l'institution internationale qui établit les règles de ces transports. Il existe donc des accords internationaux pour les transports routier, ferroviaire et fluvial.
Galileo (système de positionnement)Galileo est un système de positionnement par satellites (radionavigation) mis en place par l'Union européenne (UE) qui est partiellement opérationnel depuis fin 2016 et doit devenir pleinement opérationnel après le lancement des derniers satellites FOC (fully operational capability) qui doit s'achever en 2024. Comme les systèmes américain GPS, russe GLONASS et chinois Beidou, Galileo permet à un utilisateur muni d'un terminal de réception d'obtenir sa position.
Hamiltonian path problemIn the mathematical field of graph theory the Hamiltonian path problem and the Hamiltonian cycle problem are problems of determining whether a Hamiltonian path (a path in an undirected or directed graph that visits each vertex exactly once) or a Hamiltonian cycle exists in a given graph (whether directed or undirected). Both problems are NP-complete.
Intelligence distribuéeL'intelligence distribuée, appelée aussi intelligence en essaim, désigne l'apparition de phénomènes cohérents à l'échelle d'une population dont les individus agissent selon des règles simples. L'interaction ou la synergie entre actions individuelles simples peut de façons variées permettre l'émergence de formes, organisations, ou comportements collectifs, complexes ou cohérents, tandis que les individus eux se comportent à leur échelle indépendamment de toute règle globale.
Réseau de PetriAnimated_Petri_net_commons.gif Un réseau de Petri (aussi connu comme un réseau de Place/Transition ou réseau de P/T) est un modèle mathématique servant à représenter divers systèmes (informatiques, industriels...) travaillant sur des variables discrètes. Les réseaux de Petri sont apparus en 1962, dans la thèse de doctorat de Carl Adam Petri. Les réseaux de Petri sont des outils graphiques et mathématiques permettant de modéliser et de vérifier le comportement dynamique des systèmes à événements discrets comme les systèmes manufacturiers, les systèmes de télécommunications, les réseaux de transport.
