Décimation
page d'homonymie de Wikimédia
(Redirigé depuis Décimer)
Cette page d’homonymie répertorie les différents sujets et articles portant le même nom.
En histoire antique, la décimation est un châtiment pratiqué dans l'armée romaine qui consistait à exécuter un soldat sur dix.
Par extension, on désigne par procédé de décimation un procédé d'élimination, où l'on élimine une personne ou un objet toutes les places[1].
Par analogie, en traitement du signal, la décimation est synonyme de sous-échantillonnage : on ne garde qu'un certain nombre d’échantillons par rapport au signal original (un sur 2, un sur 10...).
Références
modifier- ↑ A. Sainte-Laguë, « Géométrie de situation et jeux : 68. Problème de Josèphe », Mémorial des sciences mathématiques, vol. 41, , p. 44-45 (lire en ligne).
Voir aussi
modifier- Le nombre dix (10).