File d'attente à deux serveurs : Exercice corrigé de files d'attente

Étude d'une file d'attente à deux serveurs

Ce document propose un exercice complet et structuré dédié à l'analyse mathématique d'une file d'attente dotée de deux serveurs aux caractéristiques différentes, notés A et B. Ce type de problème s'inscrit directement dans la théorie des files d'attente et l'étude des processus stochastiques, plus particulièrement des chaînes de Markov à temps continu.

Présentation et modélisation du système

Le sujet pose les bases d'un système où les temps de service du serveur A suivent une loi exponentielle de paramètre µA, et ceux du serveur B une loi exponentielle de paramètre µB, avec la condition que le serveur A est en moyenne plus rapide (µA ≥ µB > 0). Les arrivées des clients suivent quant à elles un processus de Poisson de paramètre λ > 0.

La règle d'attribution stipule qu'un client arrivant lorsque les deux serveurs sont libres choisit prioritairement le serveur A. Si un seul serveur est libre, le client s'y dirige directement. L'état du système à l'instant t, noté Xt, appartient à l'ensemble E = {0, A, B, 2, ...}, où 0 signifie que les serveurs sont libres, A ou B indiquent qu'un seul serveur est occupé, et les valeurs entières à partir de 2 désignent le nombre de clients lorsque les deux serveurs sont occupés.

Questions abordées dans l'exercice

L'exercice est découpé en cinq parties progressives qui permettent d'explorer en profondeur le comportement de la file d'attente :

Modélisation markovienne : Justification du fait que le processus X = (Xt, t ≥ 0) constitue une chaîne de Markov à temps continu sur l'espace d'états E, incluant la détermination de son générateur infinitésimal et de la matrice de transition de la chaîne trace.
Probabilité invariante : Recherche d'une probabilité invariante π = (π0, πA, πB, π2, ...), démonstration de son unicité, et établissement des relations de récurrence entre les composantes, notamment l'expression de πn en fonction de ρ où ρ = λ / (µA + µB).
Condition de stabilité : Déduction de l'existence d'une probabilité invariante si et seulement si ρ < 1, ainsi que le calcul des formes explicites pour 1 / π1 et 1 / π0.
Nombre moyen de personnes : Étude de la variable X˜t représentant le nombre de personnes dans le système. Détermination de l'espérance mathématique en régime stationnaire, puis recherche des taux optimaux µA et µB pour un taux de service moyen constant.
Comparaison comparative : Mise en perspective des résultats obtenus avec une file de type M/M/2 classique pour évaluer l'impact des serveurs hétérogènes.

Intérêt pédagogique pour l'apprentissage

Ce document constitue une excellente base de travail pour s'entraîner sur la manipulation des processus markoviens appliqués aux réseaux de files d'attente. Il permet de lier des notions de probabilités, d'algèbres de transition et d'optimisation mathématique sous contrainte. L'étudiant y aborde des techniques de calcul rigoureuses pour déterminer la stationnarité d'un système et analyser son dimensionnement.

Conseils d'utilisation pour les révisions

Il est recommandé d'aborder cet exercice en posant d'abord par écrit les équations d'équilibre global et local pour le générateur infinitésimal, sans consulter immédiatement les indices de résolution. La manipulation des séries géométriques et des conditions de normalisation pour la probabilité invariante représente un entraînement solide en vue d'évaluations universitaires en mathématiques appliquées ou en recherche opérationnelle.