Thorie des files d'attente

Aller : Navigation, rechercher La thorie des files d'attente est une thorie mathmatique relevant du domaine des probabilits, qui tudie les solutions optimales de gestion des files dattente, ou queues. Une queue est ncessaire et se crera d'elle mme si ce n'est pas anticip, dans tous les cas o l'offre est infrieure la demande, mme temporairement. Elle peut sappliquer diffrentes situations : gestion des avions au dcollage ou latterrissage, attente des clients et des administrs aux guichets, ou bien encore stockage des programmes informatiques avant leur traitement. Ce domaine de recherches, n en 1917, des travaux de lingnieur danois Erlang sur la gestion des rseaux tlphoniques de Copenhague entre 1909 et 1920, tudie notamment les systmes darrive dans une queue, les diffrentes priorits de chaque nouvel arrivant, ainsi que la modlisation statistique des temps dexcution. C'est grce aux apports des mathmaticiens Khintchine, Palm, Kendall, Pollaczek et Kolmogorov que la thorie s'est vraiment dveloppe.

Sommaire

1 Description 2 Aspects mathmatiques o 2.1 Loi de Little o 2.2 Notation de Kendall o 2.3 Quelques rsultats 3 Voir aussi

Description
Une file d'attente se cre pour chaque cas o des clients dsirent recevoir un service, auprs d'un producteur. En informatique, on parlera de client et de serveur, ailleurs, on prfrera les termes d'units et station.

Aspects mathmatiques
Loi de Little
la loi de Little dit que le nombre moyen de clients dans un systme stable, est gal leur frquence moyenne d'arrive multiplie par leur temps moyen pass dans le systme :

Notation de Kendall

Il existe, videmment, de trs nombreux systmes de files d'attente. La notation de Kendall permet de dcrire le systme par une suite de 6 symboles a/s/C/K/m/Z. Voici la signification de ces symboles: - a, indique la loi de probabilit des instants d'arrives, on utilise les symboles suivants:

GI: loi gnrale indpendante G: loi gnrale M: loi exponentielle Ek: loi dErlang de paramtre k Hk: loi hyperexponentielle d'ordre k D: loi uniforme

- s, indique la loi de probabilit de la dure du service (au guichet), on utilise les mmes symboles que prcdemment - C, indique le nombre de serveurs (nombre de guichets) - K, c'est la capacit totale du systme, c'est--dire le nombre de serveurs (C) + le nombre de places en attente - m, indique la population totale de clients (par exemple: nombre d'inscrits sur une liste electorale dans le cas d'une file d'attente un bureau de vote) - Z, la discipline de service, savoir:

paps: premier arriv, premier servi (fifo ou fcfs en anglais) daps: dernier arriv, premier servi (lifo ou lcfs en anglais) a: alatoire (firo en anglais) ...

Trs souvent les trois derniers symboles de la notation sont omis. On a alors: K infini, m infini et Z en paps.

Quelques rsultats
Avec:

frquence moyenne d'arrives temps moyen de service

trafic offert (nombre moyen d'arrives pendant le temps moyen de service) /!\ ne pas oublier S le nombre de serveur

File M/M/1 Probabilit systme vide (P0)

File M/M/S

Probabilit d'attente (Pa) Nombre moyen de clients dans le systme (<N>) Nombre moyen de clients en attente (<Na>) Nombre moyen de clients en service (au guichet) (<Ns>) Temps moyen de sjour dans le systme ( ) Temps moyen d'attente ( Condition d'atteinte de l'quilibre ("pas d'engorgement") )