18
Chapitres • 3. Divisibilité dans \boldsymbol{\mathbb{Z}} • 6. Calcul matriciel
D'après bac S, Asie, 2017
Exemple simple de code correcteur
Un bit est un symbole informatique élémentaire valant soit
0, soit
1.
Partie A : Ligne de transmission
Une ligne de transmission transporte des bits de données selon le modèle suivant :
- elle transmet le bit de façon correcte avec une probabilité p ;
- elle transmet le bit de façon erronée (en changeant le 1 en 0 ou le 0 en 1) avec une probabilité 1 - p.
On assemble bout à bout plusieurs lignes de ce type et on suppose qu'elles introduisent des erreurs de façon indépendante les unes des autres.
On étudie la transmission d'un seul bit, ayant pour valeur
1 au début de la transmission.
Après avoir traversé
n lignes de transmission, on note :
- p_n la probabilité que le bit reçu ait pour valeur 1 ;
- q_n la probabilité que le bit reçu ait pour valeur 0.
On a donc
p_0=1 et
q_0=0. On définit les matrices suivantes :
\mathrm{A}=\left(\begin{array}{cc}p & 1-p \\ 1-p & p\end{array}\right),
\mathrm{X}_{n}=\left(\begin{array}{l}p_{n} \\ q_{n}\end{array}\right) et
\mathrm{P}=\left(\begin{array}{cc}1 & 1 \\ 1 & -1\end{array}\right).
On admet que, pour tout entier
n, on a
\mathrm{X}_{n+1}=\mathrm{AX}_{n} et donc
\mathrm{X}_{n}=\mathrm{A}^{n} \mathrm{X}_{0}.
1. a. Montrer que \text{P} est inversible et déterminer \mathrm{P}^{-1}.
b. On pose \mathrm{D}=\left(\begin{array}{cc}1 & 0 \\ 0 & 2 p-1\end{array}\right). Vérifier que \mathrm{A}=\mathrm{PDP}^{-1}.
c. Montrer que, pour tout entier n \geqslant 1, \mathrm{A}^{n}=\mathrm{PD}^{n} \mathrm{P}^{-1}.
d. En vous appuyant sur la copie d'écran d'un logiciel de calcul formel donnée ci‑dessous, déterminer une expression de
q_n en fonction de
n.
2. On suppose dans cette question que
p vaut
0{,}98. On rappelle que le bit avant transmission a pour valeur
1.
On souhaite que la probabilité que le bit reçu ait pour valeur
0 soit inférieure ou égale à
0{,}25.
Combien peut‑on, au maximum, aligner de telles lignes
de transmission ?
Partie B : Le code de Hamming \boldsymbol{(7{,}4)}
On rappelle qu'un bit est un symbole informatique élémentaire valant soit
0, soit
1. On considère un « mot » formé de quatre bits que l'on note
b_1,
b_2,
b_3 et
b_4.
Par exemple, pour le mot
1101, on a
b_1=1,
b_2=1,
b_3=0 et
b_4=1.
On ajoute à cette liste une clé de contrôle
c_1c_2c_3 formée de trois bits :
- c_1 est le reste de la division euclidienne de b_{2}+b_{3}+b_{4} par 2 ;
- c_2 est le reste de la division euclidienne de b_{1}+b_{3}+b_{4} par 2 ;
- c_3 est le reste de la division euclidienne de b_{1}+b_{2}+b_{4} par 2.
On appelle alors « message » la suite de sept bits formée des quatres bits du mot et des trois bits de contrôle.
1. Préliminaires
a. Justifier que c_1, c_2 et c_3 ne peuvent prendre comme valeurs que 0 ou 1.
b. Calculer la clé de contrôle associée au mot 1001.
2. Soit b_{1} b_{2} b_{3} b_{4} un mot de quatre bits et c_{1} c_{2} c_{3} la clé associée.
Démontrer que si on change la valeur de b_1 et que l'on recalcule la clé, alors c_1 est inchangée, c_2 est modifiée et c_3 est modifiée.
3. On suppose que, durant la transmission du message, au plus, un des sept bits a été transmis de façon erronée. À partir des quatre premiers bits du message reçu, on recalcule les trois bits de contrôle, et on les compare avec les bits de contrôle reçus.
Sans justification, compléter le tableau ci‑dessous. La lettre F signifie que le bit de contrôle reçu ne correspond pas au bit de contrôle calculé et J que ces deux bits sont égaux.
Bit erroné ⇢ | \boldsymbol{b_1} | \boldsymbol{b_2} | \boldsymbol{b_3} | \boldsymbol{b_4} | \boldsymbol{c_1} | \boldsymbol{c_2} | \boldsymbol{c_3} | Aucun |
Bit de contrôle calculé ⇣ |
\boldsymbol{c_1} | J |
|
|
|
|
|
|
|
\boldsymbol{c_2} | F |
|
|
|
|
|
|
|
\boldsymbol{c_3} | F |
|
|
|
|
|
|
|
4. Justifier rapidement, à l'aide du tableau, que si un seul bit reçu est erroné, on peut dans tous les cas déterminer lequel et corriger l'erreur.
5. Voici deux messages de sept bits : \mathrm{A} = 0100010 et \mathrm{B} = 1101001. On admet que chacun d'eux comporte au plus une erreur de transmission.
Préciser s'il y a une erreur et la corriger.