Théorèmes du bien-êtreLes deux théorèmes de l'économie du bien-être sont les résultats fondamentaux de la théorie de l'équilibre général telle que formulée par Kenneth Arrow et Gérard Debreu. Obtenus par une démonstration mathématique, ces théorèmes lient certaines hypothèses sur le fonctionnement économique (concurrence pure et parfaite, homogénéité et continuité des fonctions de production et des fonctions de demande...) et la possibilité d'un état optimum de l'allocation des ressources (optimum de Pareto) Énoncé: Tout équilibre général en concurrence pure et parfaite est un optimum de Pareto.
Allocative efficiencyAllocative efficiency is a state of the economy in which production is aligned with consumer preferences; in particular, the set of outputs is chosen so as to maximize the wellbeing of society. This is achieved if every good or service is produced up until the last unit provides a marginal benefit to consumers equal to the marginal cost of production. In economics, allocative efficiency entails production at the point on the production possibilities frontier that is optimal for society.
Péage urbainLe 'péage urbain' est un système destiné à limiter la pollution et la congestion automobile de grandes agglomérations en rendant payant l'accès automobile au centre de cette agglomération et en incitant les automobilistes à garer leurs véhicules dans des parkings relais à la périphérie et à emprunter les transports en commun. L'objectif est d’intégrer dans le coût du déplacement en voiture individuelle le coût que la collectivité supporte du fait de l’utilisation des véhicules en ville.
Boîte d'EdgeworthEn économie, la boîte d'Edgeworth ou boîte Edgeworth-Bowley est un graphique ingénieux, proposé par Francis Edgeworth et perfectionné par Vilfredo Pareto et Arthur Bowley, afin d'illustrer les possibilités d'échange de deux biens entre deux individus. Elle est surtout utilisée pour représenter l'équilibre général dans une économie d'échange ou le premier théorème de l'économie du bien-être. La boite d'Edgeworth, associée aux courbes d’indifférence (ou d'iso-utilité), permet une représentation géométrique simple de la notion d'équilibre pour une économie composée de deux agents, A et B, et de deux types de biens, 1 et 2.
File de prioritéEn informatique, une file de priorité est un type abstrait élémentaire sur laquelle on peut effectuer trois opérations : insérer un élément ; extraire l'élément ayant la plus grande clé ; tester si la file de priorité est vide ou pas. Ainsi, elle permet d'implémenter efficacement des planificateurs de tâches, où un accès rapide aux tâches d'importance maximale est souhaité. On la retrouve par exemple dans les ordonnanceurs des systèmes d'exploitation, notamment le noyau Linux.
Système d'exploitation temps réelUn système d'exploitation temps réel, en anglais RTOS pour real-time operating system (généralement prononcé à l’anglaise, en séparant le R de l’acronyme : Are-toss), est un système d'exploitation pour lequel le temps maximum entre un stimulus d'entrée et une réponse de sortie est précisément déterminé. Ces systèmes d'exploitation multitâches sont destinés à des applications temps réel : systèmes embarqués (thermostats programmables, contrôleurs électroménagers, téléphones mobiles, robots industriels, vaisseaux spatiaux, systèmes de contrôle commande industriel, matériel de recherche scientifique).
Rate-monotonic schedulingL'ordonnancement à taux monotone (en anglais, rate-monotonic scheduling) est un algorithme d'ordonnancement temps réel en ligne à priorité constante (statique). Il attribue la priorité la plus forte à la tâche qui possède la plus petite période. RMS est optimal dans le cadre d'un système de tâches périodiques, synchrones, indépendantes et à échéance sur requête avec un ordonnanceur préemptif. De ce fait, il n'est généralement utilisé que pour ordonnancer des tâches vérifiant ces propriétés.
Espace homogèneEn géométrie, un espace homogène est un espace sur lequel un groupe agit de façon transitive. Dans l'optique du programme d'Erlangen, le groupe représente des symétries préservant la géométrie de l'espace, et le caractère homogène se manifeste par l'indiscernabilité des points, et exprime une notion disotropie. Les éléments de l'espace forment une seule orbite selon G. Les espaces des géométries classiques (en dimension finie quelconque) de points sont des espaces homogènes pour leur groupe de symétries.
Inversion de prioritéL'inversion de priorité est un phénomène qui peut se produire en programmation concurrente. Il s'agit d'une situation dans laquelle un processus de haute priorité ne peut pas avoir accès au processeur car il est utilisé par un processus de plus faible priorité. Pour les exemples, nous utiliseront des tâches A, B, et C, A ayant la plus forte priorité, C la plus faible, et B une priorité intermédiaire, et un mutex X qui sert à gérer une ressource partagée entre la tâche A et la tâche C.
Voie réservée aux véhicules à occupation multipleUne voie réservée aux véhicules à occupation multiple (en anglais, en ou HOV ou en) est une voie réservée aux véhicules automobiles dont le nombre de passagers dépasse un certain seuil. Ces voies encouragent le covoiturage et les transports en commun par autobus dans les grandes métropoles. Elles sont généralement également ouvertes sans conditions aux véhicules électriques, hybrides rechargeables ainsi qu'aux deux roues motorisés qui occupent moins de place qu'un gros véhicule.
