JPH02246448A - 変調システム - Google Patents
変調システムInfo
- Publication number
- JPH02246448A JPH02246448A JP2035988A JP3598890A JPH02246448A JP H02246448 A JPH02246448 A JP H02246448A JP 2035988 A JP2035988 A JP 2035988A JP 3598890 A JP3598890 A JP 3598890A JP H02246448 A JPH02246448 A JP H02246448A
- Authority
- JP
- Japan
- Prior art keywords
- sequence
- code
- points
- digital data
- trellis
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Pending
Links
- 238000013507 mapping Methods 0.000 claims abstract description 51
- 238000000034 method Methods 0.000 claims description 70
- 239000011159 matrix material Substances 0.000 claims description 37
- 208000011580 syndromic disease Diseases 0.000 claims description 34
- 230000005540 biological transmission Effects 0.000 claims description 19
- 238000013519 translation Methods 0.000 claims description 10
- 238000000638 solvent extraction Methods 0.000 claims description 8
- 230000001105 regulatory effect Effects 0.000 claims description 4
- 230000007704 transition Effects 0.000 claims description 4
- 230000008569 process Effects 0.000 claims description 3
- 108010076504 Protein Sorting Signals Proteins 0.000 claims description 2
- 230000001172 regenerating effect Effects 0.000 claims 1
- 238000007493 shaping process Methods 0.000 description 50
- 238000010586 diagram Methods 0.000 description 32
- 230000009977 dual effect Effects 0.000 description 21
- 238000002372 labelling Methods 0.000 description 14
- 230000006870 function Effects 0.000 description 9
- 230000014616 translation Effects 0.000 description 8
- 238000005192 partition Methods 0.000 description 7
- 239000000470 constituent Substances 0.000 description 6
- 101150005399 sod2 gene Proteins 0.000 description 6
- 230000009897 systematic effect Effects 0.000 description 6
- 101800001299 Cerebellin Proteins 0.000 description 5
- 238000013093 comparative effectiveness research Methods 0.000 description 5
- 238000009826 distribution Methods 0.000 description 5
- 238000013459 approach Methods 0.000 description 4
- 230000008859 change Effects 0.000 description 4
- 230000003190 augmentative effect Effects 0.000 description 3
- 230000015572 biosynthetic process Effects 0.000 description 3
- 230000001419 dependent effect Effects 0.000 description 3
- 230000000694 effects Effects 0.000 description 3
- 238000012986 modification Methods 0.000 description 3
- 230000004048 modification Effects 0.000 description 3
- 238000004088 simulation Methods 0.000 description 3
- 238000009827 uniform distribution Methods 0.000 description 3
- FSCNUJMKSQHQSY-UHFFFAOYSA-N Gein Chemical compound COC1=CC(CC=C)=CC=C1OC1C(O)C(O)C(O)C(COC2C(C(O)C(O)CO2)O)O1 FSCNUJMKSQHQSY-UHFFFAOYSA-N 0.000 description 2
- 230000008901 benefit Effects 0.000 description 2
- 239000011248 coating agent Substances 0.000 description 2
- 238000000576 coating method Methods 0.000 description 2
- 238000004891 communication Methods 0.000 description 2
- 230000003111 delayed effect Effects 0.000 description 2
- 230000017105 transposition Effects 0.000 description 2
- XUKUURHRXDUEBC-KAYWLYCHSA-N Atorvastatin Chemical compound C=1C=CC=CC=1C1=C(C=2C=CC(F)=CC=2)N(CC[C@@H](O)C[C@@H](O)CC(O)=O)C(C(C)C)=C1C(=O)NC1=CC=CC=C1 XUKUURHRXDUEBC-KAYWLYCHSA-N 0.000 description 1
- 101100177165 Caenorhabditis elegans har-1 gene Proteins 0.000 description 1
- 101100130927 Caenorhabditis elegans moa-2 gene Proteins 0.000 description 1
- 108091026890 Coding region Proteins 0.000 description 1
- 101100005933 Drosophila melanogaster vvl gene Proteins 0.000 description 1
- 238000007476 Maximum Likelihood Methods 0.000 description 1
- 238000000342 Monte Carlo simulation Methods 0.000 description 1
- 101150026088 SOD4 gene Proteins 0.000 description 1
- BLRPTPMANUNPDV-UHFFFAOYSA-N Silane Chemical compound [SiH4] BLRPTPMANUNPDV-UHFFFAOYSA-N 0.000 description 1
- 229910000831 Steel Inorganic materials 0.000 description 1
- 239000000654 additive Substances 0.000 description 1
- 230000000996 additive effect Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 230000002301 combined effect Effects 0.000 description 1
- 230000001143 conditioned effect Effects 0.000 description 1
- 238000000354 decomposition reaction Methods 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 230000006866 deterioration Effects 0.000 description 1
- 238000011156 evaluation Methods 0.000 description 1
- 238000001914 filtration Methods 0.000 description 1
- 239000004816 latex Substances 0.000 description 1
- 229920000126 latex Polymers 0.000 description 1
- 238000005259 measurement Methods 0.000 description 1
- 230000007246 mechanism Effects 0.000 description 1
- 238000010606 normalization Methods 0.000 description 1
- 230000002265 prevention Effects 0.000 description 1
- 238000012892 rational function Methods 0.000 description 1
- 230000008929 regeneration Effects 0.000 description 1
- 238000011069 regeneration method Methods 0.000 description 1
- 230000004044 response Effects 0.000 description 1
- 230000002441 reversible effect Effects 0.000 description 1
- 239000010959 steel Substances 0.000 description 1
- 230000001629 suppression Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
- 235000021419 vinegar Nutrition 0.000 description 1
- 239000000052 vinegar Substances 0.000 description 1
Classifications
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L27/00—Modulated-carrier systems
- H04L27/32—Carrier systems characterised by combinations of two or more of the types covered by groups H04L27/02, H04L27/10, H04L27/18 or H04L27/26
- H04L27/34—Amplitude- and phase-modulated carrier systems, e.g. quadrature-amplitude modulated carrier systems
- H04L27/3405—Modifications of the signal space to increase the efficiency of transmission, e.g. reduction of the bit error rate, bandwidth, or average power
- H04L27/3416—Modifications of the signal space to increase the efficiency of transmission, e.g. reduction of the bit error rate, bandwidth, or average power in which the information is carried by both the individual signal points and the subset to which the individual points belong, e.g. using coset coding, lattice coding, or related schemes
- H04L27/3422—Modifications of the signal space to increase the efficiency of transmission, e.g. reduction of the bit error rate, bandwidth, or average power in which the information is carried by both the individual signal points and the subset to which the individual points belong, e.g. using coset coding, lattice coding, or related schemes in which the constellation is not the n - fold Cartesian product of a single underlying two-dimensional constellation
-
- H—ELECTRICITY
- H04—ELECTRIC COMMUNICATION TECHNIQUE
- H04L—TRANSMISSION OF DIGITAL INFORMATION, e.g. TELEGRAPHIC COMMUNICATION
- H04L27/00—Modulated-carrier systems
- H04L27/32—Carrier systems characterised by combinations of two or more of the types covered by groups H04L27/02, H04L27/10, H04L27/18 or H04L27/26
- H04L27/34—Amplitude- and phase-modulated carrier systems, e.g. quadrature-amplitude modulated carrier systems
- H04L27/3405—Modifications of the signal space to increase the efficiency of transmission, e.g. reduction of the bit error rate, bandwidth, or average power
- H04L27/3411—Modifications of the signal space to increase the efficiency of transmission, e.g. reduction of the bit error rate, bandwidth, or average power reducing the peak to average power ratio or the mean power of the constellation; Arrangements for increasing the shape gain of a signal set
Landscapes
- Engineering & Computer Science (AREA)
- Computer Networks & Wireless Communication (AREA)
- Signal Processing (AREA)
- Error Detection And Correction (AREA)
- Digital Transmission Methods That Use Modulated Carrier Waves (AREA)
- Dc Digital Transmission (AREA)
- Compression, Expansion, Code Conversion, And Decoders (AREA)
- Color Television Systems (AREA)
Abstract
(57)【要約】本公報は電子出願前の出願データであるた
め要約のデータは記録されません。
め要約のデータは記録されません。
Description
【発明の詳細な説明】
(産業上の利用分野)
この発明は、チャンネルを介してデジタルデータを送出
するための変調システムに関する。
するための変調システムに関する。
(従来の技術)
従来からの非符号化変調システムにおいては、N信号次
元当りnビットを送出するためには、2″個の点のN次
元信号配置が用いられる。nビットの各群は21Iの信
号点の1つへ独立に写像される0選択された信号点は例
えばパルス振巾変調(PAM)送信機のN回の使用によ
り、又は直角振巾変1! (QAM)送信機のN/2回
の使用によってチャンネルに送信される。配置における
信号点は良好な信号対雑音比(SNR)効率を達成する
ように選択され組織される。SNR効率を決定する重要
なパラメータは、配置信号点とその平均電力との間の最
小2乗距離である。
元当りnビットを送出するためには、2″個の点のN次
元信号配置が用いられる。nビットの各群は21Iの信
号点の1つへ独立に写像される0選択された信号点は例
えばパルス振巾変調(PAM)送信機のN回の使用によ
り、又は直角振巾変1! (QAM)送信機のN/2回
の使用によってチャンネルに送信される。配置における
信号点は良好な信号対雑音比(SNR)効率を達成する
ように選択され組織される。SNR効率を決定する重要
なパラメータは、配置信号点とその平均電力との間の最
小2乗距離である。
これに対して、符号化変調システムにおいては、信号点
の許容しうる系列のセラ) (set)から導出される
系列としてデジタルデータが符号化される。
の許容しうる系列のセラ) (set)から導出される
系列としてデジタルデータが符号化される。
許容される系列は、符号の許容しうる系列の間の最小2
乗距離が系列の構成要素即ち信号点の間の最小2乗距離
よりも大きいように選択される。これには、必ずしも全
ての可能な系列が許容しうるものであるとは限らないこ
とが必要であり、配置の信号点の数が拡張されなければ
ならないことを意味する。配置の拡張はN次元当りnピ
ントを送出するのに要する平均電力を増加させることに
なるが、最小2乗系列距離の増加は平均電力の増加を上
回っており、正味の「符号化利得」が達成される。
乗距離が系列の構成要素即ち信号点の間の最小2乗距離
よりも大きいように選択される。これには、必ずしも全
ての可能な系列が許容しうるものであるとは限らないこ
とが必要であり、配置の信号点の数が拡張されなければ
ならないことを意味する。配置の拡張はN次元当りnピ
ントを送出するのに要する平均電力を増加させることに
なるが、最小2乗系列距離の増加は平均電力の増加を上
回っており、正味の「符号化利得」が達成される。
符号化変調システムには、ブロックとトレリスという2
Mの基本的な型式がある。
Mの基本的な型式がある。
ブロック符号化システムでは、符号系列は信号点の有限
長のブロックであり、符号語と呼ばれることが多い、所
与のブロック内では信号点は互いに依存し合うが、異な
るブロックの信号点の間に相互依存性はない、信号点の
系列を定義するものとして符号語を考えるならば、ラテ
ィス(lattice)符号〔ここでは、符号語は多次
元ラティスのトランスレー) (translate)
上の点である〕はブロック符号化システムとみなしてよ
い。
長のブロックであり、符号語と呼ばれることが多い、所
与のブロック内では信号点は互いに依存し合うが、異な
るブロックの信号点の間に相互依存性はない、信号点の
系列を定義するものとして符号語を考えるならば、ラテ
ィス(lattice)符号〔ここでは、符号語は多次
元ラティスのトランスレー) (translate)
上の点である〕はブロック符号化システムとみなしてよ
い。
一方、トレリス符号化変調〔ウンガーベック著「多重レ
ベル/位相信号を伴うチャンネル符号化」IEEE)ラ
ンザクシッンズ・オン・インフォメーション・セオリ、
IT−281第1号、第56−67ページ(1982年
1月)〕においては、信号点の符号系列は原理的に無限
長であり、全系列にわたって広がる信号点相互依存性が
ある。
ベル/位相信号を伴うチャンネル符号化」IEEE)ラ
ンザクシッンズ・オン・インフォメーション・セオリ、
IT−281第1号、第56−67ページ(1982年
1月)〕においては、信号点の符号系列は原理的に無限
長であり、全系列にわたって広がる信号点相互依存性が
ある。
典型的には、符号化変調システムは、関連する信号配置
又は配置のファミリー(fa■fly)と共に設計され
ていた。−船釣に、配置そのものは、N次元信号点が有
限の(例えば21′or個の点の)N次元信号配置に存
在する符号の全ての系列のサブラティス(sublat
tice)が許容しうる系列のサブラティスであるブロ
ック形である。つまり、配置はそれぞれのN次元で同一
であり、N次元の外側の信号点には依存していなかった
。
又は配置のファミリー(fa■fly)と共に設計され
ていた。−船釣に、配置そのものは、N次元信号点が有
限の(例えば21′or個の点の)N次元信号配置に存
在する符号の全ての系列のサブラティス(sublat
tice)が許容しうる系列のサブラティスであるブロ
ック形である。つまり、配置はそれぞれのN次元で同一
であり、N次元の外側の信号点には依存していなかった
。
こうした配置は、可能な限り球形に整形されるならば、
改良されたSNR効率を達成することができる、という
ことが認識されている。
改良されたSNR効率を達成することができる、という
ことが認識されている。
1987年6月12日に出願された米国特許出願番号第
062.497号において、フォーニーは、族ラティス
のサブラティスのいわゆるボロノイ領域内に存在するラ
ティス〔又はラティスのコセット(coset) )の
点を含む信号配置を記述している。ラティスのボロノイ
領域は、任意の他のラティス点との距離が原点との距離
に等しい点のセットである。つまり、配置境界を画定す
るためにラティスのボロノイ領域を使用することにより
、擬似球状配置の利点が達成される。こうしたボロノイ
配置は、コンウェー及びスローン著「ラティス符号及び
量子化器のための高速符号化法」IEEEトランザクシ
四ンズ・オン・インフォメーション・セオリ、第1T−
29巻 第820−824ページ(1983年)及びフ
ォーニーの米国特許出願番号第181,203号(19
88年4月13日出願、2次チャンネルを支持するため
にヴオロノイ配置の点を利用する)でも検討されている
。
062.497号において、フォーニーは、族ラティス
のサブラティスのいわゆるボロノイ領域内に存在するラ
ティス〔又はラティスのコセット(coset) )の
点を含む信号配置を記述している。ラティスのボロノイ
領域は、任意の他のラティス点との距離が原点との距離
に等しい点のセットである。つまり、配置境界を画定す
るためにラティスのボロノイ領域を使用することにより
、擬似球状配置の利点が達成される。こうしたボロノイ
配置は、コンウェー及びスローン著「ラティス符号及び
量子化器のための高速符号化法」IEEEトランザクシ
四ンズ・オン・インフォメーション・セオリ、第1T−
29巻 第820−824ページ(1983年)及びフ
ォーニーの米国特許出願番号第181,203号(19
88年4月13日出願、2次チャンネルを支持するため
にヴオロノイ配置の点を利用する)でも検討されている
。
(発明の概要)
この発明は、改良された性能を達成する、いわゆるトレ
リス整形変調システムである。この発明においては、上
記のごとく信号点配置から導出された信号点の系列へデ
ジタルデータ列を写像する代りに、データ列は、各N次
元で反復的に用いられる単一のN次元配置の単なるデカ
ルト積ではない利用可能な系列のいわゆる系列空間から
導出された信号点の系列へ写像される。系列空間の利用
可能な系列によって占有される領域は所要電力を最小と
するように整形される。例えば、該領域はトレリス符号
の基本領域、特に、トレリス符号のヴオロノイ領域への
近似(そこではトレリス符号は反復されたラティス符号
ではない)からなる。
リス整形変調システムである。この発明においては、上
記のごとく信号点配置から導出された信号点の系列へデ
ジタルデータ列を写像する代りに、データ列は、各N次
元で反復的に用いられる単一のN次元配置の単なるデカ
ルト積ではない利用可能な系列のいわゆる系列空間から
導出された信号点の系列へ写像される。系列空間の利用
可能な系列によって占有される領域は所要電力を最小と
するように整形される。例えば、該領域はトレリス符号
の基本領域、特に、トレリス符号のヴオロノイ領域への
近似(そこではトレリス符号は反復されたラティス符号
ではない)からなる。
一般に、この発明の一つの特徴においては、デジタルデ
ータ列は、デジタルデータ列に基づいて全ての可能な信
号点系列のサブセット(subset)から信号点系列
を選択することによって、データ伝送のために信号点系
列へ写像される。ここで、サブセットにおける全ての可
能な信号点系列はトレリス符号の基本領域に存在し、該
基本領域は有限次元領域の単純デカルト積以外のもので
ある。
ータ列は、デジタルデータ列に基づいて全ての可能な信
号点系列のサブセット(subset)から信号点系列
を選択することによって、データ伝送のために信号点系
列へ写像される。ここで、サブセットにおける全ての可
能な信号点系列はトレリス符号の基本領域に存在し、該
基本領域は有限次元領域の単純デカルト積以外のもので
ある。
この発明の好ましい実施例は以下の特徴を含む。
サブセットにおける可能な信号点系列は、トレリス符号
がサブコード(subcode)である第2の符号のト
ランスレートからの符号系列であって、該第2の符号は
トレリス形又はラティス形である。
がサブコード(subcode)である第2の符号のト
ランスレートからの符号系列であって、該第2の符号は
トレリス形又はラティス形である。
基本領域はは一′トレリス符号のヴオロノイ領域であり
、最小距離複号器〔例えば、有限な遅れM(≧1)を持
つ最小距離複号器〕への近似によってトレリス符号のゼ
ロ系列へ復号される可能な信号点系列のセットを含む、
−層広くいうと、基本領域は、トレリス符号のための任
意の復号器の共通誤り領域へ復号される可能な信号点系
列のセットであってよい。
、最小距離複号器〔例えば、有限な遅れM(≧1)を持
つ最小距離複号器〕への近似によってトレリス符号のゼ
ロ系列へ復号される可能な信号点系列のセットを含む、
−層広くいうと、基本領域は、トレリス符号のための任
意の復号器の共通誤り領域へ復号される可能な信号点系
列のセットであってよい。
信号点系列を選択する段階は、トレリス符号の一致クラ
ス(congruence class)に所属し且つ
該クラスを表わす初期信号点系列へデジタルデータを写
像し、次いで、初期信号点系列に比較して平均電力が小
さいか等しく一層クラスに所属する信号点系列を選択す
る段階を含む、い(つかの実施例においては、写像する
段階は、トレリス符号の時間ゼロ・ラティスの基本領域
内に存在する点を含む初期配列に所属する信号点へデジ
タルデータ列を写像する段階を含む、他の実施例におい
ては、写像する段階は、デジタルデータ列の要素の一部
をコセット代表発生器に適用して、コセット代表系列を
表す一層多くの数のデジタル要素を形成する段階を含む
。
ス(congruence class)に所属し且つ
該クラスを表わす初期信号点系列へデジタルデータを写
像し、次いで、初期信号点系列に比較して平均電力が小
さいか等しく一層クラスに所属する信号点系列を選択す
る段階を含む、い(つかの実施例においては、写像する
段階は、トレリス符号の時間ゼロ・ラティスの基本領域
内に存在する点を含む初期配列に所属する信号点へデジ
タルデータ列を写像する段階を含む、他の実施例におい
ては、写像する段階は、デジタルデータ列の要素の一部
をコセット代表発生器に適用して、コセット代表系列を
表す一層多くの数のデジタル要素を形成する段階を含む
。
後者の実施例においては、信号系列を評価されたデジタ
ル要素の系列へ復号し、次いで、フィードバックフリー
のシンドローム形成器(syndromeformer
)を用いて前記の評価されたデジタル要素の部分に基づ
いて、−層少ない数のデジタル要素のシンドロームを形
成することによって、信号点系列の雑音汚染されている
可能性がある変形から、デジタルデータ系列を再生する
。なお、シンドローム形成器はコセット代表発生器の逆
である。
ル要素の系列へ復号し、次いで、フィードバックフリー
のシンドローム形成器(syndromeformer
)を用いて前記の評価されたデジタル要素の部分に基づ
いて、−層少ない数のデジタル要素のシンドロームを形
成することによって、信号点系列の雑音汚染されている
可能性がある変形から、デジタルデータ系列を再生する
。なお、シンドローム形成器はコセット代表発生器の逆
である。
ある実施例では、前記系列の信号点は2D配置に属し、
前記信号点系列を選択する段階は、前記系列の信号点が
2D配置の原点の半径R内にあるように規制される。特
に、一致クラスに属する信号点系列を選択する段階は、
2D配置に属する信号点を含む最終信号点系列の初期信
号点系列を復号する段階を含み、該復号段階は、配置の
原点から所定の半径Rを上回らない大きさを信号点が持
つ最終信号点系列のみが用いられるように規制される。
前記信号点系列を選択する段階は、前記系列の信号点が
2D配置の原点の半径R内にあるように規制される。特
に、一致クラスに属する信号点系列を選択する段階は、
2D配置に属する信号点を含む最終信号点系列の初期信
号点系列を復号する段階を含み、該復号段階は、配置の
原点から所定の半径Rを上回らない大きさを信号点が持
つ最終信号点系列のみが用いられるように規制される。
ある実施例においては、一致クラスに所属する信号点を
選択する段階は、(a)ビタビ(Vi terbi)ア
ルゴリズムを用いて初期信号点系列を符号系列へ復号し
、(b)復号された系列が第2の符号における許容しう
る系列であることを保証する操作をビタビアルゴリズム
の反復毎に行う段階を含む。
選択する段階は、(a)ビタビ(Vi terbi)ア
ルゴリズムを用いて初期信号点系列を符号系列へ復号し
、(b)復号された系列が第2の符号における許容しう
る系列であることを保証する操作をビタビアルゴリズム
の反復毎に行う段階を含む。
該操作は、ビタビアルゴリズムのトレリスにおける選択
された履歴径路の距離(metric)を、選択された
径路がビタビアルゴリズムの次の反復における最も起り
得る径路にならないように調節する段階を含む、履歴径
路は、ビタビアルゴリズムのトレリスにおける特定の場
所での特定の状態遷移を含むかどうかに基づいて選択さ
れる。前記操作は、トレリスにおける選択された履歴径
路へ大きな距離を割当てる段階を含む。
された履歴径路の距離(metric)を、選択された
径路がビタビアルゴリズムの次の反復における最も起り
得る径路にならないように調節する段階を含む、履歴径
路は、ビタビアルゴリズムのトレリスにおける特定の場
所での特定の状態遷移を含むかどうかに基づいて選択さ
れる。前記操作は、トレリスにおける選択された履歴径
路へ大きな距離を割当てる段階を含む。
ある実施例においては、初期配置に所属する信号点の系
列へデジタルデータ列を写像する段階は、初期配置から
信号点を選択するために、データ列のデータ要素をビッ
ト群に変換する段階を含み、該ビット群は、90度の1
倍、2倍又は3倍の位相回転を受けた送信系列のチャン
ネルで影響された変形から再生することができることを
保証するように差動的に符号化される。
列へデジタルデータ列を写像する段階は、初期配置から
信号点を選択するために、データ列のデータ要素をビッ
ト群に変換する段階を含み、該ビット群は、90度の1
倍、2倍又は3倍の位相回転を受けた送信系列のチャン
ネルで影響された変形から再生することができることを
保証するように差動的に符号化される。
この発明の他の特徴においては、デジタルデータ列は、
時間jまでにデジタルデータ列に現われるデジタルデー
タに基づいて、送出されるべき系列を選択する可能な系
列のクラスを決定する段階と、時間j後に系列に現われ
るデジタルデータに基づいて、可能な系列のクラスから
、送出されるべき系列を可能な時間j毎に選択する段階
とを含む技術によって信号点へ写像される。
時間jまでにデジタルデータ列に現われるデジタルデー
タに基づいて、送出されるべき系列を選択する可能な系
列のクラスを決定する段階と、時間j後に系列に現われ
るデジタルデータに基づいて、可能な系列のクラスから
、送出されるべき系列を可能な時間j毎に選択する段階
とを含む技術によって信号点へ写像される。
−船釣に、別の見方においては、送出されるべき信号点
の系列を、デジタルデータ列におけるデジタルデータに
よって特定される可能な系列のクラスから選択し、該選
択が該クラスの異なる可能な系列の平均電力に基づいて
おり、該選択がデジタルデータの有限のブロックにのみ
基づいてはいないことを特徴とする。
の系列を、デジタルデータ列におけるデジタルデータに
よって特定される可能な系列のクラスから選択し、該選
択が該クラスの異なる可能な系列の平均電力に基づいて
おり、該選択がデジタルデータの有限のブロックにのみ
基づいてはいないことを特徴とする。
好ましい実施例は以下の特徴を含む。
データ列の各データ要素(二進bビット値)は21個の
点の初期配置における点へ写像される。
点の初期配置における点へ写像される。
初期配置からの点の結果とじての系列は、可能な系列の
クラスの代表系列を含む。データ要素の初期配置での点
への写像は線形又は距離不変性である。各要素の写像は
任意の他の要素の写像とは独立に行われる。
クラスの代表系列を含む。データ要素の初期配置での点
への写像は線形又は距離不変性である。各要素の写像は
任意の他の要素の写像とは独立に行われる。
初期配置における点の系列は、トレリス符号に従って、
最大可能性系列評価によって復号される。
最大可能性系列評価によって復号される。
所与の点に対する複号処理の最終判定は時間jに続く少
くとも1つの間隔まで遅延される。基本領域は復号器の
共通誤り領域であり、初期配置における点の系列は共通
誤り領域内の誤り系列へ復号される。共通誤り領域内の
系列における信号点は初期配置よりも大きい最終配置を
含む。
くとも1つの間隔まで遅延される。基本領域は復号器の
共通誤り領域であり、初期配置における点の系列は共通
誤り領域内の誤り系列へ復号される。共通誤り領域内の
系列における信号点は初期配置よりも大きい最終配置を
含む。
上記方法によって達成される整形利得は符号化利得によ
って増加される。
って増加される。
受信機では、デジタルデータ列は、初期配置の点の系列
を再生するように送出信号点の系列を復号し、次いで、
初期配置の点の系列を逆写像してデジタルデータ列を再
生することによって再生される。送出された信号点の系
列の複号処理は、その他の点とは独立に各点について行
われる。
を再生するように送出信号点の系列を復号し、次いで、
初期配置の点の系列を逆写像してデジタルデータ列を再
生することによって再生される。送出された信号点の系
列の複号処理は、その他の点とは独立に各点について行
われる。
トレリス符号が使用される場合、それは線形トレリス符
号、例えば4状態ウンガーベック符号又は二重ウェイ(
dual Wei)符号である。トレリス符号は二進ラ
ティスの分割に、又は、二進ラティス又は四進ラティス
の分割に基づいている。
号、例えば4状態ウンガーベック符号又は二重ウェイ(
dual Wei)符号である。トレリス符号は二進ラ
ティスの分割に、又は、二進ラティス又は四進ラティス
の分割に基づいている。
また、この発明は、前記の特徴を組み込んだモデムを特
徴とする。
徴とする。
この発明は大きな総合利得を比較的に低い複雑度で達成
する。
する。
他の利点及び特徴は好ましい実施例の以下の説明及び特
許請求の範囲から明白になる。
許請求の範囲から明白になる。
(実施例)
月、lJばU1理
最初に、この発明の基礎となる用語と原理について検討
する。
する。
立主土久
N次元の実ラティスΔはN−タプル(N−tuples
)即ち点の離散集合、即ち実ユークリッドN空間RNの
要素の離散集合(R’に広がると仮定する)であり、ベ
クトル加算下の2つの任意のラティス点の和又は差は別
のラティス点であるという群特性を持つ RMの2つの
要素は、(ラティスの点であるかどうかに拘らず)それ
らの差が八における点であるならば、−敗する一od
A(congr−uent modA)であると言われ
る。所与のN−タプルに一致する全ての要素の集合はへ
のコセット〔又は−敗クラス(congruence
class)又はトランスレート(translate
) A + aとよばれる。
)即ち点の離散集合、即ち実ユークリッドN空間RNの
要素の離散集合(R’に広がると仮定する)であり、ベ
クトル加算下の2つの任意のラティス点の和又は差は別
のラティス点であるという群特性を持つ RMの2つの
要素は、(ラティスの点であるかどうかに拘らず)それ
らの差が八における点であるならば、−敗する一od
A(congr−uent modA)であると言われ
る。所与のN−タプルに一致する全ての要素の集合はへ
のコセット〔又は−敗クラス(congruence
class)又はトランスレート(translate
) A + aとよばれる。
幾何学的には、ラティスΔはその点の間の最小2乗距@
d”m1n(Δ)により、及び、それぞれのラティス点
に関連したN空間の体積である基本領域■(Δ)によっ
て特徴付けられる。
d”m1n(Δ)により、及び、それぞれのラティス点
に関連したN空間の体積である基本領域■(Δ)によっ
て特徴付けられる。
−1孟11」し幻l盪
への基本領域は各一致クラスsod Aからの唯一の点
を含むN空間の領域として定義される。への任意の基本
領域の体積はV (A)である。
を含むN空間の領域として定義される。への任意の基本
領域の体積はV (A)である。
へのボロノイ領域Rv(Δ)は、原点に対する距離と他
の任意の点における距離とが少くとも同じ位に近接して
いるRNにおける全ての要素のセットである。ボロノイ
領域Rv(Δ)はAの基本領域のクロージ中(clos
ure)であり、その体積はV(Δ)である。
の任意の点における距離とが少くとも同じ位に近接して
いるRNにおける全ての要素のセットである。ボロノイ
領域Rv(Δ)はAの基本領域のクロージ中(clos
ure)であり、その体積はV(Δ)である。
一1丈コノじ嬶走別
へのサブラティス八は、ラティスである八における点の
サブセット (subset)である、Δはへのスーパ
ーラティス(superlattice)でもある、λ
はへのサブグループ(subgroup)であるから、
AばA′のコセット (一致クラス)の成る数1Δ/N
のユニオン(union)である、つまり、λはへのΔ
/1様の分割(partition)である0分割はΔ
/A’で指示される。 (より一般的には、Aの任意の
トランスレートΔ+aは1八/λ1のコセットのユニオ
ンである。)数1Δ/λ1は分割へ/A′の次数(or
der)又はAにおけるA′のインデックスとよばれる
。八におけるI A/A Iのコセットのコセット代表
のセットは、各セットからの1つを含む1Δ/λ1のタ
プルの任意のセットで、〔Δ/A′〕で表わされる。
サブセット (subset)である、Δはへのスーパ
ーラティス(superlattice)でもある、λ
はへのサブグループ(subgroup)であるから、
AばA′のコセット (一致クラス)の成る数1Δ/N
のユニオン(union)である、つまり、λはへのΔ
/1様の分割(partition)である0分割はΔ
/A’で指示される。 (より一般的には、Aの任意の
トランスレートΔ+aは1八/λ1のコセットのユニオ
ンである。)数1Δ/λ1は分割へ/A′の次数(or
der)又はAにおけるA′のインデックスとよばれる
。八におけるI A/A Iのコセットのコセット代表
のセットは、各セットからの1つを含む1Δ/λ1のタ
プルの任意のセットで、〔Δ/A′〕で表わされる。
八がへのサブラティスであれば、への基本体積V (X
)は1八/N I V(A) に等りい。
)は1八/N I V(A) に等りい。
二進ラティス
二進ラティスΔは、サブラティスとして2″ZNを持つ
整数ラティス(整数)−タプルのN次元ラティスZHの
サブラティス)であり、Z’/A/2”ZNはラティス
分割鎖(lattice partition ch
ain)である、最小のこうしたnはラティスへの2−
デプス(2depth)とよばれ、Aはそこで5od−
2”ラティスとよばれる。
整数ラティス(整数)−タプルのN次元ラティスZHの
サブラティス)であり、Z’/A/2”ZNはラティス
分割鎖(lattice partition ch
ain)である、最小のこうしたnはラティスへの2−
デプス(2depth)とよばれ、Aはそこで5od−
2”ラティスとよばれる。
5od−2ラテイスΔはサブラティスとして2ZNを有
するN次元の整数ラティスである。どのmad−2ラテ
イスも、長さNの線形二進ブロック符号Cにおけるコー
ドワードとコングルーエンド5od−2である全ての整
数N−タプルのセットとして特徴付けられる。Cが(N
、 K)符号であるならば、分割ZN/A及びAl2Z
’はl Z’ /A−2’−”、IA/2Z”l−2”
であり、Cの21のコードワードは1Δ/2 Z’1様
分割八/へ Z’のコセット代表のセット〔Al2 ZM)とみなしうる、一方、全ての二進N−タプルのセ
ット(N、K)におけるCのコセットに対するコセフト
代表((N、N)/C)の任意のセットは、ZHにおけ
るへのコセットに対するコセット代表(Z’/A)のセ
ットとして(整数N−タプルとして)取り上げられる。
するN次元の整数ラティスである。どのmad−2ラテ
イスも、長さNの線形二進ブロック符号Cにおけるコー
ドワードとコングルーエンド5od−2である全ての整
数N−タプルのセットとして特徴付けられる。Cが(N
、 K)符号であるならば、分割ZN/A及びAl2Z
’はl Z’ /A−2’−”、IA/2Z”l−2”
であり、Cの21のコードワードは1Δ/2 Z’1様
分割八/へ Z’のコセット代表のセット〔Al2 ZM)とみなしうる、一方、全ての二進N−タプルのセ
ット(N、K)におけるCのコセットに対するコセフト
代表((N、N)/C)の任意のセットは、ZHにおけ
るへのコセットに対するコセット代表(Z’/A)のセ
ットとして(整数N−タプルとして)取り上げられる。
こうした■od −2ラテイスをA(N、。という表示
によって表わす。
によって表わす。
コンス−−ニーエン D−−ス
請ju旧ル度
N次元ラティスへのコンスティテユーエント(cons
tituent) 2 Dラティス八、はへの2次元
へのプロジェクシヨン(projection)である
(N次元の中からの2次元の任意の選択に対して同一で
あると仮定する)0通常、八、がZ”(整数2−タプル
の二次元ラティス)であるように整数を調整する。Nが
偶数であり、A、が多対の次元に対して同一であるなら
ば、八は(Δ、) 11/1のサブラティスである。へ
の冗長度r(八)は八2・21でアルナラば2’ ”=
l (At)”富/Δl即ちIZN/八1でへるよう
に定義される。(2次元当りの)への正規化された冗長
度ρ(Δ)はρ(八)=2r(Δ)/Nとして定義され
る。つまり、sod〜2ラティスA OII t+の冗
長度はN−にであり、そのの正規化された冗長度は2
(1−に/N)である。
tituent) 2 Dラティス八、はへの2次元
へのプロジェクシヨン(projection)である
(N次元の中からの2次元の任意の選択に対して同一で
あると仮定する)0通常、八、がZ”(整数2−タプル
の二次元ラティス)であるように整数を調整する。Nが
偶数であり、A、が多対の次元に対して同一であるなら
ば、八は(Δ、) 11/1のサブラティスである。へ
の冗長度r(八)は八2・21でアルナラば2’ ”=
l (At)”富/Δl即ちIZN/八1でへるよう
に定義される。(2次元当りの)への正規化された冗長
度ρ(Δ)はρ(八)=2r(Δ)/Nとして定義され
る。つまり、sod〜2ラティスA OII t+の冗
長度はN−にであり、そのの正規化された冗長度は2
(1−に/N)である。
N次元ラティスのコンスティテユーエント2Dサブラテ
ィス八、′は(2つの次元の任意の選択に対して同一で
あると仮定して)2つの次元へ投影して、これら2つの
特定の次元を除きコンポーネントが全てゼロであるへの
全ての要素のセットである。Nが偶数であり八z′が多
対の次元に対して同一であるならば、(Ax’ )””
はへのサブラティスである。
ィス八、′は(2つの次元の任意の選択に対して同一で
あると仮定して)2つの次元へ投影して、これら2つの
特定の次元を除きコンポーネントが全てゼロであるへの
全ての要素のセットである。Nが偶数であり八z′が多
対の次元に対して同一であるならば、(Ax’ )””
はへのサブラティスである。
二進ラティスに対しては、コンスティテユーエント2D
サブラティスはラティスZ2の変形R’ Z ”17)
無限チエ−72”/RZ”/R’Z”/ ・・・におけ
るラティスである。ここで、Rは2×2マトリツクスR
=((1,1)、 (−1,1))によって特定され
るノルム2倍化(norm−doubliB)回転演算
子で、それぞれの分割RjZt/Rj″IZ1の次数は
2である。ただし、R”Z”=22tである。二進ラテ
ィスへのデプスμはR1IZt!がAのサブラティスで
あるような最小の整数μである。
サブラティスはラティスZ2の変形R’ Z ”17)
無限チエ−72”/RZ”/R’Z”/ ・・・におけ
るラティスである。ここで、Rは2×2マトリツクスR
=((1,1)、 (−1,1))によって特定され
るノルム2倍化(norm−doubliB)回転演算
子で、それぞれの分割RjZt/Rj″IZ1の次数は
2である。ただし、R”Z”=22tである。二進ラテ
ィスへのデプスμはR1IZt!がAのサブラティスで
あるような最小の整数μである。
そこで、RA’ZNが(R#zt)H2Nを意味すると
して、At’=RIZ”であるならば、2II (Al
ax1Δ/ (At’ >“1即ちIA/Rj’ZN
lであるようにへの情報提供度(jnfors+at
ivity) x (A)が定義される。(2次元当り
の)への正規化された情報提供度に(Δ)はに(Δ)=
2K(Δ)/Nとして定義される。つまり、5od−2
(及びデプス−2)ラティス八(N+ 1111の情報
提供度はKであり、その正規化された情報提供度は2に
/Nである。
して、At’=RIZ”であるならば、2II (Al
ax1Δ/ (At’ >“1即ちIA/Rj’ZN
lであるようにへの情報提供度(jnfors+at
ivity) x (A)が定義される。(2次元当り
の)への正規化された情報提供度に(Δ)はに(Δ)=
2K(Δ)/Nとして定義される。つまり、5od−2
(及びデプス−2)ラティス八(N+ 1111の情報
提供度はKであり、その正規化された情報提供度は2に
/Nである。
−−スノ し奮スU
糸A
アルファベットAからの要素xjの系列X=(X・、×
1.・・・・)は時間j=0で始まるものと定義される
。全ての可能なこうした系列(sequence)のセ
ットはA“として表わされる。つまり、要素がラティス
Aに所属する全てのセットはA″と表わされる。任意の
八に対して、セット八〇はシーケンス加算下の群特性を
有し、したがって無限次元ラティスである。
1.・・・・)は時間j=0で始まるものと定義される
。全ての可能なこうした系列(sequence)のセ
ットはA“として表わされる。つまり、要素がラティス
Aに所属する全てのセットはA″と表わされる。任意の
八に対して、セット八〇はシーケンス加算下の群特性を
有し、したがって無限次元ラティスである。
上y工λ葺号
ラティス状トレリス符号C〔以後、単にトレリス符号(
trellis code)という〕はラティス分割A
/A’及びコンポルージョン符号器(convolu−
tional encoder) E (又はコンポル
ージョン符号C)によって定義される。以後、Δ及びN
は二進ラティスであるとする0分割A/Aの次数1八/
λ1ば2つの累乗、例えば2菖/「である、八における
λの2に″のコセットのそれぞれは(k+r)ビットの
ラベルによって識別される。
trellis code)という〕はラティス分割A
/A’及びコンポルージョン符号器(convolu−
tional encoder) E (又はコンポル
ージョン符号C)によって定義される。以後、Δ及びN
は二進ラティスであるとする0分割A/Aの次数1八/
λ1ば2つの累乗、例えば2菖/「である、八における
λの2に″のコセットのそれぞれは(k+r)ビットの
ラベルによって識別される。
第1図を参照すると、符号器ElOは比に/(k+r)
の二進コンポルージョン符号器、即ち有限状態マシンで
、その入力系列X =(X O+ X I+・・・)は
二進に一タプルx、12の系列であり、その出力系列)
’= 0’@、V++・・・)は二進(k+r)タプル
yj14の系列であって、入カー出カマツブは(加gm
od−2の下では)線形であって時間不変である。符号
器Eは有限状態(ゼロ状態とよばれる)において始まり
、入力XJが全てゼロである限りゼロ状態を維持する。
の二進コンポルージョン符号器、即ち有限状態マシンで
、その入力系列X =(X O+ X I+・・・)は
二進に一タプルx、12の系列であり、その出力系列)
’= 0’@、V++・・・)は二進(k+r)タプル
yj14の系列であって、入カー出カマツブは(加gm
od−2の下では)線形であって時間不変である。符号
器Eは有限状態(ゼロ状態とよばれる)において始まり
、入力XJが全てゼロである限りゼロ状態を維持する。
その間、出力yjも全てゼロを維持する。出力(k十r
)−タプルyJは、ラベル計画(labeling s
cheme)に従って(分割18はA/Aに対して)八
におけるへのコセット16の系列を選択する。
)−タプルyJは、ラベル計画(labeling s
cheme)に従って(分割18はA/Aに対して)八
におけるへのコセット16の系列を選択する。
トレリス符号C(A/A 、 C)は、符号器Eによっ
て選択され得るへのコセットの系列に含まれる、即ちコ
ンボルーシ町ン符号Cの符号系列におけるラベルを有す
るへの要素の全ての許容し得る系列Cから成る。つまり
、旦(八/Arc)は−般にラティス八〇の適正なサブ
セットである。なぜならば、A6″における系列はトレ
リス符号−C−において許容されないからである。−C
−が八“であるトリビアルな場合があり、縮退した「1
状態」線形トレリス符号として八〇が示される。
て選択され得るへのコセットの系列に含まれる、即ちコ
ンボルーシ町ン符号Cの符号系列におけるラベルを有す
るへの要素の全ての許容し得る系列Cから成る。つまり
、旦(八/Arc)は−般にラティス八〇の適正なサブ
セットである。なぜならば、A6″における系列はトレ
リス符号−C−において許容されないからである。−C
−が八“であるトリビアルな場合があり、縮退した「1
状態」線形トレリス符号として八〇が示される。
(従来の符号はへのトランスレートA+aからの信号点
を使うことが多い、ここでは、こうした符号の系列を旦
(A/A’ i C)における符号系列のトランスレー
ト−C(八/ A′; C) + a ”とみなし、そ
の要素は八そのものにあるように規則される。) トレリス符号器(八/Arc)の冗長度r (C)はラ
ティスAと符号Cとの冗長度の和として定義され(r(
C)=r (Δ)+r)、その正規化された冗長度はρ
(C)=2 r (C)/Nと定義される。その情報提
供度はk(旦)−K (A)+にであり、その正規化さ
れた情報提供度はに(旦)−2k (C) /Nテある
。Z”/h/R/RE Z’は次数IZ’/Δl=2「
IAIの分割チェーンであるから、1ΔlA’l−2”
”lA′lRj’ZNl−2”Nである。ここで、μは
へのデプスであり、IZ″/R”ZNl=2””、r
(C) +)c (c)=μNE 2である。
を使うことが多い、ここでは、こうした符号の系列を旦
(A/A’ i C)における符号系列のトランスレー
ト−C(八/ A′; C) + a ”とみなし、そ
の要素は八そのものにあるように規則される。) トレリス符号器(八/Arc)の冗長度r (C)はラ
ティスAと符号Cとの冗長度の和として定義され(r(
C)=r (Δ)+r)、その正規化された冗長度はρ
(C)=2 r (C)/Nと定義される。その情報提
供度はk(旦)−K (A)+にであり、その正規化さ
れた情報提供度はに(旦)−2k (C) /Nテある
。Z”/h/R/RE Z’は次数IZ’/Δl=2「
IAIの分割チェーンであるから、1ΔlA’l−2”
”lA′lRj’ZNl−2”Nである。ここで、μは
へのデプスであり、IZ″/R”ZNl=2””、r
(C) +)c (c)=μNE 2である。
線長上y丈ス丑号
線形トレリス符号器(へ/へ;C)においては、任意の
2つの符号系列の和は符号系列である。
2つの符号系列の和は符号系列である。
八におけるA′のコセットのラベリング(labeli
ng)はその(k+r)ビット・ラベルの(mod2)
和であり、Nの2つのコセット、例えばλ+aとA′+
bとの和は、両コセットの要素の全ての和を含むコセッ
トλ+(a+b)として定義される。
ng)はその(k+r)ビット・ラベルの(mod2)
和であり、Nの2つのコセット、例えばλ+aとA′+
bとの和は、両コセットの要素の全ての和を含むコセッ
トλ+(a+b)として定義される。
線形ラベリングにおいて常にあてはまるように、ゼロ・
ラベルがへのゼロ・コセット(Aそのもの)に対応する
ならば、Cにおけるゼロ値の要素の符号系列によって選
択されたC CN/A: i C)における全ての系列
のセットは(A) ″であり、(A′)″はC(Δ/A
rc)のサブセットである。
ラベルがへのゼロ・コセット(Aそのもの)に対応する
ならば、Cにおけるゼロ値の要素の符号系列によって選
択されたC CN/A: i C)における全ての系列
のセットは(A) ″であり、(A′)″はC(Δ/A
rc)のサブセットである。
つまり、c <A/A′: c>が線形トレリス符号で
あるならば、Δ″′/旦(Δ/A′;C)/(*)’″
は無限次元ラティス分割チェーンである。
あるならば、Δ″′/旦(Δ/A′;C)/(*)’″
は無限次元ラティス分割チェーンである。
Δ及び八が共に5hod 2ラテイス、例えばΔ(8
、l及びΔ(81,りであるという場合には、旦(Δ。
、l及びΔ(81,りであるという場合には、旦(Δ。
、K> / A (No Kす;C)が線形トレリス符
号であるようにラベリングを選択することは常に可能で
ある。なぜなら、(N、に’ )符号は(N。
号であるようにラベリングを選択することは常に可能で
ある。なぜなら、(N、に’ )符号は(N。
K)符号のサブコードでなければならず、Δ(8,にり
におけるA(NI Kりの2f−1f′のコセットは(
N。
におけるA(NI Kりの2f−1f′のコセットは(
N。
K)符号における(N、 K’ )符号のコセットと同
型だからである。二進(K、 K’ )−タプルから(
N、 K)符号における(N、 K’ )符号のコセッ
ト代表への線形写像(■od−2)があり、A1N+。
型だからである。二進(K、 K’ )−タプルから(
N、 K)符号における(N、 K’ )符号のコセッ
ト代表への線形写像(■od−2)があり、A1N+。
におけるΔ。+ K ’3のコセットのコセット代表と
しても扱われる。ラベリングがこうした線形写像である
ならば、旦(A+、I、x+/Δ(8,にり;C)は線
形トレリス符号である。この場合、旦を5od−2トレ
リス符号とよび、(Z’)”/A”/C(A/λi C
)/(1″’/(22N)“はラティス分割チェーンで
ある。
しても扱われる。ラベリングがこうした線形写像である
ならば、旦(A+、I、x+/Δ(8,にり;C)は線
形トレリス符号である。この場合、旦を5od−2トレ
リス符号とよび、(Z’)”/A”/C(A/λi C
)/(1″’/(22N)“はラティス分割チェーンで
ある。
旦が5od−2)レリス符号であるならば、2N様(2
’−may)分割Z’12Z”及び増(augmen
ted)比k(旦)/ (k(C)+r (C))コン
ポルージョン符号c’ (ここでk(旦)+r(旦)
−Nである)に基づいて、旦は常に符号−Cユ(Z’/
2ZN;C′)として表わされる。適切なラベリングに
より、符号C′における二進N−タプル符号系列にコン
グルーエンドmad 2である全ての整数N−タプル系
列のセットとして旦を記述してよい。
’−may)分割Z’12Z”及び増(augmen
ted)比k(旦)/ (k(C)+r (C))コン
ポルージョン符号c’ (ここでk(旦)+r(旦)
−Nである)に基づいて、旦は常に符号−Cユ(Z’/
2ZN;C′)として表わされる。適切なラベリングに
より、符号C′における二進N−タプル符号系列にコン
グルーエンドmad 2である全ての整数N−タプル系
列のセットとして旦を記述してよい。
簡単化のために、以後、全ての−od2)レリス符号旦
はこの形をしているものと考える。トレリス符号c−は
ルー)k(C)/NNコンボルーシラン符号器よって発
生される。
はこの形をしているものと考える。トレリス符号c−は
ルー)k(C)/NNコンボルーシラン符号器よって発
生される。
曹 ゼロ、 −−ス
任意の比に/(k+r)コンポルージョン符号器已に対
して、時間ゼロ符号C0は、21の可能な時間ゼロ人力
に一タプルχ0によって時間j=0に選択され得る全て
の2にの出力(k+r)−タプルy、のセットとして定
義される。線形性により、(全てのこうしたy6が明確
であると仮定して)C6は(k+r、k)線形二進ブロ
ック符号である。
して、時間ゼロ符号C0は、21の可能な時間ゼロ人力
に一タプルχ0によって時間j=0に選択され得る全て
の2にの出力(k+r)−タプルy、のセットとして定
義される。線形性により、(全てのこうしたy6が明確
であると仮定して)C6は(k+r、k)線形二進ブロ
ック符号である。
これに対応して、旦の時間ゼロ・ラティス八〇はへの2
にの対応するコセットのユニオンとして定義される。(
上記の−Cユの定義はこのユニオンがラティスであるこ
とを要するのに不充分であるが、実際上は常にこのよう
に定義される。)つまり、時間ゼロ・ラティスA0は次
数2にのへのスーパーラティスであり、へのサブラティ
スである。
にの対応するコセットのユニオンとして定義される。(
上記の−Cユの定義はこのユニオンがラティスであるこ
とを要するのに不充分であるが、実際上は常にこのよう
に定義される。)つまり、時間ゼロ・ラティスA0は次
数2にのへのスーパーラティスであり、へのサブラティ
スである。
八/λ1−2に′であるから、1Δ/A6 l =21
であるということになる。
であるということになる。
C(Z”/2 zN、c) が分割Z’/22N及び比
に/NN符号器基づ<sod 2)レリスであるなら
ば、その時間ゼロ・ラティスは、時間ゼロ符号C0にお
けるコードワードにコングルーエンド5hod 2で
ある全ての整数N−タプルを含む5od−2ラテイスΔ
・=Δ+N+ Kl であり、(N、 K)二進ブロッ
ク符号である。
に/NN符号器基づ<sod 2)レリスであるなら
ば、その時間ゼロ・ラティスは、時間ゼロ符号C0にお
けるコードワードにコングルーエンド5hod 2で
ある全ての整数N−タプルを含む5od−2ラテイスΔ
・=Δ+N+ Kl であり、(N、 K)二進ブロッ
ク符号である。
時間ゼロ符号は、符号器状態がゼロのとき可能な出力(
k+r)タプルVo−V(XJのセットを表わす、任意
の符号器状態s、に対して、y (o。
k+r)タプルVo−V(XJのセットを表わす、任意
の符号器状態s、に対して、y (o。
3J)がX、−Oのときの符号器出力であるならば、線
形性と時間不変性とにより、出力は符号器入力がXJで
あるならば)’ (XJI Sj) =Y (XJ)
+y (o、 3J)であり、可能な出力(k+r
)タプルのセットは時間ゼロ符号C0のコセットである
。それに対応して、任意の実際のコセット符号−pユに
おいては、任意の符号器状態Sjに対応する可能な信号
点のセットは、八における時間ゼロ・ラティス八、のコ
セットを形成する八におけるへの2にのコセットのユニ
オンである。
形性と時間不変性とにより、出力は符号器入力がXJで
あるならば)’ (XJI Sj) =Y (XJ)
+y (o、 3J)であり、可能な出力(k+r
)タプルのセットは時間ゼロ符号C0のコセットである
。それに対応して、任意の実際のコセット符号−pユに
おいては、任意の符号器状態Sjに対応する可能な信号
点のセットは、八における時間ゼロ・ラティス八、のコ
セットを形成する八におけるへの2にのコセットのユニ
オンである。
旦(Z”/2Z’C)が時間ゼロ符号C0及び時間ゼロ
・ラティスA、−へ(N+。をイ半う―od−2トレリ
ス符号であるならば、A、のコセットは、C0の所与の
コセットにおける任意のワードにコングルーエンド−o
d 2である全ての整数N−タプルのセットであり、C
0のコセットに対するコセット代表の任意のセット((
N、N)/C,)を、ZNにおけるA、のコセットに対
するコセット代表のセット(Z” /Δ、〕として扱う
。
・ラティスA、−へ(N+。をイ半う―od−2トレリ
ス符号であるならば、A、のコセットは、C0の所与の
コセットにおける任意のワードにコングルーエンド−o
d 2である全ての整数N−タプルのセットであり、C
0のコセットに対するコセット代表の任意のセット((
N、N)/C,)を、ZNにおけるA、のコセットに対
するコセット代表のセット(Z” /Δ、〕として扱う
。
レ ス の
線形トレリス符号C(無限次元ラティス)に対して、R
(C)がCの基本領域であるとすると、CがCにおける
全ての符号系列に亘るときのCによるR (C)のトラ
ンスレートのセットは、以下に示すように、系列空間(
R” )″の消耗性(exhaustive)分割であ
る。多くの良好なトレリス符号、例えば4状態2Dウン
ガーベック符号(前掲ウンガーベック著「多重レベル/
位相信号に伴うチャンネル符号化)やほとんどのウェイ
符号〔ウェイ著「多次元配置によるトレリス符号化変調
JIEEE)ランザクションズ・オン・インフォメーシ
ョン・セオリ、第1T−33巻、第177〜195ペー
ジ(1987年〕〕は、線形ラベリングを持つ5od−
2ラテイスの分割に基づいており、したがって線形であ
る。
(C)がCの基本領域であるとすると、CがCにおける
全ての符号系列に亘るときのCによるR (C)のトラ
ンスレートのセットは、以下に示すように、系列空間(
R” )″の消耗性(exhaustive)分割であ
る。多くの良好なトレリス符号、例えば4状態2Dウン
ガーベック符号(前掲ウンガーベック著「多重レベル/
位相信号に伴うチャンネル符号化)やほとんどのウェイ
符号〔ウェイ著「多次元配置によるトレリス符号化変調
JIEEE)ランザクションズ・オン・インフォメーシ
ョン・セオリ、第1T−33巻、第177〜195ペー
ジ(1987年〕〕は、線形ラベリングを持つ5od−
2ラテイスの分割に基づいており、したがって線形であ
る。
残りのウンガーベック符号やほとんどのカルダーバンク
禦スローン符号〔カルダーバンク及ヒスローン著「ラテ
ィス及びコセットに基づく新規なトレリス符号JIEE
Eトランザクションズ・オン・インフォメーション・セ
オリ、第25巻第1号、第12−21ページ(1987
年)〕のような他の公知のラティス形のトレリス符号は
、Nがsod 4二進ラテイスである分割Δ/Nに基
づいている。これらの符号と共に用いられるラベリング
は線形ではなく、所与の符号系列Cから旦における全て
の他の符号系列までの距離の分布がCとは独立であるこ
とを保証する「規則性(regularity) Jと
よばれる弱い条件を満足する。二がこうした距離不変特
性を有するとき、系列空間は、旦における符号系列Cの
1つにそれぞれ中心を持ち幾何学的には同一の領域に消
耗的に分割されうる。めのため、ゼロ系列に中心を置(
領域は代表基本領域として扱われる。
禦スローン符号〔カルダーバンク及ヒスローン著「ラテ
ィス及びコセットに基づく新規なトレリス符号JIEE
Eトランザクションズ・オン・インフォメーション・セ
オリ、第25巻第1号、第12−21ページ(1987
年)〕のような他の公知のラティス形のトレリス符号は
、Nがsod 4二進ラテイスである分割Δ/Nに基
づいている。これらの符号と共に用いられるラベリング
は線形ではなく、所与の符号系列Cから旦における全て
の他の符号系列までの距離の分布がCとは独立であるこ
とを保証する「規則性(regularity) Jと
よばれる弱い条件を満足する。二がこうした距離不変特
性を有するとき、系列空間は、旦における符号系列Cの
1つにそれぞれ中心を持ち幾何学的には同一の領域に消
耗的に分割されうる。めのため、ゼロ系列に中心を置(
領域は代表基本領域として扱われる。
レ ス の
トレリス符号器の消耗性復号器(exhaustive
decoder)は、系列空間(R’ )″における任
意の系列rから旦における系列Cへの任意の写像c (
r)である、任意の特定の符号系列Cに関連する判定領
域(decision region)Jl (c )
は、Cへ写像する全てのrのセットである。rに関連す
る明白な誤り(又は単に誤りという)はecr)=r−
c(r)であり、(c (r)−cであるような全ての
rに対する明白な誤りe (r)のセットである)Cに
関連した誤り領域は−R,(c)−且(C)−Cである
。どの判定領域−R(c)もCを含むとすると、どの誤
り領域尺(c)もゼロ系列0を含む。
decoder)は、系列空間(R’ )″における任
意の系列rから旦における系列Cへの任意の写像c (
r)である、任意の特定の符号系列Cに関連する判定領
域(decision region)Jl (c )
は、Cへ写像する全てのrのセットである。rに関連す
る明白な誤り(又は単に誤りという)はecr)=r−
c(r)であり、(c (r)−cであるような全ての
rに対する明白な誤りe (r)のセットである)Cに
関連した誤り領域は−R,(c)−且(C)−Cである
。どの判定領域−R(c)もCを含むとすると、どの誤
り領域尺(c)もゼロ系列0を含む。
旦における全てのCに対する全ての判定領域R(c)の
セットは系列空間(R’)〜の消耗性分割を形成する。
セットは系列空間(R’)〜の消耗性分割を形成する。
線形トレリス符号器のフェア(fair)消耗性復号器
は、rがCへ写像するならば旦における全てのC′に対
してrfc’がc+c’へ写像するような写像である。
は、rがCへ写像するならば旦における全てのC′に対
してrfc’がc+c’へ写像するような写像である。
その結果、符号系列Oに対応する判定領域が且(0)で
あるならば、任意の符号系列Cに対応する判定領域はR
(c) −R(o) +Cであり、Cにおける全てのC
に対して共通誤り碩域且、(C)−且、(o)=R(o
)が存在する。
あるならば、任意の符号系列Cに対応する判定領域はR
(c) −R(o) +Cであり、Cにおける全てのC
に対して共通誤り碩域且、(C)−且、(o)=R(o
)が存在する。
つまり、旦における全てのCに対して共通誤り領域−R
(o)のトランスレート且(o)+cからなる系列空間
(R’) ”の消耗性分割が存在する。
(o)のトランスレート且(o)+cからなる系列空間
(R’) ”の消耗性分割が存在する。
旦が線形トレリス符号であるとすると、(R”)”’に
おける2つの系列は、その差が旦の要素であるならばコ
ングルーエンドsod Cであるとよばれる。
おける2つの系列は、その差が旦の要素であるならばコ
ングルーエンドsod Cであるとよばれる。
旦は系列加算の下でのグループであるから、コングルー
エンド(coBruence) nod C−は等価関
係であり、等価(一致)クラスへ系列空間(R”)″を
分割する。線形トレリス符号−C1の基本領域且(交)
は、各一致クラス+*od Cからの唯一の系列を含む
セット(!IIち、(R’)″におけるCのコセットに
対するコセット代表のセット)である、そこで、(R’
)lにおける全ての系列rは、CにおけるC及び且(旦
)におけるeに対して和r=c+eとして独特に表わさ
れ得る。即ち、(R”)″′−旦+R(C)と書くこと
ができるコセット分解(coset decospos
ition)が存在する。
エンド(coBruence) nod C−は等価関
係であり、等価(一致)クラスへ系列空間(R”)″を
分割する。線形トレリス符号−C1の基本領域且(交)
は、各一致クラス+*od Cからの唯一の系列を含む
セット(!IIち、(R’)″におけるCのコセットに
対するコセット代表のセット)である、そこで、(R’
)lにおける全ての系列rは、CにおけるC及び且(旦
)におけるeに対して和r=c+eとして独特に表わさ
れ得る。即ち、(R”)″′−旦+R(C)と書くこと
ができるコセット分解(coset decospos
ition)が存在する。
明らかに、且(旦)は、旦に対するフェア消耗性復号器
の共通誤り領域fl(0)であるならば、またその場合
のみ、線形トレリス符号器の基本領域である。つまり、
適切な復号器を特定することにより、基本領域を特定す
ることができる。
の共通誤り領域fl(0)であるならば、またその場合
のみ、線形トレリス符号器の基本領域である。つまり、
適切な復号器を特定することにより、基本領域を特定す
ることができる。
レ ス の
線形トレリス符号−C−の単純基本領域は、以下のよう
に、旦に対する「確定判定復号器(harddecis
ion decoder) Jによって特定される。
に、旦に対する「確定判定復号器(harddecis
ion decoder) Jによって特定される。
且。が時間ゼロ・ラティスΔ。の単純基本領域であると
する。Δ。の任意のコセットΔ。+aに対して、RNに
おけるどの点rもr−(c+a)+eと独特に書き表わ
しうる。ただし、(c+a)はΔ。+aの要素であり、
eはReの要素である。
する。Δ。の任意のコセットΔ。+aに対して、RNに
おけるどの点rもr−(c+a)+eと独特に書き表わ
しうる。ただし、(c+a)はΔ。+aの要素であり、
eはReの要素である。
これは、共通誤り謂域且。を有する八。のトランスレー
ト八、+aに対するフェア消耗性復号器を特定する。
ト八、+aに対するフェア消耗性復号器を特定する。
時間j−〇において、確定判定復号器はrの最初の要素
「。を受は取り、該復号器を用いてCの最初の要素C0
に対する「確定判定」を行う、これによって、符号器E
の時間j=1における評価された状ms+が決定され、
可能な次の要素c。
「。を受は取り、該復号器を用いてCの最初の要素C0
に対する「確定判定」を行う、これによって、符号器E
の時間j=1における評価された状ms+が決定され、
可能な次の要素c。
のセット即ち時間ゼロ・ラティスΔ、のコセットΔ。+
a(s、)が決定される0次いで、rの次の要素r、が
与えられると、確定判定復号器は上記の八。
a(s、)が決定される0次いで、rの次の要素r、が
与えられると、確定判定復号器は上記の八。
+aに対する復号器を用いて、Cの次の要素C1に対す
る確定判定を行う。以下同様。
る確定判定を行う。以下同様。
任意のCに対して、この確定判定復号器は(fl。)″
即ち且。の要素の全ての系列のセットに等しい共通誤り
領域を持つ、したがって、該復号器は(良質なものでは
ないけれども)フェア消耗性復号器であり、(且。)″
は線形トレリス符号−C−の単純基本領域である。
即ち且。の要素の全ての系列のセットに等しい共通誤り
領域を持つ、したがって、該復号器は(良質なものでは
ないけれども)フェア消耗性復号器であり、(且。)″
は線形トレリス符号−C−の単純基本領域である。
基本領域(且。)6は基本領域且。のデカルト積であり
、N次元当りV(Ro)−V(Δ。)の体積を持つもの
とみなしうる。旦の任意の他の基本領域は(Ro)“1
lIod Cにコングルーエンドであり、したがって、
同一の体積を持つものとみなしうる。
、N次元当りV(Ro)−V(Δ。)の体積を持つもの
とみなしうる。旦の任意の他の基本領域は(Ro)“1
lIod Cにコングルーエンドであり、したがって、
同一の体積を持つものとみなしうる。
つまり、時間ゼロ・ラティス八。を持つトレリス符号器
の基本体積はN次元当りV(Δ。)である。
の基本体積はN次元当りV(Δ。)である。
レ ス のボロ イ
系列の任意の系列に対して、最小距離系列復号器を特定
する際に概念的な困難がある。なぜなら、所与の系列r
とセットにおける全ての系列との間の二乗誤差(二乗ユ
ークリッド距離11eは通常は無限である。しかしなが
ら、系列のセットが有限状態符号器已によって発生され
たトレリス符号器であるとき、最小距離複号器は、その
入力が系列rであるならば、無限定メモリを持つ旦に対
するとタビアルゴリズム復号器によって発生される符号
系列c (r)として動作的に特定される。
する際に概念的な困難がある。なぜなら、所与の系列r
とセットにおける全ての系列との間の二乗誤差(二乗ユ
ークリッド距離11eは通常は無限である。しかしなが
ら、系列のセットが有限状態符号器已によって発生され
たトレリス符号器であるとき、最小距離複号器は、その
入力が系列rであるならば、無限定メモリを持つ旦に対
するとタビアルゴリズム復号器によって発生される符号
系列c (r)として動作的に特定される。
トレリス符号器のボロノイ領域Rv(C) は、符号系
列0へ写像する(R’)″における全てのrのセットと
して、即ち最小距離ビタビアルゴリズム復号器の判定領
域且(o)として定義される。C−が線形トレリス符号
であるならば、これは任意の符号系列Cに対するこうし
た復号器の共通誤り領域且(o)である。
列0へ写像する(R’)″における全てのrのセットと
して、即ち最小距離ビタビアルゴリズム復号器の判定領
域且(o)として定義される。C−が線形トレリス符号
であるならば、これは任意の符号系列Cに対するこうし
た復号器の共通誤り領域且(o)である。
トレリスの2つの経路が同一距離(二乗距離)を持つ状
態収束するときに復号器は何を行うか、経路は任意に長
い時間に初期セグメントにおいて何時収束しないか等の
問題は、基本的には、異なる符号系列に対応する判定領
域の間の境界上に系列rが存在するとき即ちタイ(ti
e)の場合に復号器は何を行うかを含む、ラティスのボ
ロノイ領域の場合、ボロノイ碩域且v(C)をその境界
点の全てを含むものと定義することによって、こうした
問題を回避しうろことは明らかである。ボロノイ領域の
境界は系列空間における測度(measure)ゼロの
領域であるから、どのように境界タイ(boundar
ytie)を解決するかは通常は問題ではない、しかし
ながら、配置設計においては、境界点及び境界タイに特
に注意を払う必要がある。
態収束するときに復号器は何を行うか、経路は任意に長
い時間に初期セグメントにおいて何時収束しないか等の
問題は、基本的には、異なる符号系列に対応する判定領
域の間の境界上に系列rが存在するとき即ちタイ(ti
e)の場合に復号器は何を行うかを含む、ラティスのボ
ロノイ領域の場合、ボロノイ碩域且v(C)をその境界
点の全てを含むものと定義することによって、こうした
問題を回避しうろことは明らかである。ボロノイ領域の
境界は系列空間における測度(measure)ゼロの
領域であるから、どのように境界タイ(boundar
ytie)を解決するかは通常は問題ではない、しかし
ながら、配置設計においては、境界点及び境界タイに特
に注意を払う必要がある。
モトビ ビ′。
実際のビタビアルゴリズムは有限の復号遅延Mを有する
。こうした復号器は、rの最初のM+1コンポーネント
(re、 r++ 、、、+rN )に基づいて、Cの
最初のコンポーネントC,したがって符号器の状態S、
に対して確定判定を行う、そこで、予測された状1!S
Iが与えられると、(rl+ r3+・・、r、、、)
に基づいてC5に対して確定判定を行う、以下同様、こ
うした復号器は次善のものであるが、Mが無限大に近づ
くにつれ、その性能は無限定メモリを持つビタビ復号器
のそれに近づく。
。こうした復号器は、rの最初のM+1コンポーネント
(re、 r++ 、、、+rN )に基づいて、Cの
最初のコンポーネントC,したがって符号器の状態S、
に対して確定判定を行う、そこで、予測された状1!S
Iが与えられると、(rl+ r3+・・、r、、、)
に基づいてC5に対して確定判定を行う、以下同様、こ
うした復号器は次善のものであるが、Mが無限大に近づ
くにつれ、その性能は無限定メモリを持つビタビ復号器
のそれに近づく。
M−0に対して、R,が時間ゼロ・ラティスΔ。
のボロノイ領域であるとして、こうした復号器は前記の
確定判定復号器になる。つまり、最適確定判定復号器(
ゼロ遅延)で始まり最適最小距離予測器(無限遅延)に
近づく、増加する復号遅延Mを持つ「判定帰還」ビタビ
復号器の系列が存在する。
確定判定復号器になる。つまり、最適確定判定復号器(
ゼロ遅延)で始まり最適最小距離予測器(無限遅延)に
近づく、増加する復号遅延Mを持つ「判定帰還」ビタビ
復号器の系列が存在する。
性能がMと共に単調に増加しなければならないのは明白
である。i大見込み系列予測の他の応用(例えば、畳込
み符号、シンボル間干渉)の場合、有限メモリ判定帰還
復号器の性能は、長さM+1のブロックに適用できる技
術の変形を用いて分析可能であり、無限次元トレリス符
号は有限次元ラティスに適用可能な技術の変形によって
分析することができる。
である。i大見込み系列予測の他の応用(例えば、畳込
み符号、シンボル間干渉)の場合、有限メモリ判定帰還
復号器の性能は、長さM+1のブロックに適用できる技
術の変形を用いて分析可能であり、無限次元トレリス符
号は有限次元ラティスに適用可能な技術の変形によって
分析することができる。
後に、下記の補助定理が必要となる:
補助定理:トレリス符号C(A/バic)のボロノイ領
域R,(C)はΔ′のボロノイ領域R(1の要素の全て
の系列のセット(Rv(八)〕〜に含まれる。
域R,(C)はΔ′のボロノイ領域R(1の要素の全て
の系列のセット(Rv(八)〕〜に含まれる。
その証明は、旦は<S>″のコセットのユニオンである
から、(八)″のコセットの各々を個別に復号し、その
結果の系列のうちの最も近いものを選択することにより
、−C−に対する最小距離複号器を原理的に実現するこ
とができるということである。(N)″の任意のコセッ
トの最小距離複号器に対する共通誤り領域は〔且v(1
)−であるから、最終誤り系列は(RV(A))”に含
まれなければならない、この証明は交の線形性に依存せ
ず、したがって−船釣なトレリス符号に対して有効であ
る。
から、(八)″のコセットの各々を個別に復号し、その
結果の系列のうちの最も近いものを選択することにより
、−C−に対する最小距離複号器を原理的に実現するこ
とができるということである。(N)″の任意のコセッ
トの最小距離複号器に対する共通誤り領域は〔且v(1
)−であるから、最終誤り系列は(RV(A))”に含
まれなければならない、この証明は交の線形性に依存せ
ず、したがって−船釣なトレリス符号に対して有効であ
る。
直観的な推論は、Nが偶数であり八、がへのコンスティ
テユーエント2Dサブラティスであるならば、flv(
A′)は(八、l)N/!がへのサブラティスであるか
ら(RV (*x ) )””に含まれ、したがって
、−Q−のボロノイ領域は((Rv(Δ2′)〕”′t
)′″に含まれるということである。
テユーエント2Dサブラティスであるならば、flv(
A′)は(八、l)N/!がへのサブラティスであるか
ら(RV (*x ) )””に含まれ、したがって
、−Q−のボロノイ領域は((Rv(Δ2′)〕”′t
)′″に含まれるということである。
る、八がデプスμの二進ラティスであるならば、旦のボ
ロノイ領域は(Rv(R# Z”))“、即ち原点に中
心を置き2Iの面積の2次元の区画を構成要素とする無
限デカルト積である。
ロノイ領域は(Rv(R# Z”))“、即ち原点に中
心を置き2Iの面積の2次元の区画を構成要素とする無
限デカルト積である。
基本皿藍亘■亙徽
第2図を参照すると、立22の任意の基本領域且20は
、同じ一層りラスsod Cにおける且′の特異点へ且
の点をもっていく写像によって任意の他の基本領域且′
24へ写像される。動作的には、この写像は共通誤りf
i1MR’を持つ旦に対するフェア消耗性復号器26に
よって実行され、復号器への入力は且における点rであ
り、出力は、共通誤り頚域且′に存在しr sod C
にコングルーエンドである特異点でなければならない誤
りe−r−cである。言うまでもな(、写像は共通誤り
領域且を持つ復号器によって逆にされ得る。
、同じ一層りラスsod Cにおける且′の特異点へ且
の点をもっていく写像によって任意の他の基本領域且′
24へ写像される。動作的には、この写像は共通誤りf
i1MR’を持つ旦に対するフェア消耗性復号器26に
よって実行され、復号器への入力は且における点rであ
り、出力は、共通誤り頚域且′に存在しr sod C
にコングルーエンドである特異点でなければならない誤
りe−r−cである。言うまでもな(、写像は共通誤り
領域且を持つ復号器によって逆にされ得る。
例えば、第3図を参照すると、rは単純基本領域(且。
)′″30からの系列であり、とタビ復号器32を用い
て、rにコングルーエンドな旦のボロノイ領域且v(C
)34における系列eへrを写像する。
て、rにコングルーエンドな旦のボロノイ領域且v(C
)34における系列eへrを写像する。
この写像を逆にするには、共通誤り領域且。を持つΔ。
に対する復号器を用いて単純確定判定復号器36を使用
してeから系列rを再生する。
してeから系列rを再生する。
整JLflJl
トレリス符号旦及び関連する復号器によって定義される
系列空間の基本領域の整形利得(shapegain)
は以下のように定義される。
系列空間の基本領域の整形利得(shapegain)
は以下のように定義される。
且◎が旦の時間ゼロ・ラティスの任意の基本領域であり
体積■(八。)であるとする、Wi立密度p (r)
=1/V (Δ。)であるとして、R,にわたって均一
連続性確率分布を定義し、この分布により、(fl。)
6″における系列rにわたる対応均一分布を定義する。
体積■(八。)であるとする、Wi立密度p (r)
=1/V (Δ。)であるとして、R,にわたって均一
連続性確率分布を定義し、この分布により、(fl。)
6″における系列rにわたる対応均一分布を定義する。
最後に、rからeへの復号器写像によって誘導される分
布として、基本領域尺=R(o)即ち復号器の共通誤り
領域における系列eにわたる均一分布を定義する。eの
N次元コンポーネントeJのノルム1IeJ 11”の
平均P (R)は、少くともj→(1)のときRにわた
るこの均一分布の下で良好に定義されると仮定する。
布として、基本領域尺=R(o)即ち復号器の共通誤り
領域における系列eにわたる均一分布を定義する。eの
N次元コンポーネントeJのノルム1IeJ 11”の
平均P (R)は、少くともj→(1)のときRにわた
るこの均一分布の下で良好に定義されると仮定する。
(P(且)を予測する実際の方法は、且。を横切って均
一に分布する離散ではあるが濃密な点のセットにわたる
擬似ランダム分布及びこれらの点の系列をg = R(
o)における対応の系列へ写像する復号器とを用いるモ
ンテカルロ・シミュレーションによる。) 且の正規化された第2モーメントはG (R) =(P
(R)/N)/ (V (Re))”” とし−c定
義される。ただし、P (R)/Nは次元当りの平均電
力であり、(V(且、))t/NはP(且)のように、
線形な次元の平方として調整する正規化ファクタである
。且◎がサイド(side) RのN−キエーブ(cu
be)であり、RO= (RO)”であるとすると、P
(且) −NR” /12i’あり、V(R(1)、=
Rsであるから、G (R) =’八へであって、ベー
スライン正規化第2モーメントGo =’/Itである
として定義する。整形利得r s(R)は比rs(R)
−Go/G (R)又はT、(且)−1/(12G(且
)として定義される。
一に分布する離散ではあるが濃密な点のセットにわたる
擬似ランダム分布及びこれらの点の系列をg = R(
o)における対応の系列へ写像する復号器とを用いるモ
ンテカルロ・シミュレーションによる。) 且の正規化された第2モーメントはG (R) =(P
(R)/N)/ (V (Re))”” とし−c定
義される。ただし、P (R)/Nは次元当りの平均電
力であり、(V(且、))t/NはP(且)のように、
線形な次元の平方として調整する正規化ファクタである
。且◎がサイド(side) RのN−キエーブ(cu
be)であり、RO= (RO)”であるとすると、P
(且) −NR” /12i’あり、V(R(1)、=
Rsであるから、G (R) =’八へであって、ベー
スライン正規化第2モーメントGo =’/Itである
として定義する。整形利得r s(R)は比rs(R)
−Go/G (R)又はT、(且)−1/(12G(且
)として定義される。
旦の時間ゼロ・ラティス八。の基本頭域且。に基づく確
定判定復号器に対して、正規化第2モーメント及び整形
利得はN次元領域且。の対応のパラメータG (Re)
、 rs (Re)になる、特に、遅延ゼロのビタビ
アルゴリズムはR,−八。のボロノイ領域且、v(Ao
)を持つ確定判定復号器であるから、こうした復号器に
よるトレリス符号旦の整形利得は、旦の時間ゼロ・ラテ
ィス八。のボロノイ領域の整形利得γ8(Δ。)と同一
である。遅延Mを伴うビデルビ復号器は、−層少い遅延
を伴う復号器よりも悪(作動することはできないので、
平均電力P(R)はMと共に単調に減少しなければなら
ず、したがって、整形利得はMと共ににγ。
定判定復号器に対して、正規化第2モーメント及び整形
利得はN次元領域且。の対応のパラメータG (Re)
、 rs (Re)になる、特に、遅延ゼロのビタビ
アルゴリズムはR,−八。のボロノイ領域且、v(Ao
)を持つ確定判定復号器であるから、こうした復号器に
よるトレリス符号旦の整形利得は、旦の時間ゼロ・ラテ
ィス八。のボロノイ領域の整形利得γ8(Δ。)と同一
である。遅延Mを伴うビデルビ復号器は、−層少い遅延
を伴う復号器よりも悪(作動することはできないので、
平均電力P(R)はMと共に単調に減少しなければなら
ず、したがって、整形利得はMと共ににγ。
(八〇)から単調に増加する。整形利得のこの系列は限
界に接近し、この限界をトレリス符号旦の整形利得T、
(C)として識別するものと仮定する。
界に接近し、この限界をトレリス符号旦の整形利得T、
(C)として識別するものと仮定する。
配置]J」比
初期配置として、領域−R−0からのN次元の点のセッ
トを取る。その体積はV(R−0)−V (A、)であ
る、最小距離系列復号器を用いるならば、共通誤り領域
且−且(o)は旦のボロノイ領域である。
トを取る。その体積はV(R−0)−V (A、)であ
る、最小距離系列復号器を用いるならば、共通誤り領域
且−且(o)は旦のボロノイ領域である。
補助定理により、この領域は(Rv(八)〕“に含まれ
るから、最終配置は領域Rv(A)からのN次元の点の
セットであり、その体積はv(A′)である。最終配置
がRv(A′)を満すと仮定するとミ最終配置は、N空
間R“で初期配置によって占有さレル体!(7)V(A
)/V (AO) −1AO+ /(+ =2’倍の)
1クタである体積を占有する。ただし、kは畳込み符号
−C−の情報提供度である。したがって、21をN次元
における整形配置拡張比と定義する。
るから、最終配置は領域Rv(A)からのN次元の点の
セットであり、その体積はv(A′)である。最終配置
がRv(A′)を満すと仮定するとミ最終配置は、N空
間R“で初期配置によって占有さレル体!(7)V(A
)/V (AO) −1AO+ /(+ =2’倍の)
1クタである体積を占有する。ただし、kは畳込み符号
−C−の情報提供度である。したがって、21をN次元
における整形配置拡張比と定義する。
2次元においては、最終配置は−Rv(Δ2′)内に含
まれる。ただし、A□′はへのコンスティテユーエント
2Dサブティスである。デカルト積(Δ、l )Hat
は、八が情報提供度k U)の二進ラティスであるなら
ば、N空間におけるへの体積のV ((At’ )””
) /V ((A)= l A’/(A!’ )””倍
の基本体積即ち2klfl’1倍の大きさを有する。つ
まり<V ((Ax’ )””)は総計がN空間におけ
るV(As)の2m1(1倍になる。ただし、k (C
) =に+k(八)は符号旦の情報提供度である。2次
元へ正規化されると、配置拡張比は(2klc)) t
/N=2′(Cりであり、に(C)=2k(旦)/Nは
符号−ぐ工正規化された情報提供度である。この配置拡
張比はCERs(C)=2 ”C’によって表わされる
。配置整形に対する一g−の使用によるからである。(
−方、旦が符号化のために使われると、その関連の配置
拡張比はCERC(旦)−2ρl(+である。
まれる。ただし、A□′はへのコンスティテユーエント
2Dサブティスである。デカルト積(Δ、l )Hat
は、八が情報提供度k U)の二進ラティスであるなら
ば、N空間におけるへの体積のV ((At’ )””
) /V ((A)= l A’/(A!’ )””倍
の基本体積即ち2klfl’1倍の大きさを有する。つ
まり<V ((Ax’ )””)は総計がN空間におけ
るV(As)の2m1(1倍になる。ただし、k (C
) =に+k(八)は符号旦の情報提供度である。2次
元へ正規化されると、配置拡張比は(2klc)) t
/N=2′(Cりであり、に(C)=2k(旦)/Nは
符号−ぐ工正規化された情報提供度である。この配置拡
張比はCERs(C)=2 ”C’によって表わされる
。配置整形に対する一g−の使用によるからである。(
−方、旦が符号化のために使われると、その関連の配置
拡張比はCERC(旦)−2ρl(+である。
しiス の
「トレリス整形」とも称されているが、所謂トレリス配
置構成に線形トレリス符号を用いることができる。この
トリレス符号をC,(A、/へti Cs)で指示する
ことにし、添字は(下記するように、符号化に用いるた
めの符号−C2,(ΔC/ΔC’ ;Cc )と区別す
るために)「整形」を意味し、C8はここではレートk
s/ (ks + r*)符号である。記号当りの多数
のビットに対して、CER,(C3)の整形配置拡張比
を犠牲にして−C−1の整形ゲインr、(C,)を達成
することができる。
置構成に線形トレリス符号を用いることができる。この
トリレス符号をC,(A、/へti Cs)で指示する
ことにし、添字は(下記するように、符号化に用いるた
めの符号−C2,(ΔC/ΔC’ ;Cc )と区別す
るために)「整形」を意味し、C8はここではレートk
s/ (ks + r*)符号である。記号当りの多数
のビットに対して、CER,(C3)の整形配置拡張比
を犠牲にして−C−1の整形ゲインr、(C,)を達成
することができる。
(−触性を喪失することなく、Ω、と旦dはN次元の同
数の格子(lattice)分割に基いているものと想
定する。仮りにΔ1とA、′がN次元であり、Δ。とΔ
C′がM次元であるとすれば、それぞれMN次元の分割
(Δ吟”/(Δl)Mおよび(Δ、)’/(Ac’ )
’に基くデカルト槓杵号旦−および旦♂を用いて同じ次
元の整形および符号化コードを得ることができる。) 八をA、のいずれかの超格子とする。もしA、。
数の格子(lattice)分割に基いているものと想
定する。仮りにΔ1とA、′がN次元であり、Δ。とΔ
C′がM次元であるとすれば、それぞれMN次元の分割
(Δ吟”/(Δl)Mおよび(Δ、)’/(Ac’ )
’に基くデカルト槓杵号旦−および旦♂を用いて同じ次
元の整形および符号化コードを得ることができる。) 八をA、のいずれかの超格子とする。もしA、。
が−C−1の時間零の格子であるとすれば、AはまたΔ
。、の超格子である。全ての格子が2進格子であると想
定すると、分割Δ/八。、の次数I A/A、。
。、の超格子である。全ての格子が2進格子であると想
定すると、分割Δ/八。、の次数I A/A、。
はある整数すに対して2′″である。そうすれば、A
asのいずれかの基本領域且。におけるいずれかの剰余
系(coset)Δ+aから正確に21の点がある。前
記基本領域は、A十aがその和集合(union)であ
る八。、の2−の剰余系の各々に1個ずつある。
asのいずれかの基本領域且。におけるいずれかの剰余
系(coset)Δ+aから正確に21の点がある。前
記基本領域は、A十aがその和集合(union)であ
る八。、の2−の剰余系の各々に1個ずつある。
第4図を参照すれば、N次元当りbビットを表示しうる
Δ+aからの点を備えたトレリス配置を以下のように構
成できる。各bビットのデータワード40が、Ao、の
ある単純な基本領域R,における人士aからのIA/A
、、1=2bの点42の1個を規定するものとする。こ
の2bの点のN次元の配置を初期配置c、M、、と呼ぶ
ことにする。そうすれば、配置の点rJの全てのシーケ
ンスr44のセット(Ct、1tt)″はbビットデー
タワードの可能な各々のシーケンスを独特の要領で表示
することができる。次いで、共通のエラー領域且(0)
を備えた、整形コーFCs用の公正で包括的な復号器(
fair、 exhaustive decoder)
46で前記(Ci−it)”におけるシーケンスrを復
号させる。前記復号器はrを、r sod旦、に適合し
た尺(o) 48における独特のシーケンスeヘマッピ
ングする。その場合eは伝達されたシーケンスである。
Δ+aからの点を備えたトレリス配置を以下のように構
成できる。各bビットのデータワード40が、Ao、の
ある単純な基本領域R,における人士aからのIA/A
、、1=2bの点42の1個を規定するものとする。こ
の2bの点のN次元の配置を初期配置c、M、、と呼ぶ
ことにする。そうすれば、配置の点rJの全てのシーケ
ンスr44のセット(Ct、1tt)″はbビットデー
タワードの可能な各々のシーケンスを独特の要領で表示
することができる。次いで、共通のエラー領域且(0)
を備えた、整形コーFCs用の公正で包括的な復号器(
fair、 exhaustive decoder)
46で前記(Ci−it)”におけるシーケンスrを復
号させる。前記復号器はrを、r sod旦、に適合し
た尺(o) 48における独特のシーケンスeヘマッピ
ングする。その場合eは伝達されたシーケンスである。
全ての可能なejのセットは最終配置Cf1aと称され
、eは(Crt−)’″の一要素である。前記シーケン
スrはΔ。の単純な基本領域−R−0に基(ハードデシ
ジョン復号器(hard−decision deco
der) 50によりeから再生でき、かつオリジナル
bビット40は一旦r、力場ると逆マツプ42から再生
できる。
、eは(Crt−)’″の一要素である。前記シーケン
スrはΔ。の単純な基本領域−R−0に基(ハードデシ
ジョン復号器(hard−decision deco
der) 50によりeから再生でき、かつオリジナル
bビット40は一旦r、力場ると逆マツプ42から再生
できる。
通常復号器46は旦、(又はそれに近い近似値)用の最
小距離複号器である。そして共通のエラー領域R(o)
は旦、(又はそれに近い近似値)用のボロノイ領域Rv
(C,)である、前述のように、最終配置C4++iL
は呼称上、N次元の初期配置Cimムtの1Δ/Δ、’
l/lΔ/A、、 l −I A、、/Δ、′=2−倍
の多くの点を有する。(ここで「呼称上」と云うのは境
界タイの可能性のあるためである)、シかしながら、r
を含有する合同等級(congruence clas
s) Jの最小電力のシーケンスとしてeが選択される
ので、実際に(整形ゲインにより測定される)電力の節
約が達成される。
小距離複号器である。そして共通のエラー領域R(o)
は旦、(又はそれに近い近似値)用のボロノイ領域Rv
(C,)である、前述のように、最終配置C4++iL
は呼称上、N次元の初期配置Cimムtの1Δ/Δ、’
l/lΔ/A、、 l −I A、、/Δ、′=2−倍
の多くの点を有する。(ここで「呼称上」と云うのは境
界タイの可能性のあるためである)、シかしながら、r
を含有する合同等級(congruence clas
s) Jの最小電力のシーケンスとしてeが選択される
ので、実際に(整形ゲインにより測定される)電力の節
約が達成される。
ンガーベ D に
1つの周知のトレリス符号は、旦、で指示するウンガー
ベックの4ステー)2Dコード(ウンガベックの「チャ
ンネルコーディング・・・」を参照)である、剰余系コ
ード表示法において、旦。
ベックの4ステー)2Dコード(ウンガベックの「チャ
ンネルコーディング・・・」を参照)である、剰余系コ
ード表示法において、旦。
は4様の格子分割A/Δ’ −Zl /2 Z”および
ある比−1/2.4ステートの2進畳込みコードCに基
いている。旦、はCにおけるコードシーケンスに対して
合同(congruent) sod 2である全ての
整数のシーケンスから構成されている。コードCは■o
d 2加算下では直線であるので、Ω、における2つの
シーケンスの和はCvにあり、そのためΩVはシーケン
ス加算の下では群であって、そのため無限の次元の格子
である。
ある比−1/2.4ステートの2進畳込みコードCに基
いている。旦、はCにおけるコードシーケンスに対して
合同(congruent) sod 2である全ての
整数のシーケンスから構成されている。コードCは■o
d 2加算下では直線であるので、Ω、における2つの
シーケンスの和はCvにあり、そのためΩVはシーケン
ス加算の下では群であって、そのため無限の次元の格子
である。
(従来、−Cユ、からの整数コードシーケンスの座標は
伝達に対して1八だけオフセットされ、そのため2B信
号点が半整数グリッドZ!+(I八。
伝達に対して1八だけオフセットされ、そのため2B信
号点が半整数グリッドZ!+(I八。
八)から引き出される。シーケンス加算下ではΩ。
は群であらねばならぬため、従来のコードは旦。
の変換値(translate)即ち剰余系と見做され
る。
る。
第5図を参照すれば、2次元当りb=3ビットを送るに
は、まず各3ビツトのワード52を初期配置56を形成
する8個の2Dの点rJ54の中の1個ヘマッピングす
る。(マツピングは、第5図の各点54の独特の3ビツ
トラベルにより規定される。)前記配置56は、旦、の
時間零の格子である格子RZ”(7)単純な基本領域5
5(0,2) X (0,1)内に位置する格子(Z/
2)”の変換(Z/2+1/4)”の8個の要素から構
成されている。時間零の格子RZ”は格子2Z”の2個
の余剰系A。
は、まず各3ビツトのワード52を初期配置56を形成
する8個の2Dの点rJ54の中の1個ヘマッピングす
る。(マツピングは、第5図の各点54の独特の3ビツ
トラベルにより規定される。)前記配置56は、旦、の
時間零の格子である格子RZ”(7)単純な基本領域5
5(0,2) X (0,1)内に位置する格子(Z/
2)”の変換(Z/2+1/4)”の8個の要素から構
成されている。時間零の格子RZ”は格子2Z”の2個
の余剰系A。
Dの和集合である。ただし、菱形63は2つの剰余系A
、 Dの点を示す、第5A図を参照すれば、分割(Z/
2 ) ” /Rz!は2方向の分割(Z/2)”/R
(Z/2)寞/Z” /RZ” の鎖に分解しうる8方
向の分割である。またウンガベックコードの部分格子A
′−2z”は時間零格子A、−RZ”の部分格子である
。
、 Dの点を示す、第5A図を参照すれば、分割(Z/
2 ) ” /Rz!は2方向の分割(Z/2)”/R
(Z/2)寞/Z” /RZ” の鎖に分解しうる8方
向の分割である。またウンガベックコードの部分格子A
′−2z”は時間零格子A、−RZ”の部分格子である
。
第5B図を参照すれば、各時間j、 j+1. j
+2.・・・における対応するトレリス70において、
(1,2,3および4で示す)4個の可能な状態72が
ある。各校74は2Z”の剰余系を示す、(第5図にお
いては、A、 B、 C,またはDである)各剰余系2
Z”は時間jにおける可能な状態と、次の時間J+1に
おける可能な状態との間を延びる枝の中の2個に現われ
る。各符号器の状態はR22の剰余系の一方、即ちRZ
”あるいはその変換値RZ”+(1,0)のいずれかと
関連する。
+2.・・・における対応するトレリス70において、
(1,2,3および4で示す)4個の可能な状態72が
ある。各校74は2Z”の剰余系を示す、(第5図にお
いては、A、 B、 C,またはDである)各剰余系2
Z”は時間jにおける可能な状態と、次の時間J+1に
おける可能な状態との間を延びる枝の中の2個に現われ
る。各符号器の状態はR22の剰余系の一方、即ちRZ
”あるいはその変換値RZ”+(1,0)のいずれかと
関連する。
(前記変換値は第5図においてBおよびCで示す四角形
により指示された、2Z”の剰余系B、 Cから構成
されている。) このように状態1または状態2は(RZ”に対応する)
AまたはDのラベルを付した枝を介して従来の状態1ま
たは状態3からのみ到達可能であリ、状態3または状態
4は(変換値RZ” +(1,O)に対応する)Bまた
はCのラベルを付した板を介して従来の状態2または4
からのみ到達可能である。
により指示された、2Z”の剰余系B、 Cから構成
されている。) このように状態1または状態2は(RZ”に対応する)
AまたはDのラベルを付した枝を介して従来の状態1ま
たは状態3からのみ到達可能であリ、状態3または状態
4は(変換値RZ” +(1,O)に対応する)Bまた
はCのラベルを付した板を介して従来の状態2または4
からのみ到達可能である。
動作時、第5図のマツプはまず、データ52の各3ビツ
トを配置56の対応する点54ヘマッピングする0次い
で、第5B図のトレリスに従い、復号器が点の結果的な
シーケンスを、ビタビ(ν1terbi)アルゴリズム
を用いて、最大近似シーケンス准定法に基き4個のサブ
セットA、B、C,Dにおける点のコードシーケンスC
に復号する。最後に、rとCとの間のエラーシーケンス
が取り出され、(最終配置における点である)エラー値
eJのシーケンスを伝送に用いる。
トを配置56の対応する点54ヘマッピングする0次い
で、第5B図のトレリスに従い、復号器が点の結果的な
シーケンスを、ビタビ(ν1terbi)アルゴリズム
を用いて、最大近似シーケンス准定法に基き4個のサブ
セットA、B、C,Dにおける点のコードシーケンスC
に復号する。最後に、rとCとの間のエラーシーケンス
が取り出され、(最終配置における点である)エラー値
eJのシーケンスを伝送に用いる。
復号器58はどの初期配置信号点を伝送すべきか最終決
定する前にいずれかの遅れMを選定しておくことができ
る。
定する前にいずれかの遅れMを選定しておくことができ
る。
その結果のシーケンスr57を遅れMを以て−g−9用
のいずれかの最小距離複号器58により復号させ、結果
的なエラーシーケンスe60を伝送シーケンスとさせる
。前記復号器により発生した全ての可能な点ej62の
セットが最終配置である。旦、用の復号器が最小距離の
ビタビ復号器である場合、最終配置は図示する16点の
配置である。eからrを再生するには、ハードテシジョ
ン復号器を用いて、難なく、かつ遅れなくeの各要素e
Jを独立して第4図に示す初期配置の8個の点rJの1
個に独立してマツピングできる。
のいずれかの最小距離複号器58により復号させ、結果
的なエラーシーケンスe60を伝送シーケンスとさせる
。前記復号器により発生した全ての可能な点ej62の
セットが最終配置である。旦、用の復号器が最小距離の
ビタビ復号器である場合、最終配置は図示する16点の
配置である。eからrを再生するには、ハードテシジョ
ン復号器を用いて、難なく、かつ遅れなくeの各要素e
Jを独立して第4図に示す初期配置の8個の点rJの1
個に独立してマツピングできる。
シミュレーションの結果、コード旦、は遅延15復号器
により0.94dbの整形ゲインを、かつMが無限にな
るにつれて0.97dBの整形ゲインを得ることを示し
た。
により0.94dbの整形ゲインを、かつMが無限にな
るにつれて0.97dBの整形ゲインを得ることを示し
た。
゛インと ム た ゛イン
前記の例はトレリス配置の重要な特性を示しており、シ
ーケンスrからシーケンスeへのマツピングは最も重要
なビットに影響するのみである。
ーケンスrからシーケンスeへのマツピングは最も重要
なビットに影響するのみである。
Cが整数のシーケンスであるので、シーケンスeの要素
eJの「分数部分J (fractional par
t)はrのそれらと同じでなければならない。このよう
に、初期配置における2bの点が、(a)2つの座標の
「分数部分」を規定するb−1ビツトおよび(b)第5
図の四角形(0,1) X (0,1)あるいは変換さ
れた四角形(1,2) x (0,1)に点があるか否
かを規定する1個の最終ビットにより規定されるものと
見做せば、前者のb−1のビットは遅れなく、かつエラ
ーが広がることなく、伝送されたシーケンスeから直ち
に再生可能であることが容易に判る。(以下説明するよ
うに、最終ビットの再生にはエラーの伝ばんを排除する
ために、送信器が「予備コード化」作動することを要す
る。)この特性の重要な帰結は、「最下位ピント」が、
初期あるいは最終配置における点の間の最小の2乗距離
より大きいシーケンスの最小2乗距離d”−+−(Cc
)を得るために別のトレリスコード旦。により符号化し
うろことであり、これらのビットは第5図のrからeへ
の整形マツピングにより影響されないので、このシーケ
ンス距離”sim(旦、)は保存され、旦、用の復号器
は雑音のある受信シーケンスで用い、eに関する受信側
の予測をできるようにし、そのためコード旦、の符号化
ゲインrc(Cc)が達成される。このように整形動作
は別の符号化動作と完全に両立性があり、それらが−緒
になって(この例では)整形ゲインrs(Cv)と符号
化ゲインγC(CC>の組合せである全体の符号化した
変調ゲインを達成する。
eJの「分数部分J (fractional par
t)はrのそれらと同じでなければならない。このよう
に、初期配置における2bの点が、(a)2つの座標の
「分数部分」を規定するb−1ビツトおよび(b)第5
図の四角形(0,1) X (0,1)あるいは変換さ
れた四角形(1,2) x (0,1)に点があるか否
かを規定する1個の最終ビットにより規定されるものと
見做せば、前者のb−1のビットは遅れなく、かつエラ
ーが広がることなく、伝送されたシーケンスeから直ち
に再生可能であることが容易に判る。(以下説明するよ
うに、最終ビットの再生にはエラーの伝ばんを排除する
ために、送信器が「予備コード化」作動することを要す
る。)この特性の重要な帰結は、「最下位ピント」が、
初期あるいは最終配置における点の間の最小の2乗距離
より大きいシーケンスの最小2乗距離d”−+−(Cc
)を得るために別のトレリスコード旦。により符号化し
うろことであり、これらのビットは第5図のrからeへ
の整形マツピングにより影響されないので、このシーケ
ンス距離”sim(旦、)は保存され、旦、用の復号器
は雑音のある受信シーケンスで用い、eに関する受信側
の予測をできるようにし、そのためコード旦、の符号化
ゲインrc(Cc)が達成される。このように整形動作
は別の符号化動作と完全に両立性があり、それらが−緒
になって(この例では)整形ゲインrs(Cv)と符号
化ゲインγC(CC>の組合せである全体の符号化した
変調ゲインを達成する。
0 と の 入せのウンガーベ クコ−の■
例えば、旦Cとして、d’aj+q(旦V)=4.冗長
性r(旦v) =ρ(旦、)=2次元当り1ビツト、従
って符号化ゲインγc(Cv) =2または3.01d
Bの係数2−ρd ”winである同じウンガベックコ
ードーCユVのスケールされたものを用いるとする。よ
り正確には、同じコードCに基き、かつZ2/2ziで
な(むしろΔ、/Δど=2−”−’Z”/2−’Z”の
スケールされた格子分割に基く例えば21−区トという
このコードのスケールされたものを用いるとする。スケ
ールされたコードシーケンスCは2−1I−+だけスケ
ールされたCにおけるコードシーケンスに対する合同m
od2−”であるシーケンスである。スケールされたコ
ード2−′″−1cVは2−11−1z”の変換値例え
ば(2−”−’Z+2−”−”)”かラノ点のシーケン
スから構成され、スケールされたコードシーケンスの間
の最小二乗距離d” gein(C()−2−1mを有
し、これは配置点の間の最小二乗路112−”4より4
倍良好である。符号化ゲインrc(ΩV)はスケーリン
グ(scaling)によっては影響を受けない。
性r(旦v) =ρ(旦、)=2次元当り1ビツト、従
って符号化ゲインγc(Cv) =2または3.01d
Bの係数2−ρd ”winである同じウンガベックコ
ードーCユVのスケールされたものを用いるとする。よ
り正確には、同じコードCに基き、かつZ2/2ziで
な(むしろΔ、/Δど=2−”−’Z”/2−’Z”の
スケールされた格子分割に基く例えば21−区トという
このコードのスケールされたものを用いるとする。スケ
ールされたコードシーケンスCは2−1I−+だけスケ
ールされたCにおけるコードシーケンスに対する合同m
od2−”であるシーケンスである。スケールされたコ
ード2−′″−1cVは2−11−1z”の変換値例え
ば(2−”−’Z+2−”−”)”かラノ点のシーケン
スから構成され、スケールされたコードシーケンスの間
の最小二乗距離d” gein(C()−2−1mを有
し、これは配置点の間の最小二乗路112−”4より4
倍良好である。符号化ゲインrc(ΩV)はスケーリン
グ(scaling)によっては影響を受けない。
スケールされたコードシーケンスは例えば(2−”−’
Z+2−”)”からのものであるので、第5図に示す初
期シーケンスγは実際には(ltm″゛3点の初期配置
CMaitからの点を備えた、スケールされたコード2
−”−IC,からのコードシーケンスでよい。
Z+2−”)”からのものであるので、第5図に示す初
期シーケンスγは実際には(ltm″゛3点の初期配置
CMaitからの点を備えた、スケールされたコード2
−”−IC,からのコードシーケンスでよい。
第6図を参照すれば、符号化並びに整形の双方を組み入
れたウンガベックの4ステート2Dコードを採用した符
号化変調システムにおいては、2次元当り1ビツト80
がコード旦、用のレートl/2符号器E82へ入力され
、その結果の2個の符号化したビットが、その和集合が
(2−”−’ Z + 2−”−”)”である2−′″
Z184の4個の剰余系の1つを選択する。別の2ml
の符号化していないビット86はその和集合が2−′″
2gの選択した剰余系である(組合せた選択によりzl
の21m+ffiの剰余系の一つを発生させる)Z”8
Bの2h剰余系の一つを選択し、最終のビット90が四
角形(0,1) X (0,1)あるいは変換された四
角形(1,2) x (0,1)のいずれかを選択する
ことによって初期配置94において点rJを検出する。
れたウンガベックの4ステート2Dコードを採用した符
号化変調システムにおいては、2次元当り1ビツト80
がコード旦、用のレートl/2符号器E82へ入力され
、その結果の2個の符号化したビットが、その和集合が
(2−”−’ Z + 2−”−”)”である2−′″
Z184の4個の剰余系の1つを選択する。別の2ml
の符号化していないビット86はその和集合が2−′″
2gの選択した剰余系である(組合せた選択によりzl
の21m+ffiの剰余系の一つを発生させる)Z”8
Bの2h剰余系の一つを選択し、最終のビット90が四
角形(0,1) X (0,1)あるいは変換された四
角形(1,2) x (0,1)のいずれかを選択する
ことによって初期配置94において点rJを検出する。
従来通りの旦、用復号器58が初期配置点のシーケンス
rを伝送されるシーケンスe60に変換する。
rを伝送されるシーケンスe60に変換する。
第7図を参照すれば、前述の符号化した変調システム用
の受信器は以下のように作動する。まず、スケールされ
たコード2−′″−’CV用復号器96が最大近値シー
ケンス予測法により(ノイズシーケンスn98により改
悪された)伝送シーケンスeを予測する。もしこの予測
されたシーケンスe′が正しいとすれば、初期シーケン
スrに対して逆マツプ100があり、これからオリジナ
ルビットのシーケンス102は第4図に示すように判定
104される。
の受信器は以下のように作動する。まず、スケールされ
たコード2−′″−’CV用復号器96が最大近値シー
ケンス予測法により(ノイズシーケンスn98により改
悪された)伝送シーケンスeを予測する。もしこの予測
されたシーケンスe′が正しいとすれば、初期シーケン
スrに対して逆マツプ100があり、これからオリジナ
ルビットのシーケンス102は第4図に示すように判定
104される。
(以下、エラーの伝ばん防止について述べる。)要約す
れば、第6図に示す符号化変調システムは2次元当り2
m+2ビツトを取り入れ、四角形領域(−1,1) x
(−r、 t)に位置する(2−一一家Z+2−”)
”からのLl ls*4点のセントである最終配置から
シーケンスeを作る。2gl5″g点の未符号化の四角
形配置と比較した全体の配置拡張比はこのように4の係
数であって、その中の2の係数は符号化によるもの、他
の2の係数は整形によるものである。3.95dBの全
体ゲインを達成しうるが、その中の3.01dBは符号
化によるもの、0.94dBは整形によるものである。
れば、第6図に示す符号化変調システムは2次元当り2
m+2ビツトを取り入れ、四角形領域(−1,1) x
(−r、 t)に位置する(2−一一家Z+2−”)
”からのLl ls*4点のセントである最終配置から
シーケンスeを作る。2gl5″g点の未符号化の四角
形配置と比較した全体の配置拡張比はこのように4の係
数であって、その中の2の係数は符号化によるもの、他
の2の係数は整形によるものである。3.95dBの全
体ゲインを達成しうるが、その中の3.01dBは符号
化によるもの、0.94dBは整形によるものである。
(整形ゲインは最終的に、典型的な符号化ゲインにより
はるかに小さい1.53dBに限定されるが、符号化の
初期の3−4dBのゲインの後、再び符号化の複雑度を
倍にして有効符号化ゲインをそれぞれ0.4dB増加さ
せることより、ある点で、さらに複雑な符号化をするの
でなく、さらに複雑な整形を行う方がゲインの追加を達
成しやすいことが判明した0例えば、この例においては
、全体のゲインは整形せずに、符号化に用いる16ステ
ートのウンガベックコードを用いて得られるものと概ね
同じである。
はるかに小さい1.53dBに限定されるが、符号化の
初期の3−4dBのゲインの後、再び符号化の複雑度を
倍にして有効符号化ゲインをそれぞれ0.4dB増加さ
せることより、ある点で、さらに複雑な符号化をするの
でなく、さらに複雑な整形を行う方がゲインの追加を達
成しやすいことが判明した0例えば、この例においては
、全体のゲインは整形せずに、符号化に用いる16ステ
ートのウンガベックコードを用いて得られるものと概ね
同じである。
の八 −
一最的に、Cc(Δc/Ac’;CC)を符号化に用い
るトレリスコードと、またC 3 (A s / A
s ’ ;旦、)を旦。と共に用いるべきトレリス配置
用の基準として用いる別の(線形の)トレリスコードと
する。もしΔ。、A(’ 、Δ、およびΔ、′が全てN
次元の2進格子であるとすれば、2’Z’があるnに対
する八。′の部分格子であるため、もしコ−F Ccを
任意のmhoに対して2−+e−詐だけスケールすると
すれば(即ち旦。をスケールされた格子分割2−1角A
C/2−’″−絢Δ、′に基くコードである2−”−’
C,および同じ畳込みコードの旦。で代替すれば) 、
2−”−”A(’ /2−”ZN/ZN/Δ。
るトレリスコードと、またC 3 (A s / A
s ’ ;旦、)を旦。と共に用いるべきトレリス配置
用の基準として用いる別の(線形の)トレリスコードと
する。もしΔ。、A(’ 、Δ、およびΔ、′が全てN
次元の2進格子であるとすれば、2’Z’があるnに対
する八。′の部分格子であるため、もしコ−F Ccを
任意のmhoに対して2−+e−詐だけスケールすると
すれば(即ち旦。をスケールされた格子分割2−1角A
C/2−’″−絢Δ、′に基くコードである2−”−’
C,および同じ畳込みコードの旦。で代替すれば) 、
2−”−”A(’ /2−”ZN/ZN/Δ。
は格子分割の鎖となる。(同等に、旦3を2a″“だけ
スケールすることができる。) 2−”−”Ccのコードシーケンスは旦。からコードシ
ーケンスにより選択可能な剰余系(2−”−’AC’
)1のシーケンスの1つに位置する( 2−”−”AC
)″の剰余系のシーケンスである。従って、それらは合
同5od(2−’″−hΔ。′)″に対するセットの抑
制条件を満足する(2−′″−“Δ、)“の剰余系から
のシーケンスrと定義できる。(Δ+)o6はm>0に
対する( 2−”−”八、′)′の部分格子であるので
、r+wod Cs(L/たがって、むしろmad (
八s)6)に対して適合する任意のシーケンスeはrI
lod(2−1I−BΔo′)″ト同シ合同等級に留ま
り、従って2−”−’Ccにおける適合コード(Ieg
itisate code) シーケンスとして留ま
る。
スケールすることができる。) 2−”−”Ccのコードシーケンスは旦。からコードシ
ーケンスにより選択可能な剰余系(2−”−’AC’
)1のシーケンスの1つに位置する( 2−”−”AC
)″の剰余系のシーケンスである。従って、それらは合
同5od(2−’″−hΔ。′)″に対するセットの抑
制条件を満足する(2−′″−“Δ、)“の剰余系から
のシーケンスrと定義できる。(Δ+)o6はm>0に
対する( 2−”−”八、′)′の部分格子であるので
、r+wod Cs(L/たがって、むしろmad (
八s)6)に対して適合する任意のシーケンスeはrI
lod(2−1I−BΔo′)″ト同シ合同等級に留ま
り、従って2−”−’Ccにおける適合コード(Ieg
itisate code) シーケンスとして留ま
る。
このように、2−1り旦、からのコードシーケンスrに
演算する旦、用復号器により作られた伝送シーケンスe
は2−”−’CC60コードシーケンスのままである。
演算する旦、用復号器により作られた伝送シーケンスe
は2−”−’CC60コードシーケンスのままである。
このことは、可能な伝送シーケンスeの間の最小二乗距
離が依然としてd1■in(2””−” CC)のまま
であり、符号化ゲインrc(2−”−”旦c)=rc(
旦C)が依然として達成されることを意味する。また、
2−”−”C1用復号器をeを予測するために受信器に
おいて使用しうることも意味する。
離が依然としてd1■in(2””−” CC)のまま
であり、符号化ゲインrc(2−”−”旦c)=rc(
旦C)が依然として達成されることを意味する。また、
2−”−”C1用復号器をeを予測するために受信器に
おいて使用しうることも意味する。
一般に、第8図を参照すれば、コード交、は、Nが偶数
であるN次元の2進格子の分割Δ、/八、′並びにレー
ト−kc/ (k c+ r c)符号器E、 112
に基く一般的な剰余系コードである。もしΔ、′の深さ
(dep th)がμ。=μであるとすれば、情報度(
infora+ativi ty)が(Ac’ )が2
k(^す==1八。′/RI ZN lを満足させ、コ
ード旦。の情報度k(C,)がk(Cc)−kc+k
(Δl)である、コード(旦、)がmhoに対するスケ
ールされたコードR−’″−JIC,と代替されるとす
れば、N次元当りのk(CC)データビット114がR
−”−’ A c 110のある剰余系においてR−”
ZHの剰余系116を選択する。N次元当りの別のmN
/2の未符号化ビットがR−”Z’の選択された剰余系
においてZHの剰余系を選択する。最終的に整形コード
の冗長性はr(旦c)=rs + r (Ac)となり
、従って、2 F(C11,、、l Z ’/ A s
l lへs/Aosとなり、そしてN次元当りの最
終のrccs)ビット122がZNの選定された剰余系
において時間零の格子へ。、の剰余系を選択し、これは
時間零の格子の所定の基本領域−R(Δ。、)において
点「j124を決定する。このように、初期配置C!l
l□は、R(Aos)内にイ装置するR−”−β八。+
aのR−@−β八CへΔos l −2”” ” +r
(+s N/ 2+r(Cs)の点から構成される。
であるN次元の2進格子の分割Δ、/八、′並びにレー
ト−kc/ (k c+ r c)符号器E、 112
に基く一般的な剰余系コードである。もしΔ、′の深さ
(dep th)がμ。=μであるとすれば、情報度(
infora+ativi ty)が(Ac’ )が2
k(^す==1八。′/RI ZN lを満足させ、コ
ード旦。の情報度k(C,)がk(Cc)−kc+k
(Δl)である、コード(旦、)がmhoに対するスケ
ールされたコードR−’″−JIC,と代替されるとす
れば、N次元当りのk(CC)データビット114がR
−”−’ A c 110のある剰余系においてR−”
ZHの剰余系116を選択する。N次元当りの別のmN
/2の未符号化ビットがR−”Z’の選択された剰余系
においてZHの剰余系を選択する。最終的に整形コード
の冗長性はr(旦c)=rs + r (Ac)となり
、従って、2 F(C11,、、l Z ’/ A s
l lへs/Aosとなり、そしてN次元当りの最
終のrccs)ビット122がZNの選定された剰余系
において時間零の格子へ。、の剰余系を選択し、これは
時間零の格子の所定の基本領域−R(Δ。、)において
点「j124を決定する。このように、初期配置C!l
l□は、R(Aos)内にイ装置するR−”−β八。+
aのR−@−β八CへΔos l −2”” ” +r
(+s N/ 2+r(Cs)の点から構成される。
前記点のシーケンスr126は−Csのボロノイ領域内
に位置するr 5hod玉、sに適合するシーケンスe
128ヘマッピンクサレる。そして最終配置!fCf、
、、は、Δ、′のボロノイ領域Rv(As’ )内に位
置するAC+aの名目上ΔC/八s’ l = 2に
+”’ 十rc + mN/ 2 + r(Cs)+に
3の点からなるセットである。N次元の配置拡張比は、
当該システムがN次元当りk(CC)+mN/2+r(
C工、)ビットを伝送するので2 rc+++tとなる
。
に位置するr 5hod玉、sに適合するシーケンスe
128ヘマッピンクサレる。そして最終配置!fCf、
、、は、Δ、′のボロノイ領域Rv(As’ )内に位
置するAC+aの名目上ΔC/八s’ l = 2に
+”’ 十rc + mN/ 2 + r(Cs)+に
3の点からなるセットである。N次元の配置拡張比は、
当該システムがN次元当りk(CC)+mN/2+r(
C工、)ビットを伝送するので2 rc+++tとなる
。
構成要素2Dの最終配置C!+ fillは、Δ、Cの
ボロノイ領域−R4,(Δ。′)内に位置する八、Cの
剰余系からの点のセットであり、Δ2CはΔ、′の構成
要素2D格子であり、Δ2.′は八、′の構成要素2r
′1部分格子である。このように、C!。fanのサイ
ズl itt fiAlは名目上IAxc/Δ2,1=
R−”−# CZt/Rtl ’Z” I =
2 イ114 p、 C4B !3 M/!で
あり、μ、はAs’の深さである。k (C,)+r(
旦り−μcN/2およびk(Ωs)+r(旦、)−μs
N/2であるので、2次元における配置拡張比は2 !
r(1: el/N 、 2!kll: 31/N、=
2ρ+(c+ 、2に+c!l。
ボロノイ領域−R4,(Δ。′)内に位置する八、Cの
剰余系からの点のセットであり、Δ2CはΔ、′の構成
要素2D格子であり、Δ2.′は八、′の構成要素2r
′1部分格子である。このように、C!。fanのサイ
ズl itt fiAlは名目上IAxc/Δ2,1=
R−”−# CZt/Rtl ’Z” I =
2 イ114 p、 C4B !3 M/!で
あり、μ、はAs’の深さである。k (C,)+r(
旦り−μcN/2およびk(Ωs)+r(旦、)−μs
N/2であるので、2次元における配置拡張比は2 !
r(1: el/N 、 2!kll: 31/N、=
2ρ+(c+ 、2に+c!l。
CE Re(Cc) ・CE Rc(Cs)である。
iΔ −
この項において、符号化と整形動作の双方に適用される
格子形トレリスコードの代数的理論の要素を展開する。
格子形トレリスコードの代数的理論の要素を展開する。
双方の場合において、受信側における無制限の誤り伝搬
を阻止することに関心がある。これは、予測されたeか
ら対応するビットン−ケンス(例えば第7図のブロック
100.104)への逆マツプに含まれる受信側の全て
の要素がフィードバックフリーであるべきことを意味し
ている。
を阻止することに関心がある。これは、予測されたeか
ら対応するビットン−ケンス(例えば第7図のブロック
100.104)への逆マツプに含まれる受信側の全て
の要素がフィードバックフリーであるべきことを意味し
ている。
いつフィードバックフリーの逆が存在するかという問題
は本質的に代数上の問題である。
は本質的に代数上の問題である。
当然のことながら代数的理論はまた二重性(duali
ty)の概念を導入する。整形コードの要素は本質的に
符号化コードの要素に二元的(dual)である。
ty)の概念を導入する。整形コードの要素は本質的に
符号化コードの要素に二元的(dual)である。
入 コー゛の ・ 4
レート−に/(k+r)2進畳込みコードCは、2進領
域F = CF (2)にわたって線形である符号器E
と称されるに一人力、(k+r)出力の有限ステートの
シーケンス回路によって発生する。前記回路への入力は
二進にタプルのシーケンスXであり、Xは(F”)″の
要素である。出力は2進(k+r)タプルのシーケンス
yであって、yはコードシーケンスと称される(F”’
)′の要素である。コードCは可能な全てのコードシー
ケンスのセットである。
域F = CF (2)にわたって線形である符号器E
と称されるに一人力、(k+r)出力の有限ステートの
シーケンス回路によって発生する。前記回路への入力は
二進にタプルのシーケンスXであり、Xは(F”)″の
要素である。出力は2進(k+r)タプルのシーケンス
yであって、yはコードシーケンスと称される(F”’
)′の要素である。コードCは可能な全てのコードシー
ケンスのセットである。
符号器はF −G F (2)にわたって線形であるの
で、kジェネレータg、(1≦i≦k)から構成される
kx (k+r)ジェネレータ・マトリックスGを特徴
としうる。ジェネレータg、は、もし入力が時間零にお
ける1番目の入力上の1つの1を除いて全て零である場
合、(k+r)タプルの出力コードシーケンスである。
で、kジェネレータg、(1≦i≦k)から構成される
kx (k+r)ジェネレータ・マトリックスGを特徴
としうる。ジェネレータg、は、もし入力が時間零にお
ける1番目の入力上の1つの1を除いて全て零である場
合、(k+r)タプルの出力コードシーケンスである。
即ち、gt は1番目の入力における単位シーケンス1
=(1,O,O・・・)への応答である。線形性と時間
不変性のために、入力シーケンスXに対応するコードシ
ーケンスyはy−Σ+1ci、m Xtgt−xGとな
る。(ここでは、シーケンス乗算は標準的に畳込みと定
義され、この定義の下ではF1″′は環であり、実際は
主理想変域である。) 符号器は有限状態であるので、Gの要素は、D変換表記
法において2つの多項式の比a(D)/b (D)とし
て表現できるシーケンス、即ちF−CF (2)である
有理間数F (D)の環の要素であるシーケンスでなけ
ればならない、Gの全ての要素が実際に多項式である場
合、即ち多項式F (D)の環の要素である場合、Gは
多項の即ちフィードバックフリーであるといえる。
=(1,O,O・・・)への応答である。線形性と時間
不変性のために、入力シーケンスXに対応するコードシ
ーケンスyはy−Σ+1ci、m Xtgt−xGとな
る。(ここでは、シーケンス乗算は標準的に畳込みと定
義され、この定義の下ではF1″′は環であり、実際は
主理想変域である。) 符号器は有限状態であるので、Gの要素は、D変換表記
法において2つの多項式の比a(D)/b (D)とし
て表現できるシーケンス、即ちF−CF (2)である
有理間数F (D)の環の要素であるシーケンスでなけ
ればならない、Gの全ての要素が実際に多項式である場
合、即ち多項式F (D)の環の要素である場合、Gは
多項の即ちフィードバックフリーであるといえる。
所定の畳込みコードC用の符号器に対して2つの基準形
式がある。最小符号器(minis+al encod
er)は、そのために (a) Gの全ての要素が多項式であり、(b) Gの
kXkの小行列式(全てのkXkの部分マトリックスの
行列式)が共通の係数を有していない、 (c) Gの高次数係数マトリックスがG F (2)
にわたって正則行列である ジェネレータ・マトリックスGを備えた符号器である。
式がある。最小符号器(minis+al encod
er)は、そのために (a) Gの全ての要素が多項式であり、(b) Gの
kXkの小行列式(全てのkXkの部分マトリックスの
行列式)が共通の係数を有していない、 (c) Gの高次数係数マトリックスがG F (2)
にわたって正則行列である ジェネレータ・マトリックスGを備えた符号器である。
最小符号器は多項式Gを有するので、νL(1≦i−≦
−k)の長さを有するにシフトレジスタを含む明白なフ
ィードバックフリーな実現を有する。
−k)の長さを有するにシフトレジスタを含む明白なフ
ィードバックフリーな実現を有する。
ただし、ν、はジェネレータg、の度合(degree
)、即ちgiのに+rの多項の要素の最大度である。
)、即ちgiのに+rの多項の要素の最大度である。
全体の制限長さはシーΣν、であり、これもGの任意の
kXk小行列式の最大度であり、符号器は2″の状態を
有する。21′はコードCを発生させる任意の符号器に
おける状態の最小数であることが判る。
kXk小行列式の最大度であり、符号器は2″の状態を
有する。21′はコードCを発生させる任意の符号器に
おける状態の最小数であることが判る。
第2の基準形式は系統的符号器(syste+*atj
cencoder)であって、これは恒第式マトリック
ス1mであるkXkの部分マトリックスを有するジェネ
レータ・マトリックスGを備えた符号器である。
cencoder)であって、これは恒第式マトリック
ス1mであるkXkの部分マトリックスを有するジェネ
レータ・マトリックスGを備えた符号器である。
出力の次数を置換することにより、例えばGはG−(1
1P)と書くことができ、一般的にkXkの奇偶検査マ
トリックスPは有理関数から構成され、フィードバック
フリーではない。
1P)と書くことができ、一般的にkXkの奇偶検査マ
トリックスPは有理関数から構成され、フィードバック
フリーではない。
例えば、一般的なレート1八コードCが持つ最小符号器
Eはジェネレータ・マトリックスC−(gt(D) 9
g1(D))により定義される。ただし、gt(D)と
gz(D)は共通の係数を有さない2つの多項式である
。それは長さがν=max (deggr (D)
、 deg gt(D) )である単一シフトレジスタ
により実現できる。対応する系統的符号器はG= (1
,gt(D)/g+(D))であって、フィードバック
性を備えたνメそり要素を有する回路により実現できる
。
Eはジェネレータ・マトリックスC−(gt(D) 9
g1(D))により定義される。ただし、gt(D)と
gz(D)は共通の係数を有さない2つの多項式である
。それは長さがν=max (deggr (D)
、 deg gt(D) )である単一シフトレジスタ
により実現できる。対応する系統的符号器はG= (1
,gt(D)/g+(D))であって、フィードバック
性を備えたνメそり要素を有する回路により実現できる
。
もしXとyとが2進nタプル即ち(F” )″の要素の
シーケンスであるとすれば、それらの内積(x、y)は
、Σ1.!1aX j yjと規定され、2進シーケン
ス即ちF66の要素である。前記の2つのシーケンスは
もしそれらの内積が零のシーケンスであるとすれば直交
している。レートに/(k+r)の畳込みコードCに対
する二重コードC1は、Cにおける全てのコードシーケ
ンスに対して直交する2進(k+r)タプルの全てのシ
ーケンスのセットである。
シーケンスであるとすれば、それらの内積(x、y)は
、Σ1.!1aX j yjと規定され、2進シーケン
ス即ちF66の要素である。前記の2つのシーケンスは
もしそれらの内積が零のシーケンスであるとすれば直交
している。レートに/(k+r)の畳込みコードCに対
する二重コードC1は、Cにおける全てのコードシーケ
ンスに対して直交する2進(k+r)タプルの全てのシ
ーケンスのセットである。
ルー)k/(k+r)コードCに対するシンドローム・
フォーマHは(k+r)タプルh1′(1<i’≦r)
のrシーケンスのセットであって、シンドローム・フォ
ーマのシーケンスhi′のいずれかを備えたCにおける
任意のコードシーケンスyの内積(y、h五’)は零で
ある。このことは、(k+r)XrのマトリックスHT
がHの配置行列であってGH’−0のときのみ、即ち内
積(gi、h+’ )のkXrマトリックスが全て零で
ある場合にのみ発生する。rX (k+r)マトリック
スHは、Cに対する二重コードCAであるレートr/(
k+r)の畳込みコードに対するジェネレータ・マトリ
ックスである。(符号器として、Hはr入力とに+r比
出力を有し、シンドローム・フォーマとしてHTはに+
rの入力とrの出力とを有する。) もしG−(IbP]がCに対する系統的符号器のジェネ
レータ・マトリックスであるとすれば、H= (Pr
I、)はC1に対する系統的符号器のジェネレータ・マ
トリックスである。H″はまた最小(フィードバックフ
リー)の形に変換できる。
フォーマHは(k+r)タプルh1′(1<i’≦r)
のrシーケンスのセットであって、シンドローム・フォ
ーマのシーケンスhi′のいずれかを備えたCにおける
任意のコードシーケンスyの内積(y、h五’)は零で
ある。このことは、(k+r)XrのマトリックスHT
がHの配置行列であってGH’−0のときのみ、即ち内
積(gi、h+’ )のkXrマトリックスが全て零で
ある場合にのみ発生する。rX (k+r)マトリック
スHは、Cに対する二重コードCAであるレートr/(
k+r)の畳込みコードに対するジェネレータ・マトリ
ックスである。(符号器として、Hはr入力とに+r比
出力を有し、シンドローム・フォーマとしてHTはに+
rの入力とrの出力とを有する。) もしG−(IbP]がCに対する系統的符号器のジェネ
レータ・マトリックスであるとすれば、H= (Pr
I、)はC1に対する系統的符号器のジェネレータ・マ
トリックスである。H″はまた最小(フィードバックフ
リー)の形に変換できる。
rXrの小行列式はGのkXk小行列式と同一であり、
HはGと同数νのメモリ要素により実現できる。(もし
Gがレートに/(k+1)コードCに対するジェネレー
タ・マトリックスであるとすれば、Hは、そのレートが
1/(k+1)であるコードCAに対するジェネレータ
・マトリックスであって、その単一のジェネレータhは
完全にCを規定する。) 例えば、レート1八コードCに対して、もしG= (g
i(D) 2gg(D))であるとすれば、H−(gg
(D)、gi(D))(最小の形態)、あるいはH−(
gt(D)/g+(D)、l)(系統的形態)〔又はH
= (1,gi(D)/gz(D))(代替的な系統的
形態)〕である。これらの形態のいずれかに対してGH
“=0であることは容易に証明される。(最小形態から
)レート1八コードCの二重C1は、2つの出力を交換
することを除いて同じコードであるため、レート1八コ
ードは有効に自己二重(self−dual)である。
HはGと同数νのメモリ要素により実現できる。(もし
Gがレートに/(k+1)コードCに対するジェネレー
タ・マトリックスであるとすれば、Hは、そのレートが
1/(k+1)であるコードCAに対するジェネレータ
・マトリックスであって、その単一のジェネレータhは
完全にCを規定する。) 例えば、レート1八コードCに対して、もしG= (g
i(D) 2gg(D))であるとすれば、H−(gg
(D)、gi(D))(最小の形態)、あるいはH−(
gt(D)/g+(D)、l)(系統的形態)〔又はH
= (1,gi(D)/gz(D))(代替的な系統的
形態)〕である。これらの形態のいずれかに対してGH
“=0であることは容易に証明される。(最小形態から
)レート1八コードCの二重C1は、2つの出力を交換
することを除いて同じコードであるため、レート1八コ
ードは有効に自己二重(self−dual)である。
最小、シードローム・フォーマHは(状態数の増加が無
いように)組合せ回路で増補され、CG−1−1,、即
ち(k+r)XkのマトリックスQ −1がGの右逆関
数(rigth 1nverse)であるように(k+
r)X (k+r)多項式マトリックス(G−1)Tを
形成するに個の付加的なジェネレータ(g−’)T(r
+1<i<k+r)を備えた(k+r)入力、(k+r
)出力の回路となることができる。さらに、(k+r)
X (k+r)ジェネレータ・マトリックス A= (
(、−IH’)は行列式1を有することにより多項逆関
数A−1=(Q?1(−1)Tにより逆転可能である。
いように)組合せ回路で増補され、CG−1−1,、即
ち(k+r)XkのマトリックスQ −1がGの右逆関
数(rigth 1nverse)であるように(k+
r)X (k+r)多項式マトリックス(G−1)Tを
形成するに個の付加的なジェネレータ(g−’)T(r
+1<i<k+r)を備えた(k+r)入力、(k+r
)出力の回路となることができる。さらに、(k+r)
X (k+r)ジェネレータ・マトリックス A= (
(、−IH’)は行列式1を有することにより多項逆関
数A−1=(Q?1(−1)Tにより逆転可能である。
(そのような逆転可能の多項式マトリックスが(k+r
)X (k+r)スクランブラと称される。)ンガベ・
・コー゛の 例えば、ウンガベックの4ステート2DコードCvは、
ジェネレータ・マトリックスがG=(1+D’、1 +
D+D” )であるレート1八4文テート畳込みコード
Cにより発生するll0d2トレリスコードである。C
に対する最小シードローム・フォーマはH’ = (1
+D+D富、1+D”)’テアッテ、Gの右逆関数はG
−’= [D”、1+D+Dt)Tである。
)X (k+r)スクランブラと称される。)ンガベ・
・コー゛の 例えば、ウンガベックの4ステート2DコードCvは、
ジェネレータ・マトリックスがG=(1+D’、1 +
D+D” )であるレート1八4文テート畳込みコード
Cにより発生するll0d2トレリスコードである。C
に対する最小シードローム・フォーマはH’ = (1
+D+D富、1+D”)’テアッテ、Gの右逆関数はG
−’= [D”、1+D+Dt)Tである。
の行列は行列式1と
の逆関数とを有する。
第9図を参照すれば、符号器G130とシンドローム・
フォーマ/右進関数132A= (G−’HT )との
組合せは4ステートのフィードバックフリー回路である
。
フォーマ/右進関数132A= (G−’HT )との
組合せは4ステートのフィードバックフリー回路である
。
2を(k十r)タプルの任意のシーケンスと想定する。
そうすれば、zA=CzG−’、zHテ〕= (t (
z)、 s (z) ]は入力にタプルx (z)と
シンドロームrタプルs (Z)とから構成された(k
+r)タプルのシーケンスである。逆に、2は、 z=(x (Z)、s (z))A−’=x (z)C
+s (z)(H−1)T =y (z)+t (z)
により(x (z)、 s (z))から再生できる
。y(z)=x (z)G=zG−’GはCにおけるコ
ードシーケンスであり、t (z) =s (z)
(H−’) T=zH’ (H−’H)’ −z (
H−’H)’は、シンドロームS (Z)により識別さ
れるコードCの剰余系を示すものである。(k+r)X
(k+r)マトリックスG−’Gおよび(l(−1)
() Tは、環F′″′にわたってに+rの寸法の線形
空間(自由F″−モジユールと見做される(F″″1)
′″におけるシーケンスを、それぞれkおよびrの次元
の直交する線形部分空間に射影する直交射影演算子(o
rthogonal projection oper
ator)である。
z)、 s (z) ]は入力にタプルx (z)と
シンドロームrタプルs (Z)とから構成された(k
+r)タプルのシーケンスである。逆に、2は、 z=(x (Z)、s (z))A−’=x (z)C
+s (z)(H−1)T =y (z)+t (z)
により(x (z)、 s (z))から再生できる
。y(z)=x (z)G=zG−’GはCにおけるコ
ードシーケンスであり、t (z) =s (z)
(H−’) T=zH’ (H−’H)’ −z (
H−’H)’は、シンドロームS (Z)により識別さ
れるコードCの剰余系を示すものである。(k+r)X
(k+r)マトリックスG−’Gおよび(l(−1)
() Tは、環F′″′にわたってに+rの寸法の線形
空間(自由F″−モジユールと見做される(F″″1)
′″におけるシーケンスを、それぞれkおよびrの次元
の直交する線形部分空間に射影する直交射影演算子(o
rthogonal projection oper
ator)である。
これは、剰余系代表t (z)の((F”’)′/C〕
のセット自体が(F″″′)′の線形部分空間である。
のセット自体が(F″″′)′の線形部分空間である。
剰余系の分解式(Fk″リー=C+((F”リー/Cで
ある。
ある。
例えば、4ステートのルートI/2ウンガベックの例の
コードに対しては下式の通りである。
コードに対しては下式の通りである。
G・(1+D”、 1 +D+D”) ; H干(
1+D+D”、 1 +D” )H−1−(1+D+D
’、D’) ”; G−’= (D”、 1+D+D
”) ’ ;c−’cおよび(H−’ )I)’の双方
はランク(rank)1で、G−’G+ (H−’H)
’ =Itである。
1+D+D”、 1 +D” )H−1−(1+D+D
’、D’) ”; G−’= (D”、 1+D+D
”) ’ ;c−’cおよび(H−’ )I)’の双方
はランク(rank)1で、G−’G+ (H−’H)
’ =Itである。
畳込みコードCはFに対するシーケンスの加算下では群
であるため、2個の2進(k+r)タプル・シーケンス
を、もしそれらの差が畳込みコードCの要素であるとす
れば、適合−od Cと規定し、かつ畳込みコードCの
剰余系を合同等級−od Cのセットと規定することが
できる。Cの剰余系が2進(k+r)タプル・シーケン
ス2のセットであるため、zH”−sであり、Sはシン
ドローム・シーケンスと称される所定のrタプルのシー
ケンスであることは容易に判る。もしL=s (H−’
)”であるとすれば、前述のことから、(k+r)タプ
ルのシーケンスLはシンドローム・シーケンスSと関連
した剰余系C+tのための剰余系代表シーケンスである
。従って、rX (k+r)マトリックス(H−1)T
はシンドロームシーケンスSが所与であること、対応す
る剰余系代表シーケンスtを発生させる剰余系代表ジェ
ネレータ回路を規定するために使用できる。
であるため、2個の2進(k+r)タプル・シーケンス
を、もしそれらの差が畳込みコードCの要素であるとす
れば、適合−od Cと規定し、かつ畳込みコードCの
剰余系を合同等級−od Cのセットと規定することが
できる。Cの剰余系が2進(k+r)タプル・シーケン
ス2のセットであるため、zH”−sであり、Sはシン
ドローム・シーケンスと称される所定のrタプルのシー
ケンスであることは容易に判る。もしL=s (H−’
)”であるとすれば、前述のことから、(k+r)タプ
ルのシーケンスLはシンドローム・シーケンスSと関連
した剰余系C+tのための剰余系代表シーケンスである
。従って、rX (k+r)マトリックス(H−1)T
はシンドロームシーケンスSが所与であること、対応す
る剰余系代表シーケンスtを発生させる剰余系代表ジェ
ネレータ回路を規定するために使用できる。
例コードに対して、(H−’)T= (1+D+D”。
Dg)はそのような剰余系代表ジェネレータ回路である
。フィードバックを気にしないのであれば、回路(1−
/ (1+D+D” )、0)あるいは(0,1/ (
1+DJ )を剰余系ジェネレータ回路(H−’)”と
見做してよい。何故ならば、これらのマトリックスの任
意の配置行列はH=〔1+D+D”、 1+D” )
に対する右逆関数であるからで、剰余系代表シーケンス
もの要素1jは常にセット((0,0)、 (1,0
))あるいはセット((0,0)、 (0,1))に
入っている。このように1/(1+D+D富)または1
/(1+D”)による乗算によってシンドロームシーケ
ンスSを「予備符号化」することにより、この場合は(
2゜1)繰返しコードである、時間零のブロックコード
C0に対する剰余系代表のセットの常に1つである剰余
系代表シーケンスtを得る。
。フィードバックを気にしないのであれば、回路(1−
/ (1+D+D” )、0)あるいは(0,1/ (
1+DJ )を剰余系ジェネレータ回路(H−’)”と
見做してよい。何故ならば、これらのマトリックスの任
意の配置行列はH=〔1+D+D”、 1+D” )
に対する右逆関数であるからで、剰余系代表シーケンス
もの要素1jは常にセット((0,0)、 (1,0
))あるいはセット((0,0)、 (0,1))に
入っている。このように1/(1+D+D富)または1
/(1+D”)による乗算によってシンドロームシーケ
ンスSを「予備符号化」することにより、この場合は(
2゜1)繰返しコードである、時間零のブロックコード
C0に対する剰余系代表のセットの常に1つである剰余
系代表シーケンスtを得る。
−船釣に、フィードバックを含む線形変換を用いること
により、要素1.は常に、全て2進(k+r)タプルの
セットにおける時間零のコードC0に対する2r剰余系
代表のセットに限定することができる。(証明:最小符
号番号Hのrxr小行列式の最大公約数が1であるので
、HのrXrの小行列式の少なくとも1つは反転できな
い。このマトリックスの逆関数はプリコーダとして使用
できる。) Mod−し スコー の 績閘od−2)
レリスコードは畳込みコードと同形であるから、その代
数理論は畳込みコードのものと基本的に同じである。
により、要素1.は常に、全て2進(k+r)タプルの
セットにおける時間零のコードC0に対する2r剰余系
代表のセットに限定することができる。(証明:最小符
号番号Hのrxr小行列式の最大公約数が1であるので
、HのrXrの小行列式の少なくとも1つは反転できな
い。このマトリックスの逆関数はプリコーダとして使用
できる。) Mod−し スコー の 績閘od−2)
レリスコードは畳込みコードと同形であるから、その代
数理論は畳込みコードのものと基本的に同じである。
即ち、5od−2)レリスコード旦は常に格子分割Δ/
λ−Z”/2ZNに基づくものとみなし得るもので、r
ate−にZNの畳込みコードCのコード列yと合同(
congruent)なsod 2である整数N個(N
−tuplc)の列Cの総ての集合として定義され、し
たがってCを−C(Z’/2 Z’: C)として示す
ことができることはここまでに述べた通りである。
λ−Z”/2ZNに基づくものとみなし得るもので、r
ate−にZNの畳込みコードCのコード列yと合同(
congruent)なsod 2である整数N個(N
−tuplc)の列Cの総ての集合として定義され、し
たがってCを−C(Z’/2 Z’: C)として示す
ことができることはここまでに述べた通りである。
前項の理論は従ってそのまま通用する。2進列にではな
く整数列に適用するために、内積、直交性および双対性
の定義に多少の変更を加えることは必要であるが、以下
に示すように、必要とされる変更が、同形の性質に影響
を与えるものではない。
く整数列に適用するために、内積、直交性および双対性
の定義に多少の変更を加えることは必要であるが、以下
に示すように、必要とされる変更が、同形の性質に影響
を与えるものではない。
X及びyが実数N個の列、即ち(R”)″の要素である
とするなら、これらの内積(x、y)はR”の要素、実
数列Σ□i、HXly+として定義される。もしXおよ
びyが整数N個の列であるなら、それらの内積(x、y
)は整数列である。
とするなら、これらの内積(x、y)はR”の要素、実
数列Σ□i、HXly+として定義される。もしXおよ
びyが整数N個の列であるなら、それらの内積(x、y
)は整数列である。
2つの列は、それらの内積がゼロの列を成すときのみに
厳密に直交している。しかしこれらは、それらの内積が
偶数の整数の列、即ち(2Z)″の要素であるときに、
直交するといえる。
厳密に直交している。しかしこれらは、それらの内積が
偶数の整数の列、即ち(2Z)″の要素であるときに、
直交するといえる。
mad2)レリスコード旦の双対性トレリスコード且1
としたがって、旦のコード列の総ての直交なtiod
2であるところの実数N個の列全部の集合として定義さ
れる。自明の例として、C2が整数N個の全列の集合(
Z ’)′であるなら、旦1は(22′4)′″であり
、その逆も言える。mad−2トレリスコード旦は総て
集合(22に)′を含むから、その双対CAは(Z’
)″の部分集合でなくてはならないし、(2Z’)″は
整数列に対する直交mod2Tあるから、その双対−c
’は(2Z’)6゜を含まなければならない。
としたがって、旦のコード列の総ての直交なtiod
2であるところの実数N個の列全部の集合として定義さ
れる。自明の例として、C2が整数N個の全列の集合(
Z ’)′であるなら、旦1は(22′4)′″であり
、その逆も言える。mad−2トレリスコード旦は総て
集合(22に)′を含むから、その双対CAは(Z’
)″の部分集合でなくてはならないし、(2Z’)″は
整数列に対する直交mod2Tあるから、その双対−c
’は(2Z’)6゜を含まなければならない。
r=N−にの場合に、C2がr a + e−k /
NコードCによって生成されるなら、C1は、Cに対す
る双対rate−r/NコードCAによって生成される
ところの−od−2)レリスコードである。まず、ここ
で示したように、CAは整数N個列の集合でなくてはな
らない0次に、CがCにおける列yに対する合同■od
2である旦における列である場合に、dを整数N個の
ある列とし、Zをdが合同sod 2になる2進N個の
列とする。そうすると、内積(c、d)は、Zが双対コ
ードCAにおける列である場合のみに、総てゼロの列で
ある内積((y、 z )に対する合同鴫□d2である
。したがって(c、 d)は、dが01によって生成
された鋼0d−2トレリスコード、即ち旦1であるとき
のみに(22)”の要素である。
NコードCによって生成されるなら、C1は、Cに対す
る双対rate−r/NコードCAによって生成される
ところの−od−2)レリスコードである。まず、ここ
で示したように、CAは整数N個列の集合でなくてはな
らない0次に、CがCにおける列yに対する合同■od
2である旦における列である場合に、dを整数N個の
ある列とし、Zをdが合同sod 2になる2進N個の
列とする。そうすると、内積(c、d)は、Zが双対コ
ードCAにおける列である場合のみに、総てゼロの列で
ある内積((y、 z )に対する合同鴫□d2である
。したがって(c、 d)は、dが01によって生成
された鋼0d−2トレリスコード、即ち旦1であるとき
のみに(22)”の要素である。
5od−2)レリスコード旦は実数列加算に基づく群で
あり、その剰余系はそれぞれ、合同縁■od旦の集合で
ある。rを、R’の要素であるrjを要素とする実数N
個の列であると、rがz+fshod 2と合同になる
ような(0,1)における要素2.を伴う2進数N個組
の単一の列Zと、〔o。
あり、その剰余系はそれぞれ、合同縁■od旦の集合で
ある。rを、R’の要素であるrjを要素とする実数N
個の列であると、rがz+fshod 2と合同になる
ような(0,1)における要素2.を伴う2進数N個組
の単一の列Zと、〔o。
1〕における要素fJを伴う分数N個の単一の列fとが
存在する。そうすると、旦の剰余系は、H”が旦を生成
するコードCのシンドローム成形式である場合に、zH
”=sとなるような2進数r個シンドローム列Sと分数
列fとによって特定され得るもので、z+fwod2に
合同なr総でで構成される。rがそのような列でCがC
のコード列yに合同なsod 2である旦における列で
あるなら、列2およびyが加えられたモジュロ2である
場合にr+cは(z+y)+fのsod 2と合同であ
り、z+yは2と同じCの剰余系においての2進数N個
組列であるからそれは同じシンドローム列(2+y)H
’−zH’=sを有する。
存在する。そうすると、旦の剰余系は、H”が旦を生成
するコードCのシンドローム成形式である場合に、zH
”=sとなるような2進数r個シンドローム列Sと分数
列fとによって特定され得るもので、z+fwod2に
合同なr総でで構成される。rがそのような列でCがC
のコード列yに合同なsod 2である旦における列で
あるなら、列2およびyが加えられたモジュロ2である
場合にr+cは(z+y)+fのsod 2と合同であ
り、z+yは2と同じCの剰余系においての2進数N個
組列であるからそれは同じシンドローム列(2+y)H
’−zH’=sを有する。
Mod−2トレ スコー に づ し1ス の生成
5od−2)レリスコードC(ZN/2 ZN; C)
に基づくトレリス配列は、以下のように生成することが
できる。
に基づくトレリス配列は、以下のように生成することが
できる。
まず、AをZHの超格子である2進数束、例えばmho
においての2−”Z”またはR−” Z Nとする。
においての2−”Z”またはR−” Z Nとする。
〔Δ/Z”)が分割1八/Z’Iの次数であるなら、Z
”の任意の基本的領域、特に半開のN立方(0,1)”
において〔Δ/Z’)要素のAの剰余系A+aが存在す
る0分数列fはしたがって、2進数(logt (Δ/
Z’))タプルの列、即ちN次元につきIogz (八
/Z’)ビットによって特定される。
”の任意の基本的領域、特に半開のN立方(0,1)”
において〔Δ/Z’)要素のAの剰余系A+aが存在す
る0分数列fはしたがって、2進数(logt (Δ/
Z’))タプルの列、即ちN次元につきIogz (八
/Z’)ビットによって特定される。
次に、シンドローム列Sは、r=N−kがrate−に
/N畳込みコードCのリダンダンシーである場合に、2
進数r個組の列として特定される。
/N畳込みコードCのリダンダンシーである場合に、2
進数r個組の列として特定される。
シンドローム列Sは、NXrのマトリックス1(−1が
Cに対する双対rate−r / N :2−ドC1の
rXN最小ジェネレータマトリックスHの逆である場合
に、r入力N出力の剰余系代表生成回路(H−1)Tに
よって剰余系代表列t = s (H−’)7に変換す
ることができる。(場合によっては、これら出力のうち
、r以外の総てはゼロにすることができる。)第10図
において、tを整数N個組の列とみなしての列r=t+
f140は、トレリスコード−C工の剰余系代表である
。
Cに対する双対rate−r / N :2−ドC1の
rXN最小ジェネレータマトリックスHの逆である場合
に、r入力N出力の剰余系代表生成回路(H−1)Tに
よって剰余系代表列t = s (H−’)7に変換す
ることができる。(場合によっては、これら出力のうち
、r以外の総てはゼロにすることができる。)第10図
において、tを整数N個組の列とみなしての列r=t+
f140は、トレリスコード−C工の剰余系代表である
。
C−のための最小距離デコーダ142はしたがって、前
に示したように、rmodcと合同な最小平均累乗の列
eを見つけ出すことができる。
に示したように、rmodcと合同な最小平均累乗の列
eを見つけ出すことができる。
フィードバックを考慮に入れないのであれば(送信回路
においてそうする理由はない)剰余系代表生成回路の出
力N個組t、146が全2進N個組の集合(N、N)に
おけるタイムゼロコードC0の2r剰余系の剰余系代表
であり、したがって整数N個組として、への剰余系とし
てではなく、ZHにおけるタイムゼロ束へ〇の2rの剰
余系の剰余系代表にもなるように(第10図に示すよう
に)、(H−1)T 144を選択することができる。
においてそうする理由はない)剰余系代表生成回路の出
力N個組t、146が全2進N個組の集合(N、N)に
おけるタイムゼロコードC0の2r剰余系の剰余系代表
であり、したがって整数N個組として、への剰余系とし
てではなく、ZHにおけるタイムゼロ束へ〇の2rの剰
余系の剰余系代表にもなるように(第10図に示すよう
に)、(H−1)T 144を選択することができる。
第11図において、nが通信チャンネルによって持ち込
まれるノイズ列である場合に、e+nを受信列150と
する。受信器は、まず推定列e152を生成するが、こ
れはコーディングのない場合は、単にΔ+aのどの要素
が受信N個&ll e j+ n jのそれぞれに最も
近いかの記号毎の判断の結果であってもよい、信号とノ
イズのマージン充分なものにすれば、これらの記号判断
の大部分は正しいものであろうがまれにはエラーが起る
ものと想定しなくてはいけない、したがって受信器は、
(a)e’=eの場合には、正しいビット列が回復され
る、(b) e7’が単一の記号についてのみ、または
もっと−船釣に短時間についてのみejに等しくない場
合には、最初のエラーの時点からの短時間を除いて正し
いビット列が回復されるというようにオリジナルなビッ
ト列を回復できるものでなくてはならない。言い換えれ
ば、エラー伝播が限られなくてはいけない。
まれるノイズ列である場合に、e+nを受信列150と
する。受信器は、まず推定列e152を生成するが、こ
れはコーディングのない場合は、単にΔ+aのどの要素
が受信N個&ll e j+ n jのそれぞれに最も
近いかの記号毎の判断の結果であってもよい、信号とノ
イズのマージン充分なものにすれば、これらの記号判断
の大部分は正しいものであろうがまれにはエラーが起る
ものと想定しなくてはいけない、したがって受信器は、
(a)e’=eの場合には、正しいビット列が回復され
る、(b) e7’が単一の記号についてのみ、または
もっと−船釣に短時間についてのみejに等しくない場
合には、最初のエラーの時点からの短時間を除いて正し
いビット列が回復されるというようにオリジナルなビッ
ト列を回復できるものでなくてはならない。言い換えれ
ば、エラー伝播が限られなくてはいけない。
上で述べたように、emodZ’の要素の列は、rのそ
れと同じもの、即ち分数列fである。したがって、記号
毎の演算f J= e、+ sod ZN154によっ
て、即ち推定列e′の分数部分を取り出すことによって
、fの要素を回復することができる。
れと同じもの、即ち分数列fである。したがって、記号
毎の演算f J= e、+ sod ZN154によっ
て、即ち推定列e′の分数部分を取り出すことによって
、fの要素を回復することができる。
今度は、各f、が対応する2進(Iogz (A /
Z ’ ) )細組を決定する。ejにエラーがあった
場合のみに、f、にエラーが起り得るから、エラー伝播
は全く起らない。
Z ’ ) )細組を決定する。ejにエラーがあった
場合のみに、f、にエラーが起り得るから、エラー伝播
は全く起らない。
受信列eの整数部分t 、 l =e、 l f
、 lの行列t′を要素Siが・対応する入力r個組み
s 、 Lの推定値である2進r個組であるところの推
定シンドローム列s’ =t’ H”を形成するために
、シンドローム形成器)(Tを通過させることができる
。
、 lの行列t′を要素Siが・対応する入力r個組み
s 、 Lの推定値である2進r個組であるところの推
定シンドローム列s’ =t’ H”を形成するために
、シンドローム形成器)(Tを通過させることができる
。
常に可能なように、Hをフィードバック無用のものとし
て選択した場合、eJそしてしたがってL′における断
片的エラーは、Sjにおける幾分長いエラーの実行に結
びつ(だけである、実際、δをrXNマトリックスHに
おける多項式の最大次数とした場合にSjにおけるエラ
ーは、e。
て選択した場合、eJそしてしたがってL′における断
片的エラーは、Sjにおける幾分長いエラーの実行に結
びつ(だけである、実際、δをrXNマトリックスHに
おける多項式の最大次数とした場合にSjにおけるエラ
ーは、e。
における最終エラーの後に、δ−11aX deg h
tj(D)時間単位だけ起り得る。したがって、いくら
かのエラー伝播は起り得るものの、それは厳密に限られ
たものである。
tj(D)時間単位だけ起り得る。したがって、いくら
かのエラー伝播は起り得るものの、それは厳密に限られ
たものである。
コーティングに用いる格子型トレリスコード−Ccと整
形に用いる5od2トレリスコード−Csを組合わせた
ものの一般的構成を以下に示す、この構成は完全に対称
で、コーディングと整形との間の双対性をよく示してい
る。
形に用いる5od2トレリスコード−Csを組合わせた
ものの一般的構成を以下に示す、この構成は完全に対称
で、コーディングと整形との間の双対性をよく示してい
る。
第12図において、コード−C−6を、Nが偶数、分割
の順序が〔A、/八。’)=2”C″□、そして束てΔ
、′の深さがμC(本節では単にμとする)である場合
に2進N次格子の分割AC/AC’に基づくものである
と仮定する。コード旦、は、k(Δ。′)を八。′の情
報伝達力とした場合に、R−”ZNが2kT^cl l
のR−”A C’の部分格子であるように、m>Oにお
いてR−トpによって測定されるeAcにおける八、′
の剰余系の(kc+rc)ビットラベルは、生成マトリ
ックスGc150を用いて、コードCcのra+e−k
c/ (ke+rc)エンコーダEcによっ て生成される。八。およびA (’は2進束であるから
、八。をR−am−pzsそしてΔ、′をR−1IZN
とすることもでき、その場合は、エンコーダはに、+k
(Ac”) ” k (cc )入力152およびk
c+rc+k(Δc’)十r(Δ、)−μN/2出力を
有することになる。
の順序が〔A、/八。’)=2”C″□、そして束てΔ
、′の深さがμC(本節では単にμとする)である場合
に2進N次格子の分割AC/AC’に基づくものである
と仮定する。コード旦、は、k(Δ。′)を八。′の情
報伝達力とした場合に、R−”ZNが2kT^cl l
のR−”A C’の部分格子であるように、m>Oにお
いてR−トpによって測定されるeAcにおける八、′
の剰余系の(kc+rc)ビットラベルは、生成マトリ
ックスGc150を用いて、コードCcのra+e−k
c/ (ke+rc)エンコーダEcによっ て生成される。八。およびA (’は2進束であるから
、八。をR−am−pzsそしてΔ、′をR−1IZN
とすることもでき、その場合は、エンコーダはに、+k
(Ac”) ” k (cc )入力152およびk
c+rc+k(Δc’)十r(Δ、)−μN/2出力を
有することになる。
コード旦、は、分割の順序が〔A、/Δ、′〕−2ks
′″r3、束へ、′の深さがμ、−2、そしてr(Δ、
)がΔ3のリダンダンシーである場合に分割の順序CZ
N/hs〕が2”^a’ テtoZrトtkニ、god
−2N次格子の分割Δ、/Δ、′に基づくものである。
′″r3、束へ、′の深さがμ、−2、そしてr(Δ、
)がΔ3のリダンダンシーである場合に分割の順序CZ
N/hs〕が2”^a’ テtoZrトtkニ、god
−2N次格子の分割Δ、/Δ、′に基づくものである。
Δ3におけるΔ、″の剰余系の(kfi+rs)ビント
ラベルは、生成マトリックス(Hs−’)” 160を
用いて、rate −r s/ (k s+r s)剰
余系代表ラベル生成器によって生成される。八、および
Δ、′は−od−2格子であるから、A、を2そしてA
3 ’を22′″とすることができ、その場合には、
剰余系代表ラベル生成器は、r、+t (As) =r
(旦、)入力162上、kl+rs+k(Δg’)+
r(Δ、)−N出力164とを有する。
ラベルは、生成マトリックス(Hs−’)” 160を
用いて、rate −r s/ (k s+r s)剰
余系代表ラベル生成器によって生成される。八、および
Δ、′は−od−2格子であるから、A、を2そしてA
3 ’を22′″とすることができ、その場合には、
剰余系代表ラベル生成器は、r、+t (As) =r
(旦、)入力162上、kl+rs+k(Δg’)+
r(Δ、)−N出力164とを有する。
中央(測定)部166はmが任意の負でない整数である
場合に、R−” Z HにおけるZHの剰余系を特定す
るのに、単にm N / 2の符号化されていないビッ
トを用いている。
場合に、R−” Z HにおけるZHの剰余系を特定す
るのに、単にm N / 2の符号化されていないビッ
トを用いている。
したがって、総計でk (Cc) +mN/2 + r
(Cs)ビットが、N次元毎にシステムに入力され、R
−”−j’Z’の22’の剰余系の列または同等の剰余
系代表列r170を特定するところの複数のパートラベ
ルの列に変換され、この場合、各r、ハR−1′−βZ
l′ノ22I″ノ剰余系の、2−*11+1剰余系代表
の集合の一要素である。 C$ 172のデコーダはそ
こで、r sod Csと合同な列の集合の中から最小
平均次数の列e174を見つけ出す、受信器側において
、Ce176のデコーダは、nが付加的ホワイトガウス
形ノイズとした場合に、Ccにおける最も近いコード列
e′を発見するためにe+nに基づいて動作する e
lのejの構成要素が剰余系代表列r′を決定する。r
の構成要素rJは、送信器における多用なビット列の推
定を構成する複数バートラベルにマツプされることがで
きる ZHにおける2Z’の剰余系を代表する2進N個
組の列t’17Bは、推定シンドロームr (Cs)個
&l1181の列s=t’H,’を形成するために、フ
ィードバック無用のシンドローム形成器H,’ 180
を通過させられる。R−”ZHのZHlの剰余系を代表
する(mN/2)偏組の列は、直接に、対応する入力(
mN/2)偏組182の推定値としてみなされる。そし
て、R−11−JIZNのR−1IZNの剰余系を代表
する2進(μN/2)偏組184の列は、推定情報k(
CC)偏組の列を形成するために、フィードバック無用
の右逆元Gc−を通過させられる。
(Cs)ビットが、N次元毎にシステムに入力され、R
−”−j’Z’の22’の剰余系の列または同等の剰余
系代表列r170を特定するところの複数のパートラベ
ルの列に変換され、この場合、各r、ハR−1′−βZ
l′ノ22I″ノ剰余系の、2−*11+1剰余系代表
の集合の一要素である。 C$ 172のデコーダはそ
こで、r sod Csと合同な列の集合の中から最小
平均次数の列e174を見つけ出す、受信器側において
、Ce176のデコーダは、nが付加的ホワイトガウス
形ノイズとした場合に、Ccにおける最も近いコード列
e′を発見するためにe+nに基づいて動作する e
lのejの構成要素が剰余系代表列r′を決定する。r
の構成要素rJは、送信器における多用なビット列の推
定を構成する複数バートラベルにマツプされることがで
きる ZHにおける2Z’の剰余系を代表する2進N個
組の列t’17Bは、推定シンドロームr (Cs)個
&l1181の列s=t’H,’を形成するために、フ
ィードバック無用のシンドローム形成器H,’ 180
を通過させられる。R−”ZHのZHlの剰余系を代表
する(mN/2)偏組の列は、直接に、対応する入力(
mN/2)偏組182の推定値としてみなされる。そし
て、R−11−JIZNのR−1IZNの剰余系を代表
する2進(μN/2)偏組184の列は、推定情報k(
CC)偏組の列を形成するために、フィードバック無用
の右逆元Gc−を通過させられる。
受信器における総てのマツプはフィードバック無用のも
のであるから、エラー伝播は限られたものである。
のであるから、エラー伝播は限られたものである。
このピクチャは%CCでのコーティングと旦。
を用いての整形とが、多くの面で双対をなしていること
を示している。送信器におけるエンコーダG、は、k(
旦C)入力を有し;双対コードCAノエンコーダH,’
は、受信器においてr(Cs)出力を備えたシンドロー
ム形成式として用いられる。(コード旦の情報伝達領域
k(C)とりダンダンシート(旦)とは、量的に双対を
なすものである。)相対する右逆元cc−’と(H3−
’)丁とは、同様に双対の位置にあって、(Hs−I)
”は、r(Cs)入力剰余系代表列生成式として用いら
れる。したがって、コーディングおよび整形による2次
元における配列拡大比はそれぞれ、CE Rc(CC)
−2ρイC(lおよびCER,(C,)=2に(Csl
である。コーディングおよび整形の演算の主たる複雑さ
は、それぞれ旦、のデコーダと旦、′のデコーダにあり
、これらはそれぞれ、送信器の出力と受信器への入力と
に基づいて演算をする。しだがって整形コード旦、をリ
ニアに限定したことに加えて、完全に対象且つ双対なピ
クチャを得るこ々になる。
を示している。送信器におけるエンコーダG、は、k(
旦C)入力を有し;双対コードCAノエンコーダH,’
は、受信器においてr(Cs)出力を備えたシンドロー
ム形成式として用いられる。(コード旦の情報伝達領域
k(C)とりダンダンシート(旦)とは、量的に双対を
なすものである。)相対する右逆元cc−’と(H3−
’)丁とは、同様に双対の位置にあって、(Hs−I)
”は、r(Cs)入力剰余系代表列生成式として用いら
れる。したがって、コーディングおよび整形による2次
元における配列拡大比はそれぞれ、CE Rc(CC)
−2ρイC(lおよびCER,(C,)=2に(Csl
である。コーディングおよび整形の演算の主たる複雑さ
は、それぞれ旦、のデコーダと旦、′のデコーダにあり
、これらはそれぞれ、送信器の出力と受信器への入力と
に基づいて演算をする。しだがって整形コード旦、をリ
ニアに限定したことに加えて、完全に対象且つ双対なピ
クチャを得るこ々になる。
W e i四次元コード(Wei、 rTrelli
s−CodedModulation with
Multidimensional Con5thl
lations JIEEE Trans、 I
nfoe+s 丁heory Vol、 IT−
33+ p9. 483〜501.1987)は優れ
た実用的特性を備えている。
s−CodedModulation with
Multidimensional Con5thl
lations JIEEE Trans、 I
nfoe+s 丁heory Vol、 IT−
33+ p9. 483〜501.1987)は優れ
た実用的特性を備えている。
特に、分割Z’/RD4に基づく8状態および16状態
のコードと、四次元につき1リダンダントピツトだけで
d”m1n=4を達成する3rate−2/3畳込みエ
ンコーダが備わっており正規化リダンダンシーρが1八
で、わずかCERc−2ρ=2’/、 =1.414の
コーティング配列拡大比で、Tc=2−ρd ”win
−2’八(4,52d B )の名目(基本)コープイ
ンゲインが得られる。16状態コードは、正規化エラー
係数がわずかNo−12であり、8状態コードはNo”
’44である。これらのコードは、moa2(且つde
pth−2)コードであり、同等に、増補rate−″
/a畳込みコードCを用いた分割Z4/2Z4に基づく
ものとみなすことができる。Weiコードの双対は、整
形コードの優れた候補である。
のコードと、四次元につき1リダンダントピツトだけで
d”m1n=4を達成する3rate−2/3畳込みエ
ンコーダが備わっており正規化リダンダンシーρが1八
で、わずかCERc−2ρ=2’/、 =1.414の
コーティング配列拡大比で、Tc=2−ρd ”win
−2’八(4,52d B )の名目(基本)コープイ
ンゲインが得られる。16状態コードは、正規化エラー
係数がわずかNo−12であり、8状態コードはNo”
’44である。これらのコードは、moa2(且つde
pth−2)コードであり、同等に、増補rate−″
/a畳込みコードCを用いた分割Z4/2Z4に基づく
ものとみなすことができる。Weiコードの双対は、整
形コードの優れた候補である。
双対Wei4Dコードは、それらの双対rate ”
/4コードCと同数の状態を有しているra te −
’へ畳込みコードC1による分割Z’/2Z’に基づく
ものとしてみなし得る。これらの正規化情報伝達力には
1/!であり、したがって、それらの整形配列拡大比は
、CERM=2に=217g=1.414である。
/4コードCと同数の状態を有しているra te −
’へ畳込みコードC1による分割Z’/2Z’に基づく
ものとしてみなし得る。これらの正規化情報伝達力には
1/!であり、したがって、それらの整形配列拡大比は
、CERM=2に=217g=1.414である。
第13図において、コーディングのためのW e iコ
ード旦、は、分割R−”−”Z’/R”@Z’ 190
に基づいたものとなるように、R−a−1によって測定
される。Cのためのrate−3/42進エンコーダG
c192は、送信器において符号化に用いられ、フィー
ドバック無用4×3右逆元Gc−+194は、受信器に
おいて入力情報3個組196を回復するのに用いられる
。双対コードC”19Bの4×3シンドローム形成弐H
,Tはその双対Cのための最小エンコーダG、を転置し
たものであり、3×4剰余系代表生成式()(s−’)
” 200は、対応する右逆元GC−’(フィードバッ
クフリーである必要はない)を転置したものである。送
信されるビット202の総数は四次元につき2m+6ま
たは2次元につきm+3ビツトであり、二次元毎に任意
の整数のビット(3未満ではない)を送信できる。最終
配置(2次元のもの)は、2ZtのVoronoigJ
f域に広がるR −−−t z tの平行移動による名
目2m+4点によって構成されており、総配列拡大比は
したがって2であり、そのうち21/2はコーディング
に、そして2 ’/zが整形に由来するものである。(
これは、21) llllgerboeckの例におけ
る比率4と比較される。) 8状態および16状態W e iコードCの最小rat
e−3八生成式マへリックスGcおよび右逆元cc−’
を第14図および15図に示す、これらマトリックスを
転置したものが、シンドローム形成式マトリックスH1
および双対We+コードC’の剰余系代表生成マトリッ
クス(Hs−1)Tである。参考のために、それぞれの
場合において、双対コードC1の最小ra、te−’/
a生成式マトリックスGs=Hcと、フィードバック無
用の右逆元Gs−’=Hc−1も示した。
ード旦、は、分割R−”−”Z’/R”@Z’ 190
に基づいたものとなるように、R−a−1によって測定
される。Cのためのrate−3/42進エンコーダG
c192は、送信器において符号化に用いられ、フィー
ドバック無用4×3右逆元Gc−+194は、受信器に
おいて入力情報3個組196を回復するのに用いられる
。双対コードC”19Bの4×3シンドローム形成弐H
,Tはその双対Cのための最小エンコーダG、を転置し
たものであり、3×4剰余系代表生成式()(s−’)
” 200は、対応する右逆元GC−’(フィードバッ
クフリーである必要はない)を転置したものである。送
信されるビット202の総数は四次元につき2m+6ま
たは2次元につきm+3ビツトであり、二次元毎に任意
の整数のビット(3未満ではない)を送信できる。最終
配置(2次元のもの)は、2ZtのVoronoigJ
f域に広がるR −−−t z tの平行移動による名
目2m+4点によって構成されており、総配列拡大比は
したがって2であり、そのうち21/2はコーディング
に、そして2 ’/zが整形に由来するものである。(
これは、21) llllgerboeckの例におけ
る比率4と比較される。) 8状態および16状態W e iコードCの最小rat
e−3八生成式マへリックスGcおよび右逆元cc−’
を第14図および15図に示す、これらマトリックスを
転置したものが、シンドローム形成式マトリックスH1
および双対We+コードC’の剰余系代表生成マトリッ
クス(Hs−1)Tである。参考のために、それぞれの
場合において、双対コードC1の最小ra、te−’/
a生成式マトリックスGs=Hcと、フィードバック無
用の右逆元Gs−’=Hc−1も示した。
これらの例の両方において、Gcによって生成されるコ
ードCは、dH−4のハミング距離を有する。ファイナ
ルジェネレータ((1111))はメモリを備えず単に
RD、における2ZNの2つの剰余系のうちの一つを選
択する役目をする((4,1)反復コードの二つのコー
ドワードのウチの一つを選択する)、8状態コードは、
長さ1((1111))1個と、長さ2((1100゜
1010)およびそれらの補数)4個との5個の重み4
ワードからなっており、I6状態コードは重み4ワード
((1111))1個からなっている。
ードCは、dH−4のハミング距離を有する。ファイナ
ルジェネレータ((1111))はメモリを備えず単に
RD、における2ZNの2つの剰余系のうちの一つを選
択する役目をする((4,1)反復コードの二つのコー
ドワードのウチの一つを選択する)、8状態コードは、
長さ1((1111))1個と、長さ2((1100゜
1010)およびそれらの補数)4個との5個の重み4
ワードからなっており、I6状態コードは重み4ワード
((1111))1個からなっている。
両方にとって、タイムゼロブロックコードは、(’4.
3)シングルパリティチエツクコードである。
3)シングルパリティチエツクコードである。
両方の場合において、Hoによって生成されるコードC
1は、(4,1)コードをそのタイムゼロブロックコー
ドさして有しており、4個組の総ては、(4,3)シン
グルパリティ−チエツクコート′の中にある(即ち選択
された整数4個組は総てり。
1は、(4,1)コードをそのタイムゼロブロックコー
ドさして有しており、4個組の総ては、(4,3)シン
グルパリティ−チエツクコート′の中にある(即ち選択
された整数4個組は総てり。
の中にある)。
シュミレーションによれば、8状態双対We+コードは
、M=7 (16QAM記号のデコーディングウィンド
ー)において、約0.90dbの、Mが無限大に近づく
につれて1.05d bのシェーブゲインを達成するこ
とがつきとめられており、漸次的に4状態U nger
boeckコードより優れ、配列域の拡大がずっと小さ
くなっている。
、M=7 (16QAM記号のデコーディングウィンド
ー)において、約0.90dbの、Mが無限大に近づく
につれて1.05d bのシェーブゲインを達成するこ
とがつきとめられており、漸次的に4状態U nger
boeckコードより優れ、配列域の拡大がずっと小さ
くなっている。
酊丑境界皇m
最も実際的な応用に際しては、最終の配列規模を小さく
保ち又ビークと平均の比(PAR)を小さくするために
配列の境界を円形状にすることが好ましい、これによっ
て、非線形ひずみや位相ジッタ等の悪化に対する性能が
向上する。
保ち又ビークと平均の比(PAR)を小さくするために
配列の境界を円形状にすることが好ましい、これによっ
て、非線形ひずみや位相ジッタ等の悪化に対する性能が
向上する。
二進束の分割に基づくトレリスコードを用いたトレリス
整形では、送信列の要素eJは正方形の境界内に広がる
2D配列域に属する。トレリス整形は、2D配列域の大
きさを、ファクタ2に+Cs′によって拡大する。デコ
ーダ46(第4図)に制約条件を適用することによって
、配列試の拡大の程度を小さくし、より円形に近い境界
を得ることが可能である0例えば、デコーダを、要素e
j−rj−Cjが所定の半径Rcより大きくない、即ち
ejl = l rj Cj l <R(であるところ
の送信列e=r−cとなるようなコード列Cを(整形コ
ード−C4,から)のみを選択するように制約すること
ができる。Roがある程度大きければば(例えばReが
総ての状態におき最低1本の分岐が常に可能であるのに
充分な大きさである場合に)、デコーダは制約条件を侵
すことなしに先へ進むことができる。しかし、もしRo
が小さすぎると、この制約条件を満たさないコード列を
選択することが強いられるかもしれない。
整形では、送信列の要素eJは正方形の境界内に広がる
2D配列域に属する。トレリス整形は、2D配列域の大
きさを、ファクタ2に+Cs′によって拡大する。デコ
ーダ46(第4図)に制約条件を適用することによって
、配列試の拡大の程度を小さくし、より円形に近い境界
を得ることが可能である0例えば、デコーダを、要素e
j−rj−Cjが所定の半径Rcより大きくない、即ち
ejl = l rj Cj l <R(であるところ
の送信列e=r−cとなるようなコード列Cを(整形コ
ード−C4,から)のみを選択するように制約すること
ができる。Roがある程度大きければば(例えばReが
総ての状態におき最低1本の分岐が常に可能であるのに
充分な大きさである場合に)、デコーダは制約条件を侵
すことなしに先へ進むことができる。しかし、もしRo
が小さすぎると、この制約条件を満たさないコード列を
選択することが強いられるかもしれない。
この種類の制約条件は、最小平均平方エラー(MSE)
の大きさがRczを超えるところのトレリスの分岐を、
それらを適当な一数Qと掛は合わせて、デイエンファシ
スすることによって、極めて容易にViterbiデコ
ーダに組入れることができる。Qが大きくなるにしたが
って、制約条件は厳しくなる。これによって制約条件円
の外に存在する点を選択する確立は小さくなる。Qが充
分に大きくて、Reが極端に小さくない場合には、制約
条件円の外則の点は絶対に選択されない、なお、Reが
小さすぎる場合には、イリーガルな列をコード列として
選択するようにデコーダを強いて当初の列rを受信器内
で正しく回復できないことがあるので、分岐を否定すべ
きではない。
の大きさがRczを超えるところのトレリスの分岐を、
それらを適当な一数Qと掛は合わせて、デイエンファシ
スすることによって、極めて容易にViterbiデコ
ーダに組入れることができる。Qが大きくなるにしたが
って、制約条件は厳しくなる。これによって制約条件円
の外に存在する点を選択する確立は小さくなる。Qが充
分に大きくて、Reが極端に小さくない場合には、制約
条件円の外則の点は絶対に選択されない、なお、Reが
小さすぎる場合には、イリーガルな列をコード列として
選択するようにデコーダを強いて当初の列rを受信器内
で正しく回復できないことがあるので、分岐を否定すべ
きではない。
送信列eが通信路を通しての送信の以前にろ波される場
合は、ろ波後のPARを最小にするために、制約条件を
項次元で(列eの連続する要素の群に)、適用すること
が有益かもしれない。
合は、ろ波後のPARを最小にするために、制約条件を
項次元で(列eの連続する要素の群に)、適用すること
が有益かもしれない。
例えば、制約条件を四次元で適用することができる。こ
れは、以下のようにデコーダ(8状態W e iコード
を復号化するもの)に組入れることができる。まず、4
D分岐距離を平均平方エラーに基づいて通常のように計
算し、次にこれらをしきい値Raと比較する。しきい値
を超える分岐距離は、特定のファクタQ(普通は2つの
累乗)を掛けて、それに係る分岐をジエンファシスする
。Qが充分に大きい場合、デコーダは強制されない限り
(即ち総ての径路がデイエンファシスされない限り)は
、これらの分岐を選択することはない。
れは、以下のようにデコーダ(8状態W e iコード
を復号化するもの)に組入れることができる。まず、4
D分岐距離を平均平方エラーに基づいて通常のように計
算し、次にこれらをしきい値Raと比較する。しきい値
を超える分岐距離は、特定のファクタQ(普通は2つの
累乗)を掛けて、それに係る分岐をジエンファシスする
。Qが充分に大きい場合、デコーダは強制されない限り
(即ち総ての径路がデイエンファシスされない限り)は
、これらの分岐を選択することはない。
そして又、Rgが充分に大きく、充分に大きなQについ
て各状態において少なくとも一つの分岐が可能な場合、
総エネルギーがRAより大きいなら、即ち(ezjt
” + t e!j、11 ”−≦−RAであるなら、
デコーダが、二つの連続する記号e□およびe□。
て各状態において少なくとも一つの分岐が可能な場合、
総エネルギーがRAより大きいなら、即ち(ezjt
” + t e!j、11 ”−≦−RAであるなら、
デコーダが、二つの連続する記号e□およびe□。
を選ぶことは絶対にない。
8 D Wetコー のモー′ムの ′−次
に、四次元16状態Weiコードをコーディング(Cc
で示す)に、また四次元8状態双対Weiコードを整形
(CSで示す)にどのように用いるが、そして2次元に
つき7ビツトをどのように送るかを示す、コードCsは
、ra te ’ / a畳込み17’:J−ダ及び分
割Z’ /2Z4に基づいたものである。
に、四次元16状態Weiコードをコーディング(Cc
で示す)に、また四次元8状態双対Weiコードを整形
(CSで示す)にどのように用いるが、そして2次元に
つき7ビツトをどのように送るかを示す、コードCsは
、ra te ’ / a畳込み17’:J−ダ及び分
割Z’ /2Z4に基づいたものである。
これはタイムゼロ東AO=RD、を有している。
コードCcは、rate3八畳込みへンコーダに基づ(
ものであり、分割2−32’ /2−”Z’を用いるよ
うに位取りされている。これには各四次元毎に、1リダ
ンダントビツトが付加される。なお、旦。
ものであり、分割2−32’ /2−”Z’を用いるよ
うに位取りされている。これには各四次元毎に、1リダ
ンダントビツトが付加される。なお、旦。
のタイムゼロ束RD4の基本領域は、位取りされた東2
4Z4の任意の剰余系から正確に2 ! W 7e+即
ちl 2−’Z’/RD、l =2+sの点を含むもの
である。
4Z4の任意の剰余系から正確に2 ! W 7e+即
ちl 2−’Z’/RD、l =2+sの点を含むもの
である。
第17図のモデム発信器210において、スクランブラ
236は、各(2D)信号間隔毎に、7ビツトをデータ
端末装置(DTE)238から受は取る。
236は、各(2D)信号間隔毎に、7ビツトをデータ
端末装置(DTE)238から受は取る。
スクランブルされたビットは、16(2j)〜l0(2
j)および16 (2j+1)〜10(2j+1)とラ
ベルを付けた14のいわゆるI−ピント242の群とし
て、2つ連続する場合は2jおよび2j+1において、
2進エンコーダ240に送られる。
j)および16 (2j+1)〜10(2j+1)とラ
ベルを付けた14のいわゆるI−ピント242の群とし
て、2つ連続する場合は2jおよび2j+1において、
2進エンコーダ240に送られる。
第18図において、■ビット(2(2j) I 1(2
j)は、整数5hod 4を代表するものとし扱われ、
・4を@od 4加算を表すものとした場合に、10
2(2j)101 (2j) 〜12(2j)It(2
j)の4ID2(2j−2)101(2j−2)の関係
に従って2つの差動的に符号化されたピッ1−ID2
(2j)IDI (2j)を作成するようにコーディン
グ差動エンコーダ244によって差動的に符号化される
。
j)は、整数5hod 4を代表するものとし扱われ、
・4を@od 4加算を表すものとした場合に、10
2(2j)101 (2j) 〜12(2j)It(2
j)の4ID2(2j−2)101(2j−2)の関係
に従って2つの差動的に符号化されたピッ1−ID2
(2j)IDI (2j)を作成するようにコーディン
グ差動エンコーダ244によって差動的に符号化される
。
ビットID! (2j)およびlo(2j)は、リダン
ダントビットYO(2j)を作成するra te−をへ
2進畳込みエンコーダ246に入力される。
ダントビットYO(2j)を作成するra te−をへ
2進畳込みエンコーダ246に入力される。
第19図においてエンコーダ246は、4個のdela
y−2シフトレジスタ248および3個のsod 2
加算器250を有するシーケンス回路を備えている。こ
のエンコーダは、他の回路を用いても実現できる。
y−2シフトレジスタ248および3個のsod 2
加算器250を有するシーケンス回路を備えている。こ
のエンコーダは、他の回路を用いても実現できる。
再び第18図に戻って、ビットID2 (2j)IDI
(2j)10 (2J)およびリダンダントビットYO
(2j)は、以下のテーブルに従って4個の出力ビット
Zl (2j)ZO(2J)Zl (2j+1)ZO
(2j+1)を生成するビット変換器252に入力され
る。
(2j)10 (2J)およびリダンダントビットYO
(2j)は、以下のテーブルに従って4個の出力ビット
Zl (2j)ZO(2J)Zl (2j+1)ZO
(2j+1)を生成するビット変換器252に入力され
る。
これらの出力ビットは、その合併(union)が四次
元格子2−”Z’ + (2−’、2−’、2−’、2
−’)を形成するような24Z4の16の剰余系の一つ
を選択するのに用いられる。そのような剰余系のそれぞ
れは、2次元格子2−12” + (2−’、2−’)
における2−xztの一対の剰余系によって表すことが
できる。これらは、Z’(2j)ZO(2j)およびZ
l (2j+1)ZO(2j+1)によって別個に決定
される。なお、差動エンコーダ244、エンコーダ回路
246およびビット変換器252は、合わせて、第13
図のrate−37m 2進エンコーダGc192を形
成する。
元格子2−”Z’ + (2−’、2−’、2−’、2
−’)を形成するような24Z4の16の剰余系の一つ
を選択するのに用いられる。そのような剰余系のそれぞ
れは、2次元格子2−12” + (2−’、2−’)
における2−xztの一対の剰余系によって表すことが
できる。これらは、Z’(2j)ZO(2j)およびZ
l (2j+1)ZO(2j+1)によって別個に決定
される。なお、差動エンコーダ244、エンコーダ回路
246およびビット変換器252は、合わせて、第13
図のrate−37m 2進エンコーダGc192を形
成する。
残りの1ビツト13(2j)乃至16(2j)は、変喚
されることな(通過し、Z2(2j)乃至Z3(2j)
として再ラベルされ、6細組ZS(2j)・・・Zl
(23) ZO(2j)を形成するために、Zl (2
j)20 (2j)と組合わせられる。同様に、■ビッ
ト+3(2j+1)乃至16(2j+1)は、Zl (
2j+1)Z□(2j + 1)と−緒に6細組Z5(
2j−1−1) ・・・Zl (2j+1)20 (
2J+1)を形成する。
されることな(通過し、Z2(2j)乃至Z3(2j)
として再ラベルされ、6細組ZS(2j)・・・Zl
(23) ZO(2j)を形成するために、Zl (2
j)20 (2j)と組合わせられる。同様に、■ビッ
ト+3(2j+1)乃至16(2j+1)は、Zl (
2j+1)Z□(2j + 1)と−緒に6細組Z5(
2j−1−1) ・・・Zl (2j+1)20 (
2J+1)を形成する。
第20図において、■ビット12 (2j+1)11
(2j+1)IOC2j+1)は、2対のSビットs
l (2j)so (2j)および5l(2j+1)s
o (2j+1)を作成するrate ”/a逆元シ
ンドローム形成器(H−1)T 254に入力される。
(2j+1)IOC2j+1)は、2対のSビットs
l (2j)so (2j)および5l(2j+1)s
o (2j+1)を作成するrate ”/a逆元シ
ンドローム形成器(H−1)T 254に入力される。
前述したように、(H−’戸は、エラー伝播を限定する
ために含まれるものである。
ために含まれるものである。
このようにして生成された16ビツトは、格子2−3Z
” + (2−’、2−’)上に広がる256点からな
る2次元平方信号集合から選ばれた2つの初期信号点r
(2j)およびr(2j+1)にマツプされる。まず、
第21図に示した64点からなる象限1信号配列域から
1信号点を選択するのに、6個&lzビットが用いられ
る。この信号集合は、2−!Z!の剰余系であるところ
の4つの部分集合(262゜264、266、268)
に区分される。これらは第21図においては異なった濃
淡によって示される。各信号点は、ZlおよびZOが第
21図の左下隅に示したラベリングに従って、剰余系の
1つを選択するように、ラベル付けされている。残りの
ビットz5Z4Z3Z2のラベリングは、剰余系262
に対してのみ示されている。他の剰余系についてのラベ
リングは、ある点を象限1信号点の中心(I八、′八)
の周りで90度面回転ると同じラベリングになるという
規則から求めることができる。
” + (2−’、2−’)上に広がる256点からな
る2次元平方信号集合から選ばれた2つの初期信号点r
(2j)およびr(2j+1)にマツプされる。まず、
第21図に示した64点からなる象限1信号配列域から
1信号点を選択するのに、6個&lzビットが用いられ
る。この信号集合は、2−!Z!の剰余系であるところ
の4つの部分集合(262゜264、266、268)
に区分される。これらは第21図においては異なった濃
淡によって示される。各信号点は、ZlおよびZOが第
21図の左下隅に示したラベリングに従って、剰余系の
1つを選択するように、ラベル付けされている。残りの
ビットz5Z4Z3Z2のラベリングは、剰余系262
に対してのみ示されている。他の剰余系についてのラベ
リングは、ある点を象限1信号点の中心(I八、′八)
の周りで90度面回転ると同じラベリングになるという
規則から求めることができる。
We!エンコーダは、象限l上の点の許容できる各列間
の最小距離が大きく保たれることを確実にするものであ
る。
の最小距離が大きく保たれることを確実にするものであ
る。
Sとット5ISOは初期点の最終象限を:5ISO象限
の規則に従って決定する。第22図において、第1象限
272の各信号点は、それらが21の同じ剰余系の中に
留まるように、Sビットによって選ばれた象限に移動さ
せられる。これは、その第11限上の点を、(0,0)
、(0,1)、 (−1,1)または(−1,O)に
よってオフセットすることによって達成される。このこ
とから平行移動された最終点は、第1象限上の点と同じ
2−tztの剰余系にあることがわかる。したがって許
容可能な列間の゛最小距離は変化しない。このようにし
て得られた信号点は初期点列rを形成する。
272の各信号点は、それらが21の同じ剰余系の中に
留まるように、Sビットによって選ばれた象限に移動さ
せられる。これは、その第11限上の点を、(0,0)
、(0,1)、 (−1,1)または(−1,O)に
よってオフセットすることによって達成される。このこ
とから平行移動された最終点は、第1象限上の点と同じ
2−tztの剰余系にあることがわかる。したがって許
容可能な列間の゛最小距離は変化しない。このようにし
て得られた信号点は初期点列rを形成する。
第23図において列rは、デコーダ294によって、送
信列eに変換される。デコーダ294の機能を理解する
ためには、まず整形コードC8を考慮しな(ではいけな
い、このコードにおいて可能な列の総てが、第24図の
トレリス図によって説明される。
信列eに変換される。デコーダ294の機能を理解する
ためには、まず整形コードC8を考慮しな(ではいけな
い、このコードにおいて可能な列の総てが、第24図の
トレリス図によって説明される。
第22図において、2次元束Zlから選ばれたコード記
号を平方によって示し、他のものは重要でないので、9
つの記号だけを示した。これらの記号は、Zlにおける
2Z”の(4つの)剰余系に対応する4つの部分集合に
分割され、第22図の左下隅に示したように、A、B、
CおよびDとラベルがつけられる。
号を平方によって示し、他のものは重要でないので、9
つの記号だけを示した。これらの記号は、Zlにおける
2Z”の(4つの)剰余系に対応する4つの部分集合に
分割され、第22図の左下隅に示したように、A、B、
CおよびDとラベルがつけられる。
第24図において、いずれの状態からも2つの分岐があ
り、各分岐はそれぞれ、2つの2次元剰余系を表してい
る0例えば、状MOはA、 AおよびB、 Bとラベル
された2つの分岐を有している。
り、各分岐はそれぞれ、2つの2次元剰余系を表してい
る0例えば、状MOはA、 AおよびB、 Bとラベル
された2つの分岐を有している。
このような剰余系の各1対は、Z4における2Z’の剰
余系を表す、第23図のデコーダは、Vitsrbiア
ルゴリズムを通して、初期信号点の列rに平方ユークリ
ッド距離の観点から最も近い許容できるコード列Cを決
定する。このデコーダは、2Mを信号間隔の数で測定し
たデコーディング遅延とした場合に、2信号間隔毎(ま
たは反復毎)に、それが2つの遅延された決定c (2
J−2M)およびc (2j+1−2M)を発するよう
に、再帰的かつ同期に動作する。
余系を表す、第23図のデコーダは、Vitsrbiア
ルゴリズムを通して、初期信号点の列rに平方ユークリ
ッド距離の観点から最も近い許容できるコード列Cを決
定する。このデコーダは、2Mを信号間隔の数で測定し
たデコーディング遅延とした場合に、2信号間隔毎(ま
たは反復毎)に、それが2つの遅延された決定c (2
J−2M)およびc (2j+1−2M)を発するよう
に、再帰的かつ同期に動作する。
Viterbiエルゴリズムの演算は、よく知られたも
のである。ここでは、計算されたコード列が実際にC8
からの許容できる列であることを確実にするためにそれ
を多少補強しておく、これは、そうしないと送信列を正
しく回復することができないからである0反復毎におい
て、Viterbiアルゴリズムは、最もそれらしい通
路を判定し、例えばある状MMUから状態Vへの状態遷
移に対応する遅延コード記号を判定するために、それを
2M信号間隔トレースバックする。この補強されたV
1terbtアルゴリズムは、他の通路もトレースバッ
クし、それらも状態Vへ向かう状態遷移に行きつくかど
うかを判定する。この条件を満たさない通路には、極め
て大きな距離が割り当てられる。このことによって、そ
れらが次回の反復において最もそれらしい通路にならな
いことが確実になり、許容可能なコード列のみが選択さ
れることが保証される。
のである。ここでは、計算されたコード列が実際にC8
からの許容できる列であることを確実にするためにそれ
を多少補強しておく、これは、そうしないと送信列を正
しく回復することができないからである0反復毎におい
て、Viterbiアルゴリズムは、最もそれらしい通
路を判定し、例えばある状MMUから状態Vへの状態遷
移に対応する遅延コード記号を判定するために、それを
2M信号間隔トレースバックする。この補強されたV
1terbtアルゴリズムは、他の通路もトレースバッ
クし、それらも状態Vへ向かう状態遷移に行きつくかど
うかを判定する。この条件を満たさない通路には、極め
て大きな距離が割り当てられる。このことによって、そ
れらが次回の反復において最もそれらしい通路にならな
いことが確実になり、許容可能なコード列のみが選択さ
れることが保証される。
この補強されたVAは、配列域制約条件を含むよう′ち
、更に変更することができる。
、更に変更することができる。
第17酢において、エラー列e=r−cは、減算器24
1によって計算され、QAM変調装置243に送られる
。生じる3連続QAM記号の多対は送信フィルター24
5によってろ波され通信路247に送られる。なお、エ
ラー列の要素e(2j)およびe(2j+1)は、Z4
の同じ剰余系に、したがって2−xzaにおける2−2
7,4の同し剰余系に、初期点r(2j)およびr(2
j+1)として存在する。したがって、可能なエラー列
間の最小距離は、初期列間の最小距離と同じであるが、
しかし必要とされる平均電力は前にのべたように減少さ
せられる。また、エラー列の要素は、格子24Z意+(
2−’、2−’)に存在する256点の平方信号集合に
属する。
1によって計算され、QAM変調装置243に送られる
。生じる3連続QAM記号の多対は送信フィルター24
5によってろ波され通信路247に送られる。なお、エ
ラー列の要素e(2j)およびe(2j+1)は、Z4
の同じ剰余系に、したがって2−xzaにおける2−2
7,4の同し剰余系に、初期点r(2j)およびr(2
j+1)として存在する。したがって、可能なエラー列
間の最小距離は、初期列間の最小距離と同じであるが、
しかし必要とされる平均電力は前にのべたように減少さ
せられる。また、エラー列の要素は、格子24Z意+(
2−’、2−’)に存在する256点の平方信号集合に
属する。
第25図の受信器281において、受信信号283は、
等化器277を通って、それからノイズによって汚染さ
れた送信エラーにほぼ対応する受信列2280を得るた
めに復!1i279される。まず、エラー列e′278
の推定値を、16状態We+コードCc用のV 1te
rbiアルゴリズムデコーダ281を用いて求める。こ
のデコーダは勿論よく知られたものであり、送信信号点
を選ぶ256点の配列域の平方境界を計算に入れること
ができる。
等化器277を通って、それからノイズによって汚染さ
れた送信エラーにほぼ対応する受信列2280を得るた
めに復!1i279される。まず、エラー列e′278
の推定値を、16状態We+コードCc用のV 1te
rbiアルゴリズムデコーダ281を用いて求める。こ
のデコーダは勿論よく知られたものであり、送信信号点
を選ぶ256点の配列域の平方境界を計算に入れること
ができる。
e’(2j)およびe’(2j+1)が、反復の後にV
iterbiデコーダによって生成された2つの推定値
であると仮定する。送信1ビツトについての判断は、こ
れらから以下のようにして得ることができる。まず、Z
ビットを得るにはe’(2j)およびe’ (2j+
1)を、それらがZXの同じ剰余系に留まるように、第
1象限に平行移動する。
iterbiデコーダによって生成された2つの推定値
であると仮定する。送信1ビツトについての判断は、こ
れらから以下のようにして得ることができる。まず、Z
ビットを得るにはe’(2j)およびe’ (2j+
1)を、それらがZXの同じ剰余系に留まるように、第
1象限に平行移動する。
そして、2ビツトは第1象限における送元マツピングを
用いて取り出すことができる。
用いて取り出すことができる。
Sビットを求めるには、まず、
象限 5QISQO
に従って、(前と同様に)各象限にラベルをつける。そ
うすると、2つの象限ラベルSQI (2j)SQO(
2j)およびSQL (2j+1)SQQ(2j+1)
が得られる。1=2jまたは2j+1で、・、が非等価
演算を表す場合に、S Q 1 (i)SQO(+>=
31(i)So (i)・、B1(υBO(i)である
ことを示すのは容品である。B 1 (i)B O(t
)は、C8のデコーダによって選ばれた整形コード記号
c (i)について2Z!の二次元剰余系(A=OO,
B=11.C=OLまたはD=10)に対応する2進2
個組を表すものであり、e(+)= r (i) −c
(i)であることを思い出すとよい。
うすると、2つの象限ラベルSQI (2j)SQO(
2j)およびSQL (2j+1)SQQ(2j+1)
が得られる。1=2jまたは2j+1で、・、が非等価
演算を表す場合に、S Q 1 (i)SQO(+>=
31(i)So (i)・、B1(υBO(i)である
ことを示すのは容品である。B 1 (i)B O(t
)は、C8のデコーダによって選ばれた整形コード記号
c (i)について2Z!の二次元剰余系(A=OO,
B=11.C=OLまたはD=10)に対応する2進2
個組を表すものであり、e(+)= r (i) −c
(i)であることを思い出すとよい。
第26図および27図において、ラベル5QI(i)S
Q O(i)は、次にフィードバックフリーのrate
4八シンドローム形成器H”256を通される。このシ
ンドローム形成器は、剰余系ラベルBl(i)B O(
+)の如何なる許容可能な列もその出力において全ゼロ
列を作成するような特性を備えている。
Q O(i)は、次にフィードバックフリーのrate
4八シンドローム形成器H”256を通される。このシ
ンドローム形成器は、剰余系ラベルBl(i)B O(
+)の如何なる許容可能な列もその出力において全ゼロ
列を作成するような特性を備えている。
更に、(H−’)”)l’=夏、一致マトリックスを備
えている。したがって、まず(Fヒ1)7を通り次にH
Tを通る列は、変化を受けない。このため、推定値e’
(i)が正しい限りは、シンドローム形成器の出力機構
において、送信ビット12(2j+1)11 (2j
+1)To (2j+1)を正確に得られる。たまにエ
ラーがある場合には、Hrがフィードバックフリーであ
るから、それらによって破局的なエラー伝播が引き起さ
れることはない。
えている。したがって、まず(Fヒ1)7を通り次にH
Tを通る列は、変化を受けない。このため、推定値e’
(i)が正しい限りは、シンドローム形成器の出力機構
において、送信ビット12(2j+1)11 (2j
+1)To (2j+1)を正確に得られる。たまにエ
ラーがある場合には、Hrがフィードバックフリーであ
るから、それらによって破局的なエラー伝播が引き起さ
れることはない。
再び第26図に戻って、残りの情報ピントは逆光ピント
変換器286およびT2’ (2j)11’(2j)=
ID2’ (2j)IDI’ (2j)o4rD2
’ (2j−2)rD1’ (2j−2)の閏係に
従って動作するコーデヘング差動デコーダ288によっ
て再生される。但し、θ4はモジュロム減算である。第
25図において、■ビットは次にデスクランブラ285
によってデスランプルされて、DTHに送られる。
変換器286およびT2’ (2j)11’(2j)=
ID2’ (2j)IDI’ (2j)o4rD2
’ (2j−2)rD1’ (2j−2)の閏係に
従って動作するコーデヘング差動デコーダ288によっ
て再生される。但し、θ4はモジュロム減算である。第
25図において、■ビットは次にデスクランブラ285
によってデスランプルされて、DTHに送られる。
のための コー−゛ ング
通信路が、k=1.2または3の90に皮相回転を取り
入れたものと仮定する。エラー点の第1象限への変換は
、点C八、 ’/l>の周わりを同量回転することにな
る。Weiコードは90に度の相回転に対して透明であ
るから送信器において用いられたマツピングはZビット
が正確に回復され得ることを保証している。残念ながら
、このことは象限ラベル5QISQOには当てはまらな
い。
入れたものと仮定する。エラー点の第1象限への変換は
、点C八、 ’/l>の周わりを同量回転することにな
る。Weiコードは90に度の相回転に対して透明であ
るから送信器において用いられたマツピングはZビット
が正確に回復され得ることを保証している。残念ながら
、このことは象限ラベル5QISQOには当てはまらな
い。
この事態を改善するために、ラベル列5QISQOを、
第28図に示した位相不変ラベリングにしたがって生成
するこができる。5QISQO=SISO@□BIBO
の関係が依然としてし成り立つことを保証するために、
差動符号化演算が必要である。これは以下のように行わ
れる。第29図において、第1象限のマツピング258
により得られる信号点のそれぞれについて、そのサブク
アドラントラベル5QISQOを第30図にしたがって
サブクアドラント抽出器を用いて抽出する。整形差動エ
ンコーダ308およびオフセット310へのマツプは、
その第1象限の点を2つの新たな点rO(i)とrl(
+)とにオフセットするように、ビット5QISQOお
よび5ISOを利用する。但し、1=2jまたは1−2
j+1であって、それらは7、tの同じ剰余系の中に残
る。このマツピングは以下の2つのテーブルによって説
明される。
第28図に示した位相不変ラベリングにしたがって生成
するこができる。5QISQO=SISO@□BIBO
の関係が依然としてし成り立つことを保証するために、
差動符号化演算が必要である。これは以下のように行わ
れる。第29図において、第1象限のマツピング258
により得られる信号点のそれぞれについて、そのサブク
アドラントラベル5QISQOを第30図にしたがって
サブクアドラント抽出器を用いて抽出する。整形差動エ
ンコーダ308およびオフセット310へのマツプは、
その第1象限の点を2つの新たな点rO(i)とrl(
+)とにオフセットするように、ビット5QISQOお
よび5ISOを利用する。但し、1=2jまたは1−2
j+1であって、それらは7、tの同じ剰余系の中に残
る。このマツピングは以下の2つのテーブルによって説
明される。
DiODil Δ1
0 0 0、O+j0.00
1 0.0−jl、01 0
−1.0+j0.01 1 −1.
0−jl、0Viterbiアルゴリズムにおいて、点
r O(i)は、剰余系AおよびBに対応する分岐に用
いられ、方でr 1 (i)は、剰余系CおよびDに対
応する分岐に用いられる。5QISQOが受信点のサブ
クアドラントラベルである場合に、5QISQO−3I
SO@z BIBOであることを示すことができる。し
たがって、(回転に対して不変の)サブクアドラントラ
ベルをシンドローム形成器H丁を通過させることによっ
て、90に度の位相オフセットがある場合にも、ビット
10 (2j+1)11 (2j+1)および12 (
2j+1)を再生することができる。
1 0.0−jl、01 0
−1.0+j0.01 1 −1.
0−jl、0Viterbiアルゴリズムにおいて、点
r O(i)は、剰余系AおよびBに対応する分岐に用
いられ、方でr 1 (i)は、剰余系CおよびDに対
応する分岐に用いられる。5QISQOが受信点のサブ
クアドラントラベルである場合に、5QISQO−3I
SO@z BIBOであることを示すことができる。し
たがって、(回転に対して不変の)サブクアドラントラ
ベルをシンドローム形成器H丁を通過させることによっ
て、90に度の位相オフセットがある場合にも、ビット
10 (2j+1)11 (2j+1)および12 (
2j+1)を再生することができる。
W e i のコー−゛ ングイン符号化コード
の正規化リダンダンシーは、r(cc)=’八であり、
したがってコーディング配列拡大比はCERc (Cc
)=2’/”−1,414である。整形コードの正規化
情報伝達力は、k(C,)=1八であり、したがって、
整形配列域拡大比はCE Rs(Cs )= 2 ’/
z =1.414である。前に述べたように、シュミレ
ーションが示すところでは、このコードの整形ゲインは
、整形のデャーディングの遅延Mが大きくなると、1.
0dBを超える。
の正規化リダンダンシーは、r(cc)=’八であり、
したがってコーディング配列拡大比はCERc (Cc
)=2’/”−1,414である。整形コードの正規化
情報伝達力は、k(C,)=1八であり、したがって、
整形配列域拡大比はCE Rs(Cs )= 2 ’/
z =1.414である。前に述べたように、シュミレ
ーションが示すところでは、このコードの整形ゲインは
、整形のデャーディングの遅延Mが大きくなると、1.
0dBを超える。
コーディングと整形を組合わせての効果はCERs(旦
、)*CERc(旦。)=2の総配列域拡大比をもたら
す、このコードの名目コーディングゲインは2’/z
(4,52dB)であり、その正規化エラー係数が1
2であるから、その実効コーディングゲインは約4.2
dBである。したがって、コードおよび配列域に由来す
る総合コーディングゲインは約5.2dBである。
、)*CERc(旦。)=2の総配列域拡大比をもたら
す、このコードの名目コーディングゲインは2’/z
(4,52dB)であり、その正規化エラー係数が1
2であるから、その実効コーディングゲインは約4.2
dBである。したがって、コードおよび配列域に由来す
る総合コーディングゲインは約5.2dBである。
レ ス の °インの前述したように
、トレリスコード−C(Δ/八へC)に基づくトレリス
配列の最終配列Cf1nの成分2次配列C2は、以下の
制約条件を満たす。
、トレリスコード−C(Δ/八へC)に基づくトレリス
配列の最終配列Cf1nの成分2次配列C2は、以下の
制約条件を満たす。
(但し、Ztはへの成分2次元束であり、μを分割Δ/
A’の深さとした場合に、RuZ”がΔ′の成分2次元
従属束であると仮定する。)1、C,(7)点は、Z”
(7)従属束R−”−pZ”17)移項から導かれる 2、 R””−pZ”における21の21〃剰余系の
それぞれは、等しい確立2−11−pを有しており、即
ち、結合してこれら剰余系の一つをつくるところのR#
Z!の2μ剰余系における各点の確立の合計は等しい。
A’の深さとした場合に、RuZ”がΔ′の成分2次元
従属束であると仮定する。)1、C,(7)点は、Z”
(7)従属束R−”−pZ”17)移項から導かれる 2、 R””−pZ”における21の21〃剰余系の
それぞれは、等しい確立2−11−pを有しており、即
ち、結合してこれら剰余系の一つをつくるところのR#
Z!の2μ剰余系における各点の確立の合計は等しい。
3、C1の各点は、RlIZtのVoronoiwf域
内(領域2μの平方)に限られる。
内(領域2μの平方)に限られる。
第16図は、最大整形ゲインY、(dB)をμm1.2
.3,4、および無限大のμ(μmoo)について、正
規化された情報伝達力にの関数として示すものである。
.3,4、および無限大のμ(μmoo)について、正
規化された情報伝達力にの関数として示すものである。
CER,=2’であるから、この曲線は又、多様なIに
ついて、トレリス配列域の、整形ゲイン対整形配列拡大
比の限界を示すものである。これら曲線は総てμm(1
)の曲線に沿って(に=0から)始まるが、Voron
oi制約条件が影響するに従って分かれる。しかし、μ
m2においてさえ、1.44dB程度大きさの整形ゲイ
ンが基本的には得られる。(これら曲線は、16 X
16の最終2次元配列域を用いたシュミージョンから得
たものであり、各値は概算で、曲線の上端は境界効果に
よって切り捨てになっている。) k=2次元当たり0.5ビツトとして、整形配列域拡大
比がCE Rs = 2 ’/” =1.4の場合に最
大到達整形ゲインは、究極限界の0.2dB以内の1.
35dBであり、これは2の深さμで達成される。
ついて、トレリス配列域の、整形ゲイン対整形配列拡大
比の限界を示すものである。これら曲線は総てμm(1
)の曲線に沿って(に=0から)始まるが、Voron
oi制約条件が影響するに従って分かれる。しかし、μ
m2においてさえ、1.44dB程度大きさの整形ゲイ
ンが基本的には得られる。(これら曲線は、16 X
16の最終2次元配列域を用いたシュミージョンから得
たものであり、各値は概算で、曲線の上端は境界効果に
よって切り捨てになっている。) k=2次元当たり0.5ビツトとして、整形配列域拡大
比がCE Rs = 2 ’/” =1.4の場合に最
大到達整形ゲインは、究極限界の0.2dB以内の1.
35dBであり、これは2の深さμで達成される。
に=2次元当たり0.25ビツトとして、配列域拡大比
が21八−1,2の場合に、最大到達整形ゲインは1.
12dBであり、これもμm2によって得られるもので
ある。
が21八−1,2の場合に、最大到達整形ゲインは1.
12dBであり、これもμm2によって得られるもので
ある。
これらの曲線は、線状のつまりdepth−2のトレリ
スコードのみを整形の対象にすることが重大な制約では
ないことを示唆している。これらは更に、正規化された
情報伝達力としての例えば双対Wei4Dコードでのに
=+八へ度の小さな値が、パフォーマンスにそれ程影ツ
しないかもしれないことを示唆している。実際、16状
態双対Wei4Dコードを用いて、1.10dBの整形
ゲインが漸次的に得られ、これは、このkについての整
形ゲインの上限から0.25dB以内のものである。こ
の限界は、より小さなkつまり配列域拡大比2にさえも
用いることができることを示唆しており、に=174に
おいてさえ、IdB程度の整形ゲインを達成できるかも
しれない。
スコードのみを整形の対象にすることが重大な制約では
ないことを示唆している。これらは更に、正規化された
情報伝達力としての例えば双対Wei4Dコードでのに
=+八へ度の小さな値が、パフォーマンスにそれ程影ツ
しないかもしれないことを示唆している。実際、16状
態双対Wei4Dコードを用いて、1.10dBの整形
ゲインが漸次的に得られ、これは、このkについての整
形ゲインの上限から0.25dB以内のものである。こ
の限界は、より小さなkつまり配列域拡大比2にさえも
用いることができることを示唆しており、に=174に
おいてさえ、IdB程度の整形ゲインを達成できるかも
しれない。
トレリスコードへの
前節は線形(sod−2) )レリスコードが可能な整
形ゲインの大部分を達成できることを示すものであるが
、次に、本明細の方法が如何に非線形トレリスコード旦
に拡張されるかを簡単に説明する。
形ゲインの大部分を達成できることを示すものであるが
、次に、本明細の方法が如何に非線形トレリスコード旦
に拡張されるかを簡単に説明する。
既知の実用非線形トレリスコードにおいては、エンコー
ダの任意の状態s1について、可能な次の信号点の集合
が、Cのタイムゼロ束A。の剰余系Δ。+a(Sj)で
あるようなタイムゼロ束がある。
ダの任意の状態s1について、可能な次の信号点の集合
が、Cのタイムゼロ束A。の剰余系Δ。+a(Sj)で
あるようなタイムゼロ束がある。
旦の単純基本領域はしたがってまた、旦のタイムゼロ束
へ。の任意の基本領域R6に基づ<C−のだめのハード
判断デコーダによって特定され得る。
へ。の任意の基本領域R6に基づ<C−のだめのハード
判断デコーダによって特定され得る。
時間jおよびRNの任意のr、におけるS4を条件とし
て、このデコーダはe、が−B−0の要素である場合に
、rj ””Cj + eJ となるような特異コード
記号C1をΔ。+a(sj)の中に発見する。
て、このデコーダはe、が−B−0の要素である場合に
、rj ””Cj + eJ となるような特異コード
記号C1をΔ。+a(sj)の中に発見する。
次の状11s7+lはしたがってC5によって決定され
る。このようにして、このハード判断デコーダは、Cが
旦にあり且つeが(fl。>”にある場合に、列空間(
R’ )a′における任意の列rを「−c+eに分解す
る。
る。このようにして、このハード判断デコーダは、Cが
旦にあり且つeが(fl。>”にある場合に、列空間(
R’ )a′における任意の列rを「−c+eに分解す
る。
したがって、(fl。)″はコード−C−の単純基本領
域であるといわれる0列空間(R)”’の全体は重なり
合わない移項式(且。)+Cによっておおわれており、
Cは旦における総てのコード列を通じての範囲である。
域であるといわれる0列空間(R)”’の全体は重なり
合わない移項式(且。)+Cによっておおわれており、
Cは旦における総てのコード列を通じての範囲である。
結果として、eが単純基本領域(且。)″における任意
の列である場合に、合同類(e)を上記デコーダによっ
てeにマツプさた列空間(R’ )″における総てのr
の集合として定義することができる。
の列である場合に、合同類(e)を上記デコーダによっ
てeにマツプさた列空間(R’ )″における総てのr
の集合として定義することができる。
旦が非線形の場合、合同類は一般には代数的群を形成し
ないが、これは、線形トレリスコートqの剰余系またせ
移項式旦+eの概念の妥当な一般化である。
ないが、これは、線形トレリスコートqの剰余系またせ
移項式旦+eの概念の妥当な一般化である。
トレリス整形システムの総合的実行は、第3図およびそ
れに引き続いて示したところである。データ列はまず、
単純基本領域(fl。)′に存在する初期列i(第3図
のr)にマツプされる。旦のデコーダは次に、差の列z
=i−c(第3図のe)が初期列iのものより小さいか
または等しい基数を有するような旦におけるコード列C
を発見する。
れに引き続いて示したところである。データ列はまず、
単純基本領域(fl。)′に存在する初期列i(第3図
のr)にマツプされる。旦のデコーダは次に、差の列z
=i−c(第3図のe)が初期列iのものより小さいか
または等しい基数を有するような旦におけるコード列C
を発見する。
この差の列は送信される。なお、Xは合同類(i)にあ
る、したがって、初期列lを、前述の−g−のタイ−み
−ゼロ束の基本領域且。に基づく旦のためのハード判断
デコーダを用いて、送信列Xから再生することができる
。
る、したがって、初期列lを、前述の−g−のタイ−み
−ゼロ束の基本領域且。に基づく旦のためのハード判断
デコーダを用いて、送信列Xから再生することができる
。
一般に、トレリスコート艷の基本領域を、(且・)′″
)の各eについて、各合同[(e)からの唯一の列を含
む任意の領域として定義することができる。前節の実施
に際して、可能な送信列Xの集合は旦のこのような基本
領域に存在しており、これは、旦のデコーダが(Ro
)”における列であるところの)初期列iを、合同IN
)の送信列Xにツブするからである。旦の最小距離デコ
ーダは、iを合同ff(i)の最小平均累乗の列Xにマ
ツプすることになる。
)の各eについて、各合同[(e)からの唯一の列を含
む任意の領域として定義することができる。前節の実施
に際して、可能な送信列Xの集合は旦のこのような基本
領域に存在しており、これは、旦のデコーダが(Ro
)”における列であるところの)初期列iを、合同IN
)の送信列Xにツブするからである。旦の最小距離デコ
ーダは、iを合同ff(i)の最小平均累乗の列Xにマ
ツプすることになる。
(RQ )”における総てのiについてのこのような列
の集合を、コード旦のVoronoiSJr域として定
義することができる。
の集合を、コード旦のVoronoiSJr域として定
義することができる。
六五l旦y死
もし整形トレリスコードを、成分2D束や従属束Δ2お
よびAz’が六角2D束のA2′の様式であるところの
いわゆる3進または4進束の分割Δ/Δ′に基づいたも
のとした場合には、最終配列G f i *は平方では
なく六角であるところの領域Rv(A!’ )内に限定
される。このような配列域は、より球面に近いという効
果がある。
よびAz’が六角2D束のA2′の様式であるところの
いわゆる3進または4進束の分割Δ/Δ′に基づいたも
のとした場合には、最終配列G f i *は平方では
なく六角であるところの領域Rv(A!’ )内に限定
される。このような配列域は、より球面に近いという効
果がある。
他の実施例は、前記の特許請求の範囲にある。
第1図は、トレリス符号のための符号器のブロック図で
ある。 第2図は、トレリス符号の基本領域の一つから他の基本
領域への写像を示すためのブロック図である。 第3図は、単純基本領域からボロノイ領域への写像及び
ボロノイ領域から単純基本領域への写像を示すブロック
図である。 第4図は、bビットワードから送信シーケンスeへの写
像及び送信シーケンスからbビットワードへの写像を示
すブロック図である。 第5図は、ウンガーベック4状態2D符号を用いる写像
を示すブロック図である。 第5A図は、第5図の写像のラティス分割を示す図であ
る。 第5B図は、第5図に対応するトレリスダイヤグラムを
示す図である。 第6図は、ウンガーベック符号の変形に基づく符号化動
作と結合されたウンガーベック4状態2D写像符号を示
す図である。 第7図は、第6図の系列eのための受信機を示すブロッ
ク図である。 第8図は、符号化と整形とを組合わせた変調システムを
示すブロック図である。 第9図は、ウンガーベック4状態2D)レリスを用いた
符号のための符号器、シンドローム・フォーマ及び右逆
関数を示す図である。 第10図は、霞od−2)レリス符号に基づくトレリス
配置の発生を示すブロック図である。 第11図は、第10図の配置のための受像機を示す図で
ある。 第12図は、符号化及び整形を伴う変調システムの一般
的構成を示すブロック図である。 第13図は、第12図のウェイ符号の実施例を示す図で
ある。 第14図及び第15図は、それぞれ8状態及び16状態
4Dウ工イ符号に関連したマトリックスを示す図である
。 第16図は、トレリス配置の整形利得対正規化情報度を
示すグラフである。 第17図は、モデム送信機回路を示すブロック図である
。 第18図は、第17図の回路の二進符号器を示すブロッ
ク図である。 第19図は、第18図の16状態二進ウェイ畳込み符号
器を示すブロック図である。 第20図は、第18図のシンドローム・フォーマを示す
図である。 第21図は、第18図に対する配置を示す図である。 第22図は、第18図に対する2D配置を示す図である
。 第23図は、整形符号に対する符号器の動作を示すブロ
ック図である。 第24図は、8状態二重ウェイ符号に対するトレリスダ
イヤグラムを示す図である。 第25図は、モデム受信機回路を示すブロック図である
。 第26図は、第25回の二進復号器を示すブロック図で
ある。 第27図は、第26図のシンドローム・フォーマを示す
ブロック図である。 第28図は、象限分割を示す図である。 第29図は、第18図の配置形成器を示すブロック図で
ある。 第30図は、象限ラベリング手法を示す図である。 図面の浄!(内容に変更なし) (外4名) FIG。2 FIG、 4 o Oo 。 oo o。 ゛・・°・Q!T、2 oo o。 FIG、 5B FIG、 9 FIG、 10 ロ 8 − FIG、 13 −E現41L#l@潰 2m倫号δ、誰 FIG、22 ノ 施 FIG、 19 升 FIG、28
ある。 第2図は、トレリス符号の基本領域の一つから他の基本
領域への写像を示すためのブロック図である。 第3図は、単純基本領域からボロノイ領域への写像及び
ボロノイ領域から単純基本領域への写像を示すブロック
図である。 第4図は、bビットワードから送信シーケンスeへの写
像及び送信シーケンスからbビットワードへの写像を示
すブロック図である。 第5図は、ウンガーベック4状態2D符号を用いる写像
を示すブロック図である。 第5A図は、第5図の写像のラティス分割を示す図であ
る。 第5B図は、第5図に対応するトレリスダイヤグラムを
示す図である。 第6図は、ウンガーベック符号の変形に基づく符号化動
作と結合されたウンガーベック4状態2D写像符号を示
す図である。 第7図は、第6図の系列eのための受信機を示すブロッ
ク図である。 第8図は、符号化と整形とを組合わせた変調システムを
示すブロック図である。 第9図は、ウンガーベック4状態2D)レリスを用いた
符号のための符号器、シンドローム・フォーマ及び右逆
関数を示す図である。 第10図は、霞od−2)レリス符号に基づくトレリス
配置の発生を示すブロック図である。 第11図は、第10図の配置のための受像機を示す図で
ある。 第12図は、符号化及び整形を伴う変調システムの一般
的構成を示すブロック図である。 第13図は、第12図のウェイ符号の実施例を示す図で
ある。 第14図及び第15図は、それぞれ8状態及び16状態
4Dウ工イ符号に関連したマトリックスを示す図である
。 第16図は、トレリス配置の整形利得対正規化情報度を
示すグラフである。 第17図は、モデム送信機回路を示すブロック図である
。 第18図は、第17図の回路の二進符号器を示すブロッ
ク図である。 第19図は、第18図の16状態二進ウェイ畳込み符号
器を示すブロック図である。 第20図は、第18図のシンドローム・フォーマを示す
図である。 第21図は、第18図に対する配置を示す図である。 第22図は、第18図に対する2D配置を示す図である
。 第23図は、整形符号に対する符号器の動作を示すブロ
ック図である。 第24図は、8状態二重ウェイ符号に対するトレリスダ
イヤグラムを示す図である。 第25図は、モデム受信機回路を示すブロック図である
。 第26図は、第25回の二進復号器を示すブロック図で
ある。 第27図は、第26図のシンドローム・フォーマを示す
ブロック図である。 第28図は、象限分割を示す図である。 第29図は、第18図の配置形成器を示すブロック図で
ある。 第30図は、象限ラベリング手法を示す図である。 図面の浄!(内容に変更なし) (外4名) FIG。2 FIG、 4 o Oo 。 oo o。 ゛・・°・Q!T、2 oo o。 FIG、 5B FIG、 9 FIG、 10 ロ 8 − FIG、 13 −E現41L#l@潰 2m倫号δ、誰 FIG、22 ノ 施 FIG、 19 升 FIG、28
Claims (1)
- 【特許請求の範囲】 1、デジタルデータ列をデータ伝送のために信号点系列
へ写像するための方法において、 前記デジタルデータ列に基づいて、全ての可能な信号点
系列のサブセットから前記信号点系列を選択し、前記サ
ブセットにおける全ての前記可能な信号点系列がトレリ
ス符号の基本領域に存在し、前記基本領域が有限次元領
域の単純デカルト積以外のものである方法。 2、前記可能な信号点系列が、トレリス型又はラティス
型の第2の符号のトランスレートからの符号系列である
請求項1記載の方法。 3、前記基本領域が前記トレリス符号のボロノイ領域を
ほゞ含む請求項1記載の方法。 4、前記基本領域が、トレリス符号用復号器によって前
記トレリス符号のゼロ系列へ複号される前記可能な信号
点系列のセットを含む請求項1記載の方法。 5、前記基本領域が、トレリス符号用の最少距離複号器
との近似によって前記トレリス符号のゼロ系列へ複号さ
れる前記可能な信号点系列のセットを含む請求項4記載
の方法。 6、前記基本領域が、遅延M(ただし、Mは1に等しい
か大きい)を伴う最小距離複号器によって前記トレリス
符号のゼロ系列へ複号される前記可能な信号点系列のセ
ットを含む請求項5記載の方法。 7、前記基本領域が、前記トレリス符号用のフェアな消
耗形複号器によって共通誤り領域へ複号される前記可能
な信号点系列のセットを含む請求項4記載の方法。 8、前記の選択することが、 前記デジタルデータ列をし、前記トレリス符号の一致ク
ラスに所属し且つ該一致クラスを表わす初期信号点系列
へ写像する段階と、 前記一致クラスに所属し且つ前記初期信号点系列を上回
らない平均電力を持つ信号点系列を選択する段階と を含む請求項1記載の方法。 9、前記の写像する段階が、前記デジタルデータ列を、
前記トレリス符号の時間ゼロ・ラティスの基本領域内に
存在する点を含む初期配置に所属する一連の信号点へ写
像する段階を含む請求項8記載の方法。 10、前記の写像する段階が、前記デジタルデータ列の
要素の一部を、コセット代表系列を表わす多数のデジタ
ル要素を形成するためのコセット代表発生器に適用する
段階を含む請求項8記載の方法。 11、前記コセット代表発生器が、前記デジタルデータ
列の要素の一部と前記符号に対するシンドローム形成器
マトリクスH^Tの逆であるコセット代表発生器マトリ
クス(H^−^1)^Tとの乗算を含む請求項8記載の
方法。 12、前記デジタルデータ列を前記信号点系列の雑音汚
染されることのある変形から再生する段階と、前記信号
系列を評価されたデジタル要素の系列へ複号する段階と
、フィードバックフリーのシンドローム形成器H^Tを
用いて前記の評価されたデジタル要素の一部に基づいて
一層少数のデジタル要素のシンドロームを形成する段階
とを更らに含む請求項11記載の方法。 13、デジタルデータ列を送出されるべき信号点の系列
へ写像する方法において、 時間jまでに前記デジタルデータ列に現われるデジタル
データに基づいて、送出されるべき前記系列が選択され
る可能な系列のクラスを決定する段階と、 時間j後に前記系列に現われるデジタルデータに基づい
て、送出されるべき前記系列を前記可能な系列のクラス
から各時間j毎に選択する段階と を備える方法。 14、前記デジタルデータ列が一連のデータ要素を含み
、前記可能な系列のクラスを決定する段階が、それぞれ
の要素を初期配置における点へ写像する段階を含む請求
項13記載の方法。 15、前記一連のデータ要素が写像される前記初期配置
における前記点の系列が、前記可能な系列のクラスの代
表系列を含む請求項14記載の方法。 16、各要素の写像操作が任意の他の要素の写像操作と
は独立になされる請求項14記載の方法。 17、各要素が2進値であり、前記初期配置が2^b個
の点(但し、bは前記系列の各要素のビット数である)
を含む請求項14記載の方法。 18、前記初期配置がラティス又はそのトランスレート
の一部を含む請求項14記載の方法。 19、前記一部が前記ラティスのサブラティスの基本領
域を含む請求項18記載の方法。 20、前記部分束がトレリス符号の時間ゼロラティスで
ある請求項19記載の方法。 21、送出されるべき系列を選択する前記段階が、トレ
リス符号用復号器によって前記初期配置における点の前
記系列の複号処理を含む請求項14記載の方法。 22、前記基本領域が前記復号器の共通誤り領域を含み
、前記の復号処理が前記初期配置の前記点の系列を前記
共通誤り領域内の誤り系列へ復号することを含む請求項
21記載の方法。 23、前記共通誤り領域内の前記系列が、前記初期配置
よりも多い点を持つ最終配置を含む信号点を含む請求項
22記載の方法。 24、前記代表点が前記符号用の最小距離復号器によっ
て復号される請求項21記載の方法。 25、前記最小距離復号器が遅延M(≧1)を復号する
請求項24記載の方法。 26、送出されるべく選択された信号点の系列からなる
受信系列から、請求項2又は14記載の方法に従って、
デジタルデータ列を再生する方法であって、 送信される信号点の系列を復号して、初期配置の点の系
列を再生する段階と、 初期配置の点の系列を逆写像して、前記デジタルデータ
列を再生する段階と を含む方法。 27、送出される信号点の系列を復号する前記段階が、
時間jまでのみの前記信号点に基づいて時間jに行われ
る請求項26記載の方法。 28、前記トレリス符号が線形トレリス符号である請求
項1、20又は21記載の方法。 29、前記トレリス符号が非線形トレリス符号である請
求項1、20又は21記載の方法。 30、前記線形トレリス符号が4状態ウンガーベック符
号である請求項28記載の方法。 31、前記線形トレリス符号が二重ウェイ符号である請
求項28記載の方法。 32、前記トレリス符号が二進ラティスの分割に基づい
ている請求項1、20又は21記載の方法。 33、前記トレリス符号が三進又は四進ラティスの分割
に基づいている請求項1、20又は21記載の方法。 34、初期配置の点へのデータ要素の写像操作が線形で
ある又は距離不変性である請求項8又は14記載の方法
。 35、送出されるべき信号点の系列へデジタルデータ列
を写像する方法において、 前記デジタルデータによって特定される可能な系列のク
ラスから、送出されるべき信号点の系列を選択し、該選
択が前記クラスの異なる可能な系列の平均電力に基づい
ており、前記選択が前記デジタルデータの有限ブロック
のみには基づかない方法。 36、データ伝送のためにデジタルデータ列を信号点系
列へ写像するための装置において、 前記デジタルデータ列に基づいて、全ての可能な信号点
系列のサブセットから前記信号点系列を選択する系列選
択器を具備し、前記サブセットにおける全ての前記可能
な信号点系列がトレリス符号の基本領域に存在し、前記
基本領域が有限次元領域の単純デカルト積以外のもので
ある装置。 37、送出されるべき信号点系列へデジタルデータ列を
写像するための装置において、 時間jまでに前記デジタルデータ列に現われるデジタル
データに基づいて、送出されるべき前記系列を選択する
可能な系列のクラスを決定するための写像器と、 時間j後に前記系列に現われるデジタルデータに基づい
て、送出されるべき前記系列を各時間j毎に前記可能な
系列のクラスから選択するための系列選択器と を具備する装置。 38、前記信号点系列を選択する前記段階が、前記信号
点系列のピーク電力を減少するように更らに制限され、
該ピーク電力が次元数Nの前記信号点系列の最大エネル
ギを表わす請求項1、13又は35記載の方法。 39、N=2である請求項38記載の方法。 40、N=4である請求項38記載の方法。 41、前記系列における信号点が2D配置に属し、前記
信号点系列を選択する前記段階が、前記系列の信号点が
前記2D配置の原点の半径Rc内に通常存在するように
規制される請求項1記載の方法。 42、前記一致クラスに所属する信号点系列を選択する
前記段階が、前記信号点系列のピーク電力を減らすよう
に更らに規制され、該ピーク電力が次元数Nの前記信号
点系列の最大エネルギを表す請求項8記載の方法。 43、N=2である請求項42記載の方法。 44、N=4である請求項42記載の方法。 45、前記一致クラスに所属する信号点系列を選択する
前記段階が、2D配置に属する信号点を含む最終信号点
系列へ前記初期信号点系列を復号する段階を含み、該復
号する段階が、前記配置の原点から所定の半径Rcを上
回らない大きさを信号点が通常有する最終信号点系列の
みが用いられるように規制される請求項8記載の方法。 46、前記一致クラスに所属する信号点系列を選択する
前記段階が、 ビテルビアルゴリズムを用いて前記初期信号点系列を符
号系列へ復号する段階と、 前記符号系列が前記第2の符号における許容される系列
であることを確かめる操作をビテルビアルゴリズムの反
復毎に行う段階と を含む請求項2記載の方法。 47、前記操作が、前記ビテルビアルゴリズムのトレリ
スにおける選択された履歴径路の距離を、該選択された
径路がビテルビアルゴリズムの次の反復における最も起
りうる径路とならないように調節する段階を含む請求項
46記載の方法。 48、前記履歴径路が、ビテルビアルゴリズムのトレリ
スにおける特定の場所での特定の状態遷移を含むかどう
かに基づいて選択される請求項47記載の方法。 49、前記操作が、大きな距離を前記トレリスの選択さ
れた履歴径路に割当てる段階を含む請求項47記載の方
法。 50、前記デジタルデータ列を前記信号点系列へ写像す
る段階が、所定の位相回転の一つを受けた前記信号点系
列のチャンネルで影響された変形から前記デジタルデー
タ列を再生することを保証するようになされている請求
項1、13又は35記載の方法。 51、初期配置に所属する信号点の系列へ前記デジタル
列を写像する前記段階が、該初期配置から信号点を選択
するために前記データ列の前記データ要素をビット群へ
変換する段階を含み、該ビット群が、90度の1倍、2
倍または3倍の位相回転を受けた前記の送出される系列
のチャンネルで影響された変形から再生されることを保
証するようになされている請求項9記載の方法。 52、チャンネルを介してデジタルデータ列を送受信す
るためのモデムにおいて、 送出されるべき信号点の系列へ前記デジタルデータ列を
写像するための手段であって、前記デジタルデータ列に
基づいて全ての可能な信号点系列のサブセットから前記
信号点系列を選択するための系列選択器を含み、前記サ
ブセットにおける全ての前記可能な信号点系列がトレリ
ス符号の基本領域に存在し、前記基本領域が有限次元領
域の単純デカルト積以外のものである手段と、 前記チャンネルを介して前記系列の前記信号点を送出す
るための変調器と、 前記チャンネルから前記信号点系列のチャンネルで影響
を受けた可能性のある変形を受信するための復調器と、 前記信号点系列のチャンネルで影響を受けた可能性のあ
る変形からデジタルデータ列を再生するための手段と を具備するモデム。
Applications Claiming Priority (2)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US31225489A | 1989-02-16 | 1989-02-16 | |
| US312254 | 1989-02-16 |
Publications (1)
| Publication Number | Publication Date |
|---|---|
| JPH02246448A true JPH02246448A (ja) | 1990-10-02 |
Family
ID=23210589
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| JP2035988A Pending JPH02246448A (ja) | 1989-02-16 | 1990-02-16 | 変調システム |
Country Status (6)
| Country | Link |
|---|---|
| EP (1) | EP0383632B1 (ja) |
| JP (1) | JPH02246448A (ja) |
| AT (1) | ATE181627T1 (ja) |
| AU (1) | AU630417B2 (ja) |
| CA (1) | CA2010117C (ja) |
| DE (1) | DE69033173T2 (ja) |
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05327787A (ja) * | 1991-07-26 | 1993-12-10 | General Instr Corp | トレリス符号化qamを使用したディジタルデータ 通信方法および装置 |
Families Citing this family (12)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CA2106844C (en) * | 1991-03-28 | 1998-12-01 | John David Brownlie | Tcm scheme with fractional bit rates, framing signals and constellation shaping |
| EP0577670A1 (en) * | 1991-03-28 | 1994-01-12 | BRITISH TELECOMMUNICATIONS public limited company | Frame synchronisation for qam |
| US5388124A (en) * | 1992-06-12 | 1995-02-07 | University Of Maryland | Precoding scheme for transmitting data using optimally-shaped constellations over intersymbol-interference channels |
| IT1259012B (it) * | 1992-07-27 | 1996-03-11 | Alcatel Italia | Metodo e circuiti per la riduzione della potenza di picco del segnale filtrato trasmesso in un collegamento di tipo numerico |
| CA2147087A1 (en) * | 1995-04-13 | 1996-10-14 | Guy Begin | Method and apparatus for correcting and decoding a sequence of branches representing encoded data bits into estimated information bits |
| ES2196221T3 (es) * | 1997-08-05 | 2003-12-16 | Sony Int Europe Gmbh | Circuito para deshacer la correlacion de qam. |
| FR2767940A1 (fr) * | 1997-08-29 | 1999-02-26 | Canon Kk | Procedes et dispositifs de codage et de decodage et appareils les mettant en oeuvre |
| EP1129554B1 (en) * | 1998-11-14 | 2004-02-04 | STMicroelectronics Asia Pacific Pte Ltd. | Methods of efficient implementation of trellis based spectral shaping with lookahead |
| US6452978B1 (en) * | 1999-02-11 | 2002-09-17 | Tioga Technologies Inc. | Combined shaping and peak-to-average reduction for single carrier modulation systems |
| US7082170B2 (en) | 2001-12-28 | 2006-07-25 | Texas Instruments Incorporated | Spectral power management for constrained transmissions using constellation shaping |
| EP1324559B1 (en) * | 2001-12-28 | 2007-03-14 | Texas Instruments Incorporated | Spectral Power Management for Constrained Transmissions Using Constellation Shaping |
| GB2504356B (en) * | 2012-07-27 | 2015-02-25 | Thales Holdings Uk Plc | Detection of anomalous behaviour in computer network activity |
Family Cites Families (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4520490A (en) * | 1983-08-05 | 1985-05-28 | At&T Information Systems Inc. | Differentially nonlinear convolutional channel coding with expanded set of signalling alphabets |
| GB8628655D0 (en) * | 1986-12-01 | 1987-01-07 | British Telecomm | Data coding |
| CA2012914C (en) * | 1989-05-12 | 1999-05-04 | Vedat M. Eyuboglu | Trellis precoding for modulation systems |
-
1990
- 1990-02-14 AU AU49730/90A patent/AU630417B2/en not_active Ceased
- 1990-02-15 CA CA002010117A patent/CA2010117C/en not_active Expired - Lifetime
- 1990-02-16 DE DE69033173T patent/DE69033173T2/de not_active Expired - Lifetime
- 1990-02-16 AT AT90301729T patent/ATE181627T1/de not_active IP Right Cessation
- 1990-02-16 EP EP90301729A patent/EP0383632B1/en not_active Expired - Lifetime
- 1990-02-16 JP JP2035988A patent/JPH02246448A/ja active Pending
Cited By (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| JPH05327787A (ja) * | 1991-07-26 | 1993-12-10 | General Instr Corp | トレリス符号化qamを使用したディジタルデータ 通信方法および装置 |
Also Published As
| Publication number | Publication date |
|---|---|
| AU4973090A (en) | 1990-08-23 |
| EP0383632B1 (en) | 1999-06-23 |
| CA2010117A1 (en) | 1990-08-16 |
| DE69033173T2 (de) | 2000-01-20 |
| EP0383632A2 (en) | 1990-08-22 |
| CA2010117C (en) | 1999-06-15 |
| AU630417B2 (en) | 1992-10-29 |
| ATE181627T1 (de) | 1999-07-15 |
| EP0383632A3 (en) | 1992-07-01 |
| DE69033173D1 (de) | 1999-07-29 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US5150381A (en) | Trellis shaping for modulation systems | |
| CN100375394C (zh) | 通过组合陪集和强编码陪集标识符实现正交幅度调制的系统和方法 | |
| US5548615A (en) | Methods and apparatus for rotationally invariant multilevel coding | |
| Honary et al. | Trellis decoding of block codes: A practical approach | |
| Calderbank | Multilevel codes and multistage decoding | |
| Viterbo et al. | A universal lattice code decoder for fading channels | |
| US6950461B2 (en) | Modems utilizing low density parity check codes | |
| JP3451221B2 (ja) | 誤り訂正符号化装置、方法及び媒体、並びに誤り訂正符号復号装置、方法及び媒体 | |
| JPH02246448A (ja) | 変調システム | |
| US20180026725A1 (en) | Low-complexity constellation shaping | |
| US6504877B1 (en) | Successively refinable Trellis-Based Scalar Vector quantizers | |
| JPS61248645A (ja) | 多次元回旋コード化通信システム | |
| CN102122966A (zh) | 基于信道极化的交错结构重复码的编码器及其编译码方法 | |
| CA2348700A1 (en) | High-performance error-correcting codes with skew mapping | |
| JPH0356500B2 (ja) | ||
| Calderbank et al. | An eight-dimensional trellis code | |
| Chen et al. | A low complexity PTS technique using minimal trellis in OFDM systems | |
| CN110061803B (zh) | 一种低复杂度的极化码比特交织编码调制方法 | |
| CN110336639A (zh) | 一种基于容量分布的极化码多层编码调制方法及应用 | |
| Fekri et al. | Block error correcting codes using finite-field wavelet transforms | |
| CN102244553A (zh) | 一种非归零Turbo码编码参数的盲识别方法 | |
| Liu et al. | Semi-compressed CRYSTALS-kyber | |
| Marcellin | Trellis coded quantization: An efficient technique for data compression | |
| Tang et al. | Content-aware quantization index modulation for physical layer steganography | |
| TW202344015A (zh) | 使用基於晶格之信號星座進行信號調變之方法及設備 |