Brevet FR3029375A1 — publié le 20160603

Procédé et dispositif de relayage souple et sélectif SSDF Domaine de l'invention La présente invention se rapporte au domaine des télécommunications. Au sein de ce domaine, l'invention se rapporte plus particulièrement à la transmission de données codées entre une source et une destination avec relayage par un relais. Le système de transmission comporte ainsi au moins trois noeuds. L'invention concerne tout aussi bien les systèmes à plusieurs relais entre une source et une destination, que les systèmes à plusieurs sources, plusieurs relais et une ou plusieurs destinations et que les systèmes à une source, plusieurs relais et plusieurs destinations. L'invention traite de codage de réseau. Elle concerne l'amélioration de la qualité de la transmission des données, et en particulier l'amélioration des performances du décodage correcteur d'erreurs au niveau de la destination en augmentant l'efficacité du relais. L'invention s'applique notamment, mais non exclusivement, à la transmission de données via des réseaux mobiles, par exemple pour des applications temps réel, ou via par exemple des réseaux de capteurs. Art antérieur Le volume des communications sans fil augmente rapidement depuis quelques années et il est prévu que cette progression se poursuive dans les années à venir. Pour faire face à cette explosion, les solutions consistent à densifier le réseau, à gérer l'interférence (antennes multiples) ou à ajouter du spectre. La densification du réseau nécessite de déployer des infrastructures qui ont un coût très important. Compte tenu que les terminaux des utilisateurs (véhicules, smart phone, etc) embarquent de plus en plus de fonctionnalité, ils deviennent une alternative au déploiement d'éléments d'infrastructure lourds pour densifier le réseau. Par nature, les liaisons qui accompagnent cette densification sont sans fil et les transmissions qu'elles assurent dans leur rôle d'élément d'infrastructure sont en concurrence avec les communications assurées par le réseau puisqu'elles utilisent les mêmes ressources spectrales. Toutefois, l'utilisation des terminaux utilisateurs comme éléments de densification du réseau nécessite de traiter les interférences associées. La technique de relayage avec sélection (SDF) est décrite par [11121 dans le cas d'une structure basée sur un canal à accès multiples et à relais multiples (MAMRC) avec des liens semi-orthogonaux ou non-orthogonaux. Les communications mises en oeuvre par la structure MAMRC sont dites coopératives, plusieurs sources transmettent simultanément vers une destination avec l'aide d'un ou plusieurs relais. La technique décrite est combinée avec un codage de réseau à diversité pleine. Le protocole semi-orthogonal permet aux sources de transmettre simultanément en utilisant les mêmes utilisations du canal (channel use) pendant la phase d'écoute du relais et permet ensuite au relais de transmettre seul pendant une phase de silence des sources. Selon la technique de relayage avec sélection (SDF : Selective Decode and Forward), le relais essaie de décoder les messages des sources et prend une décision dure sur les messages correctement décodés sous la forme d'une vérification du CRC inséré dans les messages. Le relais fait suivre uniquement les messages correctement décodés vers la destination après un codage de réseau. La décision dure peut être prise sur la base des valeurs souples (rapports de vraisemblance ou LLR (Log Likelihood Ratio). Lorsque plusieurs sources transmettent simultanément, le relais effectue une détection itérative conjointe muid utilisateurs (iterative muid user joint decoding). A la dernière itération, le détecteur associe des valeurs de LLR aux bits des messages des sources. La valeur de LLR associée à un bit b est le log du rapport entre la probabilité que ce bit b égal un et la probabilité que ce bit b égal zéro. La décision dure revient à tester le signe du LLR, s'il est positif la décision est que le bit b vaut un, s'il est négatif la décision est que le bit b vaut zéro. Il est à noter qu'une valeur de LLR peut être associée à un bit connu i.e. après décision dure : par définition le LLR d'un bit un a pour valeur +l'infini et le LLR d'un bit zéro a pour valeur -l'infini. En pratique, l'infini correspond à la valeur la plus élevée de quantification du LLR. Le codage de réseau est une forme de coopération selon laquelle les noeuds du réseau partagent non seulement leurs ressources propres (puissance, bande, etc.) mais également leur capacité de calcul, pour créer un codage distribué de plus en plus puissant au fur et à mesure que l'information se propage à travers les noeuds. Il amène des gains substantiels en termes de diversité et de codage et donc de fiabilité de transmission. Caractéristiques principales de l'invention L'invention a pour objet un procédé de relayage d'un signal par un relais qui apporte un gain supplémentaire par rapport aux procédés connus de relayage avec sélection. Le relais est destiné à un système de télécommunication à M sources, L relais et D destinations, les transmissions entre les sources, les relais et les destinations se font via un canal de transmission. M > 1, L > 1, D > 1. Le procédé comprend : un décodage souple de messages émis par au moins une source pendant un premier nombre donné d'utilisations du canal pour obtenir des messages décodés, une détection d'erreur sur les messages décodés pour pouvoir séparer les messages estimés sans erreur des messages estimés avec erreur, un test de fiabilité portant uniquement sur les messages estimés avec erreur pris dans leur forme avant détection d'erreur pour pouvoir séparer les messages fiables des messages non fiables, une mise en forme comprenant un entrelacement canal et une modulation prenant uniquement en compte les messages estimés sans erreur et les messages estimés avec erreur et fiables, cette mise en forme étant effectuée sous une forme souple si au moins un message estimé avec erreur passe avec succès le test de fiabilité, une émission pendant un deuxième nombre donné d'utilisations du canal d'un signal représentatif des messages pris en compte par la mise en forme. Le procédé de relayage SSDF (Soft Selective Decode and Forward) selon l'invention s'utilise aussi bien dans un contexte de liens orthogonaux que de liens semi orthogonaux ou non orthogonaux entre les sources, les relais et les destinations. Par exemple, dans le contexte d'un système basé sur une architecture « Two way Relay Channel », les utilisations du canal sont décomposées temporellement en deux phases : celle correspondant à la transmission des sources et celle correspondant à la transmission du relais. Lorsque les liens sont non orthogonaux les sources et les relais transmettent simultanément sur une même ressource spectrale, lorsque les liens sont orthogonaux les sources et les relais se partagent les utilisations du canal durant leur phase de transmission respective, lorsque les liens sont semi-orthogonaux soit les sources transmettent simultanément sur une même ressource spectrale soit les relais transmettent simultanément sur une même ressource spectrale. Soit Cu le nombre d'utilisations du canal (channel use ou granularité temps-fréquence) à répartir entre les M sources. Si le protocole est orthogonal chaque source utilise Cu/M utilisations du canal, si le protocole est non-orthogonal ou semi-orthogonal chaque source utilise les Cu utilisations du canal. En ce qui concerne chaque relais, il détecte et décode de manière souple les messages émis par une source ou émis respectivement par M sources pendant les Cu ou Cu/M utilisations du canal. Il effectue une détection d'erreur sur les messages décodés ce qui permet de séparer les messages estimés sans erreur des messages estimés avec erreur. Il effectue un test de fiabilité uniquement sur les messages estimés avec erreur pour pouvoir séparer les messages fiables des messages non fiables. Ce test porte sur les messages dans leur forme avant détection d'erreur, c'est-à-dire sous leur forme après décodage souple. Lorsqu'il y a au moins un message estimé avec erreur et fiable, la mise en forme s'effectue sous une forme souple, c'est-à-dire qu'elle porte sur les valeurs souples des messages. Le relais transmet le signal après modulation. Selon des mécanismes classiques, un signal de signalisation indique à la destination quels sont les messages pris en compte dans la mise en forme. Le test de fiabilité sur les messages décodés avec erreur permet d'écarter les messages qui sont trop erronés et de ne conserver que les autres. Il faut donc comprendre que quand un message est dit fiable sans autre précision, il est sous-entendu qu'il est estimé avec erreur et a passé le test de fiabilité. Les valeurs souples des messages fiables apportent une information pertinente qui peut en effet aider efficacement la destination à décoder correctement les sources même si l'intégrité du message n'a pas été conservée lors de la transmission par le canal. Ainsi, la destination peut bénéficier d'un gain de codage réseau même en l'absence de message décodé sans erreur au relais. Le relayage selon l'invention augmente ainsi la probabilité de succès de décodage de la destination tout en garantissant une certaine fiabilité des transmissions entre les sources et la destination et tout en minimisant la propagation d'erreurs des relais vers la destination. Un tel procédé est donc particulièrement adapté à un système déployé en milieu urbain dans lequel le canal de transmission a généralement un profil à évanouissements dit de Rayleigh. En effet, de tels évanouissements perturbent le signal transmis et se traduisent par une probabilité non nulle de détection erronée (probabilité dite de coupure ou d'« outage » selon la terminologie anglosaxonne). Un procédé de relayage sélectif avancé selon l'invention permet avantageusement de limiter la propagation de messages reçus erronés tout en permettant la transmission d'une information lorsque le message erroné à une certaine fiabilité. Le procédé transmet donc à la destination une information supplémentaire par rapport aux systèmes connus qui améliore la probabilité de détection et de décodage de la destination plus particulièrement lorsque les liens sources-relais sont bruités. Contrairement à certains relais, un relais selon l'invention reste silencieux lorsqu'aucun message n'est sans erreur ou n'est fiable. Ceci évite ainsi la transmission de bruit qui augmente les interférences à la destination. Cette augmentation d'interférences est plus particulièrement dommageable pour la destination lorsque les liens sources-relais et relais-destinations sont non-orthogonaux. Selon un mode de réalisation, le test de fiabilité consiste à comparer une estimation d'une probabilité d'erreur sur un vecteur des valeurs souples LLR d'un message à une valeur seuil. La valeur seuil est par exemple de 0.01. Ce seuil peut être fixé en fonction des conditions de propagation. Il peut avoir une valeur initiale déterminée à l'issue de simulations ou de mesures. Selon un mode de réalisation, l'estimation de probabilité d'erreur est effectuée sur toutes les valeurs souples associées au message. Ce mode est adapté à un codage effectué par les sources qui n'est pas systématique. Selon un mode de réalisation, les messages décodés par le relais ont été émis après un codage systématique par les sources et l'estimation de probabilité d'erreur est effectuée uniquement sur les valeurs souples associées à une partie systématique du message. Ce mode est adapté à un codage systématique effectué par les sources. En limitant l'estimation de la probabilité d'erreur à la partie systématique, le relais gagne en efficacité. Selon un mode de réalisation, la mise en forme comprend en outre un codage de réseau binaire et un codage canal, le codage de réseau binaire consistant à additionner au moyen d'un ou exclusif dans le domaine binaire les messages estimés sans erreur puis entrelacés. Ces codages sont adaptés aux messages estimés sans erreur par le relais. La valeur dure d'un message estimé sans erreur est obtenue en mettant à zéro les valeurs souples négatives et à un les valeurs souples positives de son vecteur LLR. Selon un mode de réalisation, si aucun message n'est détecté sans erreur et si au moins un message détecté avec erreur est fiable alors la modulation est de type souple. La modulation effectuée sous forme souple (soft mapping) détermine une valeur complexe qui n'est pas un point de la constellation mais une valeur moyenne pondérée des points de la constellation conditionnée aux LLR consécutifs relatifs aux bits constitutifs du message, cette technique est désignée sous les termes compression MMSUE. Selon un mode de réalisation, la modulation de type souple mappe Q>2 valeurs souples des bits constitutifs du message fiable sur un symbole complexe qui est une valeur moyenne pondérée des points de la constellation conditionnée à la valeur des Q valeurs souples. La modulation consiste à mapper Q valeurs souples du message sur un symbole complexe déterminé comme la moyenne pondérée des symboles de la constellation conditionnée aux Q LLR des Q bits constitutifs du message. Selon un mode de réalisation, l'entrelacement canal est effectué uniquement sur une sélection des valeurs souples pour ajuster le rendement de codage et de modulation à la longueur du deuxième nombre donné d'utilisations du canal. Selon un mode de réalisation, si aucun message n'est détecté sans erreur et si tous les messages détectés avec erreur sont fiables alors la mise en forme sous forme souple comprend un codage réseau souple des valeurs souples avant l'entrelacement canal et comprend une modulation souple. Selon un mode de réalisation, l'addition est effectuée uniquement sur une sélection des valeurs souples pour ajuster le rendement de codage et de modulation à la longueur du deuxième nombre donné d'utilisations du canal. Selon un mode de réalisation, si au moins un message est détecté sans erreur et si au moins un message est détecté avec erreur et est fiable alors des valeurs souples positionnées aux valeurs extrêmes de quantification correspondant aux valeurs zéro et un sont associés aux messages détectés sans erreur et la mise en forme sous forme souple comprend un codage réseau souple des valeurs souples des messages avant l'entrelacement canal et comprend une modulation souple. L'invention a en outre pour objet un relais destiné à un système de télécommunication à M sources, L relais et D destinations et destiné à mettre en oeuvre un procédé de relayage selon l'invention. Le relais comprend : un décodeur souple de messages émis par au moins une source pendant un premier nombre donné d'utilisations du canal pour obtenir des messages décodés, un détecteur d'erreur sur les messages décodés pour pouvoir séparer les messages estimés sans erreur des messages estimés avec erreur, un moyen de test de fiabilité portant uniquement sur les messages estimés avec erreur pris dans leur forme avant détection d' erreur pour pouvoir séparer les messages fiables des messages non fiables, un moyen de mise en forme comprenant : - un entrelaceur canal et un modulateur portant uniquement sur les messages estimés sans erreur et sur les messages estimés avec erreur et fiables, cette mise en forme étant effectuée sous une forme souple si au moins un message estimé avec erreur passe avec succès le test de fiabilité, - un émetteur pour émettre pendant un deuxième nombre donné d'utilisations du canal un signal représentatif des messages pris en compte par le moyen de mise en forme. Selon un mode de réalisation, le moyen de mise en forme comprend en outre : des entrelaceurs pour entrelacer respectivement les messages estimés sans erreur, un codeur de réseau dans un corps de Galois des messages entrelacés suivi d'un entrelaceur et d'un codeur de canal. Selon un mode de réalisation, le modulateur est de type souple et le moyen de mise en forme comprend en outre avant l' entrelaceur canal : - un moyen pour sélectionner certaines des valeurs souples des messages estimés avec erreur et fiables, - un codeur de réseau souple des valeurs souples sélectionnées. Selon un mode de réalisation, le modulateur est de type souple et le moyen de mise en forme comprend en outre avant l' entrelaceur canal : un moyen pour sélectionner certaines des valeurs souples des messages estimés avec erreur et fiables, un entrelaceur des valeurs souples sélectionnées, un codeur de réseau souple des valeurs souples sélectionnées, un entrelaceur réseau, un codeur de canal souple. L'invention a en outre pour objet un système à M sources, L relais et D destinations dans lequel les relais sont selon un objet de l'invention. Selon un mode particulier du système, les entrelaceurs réseau sont différents entre les relais. L'invention est particulièrement adaptée à des relais half duplex mais peut tout aussi bien être mise en oeuvre avec des relais full duplex. Les systèmes coopératifs utilisant des relais half duplex sont très attractifs du fait de schémas de communication plus simples que pour des relais full duplex, d'une mise en oeuvre facile et d'un coût réduit. Les différents modes de réalisation précédents peuvent être combinés ou pas avec un ou plusieurs de ces modes pour définir un autre mode de réalisation. Selon une implémentation préférée, les étapes du procédé de relayage sont déterminées par les instructions d'un programme de relayage incorporé dans un ou plusieurs circuits électroniques tels des puces elle-même pouvant être disposées dans des dispositifs électroniques du relais. Le procédé de relayage selon l'invention peut tout aussi bien être mis en oeuvre lorsque ce programme est chargé dans un organe de calcul tel un processeur ou équivalent dont le fonctionnement est alors commandé par l'exécution du programme En conséquence, l'invention s'applique également à un programme d'ordinateur, notamment un programme d'ordinateur sur ou dans un support d'informations, adapté à mettre en oeuvre l'invention. Ce programme peut utiliser n'importe quel langage de programmation, et être sous la forme de code source, code objet, ou de code intermédiaire entre code source et code objet tel que dans une forme partiellement compilée, ou dans n'importe quelle autre forme souhaitable pour implémenter un procédé selon l'invention. Le support d'informations peut être n'importe quelle entité ou dispositif capable de stocker le programme Par exemple, le support peut comporter un moyen de stockage, tel qu'une ROM, par exemple un CD ROM ou une ROM de circuit microélectronique, ou encore un moyen d'enregistrement magnétique, par exemple une clé USB ou un disque dur. Alternativement, le support d'informations peut être un circuit intégré dans lequel le programme est incorporé, le circuit étant adapté pour exécuter ou pour être utilisé dans l'exécution du procédé en question. D'autre part, le programme peut être traduit en une forme transmissible telle qu'un signal électrique ou optique, qui peut être acheminé via un câble électrique ou optique, par radio ou par d'autres moyens. Le programme selon l'invention peut être en particulier téléchargé sur un réseau de type Internet. L'invention a en outre pour objet un programme d'ordinateur sur un support d'informations, ledit programme comportant des instructions de programme adaptées à la mise en oeuvre d'un procédé de relayage selon l'invention, lorsque ledit programme est chargé et exécuté dans un relais destiné à un système à M sources, L relais et D destinations, le relais étant destiné à mettre en oeuvre le procédé de relayage. L'invention a en outre pour objet un support d'informations comportant des instructions de programme adaptées à la mise en oeuvre d'un procédé de relayage selon l'invention, lorsque ledit programme est chargé et exécuté dans un relais destiné à un système à M sources, L relais et D destinations, le relais étant destiné à mettre en oeuvre le procédé de relayage. Liste des figures D'autres caractéristiques et avantages de l'invention apparaîtront plus clairement à la lecture de la description suivante de modes de réalisation, donnés à titre de simples exemples illustratifs et non limitatifs, et des dessins annexés, parmi lesquels : la figure 1 est un schéma d'un système dit TWMRC (Two-Way Multiple Relay Channel) selon l' art antérieur, la figure 2 est un schéma d'un système dit MAMRC (Multiple Access Multiple Relay Channel) selon l' art antérieur, la figure 3 est un schéma d'un système dit BMRC (Broadcast Multiple Relay Channel) selon l'art antérieur, la figure 4 illustre un protocole semi-orthogonal tel que considéré dans la description détaillée de l'invention, la figure 5 est un schéma d'un exemple de réalisation d'un relais r selon l'invention, la figure 6 est un organigramme simplifié d'un procédé de relayage selon l'invention, la figure 7 représente un exemple de réalisation de la mise en forme - hard,i(Ui) effectuée par le module ETU, la figure 8 représente un exemple de réalisation de la mise en forme - hard,3 (U1, U2) effectuée par le module ETU, la figure 9 représente un exemple de réalisation de la mise en forme Osoft,i(4.) effectuée par le module ETU, la figure 10 représente un exemple de réalisation de la mise en forme Osoft,3(À1, Â.2) effectuée par le module ETU, la figure 11 représente un autre exemple de réalisation de la mise en forme Osofti (4) effectuée par le module ETU, la figure 12 représente un autre exemple de réalisation de la mise en forme Osoft,3 (4, Â.2) effectuée par le module ETU, la figure 13 représente un exemple de réalisation de la mise en forme - hard,3 (U1, U2) effectuée par le module ETU lorsque le relais est utilisé avec d'autres relais dans le système i.e. L > 2, la figure 14 représente un premier exemple de réalisation de la mise en forme Osoft,3 (4, Â.2) effectuée par le module ETU lorsque le relais est utilisé avec d'autres relais dans le système i.e. L > 2, - la figure 15 représente un second exemple de réalisation de la mise en forme Osoft,3 Â.2) effectuée par le module ETU lorsque le relais est utilisé avec d'autres relais dans le système i.e. L > 2. Description de modes de réalisation particuliers Les notations suivantes sont utilisées dans la demande. Tous les vecteurs utilisent des caractères gras. Un vecteur y a son lçième élément noté yk. Fq est le corps de Galois à q éléments, IR le corps des réels et le corps des complexes. Un relayage selon l'invention s'utilise dans des systèmes sans fil dans lesquels au moins deux messages indépendants sont transmis à l'aide d'au moins un relais vers leur destination. De manière générale, les sources, noeuds si, i E (1, , M}, diffusent leurs séquences d'informations codées à l'attention des relais ri, j E (1, , L} et des destinations dk, k E (1, , D}. Chaque relais décode les signaux reçus issus des sources et ré-encode conjointement les messages issus du décodage en ajoutant une redondance propre créant un code de réseau. Par exemple, l'invention peut être utilisée dans des systèmes dits TWMRC (Two-Way Multiple Relay Channel), dans des systèmes dits MAMRC (Multiple Access Multiple Relay Channel) ou dans des systèmes dits BMRC (Broadcast Multiple Relay Channel). Les systèmes TWMRC illustrés par la figure 1 comprennent deux noeuds s1, s2 qui veulent se transmettre mutuellement leurs messages avec l'aide de L relais, 1I>1. Généralement, il existe un lien direct entre les deux noeuds. Les relais sont utilisés pour accroître la fiabilité de la communication entre les deux noeuds. Toutefois, si les deux noeuds sont half-duplex et transmettent simultanément alors ils ne peuvent pas s'écouter mutuellement. Dans ce cas il n'y a pas de lien direct entre les deux noeuds s1, s2. Quel que soit le cas, les relais peuvent être selon l'invention et utilisés de manière efficace. Les systèmes MAMRC illustrés par la figure 2 comprennent M sources si, ...sm qui veulent transmettre leurs messages vers une destination d commune à l'aide des relais Le modèle de canal peut être de type orthogonal, semi-orthogonal ou non-orthogonal. Les relais selon l'invention peuvent être utilisés pour accroître la fiabilité de la transmission quel que soit le type du canal. Les systèmes BMRC illustrés par la figure 3 comprennent une source s qui veut transmettre M>2 messages différents vers DM destinations différentes selon un mode dit Round Robin (à chaque intervalle de temps (time slot) un message est transmis) à l'aide de L>1 relais. Les relais selon l'invention sont utilisés pour accroître la fiabilité de la transmission. Chaque relais peut avoir son propre intervalle de temps (système orthogonal) ou tous les relais peuvent transmettre simultanément (système non orthogonal). En ce qui concerne le codage de réseau, le principe est proche de celui d'un mode HARQ (Hybrid Automatic Repeat ReQuest) : le nième message peut être codé réseau au relais avec les messages précédents. La description détaillée de l'invention est effectuée ci-après en prenant l'exemple d'une utilisation dans un réseau TWMRC. Les deux noeuds s1, s2 veulent échanger leur message th, u2 E IF/2( de K bits chacun à l'aide de L relais r E (ni , ra Pour l'exemple, les relais sont half-duplex (ils ne peuvent recevoir et transmettre simultanément). Par souci de simplification de la description, le système considéré est semi-orthogonal : les transmissions des noeuds si et S2 n'interfèrent pas aux relais (orthogonalité en temps) mais les transmissions des relais sont simultanées sur la même bande et donc interfèrent aux niveaux des noeuds si et s2. Ici semi-orthogonal est employé en référence au système non orthogonal qui aurait considéré une transmission simultanée des noeuds si et S2 sur la même bande Ce protocole semi-orthogonal est illustré par la figure 4. Pendant le lei intervalle de temps, le noeud si transmet, les relais et le noeud S2 écoutent. Pendant le 2e intervalle de temps, le noeud S2 transmet, les relais et le noeud si écoutent. Pendant le 3e intervalle de temps, les relais transmettent simultanément, le noeud si et le noeud S2 écoutent. Chaque cycle de transmission est décomposé en N, utilisations du canal divisées également en trois intervalles temporels de transmission. Une utilisation de canal est la plus petite granularité en ressource temps-fréquence définit par le système qui permet la transmission d'un symbole modulé. Le nombre d'utilisations de canal est lié à la bande de fréquence disponible et la durée de transmission. Par souci de simplification de la description, on considère : qu'un seul relais est utilisé, L=1, que les noeuds et le relais sont synchronisés et équipés d'une seule antenne d'émission, que les messages des noeuds sont indépendants (il n'y a pas de corrélation entre eux), que les liens entre les noeuds sont entachés de bruit (additive noise) et d'évanouissements (fading gain (fast, slow)). Dans le cas « slow fading » privilégié dans la description, les gains d'évanouissement sont constants pendant les Ne utilisations du canal où Ne est le nombre d'utilisations de canal pour accomplir un cycle de transmission, - que tous les intervalles de temps alloués aux différents noeuds sont de même taille en termes de nombre d'utilisations de canal, Ne =3N. Chaque intervalle de transmission temporel contient N utilisations de canal. Le système semi-orthogonal considéré devient en présence d'un unique relais une variante orthogonale. Les messages sont émis par les noeuds qui sont typiquement des terminaux d'utilisateurs qui cherchent à joindre une même station de base en s'aidant d'un relais. Un relais r selon l'invention est décrit en prenant un exemple de réalisation illustré par la figure 5. Le procédé 1 selon l'invention est illustré par la figure 6. On considère ui E F i E (1,2} le message de données de la source si, c'est un message de longueur K dont les composantes prennent leurs valeurs dans le corps de Galois e fini d'ordre 2 entier. ui est considéré comme comprenant une redondance cyclique ou CRC (Code Redundancy Check) qui permet de vérifier l'intégrité du message. Le message ui est converti par un codeur canal en un mot de code de P5 bits noté ci E F2Ps . Les sources peuvent utiliser n'importe quel codage canal. Sans perte de généralité, on considère que le codage canal utilisé par une source est systématique i.e. le mot de code ci comprend dans sa première partie le message et on considère qu'entre les sources la même longueur P5 de codage est utilisée. Le mot de code ci est entrelacé, l'entrelaceur est différent entre les noeuds et noté 7Ci. Le mot de code entrelacé bi alimente un modulateur sans mémoire pour obtenir un mot de code complexe xi E XN tel que X c dénote une constellation complexe de cardinalité IX I = 2q. Il est à noter que les symboles ainsi obtenus sont ensuite associées à une utilisation de canal en prenant en compte la puissance de transmission disponible au relais (partie multiplexage, IFFT, démultiplexage, insertion du cyclique préfixe, filtrage et partie radio Fréquence dans le cas OFDM). Le relais r selon l'invention reçoit, en bande de base, durant l'intervalle de temps alloué au noeud si, i E (1,2} : Yr,si = hr,sixsi wr,si (1) ou Yr,si,n = hr,sixsi,n Vn = 1, , N (2) expressions dans lesquelles hr,s, E représente le gain de canal entre le noeud si et le relais r et dans lesquelles wr,s, E CN est un vecteur de bruit additif. Le relais r effectue une détection 1 sur le signal reçu v r,si- Lorsque les sources émettent en utilisant les mêmes utilisations du canal (cas système non-orthogonal), la détection est conjointe pour séparer les messages respectivement des sources en utilisant un détecteur conjoint muid utilisateurs ou MUD éventuellement itératif. Le relais r décode 2 avec un décodeur de canal souple dec chacun des messages à la fin de l'intervalle de temps alloué à une source. Pour chaque mot de code, le décodeur de canal génère un vecteur de valeurs souples ou LLR noté À E es représentant le message décodé. Le relais r effectue une détection 3 d'erreur sur les messages décodés Â.1, Â2 pour pouvoir séparer les messages estimés sans erreur des messages estimés avec erreur. Cette détection d'erreur est effectuée selon un mode de réalisation après décision dure sur la valeur des bits. Lorsque le codage canal à la source est de type systématique, la première partie du mot de code comprend généralement la partie systématique. Cette première partie est utilisée pour prendre une décision dure de la valeur des bits (0 ou 1) du message pour obtenir un message estimé ù sous une forme dure : si Àd>0 (3) Ut 1 + VI = 1, , K 0 si Ce mode est particulièrement simple à mettre en oeuvre et plus particulièrement lorsque le message de la source comprend une information d'intégrité telle un CRC. La détection d'erreur consiste alors à vérifier l'intégrité de chaque message en comparant la valeur du CRC avec le contenu du message après décision dure. Les messages estimés sans erreur sont considérés tels que ui = ui. Ces messages sont transmis à un module de décision DU, selon l'illustration du relais figure 5 l'interrupteur Bo est fermé. Les messages estimés avec erreur sont tels que ui # ui, ils ne sont pas transmis au module de décision DU. Selon l'illustration du relais figure 5 l'interrupteur B,,1 reste ouvert et l'interrupteur B,,2 est fermé. Ces messages estimés avec erreur pris dans leur forme avant détection d'erreur, i.e. dans leur forme souple, passent 4 un test de fiabilité ; le test porte donc sur les vecteurs Â.1 de LLR. Ce test permet de séparer les messages fiables des messages non fiables. Ce test de fiabilité met en oeuvre une fonction de fiabilité f appliquée sur le vecteur de LLR. La valeur obtenue est comparée à un seuil Yt E R Selon un premier mode de réalisation, la fonction f estime la probabilité d'erreur bit du mot de code ci : Ps 1 V 1 f: f ( i) = LI 1+ I) (4) s 1=1 Selon un deuxième mode de réalisation, la fonction f estime la probabilité d'erreur bit du mot de code ci sur une première partie correspondant à une partie systématique : 1 1 f: f(Li) =K 1 + exP(124,11) L L " 1 = À VI E (1, ,K} (5) i=1 En fonction du mode plus K ou P, est grand, plus le test de fiabilité est précis. Si la valeur est inférieure ou égale au seuil : f yt ou l'(Li) h, le message est fiable. Selon l'illustration du relais figure 5 l'interrupteur B,3 est fermé et le message est transmis au module de décision DU. Si la valeur est supérieure au seuil : f > yt ou f (Li) > yt, le message n'est pas fiable. Selon l'illustration du relais figure 5 l'interrupteur Bo est ouvert et le message n'est pas transmis au module de décision DU. Sur la base de simulations, la valeur initiale du seuil peut être fixée à environ 0.01. Ce seuil est un paramètre ajustable. Il est en particulier fonction du relais et des conditions environnementales de déploiement du relais. Le module de décision DU contrôle le fonctionnement du module ETU en fonction des résultats des tests d'intégrité et de fiabilité. Le module ETU effectue une mise en forme 5 prenant uniquement en compte les messages estimés sans erreur et les messages estimés avec erreur et fiables. Cette mise en forme est effectuée sous une forme souple si au moins un message estimé avec erreur passe avec succès le test de fiabilité. Cette mise en forme comprend un entrelacement canal et une modulation Xr E XN. Le module ETU transmet 6 un signal représentatif des messages après leur mise en forme. Selon des mécanismes connus de l'homme du métier, le relais utilise un signal de signalisation pour indiquer à la destination les messages pris en compte dans le signal représentatif. Le rôle du module de décision DU et son impact sur le fonctionnement du module ETU est détaillé ci-après. Si aucun message reçu n'est sans erreur et si aucun message reçu n'est fiable alors le relais reste silencieux ce qui lui évite de propager des erreurs, le module ETU n'est pas activé par le module de décision DU. Si tous les messages reçus sont sans erreur (il n'y a pas de message pour le test de fiabilité) alors le module ETU est activé selon un mode dure par le module de décision DU. Si au moins un message est sans erreur et si tous les messages estimés avec erreur ne sont pas fiables, alors le module ETU est activé selon un mode dure par le module de décision. L' activation du module ETU selon un mode dure signifie que les messages sont pris en compte par le module ETU sous leur forme dure ; la mise en forme 5 porte sur les bits des messages. En ce qui concerne l'exemple illustré par la figure 5, la mise en forme effectuée par le module ETU selon un mode dure peut être exprimée sous la forme : Xr = ®hard,i(Ui) si le seul message 'Ili, i = 1 ou 2 est sans erreur et fI1 avec j # i n'est pas fiable (et estimé avec erreur) ou Xr = ®hard,3 (111, 112) Si les deux messages sont sans erreur. La figure 7 représente un exemple de réalisation de la mise en forme - hard,i (11 i). Cette mise en forme comprend un entrelaceur message 7z' un codeur canal, un entrelaceur canal 7z,,,h et un modulateur. L'entrelaceur message entrelace le message ui= i et donne un message entrelacé tir. Le codeur canal génère un mot de code Cr. L'entrelaceur canal entrelace le mot de code pour générer un mot de code entrelacé br. Le modaleur génère le signal modulé x.' E XN à partir du mot entrelacé La figure 8 représente un exemple de réalisation de la mise en forme - hard,3 (U1, U2). Cette mise en forme comprend deux entrelaceurs message it,1, 7(,,2 distincts, un codeur canal, un entrelaceur canal 7(,,ch et un modulateur. Les entrelaceurs message ltrl, 7z,,2 entrelacent les bits des messages sans erreur. Les messages entrelacés ïi sont additionnés en utilisant un ou exclusif (XOR) dans le corps des binaires (binary field) pour générer le message tur : Ur,k = 111,k l712,k Vk # 1, ...,K (6) Le codeur canal code le message tur pour donner un mot de code Cr E F2Pr. Le mot de code Cr est entrelacé par 1' entrelaceur canal pour donner le mot entrelacé br. Le modaleur génère le signal modulé x.' E XN à partir du mot entrelacé br. Si au moins un message est reçu avec erreur et est fiable alors le module ETU est activé selon un mode souple par le module de décision DU. Dans ce cas, la mise en forme effectuée par le module ETU est l'une des suivantes : xr = scnt,i (2-1) si fi est (estimé avec erreur et) fiable et si avec j # i est ni sans erreur ni fiable, - xr = scnt,3 Â.2) soit si les deux messages l'il et sont (estimé avec erreur et) fiables, soit si un message est (estimé avec erreur et) fiable et l'autre est sans erreur. Il est à noter que dans ce cas les valeurs souples (LLR) des messages sans erreur ont été positionnées aux valeurs extrêmes de quantification correspondant aux valeurs zéro et un lors de la décision dure. La figure 9 représente un exemple de réalisation de la mise en forme Osoft,i(4). Cette mise en forme comprend un poinçonneur ni,' un entrelaceur canal 7z,,,h et un modulateur souple. Le poinçonneur sélectionne certaines (135') valeurs souples du vecteur À de LLR correspondant au message ui et donne un vecteur poinçonné Li. L'entrelaceur entrelace le vecteur poinçonné pour générer un vecteur poinçonné entrelacé. Le modaleur souple converti le vecteur poinçonné entrelacé en un signal modulé x.' E XN. La figure 10 représente un exemple de réalisation de la mise en forme Osoft,3(4,À2). Cette mise en forme comprend deux poinçonneurs 1-41, 1-42, un codeur réseau souple, un entrelaceur canal 7z,,,h et un modulateur souple. Chaque poinçonneur 1-41, 1-1,,2 sélectionne certaines (135') valeurs souples du vecteur Â.1, Â2 de LLR correspondant au message 111, u2 et donne un vecteur poinçonné L1, L2. Le codeur réseau souple additionne les vecteurs poinçonnés (de même longueur adaptée en fonction du nombre d'utilisations du canal alloué au relais) selon l'opération : eL1,1+eL2,1 4,1 = L1,1 EEI L2,1 = log 1+eL1,1+1,2,1 V/ = 1, , P,' (7) L'entrelaceur canal entrelace le vecteur codé Àr pour générer un vecteur codé entrelacé. Le modaleur souple converti le vecteur codé entrelacé en un signal modulé xr E iN. Les figures 11 et 12 illustrent d'autres exemples de mise en oeuvre des mises en forme Osofti (4) et Osoft,3(4, 4). Ces mises en forme sont avantageusement flexibles au niveau du codage au relais, c'est-à-dire que ces mises en forme permettent l'utilisation d'un codage de canal différent de celui utilisé par les sources. L'exemple de la mise en forme Osoft,i(4) illustré par la figure 11, comprend outre les composants de la mise en forme illustrée par la figure 9, un entrelaceur message 7z,,, et un codeur de canal souple. Le poinçonneur sélectionne K valeurs souples du vecteur À de LLR correspondant au message ui, par exemple les K valeurs correspondant à la partie systématique, pour donner un vecteur poinçonné Li E L'entrelaceur message 7z,,, entrelace le vecteur poinçonné Li pour générer un vecteur poinçonné entrelacé Lr. Le codeur de canal souple code le vecteur poinçonné entrelacé L, sous la forme Cr E L'entrelaceur de canal 7z,,,h entrelace le vecteur codé Cr pour générer un vecteur codé entrelacé Br. Le modaleur souple converti le vecteur codé entrelacé en un signal modulé xr E iN. L'exemple de la mise en forme Osoft,3(Ài, Â.2) illustrée par la figure 12 comprend, outre les composants de la mise en forme illustrée par la figure 10, deux entrelaceurs message ltr,1, 7z,,2 distincts et un codeur de canal souple. Chaque poinçonneur 1-41, 1-42 sélectionne K valeurs souples du vecteur Â2 de LLR correspondant au message 111, u2, par exemple les K valeurs correspondant à la partie systématique, pour donner un vecteur poinçonné L1 E IRK, L2 E IRK. Chaque entrelaceur message 7(,,2 entrelace le vecteur poinçonné L1, L2 pour générer un vecteur poinçonné entrelacé. Le codeur réseau souple additionne les vecteurs poinçonnés entrelacés selon l'opération (1) pour générer un vecteur L, E IRK. Le codeur de canal souple code le vecteur L, sous la forme Cr E L'entrelaceur canal entrelace le vecteur codé Cr pour générer un vecteur codé entrelacé Br. Le modaleur souple converti le vecteur codé entrelacé en un signal modulé xr E iN. Lorsque le mode de réalisation au relais nécessite des LLR sur les bits non-systématiques des messages des sources, ce mode peut être amélioré lorsqu'un des messages est sans erreur. Le procédé régénère le vecteur de LLR à partir des bits du message. Ainsi, par exemple si u1 = Ili alors le relais peut régénérer le mot de code c1 compte tenu qu'il connait le codage de canal utilisé par la source sl. Connaissant le mot de code cl, le procédé régénère le vecteur de LLR comme suit : (-00 À11 = 00 v1=1,..,Ps si = si c1,1 = 0 (8) Le principe de la modulation souple est explicité ci-après. La modulation classique (/) , br,1/2) = xrhnard fait correspondre Q bits consécutifs, prenant la valeur 0 ou 1 (ici dénotés bnii, , bniQ) au symbole Xed appartenant à la constellation X (xMrd E X). Cette opération correspond aux boites « modulation » des figures 7, 8, 13. Il est fait l'hypothèse que la puissance de la constellation est normalisée à un. La modulation souple associée correspond aux boites « soft mapping » des figures 9, 10, 11, 12, 14, 15. En considérant les notations associées aux figures 11, 12, 15, elle consiste à prendre Q LLR consécutifs Bru, , BniQ relatifs à la valeur des bits br,11, --- br,1Q du symbole X inr d et à trouver la fonction f , Br,1/2) qui minimise l'erreur quadratique moyenne : 2 - rhnar d 2 - m Ein , Br,)x où a est la valeur minimale de l'erreur quadratique moyenne (MMSE en anglais). Ce problème d'estimation bien connu donne : f(Br,11, ---,Br,) fxr,n1Br,11, --- ,Br,1Q} etit, (10) brBir (br,ii,...,br,1/2)eFf (br'll' br'lQ) Fil (1 + ebrBr'i) La valeur complexe résultante 5énn est la moyenne pondérée des symboles de la constellation conditionnée aux LLR de leurs bits constitutifs. Quand la constellation porte moins de deux bits (i.e. Q 2, la modulation souple proposée ci-dessus (MMSE) permet de transmettre Q LLRs pendant une seule utilisation du canal : les LLR sont compressés grâce à la modulation souple. Ainsi, le relais transmet pendant la rilème utilisation de canal associée à son intervalle de transmission temporel (contenant N utilisations de canal n=1,...,N) : 1 xr,n 75_ ,n (11) pour que la puissance des xr,n reste égale à 1. En réception, la destination si reçoit (9) Ysi,r,n = hsi,rXr,n Wsi,nn Vn = 1, , N Par construction, il vient : sér,n xrhanrd +14,1 où le bruit d'estimation w1 de variance 0-12 = 1 - 5-2 avec : 1 X-1 -2 0-N îe'r,n2 (ff 2 1) n=1 est corrélé avec xr,n (estimateur MMSE biaisé). Le modèle sans corrélation correspondant à l'erreur quadratique moyenne minimale sans corrélation (MMSUE en anglais) s'écrit : r,n = exrhanrd w2 (15) 5 où w2 n'est pas corrélé avec xr,n et a pour variance 5-2(1 - 6-2). Finalement, le signal reçu en bande de base peut s'écrire : Ysi,r,n = hsi,rXr,n+Wsi,r,n 1412 .hard . 'esi,ruAr,n ..s,,r si,r,n où la variance de peut s'écrire : Ihs,,r12 (1 - 5-2) + avec o-2 la variance du bruit ws,,,,n. Il est à noter que dans le cas où les bits bnii, ... , hr,/Q sont connus (ou de façon équivalente les LLR Bnii, ... , Br,/Q prennent les valeurs plus ou moins l'infini), il vient 5-2 = 1 c'est-à-dire 0 , ... /Q (br,ii , hr, , xr,n , xrhnard. Une alternative consiste à quantifier xr,n en un nombre déterminé de bits. Ces bits sont alors transmis par le relais en utilisant une technique classique. La destination doit connaître la puissance 6-2 . Cette information peut être transmise dans un signal de contrôle entre le relais et la destination. De manière alternative, la destination peut effectuer une détection en aveugle sous condition de connaître l'état du canal et la puissance de bruit en réception. Le système considéré peut comprendre plusieurs relais i.e. L > 2. Un premier mode de réalisation d'un relais adapté à un tel système consiste à conserver le module ETU tel que décrit précédemment avec la contrainte que les entrelaceurs message rrni soient différents entre les relais. Lorsque le relais reçoit plus de deux messages simultanément, le codeur réseau (12) (13) (14) (16) (17) consiste en un ou exclusif (XOR) sous forme dure ou souple des messages sélectionnés par le module de décision DU. Un deuxième mode de réalisation d'un relais adapté à un tel système consiste à optimiser le codage réseau pour atteindre une diversité pleine. Dans ce cas, le changement principal de structure du relais par rapport à ce qui a été précédemment décrit consiste à remplacer le codage de réseau binaire (XOR) par un codage de réseau plus adapté et d'ajouter un entrelaceur réseau 71,,'' entre le codage réseau et le codage de canal. Le codage de réseau adapté doit garantir le critère de diversité pleine (par exemple un codage de réseau dans un corps de Galois d'ordre supérieur à deux). La figure 13 représente un exemple de réalisation de la mise en forme - ha rd,3 (U1, U2) effectuée par le module ETU lorsque L 2. En comparaison du mode de réalisation illustré par la figure 8, le codage de réseau binaire (XOR) est remplacé par un codage de réseau et la mise en forme comporte un entrelaceur réseau 7C,,'' entre le codage réseau et le codage de canal. Les figures 14 et 15 représentent deux exemples de réalisation de la mise en forme Osoft,3 (4, Â.2) effectuée par le module ETU lorsque L > 2. Le mode de réalisation de la figure 14 est comparable à celui de la figure 10. Le mode de réalisation de la figure 15 est à comparer avec celui de la figure 12. En comparaison du mode de la figure 12, le mode de la figure 15 comprend en outre un entrelaceur réseau 71,,'' entre le codage réseau souple et le codage de canal souple. Annexe Grandeurs algébriques 1. LLR Le LLR (« Log Likelihood Ratio ») représente le logarithme du rapport de vraisemblance ou rapport de probabilités relatif à deux symboles. Dans le cas binaire, un bit u peut valoir 1 ou 0. Un tel rapport est donné par un scalaire : (P(u = 1) LLR = log(( = 0)) et définit de manière unique la décision dure sur le bit u de par son signe. 2. LAPPR Le LAPPR (« Log A Posteriori Probability Ratio ») désigne une forme de LLR « conditionnel » à une information parallèle (« side information ») fournie typiquement par une séquence reçue. Dans le cas binaire, le LAPPR est défini par : LAPPR = log P(u [1] demande de brevet WO 2013093359 « Procédé de transmission d'un signal numérique pour un système MS-MARC semi-orthogonal, produit programme et dispositif relais correspondants ». [2] demande de brevet 2013093361 "« Procédé de transmission d'un signal numérique pour un système MS-MARC non-orthogonal, produit programme et dispositif relais correspondants » (P(u = 1 ly) = Oly)) REVENDICATIONS1. Procédé (1) de relayage d'un signal par un relais destiné à un système de télécommunication à M sources (s, st ... , sm), L relais (r, rt ... , ri,) et D destinations (d, dl, ... , c1D), M 1, L 1, D > 1, les transmissions entre les sources, les relais et les destinations se font via un canal de transmission, selon lequel le procédé comprend : un décodage (2) souple de messages (u1, ... , um) émis par au moins une source pendant un premier nombre donné (N) d'utilisations du canal pour obtenir des messages décodés, une détection (3) d'erreur sur les messages décodés pour pouvoir séparer les messages estimés sans erreur des messages estimés avec erreur, caractérisé en ce qu'il comprend en outre : un test de fiabilité (4) portant uniquement sur les messages estimés avec erreur pris dans leur forme avant détection d'erreur pour pouvoir séparer les messages fiables des messages non fiables, une mise en forme (5) comprenant un entrelacement canal et une modulation prenant uniquement en compte les messages estimés sans erreur et les messages estimés avec erreur et fiables, cette mise en forme étant effectuée sous une forme souple si au moins un message estimé avec erreur passe avec succès le test de fiabilité, une émission (6) pendant un deuxième nombre donné (N) d'utilisations du canal d'un signal représentatif des messages pris en compte par la mise en forme. 2. Procédé (1) selon la revendication 1, dans lequel le test de fiabilité consiste à comparer une estimation d'une probabilité d'erreur sur un vecteur des valeurs souples (LLR) d'un message à une valeur seuil. 3. Procédé (1) selon la revendication 2, dans lequel l'estimation de probabilité d'erreur est effectuée sur toutes les valeurs souples associées au message. 4. Procédé (1) selon la revendication 2, dans lequel les messages décodés par le relais ont été émis après un codage systématique par les sources et dans lequel l'estimation de probabilité d'erreur est effectuée uniquement sur les valeurs souples associées à une partie systématique du message. 5. Procédé (1) selon la revendication 1, dans lequel la mise en forme (5) comprend en outre un codage de réseau binaire et un codage canal, le codage de réseau binaire consistant à additionner au moyen d'un ou exclusif dans le domaine binaire les messages estimés sans erreur puis entrelacés. 6. Procédé (1) selon la revendication 1, dans lequel si aucun message n'est détecté sans erreur et si au moins un message détecté avec erreur est fiable alors la modulation est de type souple. 7. Procédé (1) selon la revendication 6, dans lequel la modulation de type souple mappe Q>2 valeurs souples des bits constitutifs du message fiable sur un symbole complexe qui est une valeur moyenne pondérée des points de la constellation conditionnée à la valeur des Q valeurs souples. 8. Procédé (1) selon la revendication 6, dans lequel l'entrelacement canal est effectué uniquement sur une sélection des valeurs souples pour ajuster le rendement de codage et de modulation à la longueur du deuxième nombre donné (N) d'utilisations du canal. 9. Procédé selon la revendication 1, dans lequel si aucun message n'est détecté sans erreur et si tous les messages détectés avec erreur sont fiables alors la mise en forme sous forme souple comprend un codage réseau souple des valeurs souples avant l'entrelacement canal et comprend une modulation souple. 10. Procédé selon la revendication 8, dans lequel l'addition est effectuée uniquement sur une sélection des valeurs souples pour ajuster le rendement de codage et de modulation à la longueur du deuxième nombre donné (N) d'utilisations du canal. 11. Procédé selon la revendication 1, dans lequel si au moins un message est détecté sans erreur et si au moins un message est détecté avec erreur et est fiable alors des valeurs souples positionnées aux valeurs extrêmes de quantification correspondant aux valeurs zéro et un sont associés aux messages détectés sans erreur et la mise en forme sous forme souple comprend un codage réseau souple des valeurs souples des messages avant l'entrelacement canal et comprend une modulation souple. 12. Relais (r) destiné à un système de télécommunication à M sources (s, st ... , Sm), L relais (r, ri, ... ,71) et D destinations (d,d1,...,c1D), M 1, L 1, D 1 pour la mise en oeuvre d'un procédé de relayage selon l'une quelconque des revendications 1 à 11, comprenant : un décodeur souple (Dec) de messages (u1, ... , um) émis par au moins une source pendant un premier nombre donné (N) d'utilisations du canal pour obtenir des messages décodés, un détecteur d'erreur (CRC) sur les messages décodés pour pouvoir séparer les messages estimés sans erreur des messages estimés avec erreur, caractérisé en ce qu'il comprend en outre : un moyen de test de fiabilité portant uniquement sur les messages estimés avec erreur pris dans leur forme avant détection d'erreur pour pouvoir séparer les messages fiables des messages non fiables, un moyen (ETU) de mise en forme comprenant : un entrelaceur canal et un modulateur portant uniquement sur les messages estimés sans erreur et sur les messages estimés avec erreur et fiables, cette mise en forme étant effectuée sous une forme souple si au moins un message estimé avec erreur passe avec succès le test de fiabilité,- un émetteur pour émettre pendant un deuxième nombre donné (N) d'utilisations du canal un signal représentatif des messages pris en compte par le moyen de mise en forme. 13. Système à M sources (s, si, ... ,Sm), L relais (r, ri, ..., ri,) et D destinations (d, di, ... , c1D), M 1, L > 1, D > 1, dans lequel les relais sont selon la revendication 12 et sont tels que les entrelaceurs réseau sont différents entre les relais.