Simulateur de conduiteLe terme simulateur de conduite désigne en général un simulateur de véhicule terrestre comme un véhicule automobile, un véhicule ferroviaire ou même celui d'un navire. C'est un simulateur piloté dans lequel un conducteur réel est capable de conduire un véhicule virtuel.
Logique mathématiqueLa logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du , qui s'est donné comme objet l'étude des mathématiques en tant que langage. Les objets fondamentaux de la logique mathématique sont les formules représentant les énoncés mathématiques, les dérivations ou démonstrations formelles représentant les raisonnements mathématiques et les sémantiques ou modèles ou interprétations dans des structures qui donnent un « sens » mathématique générique aux formules (et parfois même aux démonstrations) comme certains invariants : par exemple l'interprétation des formules du calcul des prédicats permet de leur affecter une valeur de vérité'.
Agent-based modelAn agent-based model (ABM) is a computational model for simulating the actions and interactions of autonomous agents (both individual or collective entities such as organizations or groups) in order to understand the behavior of a system and what governs its outcomes. It combines elements of game theory, complex systems, emergence, computational sociology, multi-agent systems, and evolutionary programming. Monte Carlo methods are used to understand the stochasticity of these models.
Offre et demandeL'offre et la demande est un modèle économique de détermination des prix dans un marché. Notamment utilisé en microéconomie, ce modèle énonce que, certaines hypothèses étant respectées, le fonctionnement d'un marché permet au prix unitaire du bien vendu sur ce marché de varier jusqu'à ce que où la quantité demandée soit égale à la quantité fournie. Il résulte ainsi un équilibre économique entre le prix offert et la quantité demandée.
Inférence bayésiennevignette|Illustration comparant les approches fréquentiste et bayésienne (Christophe Michel, 2018). L’inférence bayésienne est une méthode d'inférence statistique par laquelle on calcule les probabilités de diverses causes hypothétiques à partir de l'observation d'événements connus. Elle s'appuie principalement sur le théorème de Bayes. Le raisonnement bayésien construit, à partir d'observations, une probabilité de la cause d'un type d'événements.
Microscopic traffic flow modelMicroscopic traffic flow models are a class of scientific models of vehicular traffic dynamics. In contrast, to macroscopic models, microscopic traffic flow models simulate single vehicle-driver units, so the dynamic variables of the models represent microscopic properties like the position and velocity of single vehicles. Also known as time-continuous models, all car-following models have in common that they are defined by ordinary differential equations describing the complete dynamics of the vehicles' positions and velocities .
Feu de circulationvignette|Les trois états d'un feu tricolore. vignette|Un feu destiné aux piétons en Italie. Un feu de circulation routière, aussi appelé feu tricolore est un dispositif permettant la régulation du trafic routier entre les usagers de la route, les véhicules et les piétons. Les feux destinés aux véhicules à moteurs sont généralement de type tricolores choisis pour leur conspicuité – leur remarquabilité – auxquels peuvent s'ajouter des flèches directionnelles.
Modèles d'équilibre général dynamique stochastiqueUn modèle d'équilibre général dynamique stochastique (en anglais, Dynamic Stochastic General Equilibrium, DSGE) est un modèle économique qui se base sur la théorie de l'équilibre général afin de permettre d'évaluer l'impact macroéconomique d'une politique monétaire ou budgétaire. Le modèle DSGE a été créé par l'école de la nouvelle économie keynésienne sur la base des travaux des modèles de cycles réels (modèles RBC) de Finn E. Kydland et Edward C. Prescott.
Système temps réelEn informatique, on parle d'un système temps réel lorsque ce système est capable de contrôler (ou piloter) un procédé physique à une vitesse adaptée à l'évolution du procédé contrôlé. Les systèmes informatiques temps réel se différencient des autres systèmes informatiques par la prise en compte de contraintes temporelles dont le respect est aussi important que l'exactitude du résultat, autrement dit le système ne doit pas simplement délivrer des résultats exacts, il doit les délivrer dans des délais imposés.
Demande agrégéePour la macroéconomie, la demande agrégée (notée ) représente la demande totale de biens et services dans une économie (notée ) pour un temps et un niveau de prix donnés. C'est la quantité de biens et services dans l'économie qui sera achetée à tous les niveaux de prix. Il s'agit donc de la demande pour le produit intérieur brut (PIB) d'un pays lorsque les niveaux d'inventaires sont statiques. Elle est souvent appelée demande effective, quoique ce terme soit parfois considéré comme différent.
