Brevet FR2842672A1 — publié le 20040123

Dispositif et procédé de décodage robuste de codes arithmétiques L'invention concerne la compression/décompression de données numériques, notamment pour des signaux multimédia (audio, image, vidéo, parole), et la transmission robuste de ces données sur des réseaux bruités, tels que des réseaux sans fils, des communications mobiles. Pour réduire le débit de transmission des données numériques, on les comprime, en cherchant à s'approcher du maximum théorique que les spécialistes appellent "l'entropie du signal". Pour cela, on utilise souvent des codes statistiques aussi appelés codes à longueurs variables, par exemple les codes de Huffinan. Ces codes ont néanmoins l'inconvénient d'être très sensibles aux erreurs de transmission. L'inversion de un bit peut conduire à une désynchronisation du décodeur, qui a pour conséquence un décodage erroné de toutes les données qui suivent la position du bit erroné. Les solutions actuelles de compression, transmission et décompression de signaux multimédia sur réseau, sur lesquelles on reviendra, se fondent sur l'hypothèse qu'une certaine qualité de service du transport des données est garantie. En d'autres termes, elles supposent que les couches de transport et de liaison, en s'appuyant sur l'utilisation de codes 2 0 correcteurs, vont permettre d'atteindre un taux d'erreur résiduel quasi nul (c' est-à-dire vu par l'application de compression et de décompression). Mais cette hypothèse de taux d'erreur résiduel quasi nul n'est plus vraie lorsque les caractéristiques des canaux varient dans le temps (canaux non stationnaires), notamment dans les réseaux sans fil et mobiles, et pour une complexité du code de canal réaliste. En outre, l'ajout de redondance par codes 2 5 correcteurs d'erreurs conduit à réduire le débit utile. Le besoin se fait donc sentir de nouvelles solutions de codage/décodage. La présente invention vient proposer des avancées en ce sens. L'invention concerne un procédé de décodage comprenant les étapes suivantes: a. prévoir un modèle source propre à définir des probabilités pour des symboles x-aires, associés à des transitions entre états sources dans un diagramme d'états source, un modèle dit "produit", propre à définir une correspondance entre les symboles x-aires et de premiers éléments binaires, en fonction d'états produits dans un diagramme d'états "produit", un état produit étant fonction d'un état source b. recevoir des propriétés de "canal", propres à définir des probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, c. pour un flux codé reçu de seconds éléments binaires, calculer des probabilités de décoder des symboles x-aires, connaissant des bits du flux de seconds éléments binaires, respectivement des probabilités d'aboutir dans des états produits connaissant des bits du flux de seconds éléments binaires, à partir des propriétés de canal, du modèle source et du modèle produit, d. reconstituer le flux de symboles x-aires le plus probable à partir des probabilités calculées à l'étape c. Avantageusement, le modèle produit est établi à partir du modèle source et d'un modèle de transfert, propre à établir une correspondance entre des symboles x-aires et de premiers éléments binaires, en fonction de probabilités associées à des symboles x-aires. Le modèle source comprend des transitions associées à une correspondance entre des symboles m-aires sources et des symboles x-aires cibles, en particulier mÄx et x=2. 2 0 De préférence, les modèles de produit et de transfert sont de type arithmétique et le modèle de transfert est un modèle de codage ou de décodage. Plus précisément, l'étape c. comprend le calcul, par étapes, des probabilités de décoder un symbole x-aire connaissant des bits du flux de seconds éléments binaires. Dans une première réalisation selon l'invention, l'étape c. comprend, pour chaque étape à partir d'un nombre donné d'étapes et selon un critère de sélection donné, la sélection de certaines probabilités parmi les probabilités de décoder un symbole x-aire, connaissant des bits du flux de seconds éléments binaires, calculées lors d'une étape. Avantageusement, le critère de sélection de l'étape c. comprend un nombre fixé de probabilités à garder parmi les plus grandes des probabilités. Alternativement ou additionnellement, le critère de sélection de l'étape c. comprend un seuil minimal comparé aux probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, de manière à ne mémoriser, à chaque étape, que les probabilités de décoder un symbole x-aire, connaissant des bits du flux de seconds éléments binaires, calculées à partir des probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, plus grandes que ce seuil minimal. De préférence, l'étape c. comprend l'élaboration d'un arbre constitué d'états reliées par des transitions, chaque état correspondant à une étape de calcul de probabilités et chaque transition, au départ d'un état, correspondant à l'une de ces probabilités calculées. Ainsi, la sélection de certaines probabilités parmi les probabilités de décoder un symbole x-aire, connaissant des bits du flux de seconds éléments binaires, correspond à la construction d'états correspondant à un sous-ensemble de transitions de l'arbre fonction desdites certaines probabilités. De plus, l'étape d. comprend le calcul du produit des probabilités correspondant à des transitions successives dans l'arbre et la sélection du produit le plus grand correspondant aux transitions successives les plus probables et au flux de symboles x-aires le plus probable. Selon une première option, l'étape c. comprend le calcul, pour un nombre donné de symboles x-aires successifs à décoder, des probabilités de décoder une séquence de symboles x-aire connaissant des bits du flux de seconds éléments binaires. Selon une deuxième option, l'étape c. comprend le calcul, pour un nombre donné de bits successifs du flux de seconds éléments binaires, des probabilités de décoder une séquence 2 5 de symboles x-aire, connaissant des bits du flux de seconds éléments binaires. Dans une deuxième réalisation selon l'invention, à partir du modèle produit établissant ladite correspondance, l'étape c. comprend cl. la construction successive d'états reliés par des transitions d'un diagramme d'états 3 0 produit depuis un état d'origine à un état final, chaque état définissant un nombre attendu de symboles x-aires décodés pour un nombre donné de bits du flux de seconds éléments binaires depuis l'état d'origine. Avantageusement, la construction de l'étape c. comprend c2. la suppression successive d'états du diagramme d'états produit, depuis l'état final à l'état d'origine, pour lesquels le nombre attendu de symboles x-aires pour un nombre donné de bit du flux de seconds éléments binaires est différent d'un nombre connu maximal de symboles x-aires. Selon une première option, l'étape c. comprend cl. le calcul, après chaque état construit, des premières probabilités successives d'aboutir dans un état donné connaissant des bits passés du flux de seconds éléments binaires, c2. le calcul, pour chaque état depuis l'état final à l'état d'origine, des secondes probabilités successives d'observer des prochains bits du flux de seconds éléments binaires connaissant cet état donné. Selon une deuxième option, l'étape c. comprend c3. le calcul, pour chaque état du diagramme depuis l'état d'origine à l'état final, des premières probabilités successives d'aboutir dans cet état donné connaissant des bits passés du flux de seconds éléments binaires, et, pour chaque état depuis l'état final à l'état d'origine, des secondes probabilités successives d'observer des prochains bits du flux de seconds éléments binaires connaissant cet état donné. De préférence, l'étape c. comprend le calcul de la probabilité de chaque état, c'est-à-dire le calcul de la probabilité d'aboutir dans cet état donné connaissant les bits passés du flux de seconds éléments binaires, en effectuant le produit des premières et deuxièmes probabilités pour chaque état et l'étape d. comprend le calcul des produits de probabilités des différents 2 5 états successifs possibles puis la sélection du produit maximal. Avantageusement, l'étape d. comprend l'établissement du flux de symboles x-aires correspondant à ces états successifs en utilisant la correspondance du modèle produit. L'invention concerne également un décodeur comprenant une première entrée pour recevoir 3 0 un flux codé de seconds éléments binaires. Ce décodeur comprenant une deuxième entrée pour recevoir des propriétés de canal propres à définir des probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, un premier module définissant - un modèle source propre à définir des probabilités pour des symboles x-aires associés à des transitions entre états sources dans un diagramme d'états source, - un modèle dit "produit", propre à définir une correspondance entre les symboles x-aires et de premiers éléments binaires, en fonction d'états produits dans un diagramme d'états "produit", un état produit étant fonction d'un état source, - un module de traitement adapté pour calculer des probabilités de décoder des symboles x-aires, connaissant des bits du flux codé de seconds éléments binaires, respectivement des probabilités d'aboutir dans des états produits connaissant des bits du flux de seconds éléments binaires, à partir des propriétés du canal, du modèle source et du modèle produit, et adapté pour reconstituer le flux de symboles x-aires le plus probable à partir de ces probabilités calculées. D'autres caractéristiques et avantages de l'invention apparaîtront à l'examen de la description détaillée ci-après, et des dessins annexés, sur lesquels - la figure 1 illustre un ensemble comprenant un codeur et un décodeur selon l'invention, - la figure 2 est une vue générale du procédé de codage implémentable dans un codeur selon l'invention, 2 0 - la figure 3 est un diagramme formant vue générale du procédé de décodage implémentable dans un décodeur selon l'invention, - les figures 4A, 4B et 4C illustrent trois représentations différentes d'un même modèle dit "source" établissant une correspondance entre les symboles de la source et des séquences de bits, 2 5 - les figures 5A et 5B illustrent deux représentations différentes d'une même correspondance entre des séquences de symboles et des séquences de bits, basées sur le modèle dit "source" des figures 4A et 4B, - la table 1 illustre une représentation sous forme de table d'un modèle dit "codeur", - la table 2 illustre une représentation sous forme de table d'un modèle dit "décodeur", - la figure 6A illustre une représentation sous forme de table d'un modèle dit "produit source-codeur"selon l'invention, - la figure 6B illustre une représentation sous forme de treillis du modèle dit "produit sourcecodeur" de la figure 6A selon l'invention, - les figures 7A et 7B illustrent deux représentations partielles sous forme de treillis du modèle dit "codeur" de la table 1, - la figure 8 illustre une représentation généralisée d'un modèle dit "produit sourcecodeur"selon l'invention, - la figure 9A illustre une représentation sous forme de table d'un modèle dit "produit source-décodeur"selon l'invention, - la figure 9B illustre une représentation sous forme de treillis du modèle dit "produit sourcedécodeur" de la figure 9A selon l'invention, - la figure 10 illustre une représentation généralisée d'un modèle dit "produit source10 décodeur"selon l'invention, - la figure 11 illustre le procédé de décodage dans une première réalisation selon l'invention, -la figure 12 illustre le procédé de décodage dans une deuxième réalisation selon l'invention, - la figure 13 illustre une représentation sous forme de treillis réalisée à partir du procédé de décodage de la figure 11 ou 12, - la figure 14 illustre le procédé de décodage dans une troisième réalisation selon l'invention, - la figure 15 illustre le procédé de décodage dans une quatrième réalisation selon l'invention. En outre: 2 0 - l'annexe 1 contient des expressions mathématiques utilisées dans la présente description. Les dessins et les annexes à la description comprennent, pour l'essentiel, des éléments de caractère certain. Ils pourront donc non seulement servir à mieux faire comprendre la description, mais aussi contribuer à la définition de l'invention, le cas échéant. De manière générale, un système de compression de signaux multimédia (image, vidéo, audio, parole) fait appel à des codes statistiques aussi appelés codes à longueurs variables. Ceux-ci permettent d'obtenir des débits approchant ce que les spécialistes appellent "l'entropie du signal". Les codes les plus utilisés dans les systèmes existants (en particulier 3 0 dans les standards) sont les codes de Huffman qui ont été décrits dans l'ouvrage suivant: D.A. Huffman: "A method for the construction of minimum redundancy codes", Proc. IRE, (1951), p.1098-1101. Plus récemment, on a vu un regain d'intérêt pour les codes arithmétiques en raison de leurs performances accrues en terme de compression. Ils permettent en effet de découpler le processus d'encodage du modèle supposé de la source. Ceci permet aisément d'utiliser des modèles statistiques d'ordre supérieur. Ces codes arithmétiques ont été décrits dans des ouvrages tels que [1]- J.J. Rissanen "Generalized kraft inequality and arithmetic", IBM J.Res. Develop., :198-203, Mai 1976 [2]- J.J. Rissanen, "Arithmetic Coding as number représentations", Acta Polytech. Scand. Math., 31:44-51, Décembre 1979 1 0 ainsi que dans des brevets américains US 4 286 256, US 4 467 317, US 4 652 856. Jusque récemment, la conception des systèmes de compression se faisait en supposant une qualité de service transport garantie. On supposait en effet que les couches inférieures du modèle OSI incorporent des codes correcteurs d'erreurs garantissant un taux d'erreur résiduel vu de l'application quasi-nul. Les codes à longueurs variables pouvaient donc être largement utilisés malgré leur forte sensibilité au bruit de transmission. Cette hypothèse de taux d'erreur résiduel quasi nul n'est plus vraie dans les réseaux sans fil et mobiles, dont les caractéristiques des canaux varient 2 0 dans le temps (canaux non stationnaires). Ce taux d'erreur résiduel vu par le décodeur des signaux de source est souvent loin d'être négligeable. Toute erreur dans le train binaire peut engendrer une dé-synchronisation du décodeur et donc une propagation des erreurs sur la suite des informations décodées. 2 5 Pour pallier ce problème de propagation, les standards de premières générations (H.261, H.263, MPEG-1, MPEG-2) ont incorporé dans la syntaxe du train binaire transmis des marqueurs de synchronisation. Ce sont des mots de code longs (16 ou 22 bits constitués d'une suite de 15 ou 21 bits à '1' suivis d'un '0) non émulables par des erreurs se produisant sur les autres mots de code et qui peuvent donc être reconnus par le décodeur avec une 3 0 probabilité proche de '1'. Cela conduit à structurer le train binaire en paquets délimités par ces marqueurs de synchronisation. Cela permet de confiner la propagation des erreurs au sein du paquet. Cependant si une erreur intervient en début de paquet la suite du paquet peut être perdue. En outre, la périodicité de ces marqueurs de synchronisation doit être restreinte pour éviter une perte trop grande en efficacité de compression. Les nouveaux standards ( H.263+ et MPEG-4) ont alors fait appel à des codes à longueurs variables réversibles (RVLC). La particularité de ces codes est qu'ils peuvent être décodés du premier vers le dernier bit d'un paquet, et, à l'inverse, du dernier vers le premier bit du paquet. Si une erreur s'est produite en milieu de paquet, cette symétrie du code permet de confiner la propagation des erreurs sur un segment en milieu de paquet au lieu de la propager jusqu'à la fin du paquet délimité par un marqueur de synchronisation. Cependant, la symétrie du code engendre une perte en efficacité de compression par rapport à un code de Huffman de l'ordre de 10 %. En outre les codes à longueurs variables réversibles n'évitent pas complètement le problème de propagation des erreurs: si une erreur se produit en début et en fin de paquet, tout le paquet risque d'être erroné. La conception de procédés de codage/décodage robustes au bruit de transmission et basés sur une famille de codes performants en compression (i.e., qui permettent d'approcher 2 0 l'entropie de la source), constitue un enjeu important, notamment pour les futurs systèmes de communication multimédia (image, vidéo, audio, parole) mobiles. Pour ces systèmes, de nouveaux standards sont à l'étude à la fois au sein de l'ITU (International Telecommunication Union) et de 1ISO (International Standard Organization). 2 5 Bien que les standards occupent une place prépondérante dans le secteur des télécommunications, une telle famille de codes peut aussi trouver des applications sur des marchés de niche faisant appel à des solutions propriétaires. L'invention décrite concerne notamment un dispositif codeur/décodeur pour une famille de codes largement utilisés dans les systèmes de compression comme des codes de type arithmétique comprenant les codes arithmétiques et les codes quasiarithmétiques. Les principes du codage arithmétique et quasi-arithmétique sont développés ci-après. Ils sont développés plus en détail dans l'ouvrage [2] et les ouvrages suivants [3] - I. H. Witten and R. M. Neal and J. G. Cleary. Arithmetic coding for data compression. Communications of the ACM, 30(6):520-540, Juin1987, [4] P. G. Howard and J. S. Vitter, Image and Text Compression, pages 85-112. Kluwer Academie Publisher, 1992. Dans le reste de la description, l'utilisation du mot "séquence" désigne un flux ou une suite d'éléments. Par exemple, une séquence de bits, respectivement de symboles désignera un flux ou une suite de bits, respectivement de symboles. Le principe du codage consiste de façon générale à procéder aux étapes suivantes: soit A = A1... AI, une séquence de symboles de source quantifiés qui prennent leur valeur dans un alphabet fini A composé de M = 2q symboles, A={aj... aM}. Cet alphabet a une distribution stationnaire qui indique pour chaque symbole une probabilité stationnaire associée. Cette séquence de symboles M-aires (appelée également source A) est convertie en une séquence de symboles x-aires (avec x 2 0 à partir de 2. Ainsi, dans l'exemple, x = 2 et M=4. A titre d'exemple uniquement dans le reste de la description, et pour des raisons de simplification, on considérera que x=2. Cette conversion utilise un modèle de source décrit ci-après comprenant une correspondance entre la source M-aire A et la source binaire S. 2 5 Cette séquence de symboles binaires S est convertie à son tour en une séquence de premiers éléments binaires d'information U=Uj...UN, par l'intermédiaire d'un codeur quasiarithmétique de précision T. La longueur N de ce train binaire est une variable aléatoire, fonction de S, la séquence de symboles binaires, ellemême fonction de A, la séquence de symboles M-aires. Le train de premiers éléments binaires U est transmis, à titre d'exemple 3 0 uniquement, sur un canal sans mémoire. Ce train de premiers éléments binaires U est reçu comme un train de seconds éléments binaires Y en raison d'erreurs introduites lors de la transmission par le canal de communication. Les couches inférieures du système de communication permettent en effet de déterminer au moins les propriétés courantes Ic du canal de communication, par exemple le taux d'erreurs introduites par le canal dans les bits communiqués, des mesures de confiance sur des bits reçus. Ces dernières mesures permettent d'estimer des probabilités de recevoir un second élément binaire connaissant un premier élément binaire communiqué sur le canal. Ces probabilités sont estimées comme indiqué en annexe (équation 21 avec l'indice i étant un entier) à partir d'une des propriétés courantes Ic du canal: p, la probabilité d'erreur sur le canal. Le principe du décodage consiste à estimer la suite de symboles A, connaissant les seconds éléments binaires appelés également par la suite "observations y". Dans le reste de la description, les lettres majuscules seront utilisées pour dénoter les variables aléatoires, et les minuscules pour les réalisations, ou observations de ces variables. Pour noter une suite de variables successives, la notation XV ={X", Xul... X}. Le principe de codage/décodage peut également être directement appliqué à une source correspondant non pas à des symboles M-aires (A) avec M>2 mais à des symboles binaires (S) avec M=2. Dans la suite de la description, un symbole x-aire, respectivement un symbole M-aire, comprend notamment le cas du symbole binaire (x=2, respectivement M=2) et le cas du symbole pour lequel x>2, respectivement M>2. 2 0 La figure 1 illustre un exemple d'ensemble de codeur 1 et de décodeur 2. Le codeur et le décodeur ont respectivement une entrée Ec, Ed et une sortie Wc, Wd. Lors du codage, un flux de symboles x-aires à coder est reçu en entrée du codeur en Ec. Le codeur transmet en sortie Wc un flux de premiers éléments binaires, appelé premier flux de bits Uc, généré par codage du flux de symboles x-aires, par exemple sous forme comprimée. Ce premier flux 2 5 de bits Uc est envoyé, par l'intermédiaire d'un canal 11, à l'entrée Ed du décodeur 2. Le canal, ayant pu erroner le premier flux de bit (par exemple inverser certains bits du premier flux), transmet un flux de seconds éléments binaires, appelé second flux de bits Yd, à l'entrée du décodeur 2. Selon l'invention, un module de traitement 6 reçoit et traite ce second flux de bits ainsi que les propriétés Ic du canal, communiquées par le canal, pour 3 0 obtenir en sortie Wd du décodeur, un flux de symboles Sd. Un module de traitement 6 est propre à travailler avec le module de modèles 12. Ce module de modèles comprenant - un modèle de source 8 permettant de définir des probabilités pour des symboles x-aires associés à des transitions entre états sources dans un diagramme d'états source décrit ci-après, - un modèle dit "produit" 7 permettant de définir une correspondance entre les symboles xaires et de premiers éléments binaires, en fonction d'états dans un diagramme d'états "produit", un état produit étant fonction d'un état source et d'un état d'un modèle de transfert. Le modèle produit 7 est établi à partir du modèle source 8 et d'un modèle de transfert 9 ou 10. Le modèle produit peut être construit dynamiquement à partir du modèle de source et des modèles de transfert 9 ou 10. Dans une autre réalisation possible, le modèle produit peut être implémenté dans le module de modèles sans être construit dynamiquement. Le modèle de transfert comprend un modèle de codage 9 ou un modèle de décodage 10. Ce modèle de transfert permet d'établir une correspondance entre des symboles binaires et de premiers éléments binaires, en fonction de probabilités associées à des symboles binaires. Il est également possible de partir d'une séquence de symboles M-aire pouvant être au préalable transformer en une séquence de symboles x-aires avant d'être compressée en utilisant le modèle source. 2 0 Dans une réalisation possible, ces modèles peuvent être pré-calculés et mis en mémoire dans un module externe au module de modèle du décodeur. Ils peuvent également être utilisés à distance, par exemple en se servant d'un réseau local de type Ethernet ou un réseau plus étendu de type internet. 2 5 Le module de traitement 6 est adapté pour calculer des probabilités de symboles x-aires, connaissant les bits du flux de seconds éléments binaires, à partir des propriétés Ic du canal, du modèle source et du modèle produit. Le module de traitement 6 est adapté pour reconstituer le flux de symboles x-aires le plus probable à partir de ces probabilités calculées et pour reconstituer le flux de symboles M-aires à partir du modèle source si un flux de 3 0 symboles M-aires a été codé. Le procédé découlant de ce dispositif selon l'invention est décrit dans le reste de la description et permettra, notamment, de mieux comprendre le fonctionnement d'un tel dispositif. La figure 2 illustre un exemple de procédé de codage pouvant utiliser l'insertion de marqueurs de synchronisation. Ce procédé est implémenté dans un codeur recevant en entrée une source (M-aire), par exemple une séquence de données. A l'étape 100, lorsque la séquence de données ne nécessite pas de marqueurs M-aires, le procédé continue à l'étape 104. Si, au contraire, des marqueurs M-aires doivent être insérés dans la séquence de données, la fréquence, la taille et la valeur de ces marqueurs sont fournies par le codeur pour effectuer l'insertion de ces marqueurs à l'étape 102. A l'étape 104, il est vérifié si la séquence de données (comprenant ou non des marqueurs de synchronisation) nécessite une conversion Maire/binaire. Si tel n'est pas le cas, la séquence de données est donc binaire et est soumise au codage arithmétique (quasi-arithmétique dans l'exemple de la figure) à l'étape 112. Sinon, la conversion Maire/binaire de la séquence s'effectue à l'étape 106. A l'étape 108, si des marqueurs binaires doivent être insérés, la fréquence, la taille et la valeur de ces marqueurs sont fournies par le codeur pour effectuer 2 0 l'insertion de ces marqueurs à l'étape 110. A l'étape 112, la séquence de données M-aire ou binaire est soumise au codage quasiarithmétique dont la complexité est contrôlée par le paramètre T. Si T est grand, le codage quasi-arithmétique devient identique à un codage arithmétique. Il en résulte une compression 2 5 maximale de la séquence de données binaire en un train de bits. La figure 3 illustre un exemple de procédé de décodage prenant en compte les marqueurs de synchronisation insérés. Ce procédé est implémenté dans un décodeur recevant en entrée le train binaire et des informations concernant la source M-aire ou x-aire (notamment binaire), 3 0 la fréquence, la taille et la valeur des marqueurs de synchronisation éventuels. A l'étape 120, différents modes de décodage peuvent être sélectionnés: un décodage instantané à l'étape 124, - un décodage séquentiel selon l'invention, qui est détaillé dans le reste de la description, à l'étape 122, - un décodage optimal, qui est détaillé dans le reste de la description, selon l'invention à l'étape 126. A l'étape 128, il est vérifié si la séquence de données obtenue après décodage nécessite une conversion binaire/M-aire. 1 0 Si tel est le cas, la séquence de données est donc binaire et à l'étape 130, il est vérifié si la séquence de données comprend desmarqueurs binaires. Si tel est le cas, ces marqueurs sont supprimés à l'étape 132 en utilisant les informations sur leur fréquence et leur taille. Après l'étape 130 ou l'étape 132, la séquence de données est soumise à la conversion binaire/Maire à l'étape 134. Après l'étape 128 ou 134, il est vérifié si la séquence de données comprend des marqueurs M-aires à l'étape 136. Si tel n'est pas le cas, le décodage de la séquence de données (ou source) est terminé, sinon, les marqueurs sont supprimés à l'étape 138 pour obtenir la séquence de données (ou source). Les figures 4 à 5 illustrent des modèles de source pour la conversion Maire/binaire et binaire/M-aire d'une séquence de données (ou source). La figure 4A illustre la représentation binaire des 4 symboles d'une source 4-aire, c'est-à2 5 dire une source prenant valeur dans un alphabet 4-aire. Ce modèle source peut être un arbre binaire de profondeur q, comme cela est montré sur la figure 4A pour q=2 et M=4. Dans une variante, cet arbre peut être représenté par une table de correspondance. Le noeud noir est appelé racine de l'arbre, les noeuds blancs sont les noeuds intermédiaires, les noeuds grisés sont appelés feuilles de l'arbre. Les probabilités P de chaque symbole M-aire correspondent 3 0 aux probabilités stationnaires de la source. Les probabilités de transition (non représentées) sur les branches de cet arbre binaire sont calculées à partir des probabilités stationnaires. La figure 4B représente l'automate permettant de convertir la séquence de symboles M-aires indépendants en une séquence de symboles binaires. Ce modèle de source peut également être représenté en figure 4B sous forme d'un automate à trois états: C = 0 pouvant être l'état initial, C=1 et C=2 les états intermédiaires. En variante, ce modèle de source peut être représenté en figure 4C sous forme d'un treillis avec les mêmes états: C=O à gauche, l'état initial relié aux états intermédiaires C=1 et C=2 à droite, ces états intermédiaires, à gauche, étant reliés à l'état C=O à droite. De plus, dans cet exemple, les probabilités de chaque symbole x-aire (ici, symbole binaire) sont indiquées sur les transitions correspondantes. Pour un flux de données comprenant plusieurs symboles M-aires non indépendants, un modèle complet de la source est obtenu en connectant des modèles locaux successifs comme indiqué sur la figure SA. Un modèle local correspond à un modèle de source pour un flux comprenant un symbole comme illustré sur la figure 4A. En référence aux figures , pour un flux de deux symboles M-aires dépendants, le modèle complet de la source consiste à identifier les feuilles du premier arbre binaire avec la racine de l'arbre suivant, racine représentée par un noeud noir sur les figures 5A et 5B. La figure 5A combine ainsi des arbres binaires entre-eux. En variante, la figure 5B combine un premier arbre binaire avec des automates correspondants prenant pour état initial et final les feuilles de l'arbre binaire. Cet automate permet de convertir une séquence de symboles M-aires dépendants en 2 0 une séquence de symboles binaires. D'après la figure 5A, les états Ck définissent les noeuds possibles dans lesquels peut être l'automate après la production de k symboles binaires. Cet ensemble de noeud possible est symbolisé sur la figure par un trait mixte reliant les noeuds d'un même état k. La séquence 2 5 CO,...,CK est une chaîne de Markov et le flux de symboles binaires correspondant est fonction des transitions de cette chaîne. Les transitions appelées Sk puisqu'elles engendrent l'émission des symboles binaires Sk, représentent l'ensemble des transitions possibles entre l'ensemble des états Ck-l et l'ensemble des états Ck du modèle source. 3 0 A partir de cet automate stochastique, le flux de symboles binaires peut être modélisé par un modèle de Markov caché. Connaissant chaque probabilité stationnaire associée à chaque symbole binaire, chacune de ces probabilités correspondant à un des segments de l'intervalle-unitaire [0,1[, le codage arithmétique permet, pour une séquence de symboles binaires, de déterminer l'intervalle de cette séquence. Ce dernier représente un segment de l'intervalle unitaire et sa borne inférieure est issue de la somme des probabilités des séquences de symboles correspondant aux sous-intervalles inférieurs. La largeur de cet intervalle est donnée par la probabilité de la séquence de symboles correspondant à cet intervalle. On appelle "intervalle courant", l'intervalle correspondant à une partie de la séquence et donc à l'état Ck courant de cette partie de séquence, lors du calcul de l'intervalle ou sous-segment associé à la sous séquence correspondant à l'état Ck. Des mises en oeuvre pratiques du codage arithmétique ont d'abord été introduites dans l'ouvrage [1], l'ouvrage suivant: [5]- R. Pasco. Source coding algorithms for fast data compression. PhD thesis, Dept. of Electrical Engineering, Stanford Univ., Stanford Calif.,1976 et revisitées dans [2]. Un problème qui se pose lors de cette mise en oeuvre est la nécessité de disposer d'une grande précision numérique pour représenter des intervalles avec des nombres réels très petits. Cette difficulté peut être résolue en se basant sur la représentation binaire des nombres réels dans l'intervalle [0,1[, ce qui est décrit dans [3]. Tout nombre 2 0 appartenant à l'intervalle [0,0.5[ a son premier bit égal à 0,alors que tout nombre appartenant à l'intervalle [0.5,1[ a son premier bit égal à 1. Par conséquent, pendant le processus de codage, dés que l'intervalle courant est entièrement contenu dans [0,0.5[ ou [0.5,1[, le bit correspondant est émis et la taille de l'intervalle est doublée. Un traitement spécifique est nécessaire pour les intervalles qui chevauchent 1/2. Si l'intervalle courant chevauche 1/2 et est 2 5 entièrement contenu dans [0.25,0.75 [, il ne peut pas être identifié par un bit unique. Sa taille est tout de même doublée, sans émettre de bit, et le nombre de fois (n) o cette opération est effectuée avant d'émettre un bit est mémorisée. n est le nombre de remises à l'échelle effectuées depuis la dernière émission d'un bit. Lorsqu'un intervalle pour lequel un bit Ui= ui est émis est atteint, alors ce bit est suivi par la séquence de n fois le bit de valeur opposée. L'utilisation de cette technique garantit que l'intervalle courant satisfait en permanence low supérieures de l'intervalle courant respectivement. Le principe du codage arithmétique peut se modéliser par un automate stochastique dont les états E sont définis par trois variables: low, up et nsCl le nombre de remises à l'échelle. L'inconvénient de ce codage est qu'il peut exister un très grand nombre d'états si la distribution stationnaire de la source n'est pas connue a priori ou si le flux comprend un nombre de symboles x-aires important. Le codage quasi-arithmétique, également appelé codage arithmétique à précision réduite, permet de réduire le nombre d'états possibles sans perte importante en efficacité de compression, comme décrit dans l'ouvrage [4]. Pour effectuer le codage quasi-arithmétique, l'intervalle réel [0,1[ est remplacé par l'intervalle entier [0,T[. L'entier T permet de contrôler le compromis entre la complexité et l'efficacité de compression: si T est grand, alors les subdivisions de l'intervalle représenteront précisément la distribution de la source. Par contre, si T est petit (proche de 1), toutes les subdivisions possibles de l'intervalle pourront être pré-calculées, ces subdivisions représenteront seulement une approximation de la distribution de la source. Comme présenté dans la table 1, toutes les transitions entre états et les émissions de bits correspondantes peuvent être pré-calculées. Les opérations arithmétiques sont alors remplacées par des lectures de table. Une séquence S1K de symboles binaires est convertie un flux de bits U1N par un arbre binaire. Cet arbre peut être vu comme un automate ou un modèle codeur qui modélise la distribution 2 5 du train binaire. Le codage d'un symbole détermine le choix d'un arc de l'arbre, auquel peut être associée l'émission de bits. Chaque noeud correspond à un état E du codeur arithmétique. Les transitions successives entre ces états suivent la distribution de la source P(Sk I Sk 1) pour une source de Markov d'ordre 1. Soit Ek l'état de l'automate à chaque "instant symbole" k. Comme pour le codage arithmétique, l'état Ek du codeur quasi-arithmétique est défini par trois variables: lowSk, upSk et nscl k. Les termes lOWSk et upSk désignent les bornes de l'intervalle résultant des subdivisions successives de [0,T[ correspondant au codage de la séquence S1K. La quantité nscl k est remise à zéro chaque fois qu'un bit est émis et incrémentée chaque fois qu'une remise à l'échelle sans émission de bit est effectuée. Elle représente donc le nombre de remises à l'échelle effectuées depuis la dernière émission de bit. Quand un bit est émis, il est suivi par nscl k bits de valeur opposée. Dans la mesure o il y a un nombre fmi de subdivisions possibles de l'intervalle [0,T[, il doit être possible de pré-calculer tous les états du codeur quasi-arithmétique sans connaître la source à priori. A titre d'exemple, la table 1 présente les états, les sorties et toutes les transitions possibles d'un codeur quasi-arithmétique de précision T=4 pour une source binaire. On s'intéressera dans un premier temps aux ensembles Cl et C2 de colonnes. La valeur de la variable nscl k n'est pas inclue dans le modèle d'état. Seuls les incréments de cette variable sont signalés par la lettre f dans le tableau comme dans l'ouvrage [4]. Le codeur a trois états possibles, correspondant à des subdivisions entières de l'intervalle [0,4[ prises par l'intervalle courant [lowSk, upSk[. On se reportera à l'ouvrage [6] P. G. Howard and J. S. Vitter, Design and Analysis of fast text compression based on quasi-arithmetic coding. In Data Compression Conference, pages 98-107, Snowbird, Utah,Mars-Avril 1993. pour le choix de ces subdivisions. En fonction de la probabilité du symbole binaire d'entrée 0, l'intervalle courant [lOWSk, upSk[ sera subdivisé en intervalles entiers. Suivant que, dans la colonne C2, le symbole binaire d'entrée est 0 ou 1, les subdivisions en intervalles entiers 2 5 de l'intervalle courant [lowSk, upSk[ possibles conduisent à l'émission de bits indiquées ou à la remise à l'échelle appropriée avant de déterminer le prochain état de l'automate. Dans le cas o les symboles en entrée sont des symboles binaires, le nombre d'états peut être encore réduit en identifiant les symboles binaires comme " moins probable" (LPS) et "plus 3 0 probable" (MPS) dans la colonne C3, plutôt que 0 et 1 dans la colonne C2. Cela revient à considérer la probabilité de chaque symbole binaire plutôt que la valeur du symbole binaire, les MPS et LPS pouvant correspondre soit à un bit 0 soit à un bit 1. Le nombre de combinaisons possibles des probabilités de la source binaire est réduit. Cela permet de combiner certaines transitions et d'éliminer des états de l'automate. La séquence EO...EK d'états successifs du codeur quasi-arithmétique forme une chaîne de Markov et les sorties du codeur sont fonctions des transitions sur cette chaîne. De la même manière que le codage quasiarithmétique, le décodage peut se modéliser par un automate stochastique à nombre d'états En fini comme présenté sur la table 2. 1.0 L'état d'un décodeur arithmétique est défini par deux intervalles [lowU.,upU.[ et [lowSK,upSyn [. L'intervalle [lowUn,upUj[ correspond au segment de l'intervalle [0,1[ défini par la réception de la séquence de bits Ul'. L'intervalle [lowSK.,,,upSKn, est le segment de l'intervalle [0, 1[ obtenu quand la séquence de symboles SlK' a été décodée. Cet intervalle est mis à jour par cumul des probabilités de chaque symbole binaire décodé, de la même manière qu'au codage pour chaque symbole codé. Il reproduit le fonctionnement du codeur. Un codeur et un décodeur arithmétique ne sont pas synchronisés. En effet, au codage, la réception d'un symbole n'entraîne pas nécessairement l'émission d'un bit. De même, au décodage, la lecture d'un bit n'entraîne pas nécessairement la production d'un symbole. 2 0 Ainsi, si la lecture du premier symbole de la séquence à coder n'entraîne aucune émission de bit, il se peut qu'au décodage, la lecture du premier bit suffise à décoder le premier symbole. Les deux intervalles sont mis à l'échelle comme au codage afin d'éviter les problèmes de précision numérique. 2 5 Dans l'exemple de la table 2, un automate stochastique est défini pour une valeur de T = 4. La table présente les états, transitions et sorties d'un décodeur quasiarithmétique pour une source binaire, avec T=4 et la simplification MPS/LPS. Soit En l'état de cet automate à "l'instant bit" n, c'est-à-dire à l'instant de traitement du bit 3 0 reçu Un. Cet état est défini par les valeurs des intervalles [lowU., upUn[ et [lowSKn,upSKn [. En fonction de la distribution stationnaire de la source (représentée, colonne Ki, par la probabilité du symbole MPS le plus probable), l'intervalle courant [lowSKupSK. [ sera subdivisé en intervalles entiers. Suivant que le bit d'entrée est Un = O dans la colonne K2 ou Un =1 dans la colonne K3, les subdivisions en intervalles entiers de l'intervalle courant [lowSKn,upSK. [ possibles conduisent à l'émission de symboles MPS ou LPS indiquées ou à la remise à l'échelle appropriée avant de déterminer le prochain état de l'automate. Un codeur, respectivement décodeur utilisant l'automate stochastique de la table 1, respectivement table 2, démarre à l'état Ek =1, respectivement En =1. Différents modèles sont envisagés selon l'invention pour être utilisés dans des procédés de codage/décodage et pour être implémentés dans les codeurs/décodeurs correspondants. Ainsi, il est envisagé un modèle dit "produit" pouvant être un modèle résultant du produit des modèles source et codeur ou un modèle résultant du produit des modèles source et décodeur. De manière générale, les états du modèle produit doivent rassembler les informations contenues dans les états de chacun des deux modèles (source et codeur ou source et décodeur). Dans le cas général, la taille de l'espace d'états du "modèle produit" ne peut pas être connue a priori. Elle peut être calculée à partir du modèle de source binaire et du paramètre T. Pour un modèle produit source/codeur, comme le nombre de bits, dans chaque élément binaire, produit par chaque transition du modèle produit est aléatoire, la structure des dépendances entre la séquence de seconds éléments binaires et les états du modèle produit est aléatoire. Afin de "capturer"' cette structure de dépendances, le processus de Markov, 2 5 représenté par les états Xk du codeur selon le modèle produit, est augmenté d'un compteur Nk pour obtenir la structure de dépendance suivante (X,N)=(X,,Nl)... (XK,NK). Chaque état Xk du modèle produit est défini par l'état du modèle codeur, l'état du modèle source et le nombre de bits émis quand le k-ième symbole a été codé: (Xk,Nj = (lowSk, upSk,Ck,Nk). Cela conduit à la structure de dépendances décrite graphiquement par la figure 8. Suivant 3 0 cette structure, une séquence de symboles binaires S1K est convertie en une séquence de bits UlNK,avec NK le nombre de bits émis quand K symboles ont été codés. Etant donnés un état Xk.1 et un symbole d'entrée Sk, le modèle produit spécifie les bits UNk.l+, à UNk qui doivent être émis et l'état suivant Xk. Certaines transitions peuvent n'émettre aucun bit. Les probabilités des transitions entre (Xk,Nk) = (lowSk,upSk,Ck,Nk) et l'état suivant dans le treillis (Xk+l,Nk+l) = (lowSk+lupSk+l,Ck+l,Nk+l) sont données par le modèle de source binaire, P(Ck+l!Ck)= P(Sk+IICI). Les seconds éléments binaires YNk-1+1 à YNk sont obtenues à la sortie du canal de transmission lorsque les premiers éléments binaires UNI-,,, à UNI ont été émis. Ces seconds éléments binaires sont des observations sur les premiers éléments binaires. Un exemple de modèle produit issu des modèles source et codeur est présenté d'après les figures 6 et 7. L'exemple de modèle produit définit dans la table de la figure 6A est issu du produit du modèle source de la figure 4C et du modèle codeur de la table 1. En théorie, la taille de l'espace d'états résultant de ce produit est donnée par le produit des tailles des espaces d'états des deux modèles (source et codeur). Toutefois, des simplifications ont lieu, ce qui permet d'aboutir à un nombre d'états moins important. Le modèle codeur arithmétique de la table 1 (T=4) utilisant le modèle d'état simplifié de la colonne C3 a été représenté sous forme de treillis aux figures 7A et 7B, la figure 7A correspondant à une probabilité 0.63 indique qu'il n'est pas possible d'atteindre l'état Ek=l du codeur à partir de l'état Ek=O. Ainsi, dans le modèle produit de la figure 6A, aucun état du modèle produit Xk=4 et Xk=5 correspondant à des paires d'états du modèle source et codeur (Ek1=, Ck=l) et (Ek=l, Ck=2) n'existe pour la loi de probabilité telle 0,37 dépendances décrits précédemment. Une première réalisation du procédé de décodage robuste est illustrée par la figure 11. Il est fait référence à l'annexe 1 pour ce qui concerne le développement mathématique associé. Le décodeur reçoit en entrée le train de bits à décoder. Le modèle de source, la variable N représentant le nombre de bits reçus à décoder et la probabilité P(U, /Yj) d'avoir émis un premier bit (ou premier élément binaire) Un sachant le second bit (ou second élément binaire) Y. observé sont des données que le décodeur a pour entrée, c'est à dire que, à titre d'exemple seulement, ces données peuvent être reçues en entrée avec le train de bits à décoder ou peuvent être lues dans une mémoire accessible par le décodeur. La probabilité P(Un, /Y.) peut être obtenue à partir des propriétés du canal. Le critère du MAP (Maximum A Posteriori) correspond à l'estimation bayésienne optimale d'un processus X à partir des observations disponibles Y comme indiqué par l'équation (3) annexe 1. L'optimisation est effectuée pour toutes les "séquences" possibles. Dans cette première réalisation, ce critère est appliqué à l'estimation des états cachés des processus (X,N), qui peuvent être considérés comme des processus à horloge symbole, et des processus (X,K), qui peuvent être considérés comme des processus à horloge bit, étant données les séquences de bits observées. L'estimation peut être faite soit à horloge bit, soit à horloge symbole. Pour des raisons de simplicité de mise en oeuvre, l'estimation à horloge bit est privilégiée. Dans ce cas, l'estimation de l'ensemble des états cachés (X,K)=(X1,K,)... (XN,KN) est équivalente à l'estimation de la séquence de symboles décodés correspondante S = S,... SKn SKN, sachant les observations y1N à la sortie du canal. La meilleure séquence (X,K) peut être obtenue à partir des probabilités locales sur les paires (Xn,,Kn) grâce à l'équation (4). Le calcul de P(X,,,KJlY) peut être effectué à partir de l'équation de décomposition (5) o as 2 5 désigne un facteur de normalisation. Les dépendances de la chaîne de Markov permettent un calcul récursif des deux termes de la partie droite de cette équation, basé sur l'algorithme BCJR décrit dans l'ouvrage [7] L.R. Bahl, J. Cocke, F. Jelinek, and, J.Raviv. Optimal decoding of linear codes for minimizing symbol error rate. IEEE trans. on transformation theory, 02:284-287, March 1974. Ainsi, à l'étape 300, le treillis est tout d'abord construit en utilisant le modèle source/décodeur de la figure 9A par exemple et les probabilités correspondantes sont calculées pour chaque transition du treillis. Ainsi, à partir du modèle produit, une passe avant permet la construction successive des états reliés par des transitions du diagramme d'états produit depuis un état d'origine à un état final. Chaque état définit un nombre attendu de symboles décodés pour un nombre donné de bits passés du flux de seconds éléments binaires depuis l'état d'origine. Durant cette même étape, la passe avant de l'algorithme BCJR permet de calculer le terme P(Xn=xn,Ka=k.lSYi) de la décomposition comme la somme sur l'ensemble des valeurs possibles de x,,1,k,,1 du produit de trois probabilités conditionnelles (équation (6): la probabilité récursive, la probabilité de transition entre les états (x, 1 k.-l) et (x,, k,) donnée par le modèle produit (comme indiqué en équation 17 et représentant le produit des probabilités de transition P(SklCq,) précédemment dans le modèle source) et la probabilité d'avoir émis le bit U,, (pouvant être 0 ou 1) déclenchant la transition entre les états (x-,l, k,..) et (x,, kj) sachant le second élément binaire Y,. Cette dernière probabilité est obtenue à partir des propriétés du canal. Le calcul récursif est initialisé à l'état de départ (0,0) et permet de calculer P(X,,KJlY1') pour tout état possible (x,,,k.) avec n=1...N de l'horloge bit. Ainsi, cette passe avant permet la construction du treillis du modèle produit et le calcul des probabilités P(X.,KJIYI), successives et pour chaque instant n, d'aboutir dans un état donné (X.,K,) connaissant des bits du flux de seconds éléments binaires y1n. A l'étape 302, la passe arrière permet d'obtenir le terme P(YN"+lIX=xn,K,, =kl) de la décomposition pour tout état possible (x.,k1) à chaque instant bit n consécutivement de N à 1. Ce terme est calculé comme la somme du produit de trois probabilités conditionnelles (équation (7)): la probabilité récursive initialisée pour tous les " derniers états" possibles 2 5 (XN,KN), la probabilité de transition entre les états (X,,+, Kj+l) et (X1. KY) donnée par le modèle produit et la probabilité d'avoir émis le bit U.+1 déclenchant la transition entre les états (X.,,, K.,.) et (X,, Kj) sachant le second élément binaire Y,,, Comme précédemment, cette dernière probabilité est obtenue à partir du modèle de canal. Ainsi, cette passe arrière permet de calculer les probabilités P(YNj +1X1=x.,Kn, =k,), successives et pour chaque instant 3 0 n de N à 1, d'observer des bits du flux de seconds éléments binaires Y..,N connaissant un état donné (X,,Kn). Lorsque le nombre de symboles K est connu, une contrainte de terminaison peut être rajoutée lors de la passe arrière à l'étape 302. Ainsi, tous les chemins dans le treillis qui ne conduisent pas au bon nombre de symboles KN=K sont supprimés. Ainsi, la passe arrière comprend la suppression successive des états du diagramme d'états produit, depuis l'état final à l'état d'origine, pour lesquels le nombre attendu de symboles pour un nombre donné de bits du flux de seconds éléments binaires est différent d'un nombre connu maximal de symboles. Ainsi, la première passe de l'étape 300 démarre à l'état initial du treillis et construit successivement les différentes sections du treillis. Au cours de cette passe avant, il n'est pas possible de savoir quels sont les chemins qui ne respectent pas la contrainte de terminaison. Une fois la passe avant terminée, les états de la dernière section (n=N) du treillis qui ne respectent pas la contrainte sont supprimés. La passe arrière permet alors de supprimer toutes les branches qui n'aboutissent pas. A l'étape 304, les probabilités obtenues des passes avant et arrière sont combinées sous la forme d'un produit pour chaque valeur de n variant de 1 à N pour obtenir les probabilités P(X.,KnIY) pour chaque état n. De cette manière sont estimées les probabilités liées aux transitions du treillis construit. A l'étape 306, le produit de l'équation (4) est effectué sur les probabilités P(XnKJY1') avec 2 0 n variant de 1 à N. Ce produit est effectué pour les différentes combinaisons possibles de ces probabilités. Ainsi, la probabilité P(X,KIY) la plus grande est retenue et les probabilités P(Xn,K1JY) constituant ce produit permettent de déterminer le chemin le plus vraisemblable dans le treillis. A partir du treillis et dela table correspondante du modèle produit source/décodeur, il est possible de déterminer les symboles correspondant à ce chemin et de 2 5 reconstituer une séquence de symboles S1K. Dans une autre réalisation possible, le treillis sur lequel l'estimation est effectuée peut être pré-calculé et mémorisé à partir du modèle produit source/décodeur et de la longueur N de la séquence de bits observée. Ainsi, en référence à la figure 12, à partir du modèle 3 0 source/décodeur et des valeurs de K et N, le treillis est construit à l'étape 400 en une passe avant et simplifié par une passe arrière à l'étape 402. Ce treillis est stocké en mémoire pour être utilisé à chaque arrivée de train de bits pour lequel le modèle source/décodeur et les valeurs K et N sont les mêmes. Pour un train de bits reçus comprenant N=6 bits, pour un nombre connu de symboles à trouver K=7 et pour un modèle de source/décodeur illustré en figure 9A, la construction du treillis est illustré en figure 13. Ce treillis comporte, à chaque état (X.,Kn), plusieurs valeurs couples (Xn,K, ). Par exemple, le couple (X,,Kl) peut prendre les valeurs (1, 1) ou (2, 1) selon que le bit émis U, a pour valeur 0 ou 1. A chaque arrivée de train de bits (ayant le même modèle, les mêmes valeurs de K et N que le treillis), une passe avant et une passe arrière sont effectuées sur le train de bits aux étapes 404 et 406, par exemple de façon parallèle. Les probabilités P(X,,K|IY1') et p(yn+N | XIK,) sont calculées comme indiqué aux équations (6) et (7). Le produit de ces probabilités est effectué à l'étape 408 pour chaque valeur de n et correspond à chaque transition du treillis. Il est ensuite procédé au calcul du produit des probabilités pour n variant de 1 à N à l'étape 410 comme indiqué en (4) pour obtenir des probabilités P(X,KIY). Il est gardé le maximum parmi ces probabilités P(X, KIY) pour déterminer le chemin le plus vraisemblable sur le treillis et la séquence de symboles correspondante. 2 0 Selon l'exemple de la figure 13, le chemin le plus vraisemblable (obtenant la plus grande probabilité P(X,KIY)) est marqué en gras. La suite des états (X",K0),...,(XN,KN) permet, à la lecture de la table 8A de déterminer la séquence de symboles correspondant à ce chemin. Il a été présenté un procédé de décodage optimal de codes quasiarithmétiques. Ce procédé 2 5 nécessite la création et la manipulation d'un treillis d'estimation, comme par exemple celui de la figure 13. La taille de ce treillis dépend du nombre d'états du modèle produit source/décodeur (4 états sont possibles pour le modèle produit source/décodeur de la figure 9A par exemple) et de l'amplitude des valeurs que peut prendre la variable Kn à chaque instant bit n. Le nombre d'états du modèle produit source/décodeur est lui-même dépendant 3.0 du modèle de source binaire et du paramètre de précision du codage quasi- arithmétique T. Pour régler le compromis entre l'efficacité de compression du codeur quasi-arithmétique et la complexité du procédé d'estimation, il suffit donc de régler la valeur du paramètre T. Une valeur de T aussi petite que 4, par exemple, entraîne un débit excédent raisonnable. Si cependant une compression maximale est requise, T doit avoir une valeur beaucoup plus grande et la valeur minimale de T requise dépend de la distribution de la source. Dans la majeure partie de ces cas, la valeur de T est trop importante pour pouvoir utiliser le procédé d'estimation optimal décrit ci-dessus. Le nombre d'états du modèle produit source/décodeur peut également être trop important pour pouvoir pré-calculer ces états. Un procédé d'estimation applicable au codage arithmétique et au codage quasi-arithmétique est maintenant décrit quelle que soit la précision T choisie, c'est-à-dire quelque soit l'efficacité en compression choisie. Ce procédé s'appuie sur les même modèles de source, de codeur et de décodeur que ceux vus précédemment. Le nombre d'états des modèles de codeur et de décodeur étant trop important pour que ceux-ci puissent être être pré-calculés, le treillis d'estimation correspondant ne peut pas non plus être construit. Le procédé d'estimation proposé ci-après est donc basé sur l'exploration d'un sous-ensemble du treillis d'estimation, qui est considéré comme un arbre. Ce procédé est appelé procédé d'estimation séquentiel. Il peut s'appliquer à partir des modèles source/codeur et effectuer les calculs séquentiels en utilisant "l'horloge symbole", c'est-à-dire un compteur incrémenté selon le nombre de symboles à trouver. Il peut également s'appliquer à partir des modèles source/décodeur et effectuer les calculs séquentiels en utilisant "l'horloge bit", c'est-à-dire un compteur incrémenté selon le nombre de bits à décoder. Ce deuxième procédé d'estimation est présenté pour une source binaire à titre d'exemple uniquement. Il peut également s'appliquer à une source Maire (M>2). 2 5 La figure 14 illustre le procédé d'estimation séquentiel dit à horloge symbole, c'est à dire basé sur le modèle source/codeur. Ainsi, d'après la figure 8 représentant la structure de dépendance du modèle source/codeur, l'estimation de la séquence des états (X, N) pour un train de bits est équivalent à l'estimation de la séquence de transitions entre ces états, c'est à dire à l'estimation de la séquence S sachant les observations Y à la sortie du canal. Ceci 3 0 se traduit par une formulation mathématique présentée en (8) o ca désigne un facteur de normalisation. Dans le cas du codage arithmétique optimal (pour une valeur de T élevée), comme les bits émis sont distribués uniformément et indépendamment, ce facteur de normalisation est P(U1N)/P(Y1N) = 1. A l'étape 500, la probabilité de décoder une séquence de symboles (de 1 à k) connaissant des bits du flux de seconds éléments binaires P(S1k/Yl1) pour chaque instant symbole k peut être calculée en une passe avant unique grâce à la décomposition de l'équation (9) o Nk est le nombre total de bits émis lorsqu'on est dans l'état Xk. En tenant compte du modèle de source binaire défini à l'équation(1) et en considérant un canal sans mémoire, la probabilité d'observer les seconds éléments binaires correspondant à un état du modèle ne dépend que des premiers éléments binaires pour cet état, cette probabilité peut être réécrite comme indiqué à l'équation (10). Le calcul est initialisé comme indiqué en (11) avec S1 = s, pouvant prendre deux valeurs possibles 0 ou 1 dans le cas d'une source binaire, et M valeurs possibles dans le cas d'une source M-aire. C1 est l'état de départ du modèle de source. Pour un canal considéré sans mémoire, le second terme de cette équation modélisant le bruit introduit par ce canal est donné à l'équation (12) comme le produit, pour un état Xk donné du modèle source/codeur, des probabilités d'observer un second élément binaire Y. pour un premier élément binaire transmis U,. Partant de cette initialisation, l'équation (10) est utilisée pour calculer * 2 0 P(S1k/Y1Nk) pour chaque instant symbole k consécutif. Toutes les séquences de symboles possibles étant considérées, la taille du treillis d'estimation croît exponentiellement avec le nombre de symboles K. Ainsi, l'étape 502 autorise le calcul des probabilités P(S1k/Y1,) pour un nombre de symboles k variant de 1 à 2 5 xl. Pour les symboles à partir de cette valeur xl, un élagage intervient à l'étape 504 pour maintenir une complexité du treillis d'estimation à un niveau désiré. xl est un entier inférieur ou égal au nombre de symboles K. L'élagage de l'étape 504 peut comporter différentes réalisations. A titre d'exemple, deux 3 0 réalisations sont présentées ci-après. Les réalisations peuvent être combinées ou employées séparément. Ainsi, dans une première réalisation de l'élagage de l'étape 504, seuls les W noeuds les plus vraisemblables d'un état (Xk, Nk) sont sélectionnés et ceci à partir d'un nombre k = xl pour garantir la significativité des probabilités calculées (appelées vraisemblances). La valeur de W dépend des ressources de mémoire disponibles. Ainsi, pour chaque état (Xk, Nk), seules les W probabilités les plus grandes parmi les probabilités calculées de décoder une séquence de symboles (de 1 à k) connaissant des bits du flux de seconds éléments binaires P(SlkIYNk) sont sélectionnées et mémorisées. Dans une variante, il est possible de garantir une terminaison correcte de l'estimation en raffinant cette contrainte. Ainsi, seuls les w noeuds les plus vraisemblables seront sélectionnés et conservés pour chaque valeur possible de Nk (correspondant à l'horloge symbole). Nk est le nombre de bits émis pour k symboles codés lors du codage. La relation entre W et w est donnée en (19) avec Nkynax et Nkmrn dépendant respectivement de la probabilité de la séquence Slk la plus et la moins vraisemblable. Dans une deuxième réalisation de l'élagage de l'étape 504, le critère d'élagage est basé sur un seuil appliqué sur la vraisemblance des chemins. La vraisemblance d'un chemin est donnée par l'équation (8) (horloge symbole). Dans cette équation, les termes P(YIU) sont liés au modèle de canal comme indiqué dans l'équation (12). P(Y,=yDIU.=u.) représente la probabilité qu'un bit y, soit observé sachant qu'un bit un a été transmis ou la probabilité de recevoir un bit y. sachant q'un bit u,, a été émis, ce qui équivaut à la probabilité que le bit. 2 0 observé soit erroné. Soit p la probabilité d'erreur binaire moyenne qui est fixée arbitrairement comme tolérable sur le canal durant l'estimation. L'élagage consiste à supprimer tous les chemins pour lesquels la probabilité d'erreur binaire moyenne à la sortie du canal est supérieure à p. Ainsi, à chaque instant symbole Nk, le critère d'élagage comprend un seuil p comparé aux probabilités P(YNk|UNk) de manière à ce que tous les chemins du treillis d'estimation pour lesquels est vérifié P(YnIUNk) x) est calculée à l'étape 506. L'élagage réalisé à l'étape 504 est réitéré pour ce nouvel instant symbole Nk. Les étapes 504 et 506 sont effectuées pour une valeur k incrémentée jusqu'à la valeur K. A l'étape 510, une fois la valeur K atteinte, les probabilités P(SjK/YjNK) marginales a posteriori sont connues pour toutes les séquences SK possibles. La séquence SK la plus vraisemblable est choisie, c'est-à-dire la séquence pour laquelle la probabilité P(SK/Yl1) est la plus grande parmi les séquences possibles du treillis d'estimation obtenu. Lorsque le nombre de bits N est connu, il peut constituer une contrainte sur la terminaison du treillis d'estimation et les chemins qui ne respectent pas la contrainte N ne sont pas considérés. La figure 15 illustre le procédé d'estimation séquentiel dit à horloge bit, c'est à dire basé sur le modèle source/décodeur. Ainsi, d'après la figure 10 représentant la structure de dépendance du modèle source/décodeur, l'estimation de la séquence des états (X, K) pour obtenir un train de symboles est équivalent à l'estimation de la séquence de transitions entre ces états, c'est à dire à l'estimation de la séquence S sachant les observations Y à la sortie du canal. Ceci se traduit par une formulation mathématique présentée en (13) o os désigne un facteur de normalisation. Dans le cas du codage arithmétique optimal (pour une valeur de T élevée), les bits émis étant distribués uniformément et indépendamment, ce facteur de normalisation est P(Uln)/P(Y1,)=l. A l'étape 600, la probabilité de décoder une séquence de K.n, symboles connaissant les bits du flux de seconds éléments binaires P(S1I/Yl) pour chaque bit n (défini ultérieurement) peut être calculée en une passe avant unique grâce à la décomposition de l'équation (13) o K,, est le nombre total de symboles décodés à la réception du bit n dans l'état X.. En tenant 2 5 compte du modèle de source binaire qui définit en (2) les probabilités de transition entre états (X.,K.) et (Xn,+,K.+i), la probabilité P(Sln) d'obtenir une séquence de symbole SK s'exprime de manière récurrente selon l'équation (14) en utilisant l'équation (15). En considérant un canal sans mémoire, c'est-à-dire que la probabilité d'observer les seconds éléments binaires correspondant à un état du modèle ne dépend que des premiers éléments 3 0 binaires transmis pour cet état, la probabilité P(Y1'/U1') peut être réécrite et permet d'obtenir la probabilité P(Sl Comme dans le cas de la figure 14, le calcul de la probabilité P(S1KI/YlD) par l'équation (16) est initialisée pour n=l, S1 = s, pouvant prendre deux valeurs possibles 0 ou 1 dans le cas d'une source binaire, et M valeurs possibles dans le cas d'une source M-aire. C1 est l'état de départ du modèle de source. Partant de cette initialisation, l'équation (16) est utilisée pour calculer P(SlKI/Yl') pour chaque instant bit n consécutif. Toutes les séquences de symboles possibles étant considérées, la taille du treillis d'estimation croît exponentiellement avec le nombre de symboles K pouvant être estimé. Ainsi, l'étape 602 autorise le calcul des probabilités P(S1'n/YY1) à l'étape 600 pour un nombre de bits n variant de 1 à x2, x2 étant un entier désignant un nombre seuil de bits. Pour les bits à partir de cette valeur x2, un élagage intervient à l'étape 604 pour maintenir une complexité du treillis d'estimation à un niveau désiré. L'élagage de l'étape 604 peut comporter différentes réalisations correspondant aux réalisations de l'étape 504 de la figure 14. Les réalisations peuvent être combinées ou employées séparément. Ainsi, dans une première réalisation de l'élagage de l'étape 604, seuls les W noeuds les plus vraisemblables d'un état (X", K') sont gardés et ceci à partir d'un nombre n = x2 pour 2 0 garantir la significativité des probabilités calculées (appelées vraisemblances). Ainsi, pour chaque état (X,, Kn), seules les W probabilités les plus grandes parmi les probabilités calculées de décoder une séquence de Kn symboles connaissant des bits du flux de seconds éléments binaires P(Sk/Y,') sont mémorisées. 2 5 Dans une variante, il est possible de conserver seuls les w noeuds les plus vraisemblables pour chaque valeur possible de K. (correspondant à l'horloge bit). Kn est le nombre de symboles émis pour n bits reçus lors du décodage. La relation entre W et w est donnée en (20) avec Km.,, et K... dépendant respectivement de la probabilité de la séquence Slk la plus et la moins vraisemblable. -30 Dans une deuxième réalisation de l'élagage de l'étape 604, le critère d'élagage est basé sur un seuil appliqué sur la vraisemblance des chemins. La vraisemblance d'un chemin est donnée par l'équation (13) (horloge bit) . Dans cette équation, les termes P(YIU) sont liés au modèle de canal comme indiqué dans l'équation (16). Comme proposé pour la figure 13, l'élagage consiste à supprimer tous les chemins pour lesquels la probabilité d'erreur binaire moyenne à la sortie du canal est supérieure à p. Ainsi, à chaque instant bit n, le critère d'élagage comprend un seuil p comparé aux probabilités P(Y.jUJ) de manière à ce que tous les chemins du treillis d'estimation pour lesquels est vérifié P(YIUD) rempli, sont supprimés. Après incrémentation de la valeur n d'une unité, la probabilité P(S1' x2) est calculée à l'étape 606. L'élagage réalisé à l'étape 604 estréitéré pour ce nouvel instant bit K. Les étape 604 et 606 sont effectuées pour une valeur n incrémentée jusqu'à la valeur N. A l'étape 610, une fois la valeur N atteinte, la séquence S1N la plus vraisemblable est choisie, c'est-à-dire la séquence pour laquelle la probabilité P(SK/YN) est la plus grande parmi les séquences possibles du treillis d'estimation obtenu. 2 0 A la fin de l'estimation, les probabilité P(SK/Y1N) marginales a posteriori sont connues pour toutes les séquences sJK restant après élagage. Les contraintes de terminaison mentionnées peuvent être vues comme un moyen de forcer la synchronisation à la fin de la séquence de symboles. En effet, elles contraignent le 2 5 décodeur à obtenir la bonne correspondance entre le nombre de symboles décodés et le nombre de bits observés. Cependant, ces contraintes n'ont pas d'effet de synchronisation sur le milieu de la séquence. L'addition à la séquence de symboles d'information complémentaire permet de favoriser la 3 0 re-synchronisation sur l'ensemble de la séquence. Ainsi, des symboles supplémentaires, ou marqueurs, sont introduits à des positions connues dans la séquence de symboles. Le choix de ces symboles est arbitraire, et se base sur le principe des techniques décrites dans (2, 4, 11, 5, 14). A titre d'exemple uniquement, un des symboles dans l'alphabet peut être choisi ou le dernier symbole codé peut être répété. Ces marqueurs sont insérés à position connue suivant l'horloge symbole. Par conséquent, la position des bits supplémentaires correspondants dans le train binaire dépend de la séquence de symboles codée, et est aléatoire. Bien évidemment, les procédés développés précédemment doivent tenir compte de cette information supplémentaire. Cette connaissance à priori peut être exploitée par les procédés d'estimation. La variable K, (k à horloge symbole) indique quand un marqueur est attendu. Les probabilités de transition correspondantes dans le treillis d'estimation sont mises à jour en conséquence. Une probabilité nulle est affectée à toutes les transitions qui n'émettent pas les marqueurs attendus, alors qu'une probabilité de 1 est affectée aux autres. Par conséquent, certains chemins dans le treillis peuvent être supprimés, ce qui amène une réduction du nombre d'états et une meilleure capacité de re-synchronisation. Des exemples de procédés de décodage robuste sont décrits ci-dessus à titre d'exemple. D'autres variantes peuvent être envisagées. De plus, d'autres critères d'élagage peuvent être prévues et combinés avec les procédés de l'invention. La conversion M-aire/binaire n'est pas indispensable, mais permet d'utiliser de petites valeurs de T. Les procédés de décodage présentés ci-dessus pour des sources binaires peuvent également fonctionner pour des 2 0 sources M-aires. Comme développé dans la description ci-dessus, l'invention propose un procédé de décodage robuste de codes arithmétiques basé sur l'utilisation de codes de type codes arithmétiques comprenant les codes arithmétiques à précision réduite, appelés codes qua2 5 si-arithmétiques. La précision de ces codes quasi-arithmétiques est un paramètre ajustable en fonction de l'effet recherché. Une précision très élevée permet d'atteindre des performances en compression identiques aux codes arithmétiques. Une précision plus faible permet d'accroître la robustesse, au prix.d'une perte raisonnable en compression. 3 0 Comparée à un décodage dit "instantané" classique, l'invention permet de réduire fortement le phénomène de désynchronisation du décodeur. Comparée à d'autres méthodes classiques de décodage dite "séquentielles" ou sur structures d'arbres, l'invention offre une plus grande souplesse pour ajuster un compromis entre l'efficacité de compression/la robustesse/la complexité du décodage. En effet, l'invention comprend un ensemble de procédés pouvant être choisis selon la complexité permise par le terminal, selon le taux d'erreur observé sur le canal. Un procédé de décodage séquentiel comprend un mécanisme de synchronisation couplé à une technique d'élagage qui permet de contrôler la complexité du processus de décodage. Un procédé de décodage sur treillis avec paramétrisation du compromis complexité/robustesse/compression permet d'utiliser le procédé de manière couplée avec un décodeur de canal (décodeur de codes convolutifs), utilisation difficile avec les procédés séquentiels traditionnels. Dans l'invention proposée, il doit être clair que les éléments d'ordre mathématique décrits n'ont pas d'intérêt en eux-mêmes, mais seulement dans la mesure o ils concernent des flux d'informations (par exemple signal sonore, vidéo), soumis à des contraintes matérielles. 1 Annexe 1 P(Ck+llCk) = P(Sk+llCk) Kn+l H P(SkICk-1) k=Kn +1 X = arg max DP(X = xIY). N P(X, KIY) = HI P(Xn, KnlY) n=l (1) (2) (3) (4) lEX(Xn kKYY) PE(Xn, = Xn le. = k. 1 Y) = E (xn-1,kn=E (n.+l,k. _P(X 1 KnlYl=)-P( xK.) OC IP(Xn Kn= = JIXi =Xn Kn) 1P'(U.- k-jIY =) -1) 1P(Xn = -n+ Kn = k= = xiIX Kn-= = kn1) IP(U+ = U(..-lkn-1)(:nk1)Iyn)ED(Ye+2 1 Xn+l = Xn+l, Kn+l = k,+ 1) lE(Xn+l =Xn+i, K.+l = kn+l JXn = Xn, Kn = kn)E3(Un+l1 = e(xn kn) (X.+1 kn+ i) I Yn+i1) - (5) (6) iP(Ye+l IXn = x. K_ = kn) = (7) p(SKl|y1N) 1p(SIklyNk) c.C = P(SK) .*P(UfNY1N) OX P(S) - P(YNIUJUN), p(ySk-1 yNk-l U k), P( 1 1 1) Slk1) (8) (9) 1p(SIyINk) OC Rp(S-IYly1Nk-1) * P(SkiCk-1l) Nl{ k TNk ]?( Nkk-1+11UNk_1+1) Ip(S1 = S yNl=,l = yNl=nl) Oc P(S1 = snC)) p(yNl = yvnhlUiN = ul 1Ep VNk _nk Nklfk _nk + ( Nkl+l = Ynk=1+1 ffk nk-1+1) Nk Il 1P(Yn = YnIUn = un) if Nk > Nk-1 n=Nk-l+l 1 sinon. ]p(SK-IYj) Cx IP(snn).IP(YiIU1)) Kn) 2(S n-1 * E(SKn -1+1ll (10) (11) (12) (13) (14) 1Ep( SKn 1 + 1 IS Kn H P(SkiCk-1) Si Kn > Kn-1 k=K.- +1 1 sinon. (15) ]p(SK. lyn) CJ (S1 n- 1). p(yn-1 1 Uln-1) cx IP(Sj Revendications 1. Procédé de décodage comprenant les étapes suivantes: a. prévoir un modèle source propre à définir des probabilités pour des symboles x-aires (Sk), associés à des transitions entre états sources (Cj) dans un diagramme d'états source, un modèle dit "produit", propre à définir une correspondance entre les symboles x-aires et de premiers éléments binaires, en fonction d'états produits dans un diagramme d'états "produit", un état produit étant fonction d'un état source, b. recevoir des propriétés de "canal", propres à définir des probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, c. pour un flux codé reçu de seconds éléments binaires, calculer des probabilités de décoder des symboles x-aires, connaissant des bits du flux de seconds éléments binaires, ou des probabilités d'aboutir dans des états produits connaissant des bits du flux de seconds éléments binaires, 2 0 à partir des propriétés de canal, du modèle source et du modèle produit, d. reconstituer le flux de symboles x-aires le plus probable à partir des probabilités calculées à l'étape c. 2. Procédé selon la revendication 1, caractérisée en ce que le modèle produit est établi à 2 5 partir du modèle source et d'un modèle de transfert, propre à établir une correspondance entre des symboles x-aires et de premiers éléments binaires, en fonction de probabilités associées à des symboles x-aires. 3. Procédé selon la revendication 2, caractérisé en ce que le modèle source comprend des 3 0 transitions associées à une correspondance entre des symboles m-aires (Ak) sources et des symboles x-aires cibles (Sk), en particulier mÄx et x=2. 4. Procédé selon l'une des revendications précédentes, caractérisée en ce que les modèles de produit et de transfert sont de type arithmétique et en ce que le modèle de transfert est un modèle de codage ou de décodage. 5. Procédé selon l'une des revendications précédentes, caractérisé en ce que l'étape c. comprend le calcul, par étapes, des probabilités de décoder un symbole xaire connaissant des bits du flux de seconds éléments binaires. 6. Procédé selon l'une des revendications précédentes, caractérisé en ce que l'étape c. comprend, pour chaque étape à partir d'un nombre donné d'étapes et selon un critère de sélection donné, la sélection de certaines probabilités parmi les probabilités de décoder un symbole x-aire, connaissant des bits du flux de seconds éléments binaires, calculées lors d'une étape. 7. Procédé selon la revendication 6, caractérisé en ce que le critère de sélection de l'étape c. comprend un nombre fixé de probabilités à garder parmi les plus grandes des probabilités. 8. Procédé selon l'une des revendications 6 et 7, caractérisé en ce que le critère de sélection 2 0 de l'étape c. comprend un seuil minimal comparé aux probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, de manière à ne mémoriser, à chaque étape, que les probabilités de décoder un symbole x-aire, connaissant des bits du flux de seconds éléments binaires, calculées à partir des probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, plus grandes que ce seuil 2 5 minimal. 9. Procédé selon l'une des revendications 5 à 8, caractérisé en ce que l'étape c. comprend l'élaboration d'un arbre constitué d'états reliées par des transitions, chaque état correspondant à une étape de calcul de probabilités et chaque transition, au départ d'un état, 3 0 correspondant à l'une de ces probabilités calculées. 10. Procédé selon les revendications 1 et 9, caractérisé en ce que l'étape d. comprend le calcul du produit des probabilités correspondant à des transitions successives dans l'arbre et la sélection du produit le plus grand correspondant aux transitions successives les plus probables et au flux de symboles x-aires le plus probable. 11. Procédé selon les revendications 5 et 10, caractérisé en ce que l'étape c. comprend le calcul, pour un nombre donné de symboles x-aires successifs à décoder, des probabilités de décoder une séquence de symboles x-aire connaissant des bits du flux de seconds éléments binaires. 12.Procédé selon les revendications 5 et 10, caractérisé en ce que l'étape c. comprend le calcul, pour un nombre donné de bits successifs du flux de seconds éléments binaires, des probabilités de décoder une séquence de symboles xaire, connaissant des bits du flux de seconds éléments binaires. 13. Procédé selon l'une des revendications 1 à 4, caractérisé en ce qu'à partir du modèle produit établissant ladite correspondance, l'étape c. comprend cl. la construction successive d'états reliés par des transitions d'un diagramme d'états produit depuis un état d'origine à un état final, chaque état définissant un nombre attendu 2 0 de symboles x-aires décodés pour un nombre donné de bits du flux de seconds éléments binaires depuis l'état d'origine. 14. Procédé selon la revendication 13, caractérisé en ce que la construction de l'étape c. comprend c2. la suppression successive d'états du diagramme d'états produit, depuis l'état final à l'état d'origine, pour lesquels le nombre attendu de symboles x-aires pour un nombre donné de bits du flux de seconds éléments binaires est différent d'un nombre connu maximal de symboles x-aires. 3 0 15. Procédé selon l'une des revendications 13 à 14, caractérisé en ce que l'étape c. comprend cl. le calcul, après chaque état construit, des premières probabilités successives d'aboutir dans un état donné connaissant des bits passés du flux de seconds éléments binaires, c2. le calcul, pour chaque état depuis l'état final à l'état d'origine, des secondes probabilités successives d'observer des prochains bits du flux de seconds éléments binaires connaissant cet état donné. 16. Procédé selon l'une des revendications 13 à 14, caractérisé en ce que l'étape c. comprend c3. le calcul, pour chaque état du diagramme depuis l'état d'origine à l'état final, des premières probabilités successives d'aboutir dans cet état donné connaissant les bits passés du flux de seconds éléments binaires, et, pour chaque état depuis l'état final à l'état d'origine, des secondes probabilités successives d'observer des prochains bits du flux de seconds éléments binaires connaissant un état donné. 17. Procédé selon l'une des revendications 13 à 16, caractérisé en ce que l'étape c. comprend le calcul de la probabilité d'aboutir dans cet état donné connaissant les bits du flux de seconds éléments binaires en effectuant le produit des premières et deuxièmes probabilités pour chaque état. 18. Procédé selon les revendications 1 et 17, caractérisé en ce que l'étape d. comprend le calcul des produits de probabilités des différents états successifs possibles puis la sélection du produit maximal. 19. Procédé selon les revendications 13 et 18, caractérisé en ce que l'étape d. comprend l'établissement du flux de symboles x-aires correspondant à ces états successifs en utilisant la correspondance du modèle produit. 2 5 20. Décodeur comprenant une première entrée pour recevoir un flux codé de seconds éléments binaires, caractérisé en ce qu'il comprend une deuxième entrée pour recevoir des propriétés de canal propres à définir des probabilités de recevoir de seconds éléments binaires, sur émission de premiers éléments binaires, 3 0 un premier module définissant - un modèle source propre à définir des probabilités pour des symboles x-aires associés à des transitions entre états sources dans un diagramme d'états source, - un modèle dit "produit", propre à définir une correspondance entre les symboles x-aires et de premiers éléments binaires, en fonction d'états produits dans un diagramme d'états "produit", un état produit étant fonction d'un état source, un module de traitement adapté pour calculer des probabilités de décoder des symboles x-aires, connaissant des bits du flux codé de seconds éléments binaires, à partir des propriétés du canal, du modèle source et du modèle produit, ou des probabilités d'aboutir dans des états produits connaissant des bits du flux de seconds éléments binaires, et adapté pour reconstituer le flux de symboles x-aires le plus probable à partir de ces probabilités calculées.