(58)【調査した分野】(Int.Cl.,DB名)
【発明を実施するための形態】
【0019】
以下、本発明の実施の形態について、図面を参照して詳細に説明する。
【0020】
(実施の形態1)
先ず、本実施の形態では、良好な特性を有するLDPC−CCについて説明する。
【0021】
(良好な特性を有するLDPC−CC)
以下に、特性が良好な時変周期gのLDPC−CCについて説明する。
【0022】
先ず、特性が良好な時変周期4のLDPC−CCについて説明する。なお、以下では、符号化率1/2の場合を例に説明する。
【0023】
時変周期を4とするLDPC−CCのパリティ検査多項式として、式(1−1)〜(1−4)を考える。このとき、X(D)はデータ(情報)の多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(1−1)〜(1−4)では、X(D)、P(D)それぞれに4つの項が存在するようなパリティ検査多項式としたが、これは、良好な受信品質を得る上で、4つの項とすると好適であるからである。
【数1】
【0024】
式(1−1)において、a1、a2、a3、a4は整数(ただし、a1≠a2≠a3≠a4であり、a1からa4の全てが異なる)とする。なお、以降、「X≠Y≠・・・≠Z」と標記する場合、X、Y、・・・、Zは互いに、全て異なることをあらわすものとする。また、b1、b2、b3、b4は整数(ただし、b1≠b2≠b3≠b4)とする。式(1−1)のパリティ検査多項式を「検査式#1」と呼び、式(1−1)のパリティ検査多項式に基づくサブ行列を、第1サブ行列H
1とする。
【0025】
また、式(1−2)において、A1、A2、A3、A4は整数(ただし、A1≠A2≠A3≠A4)とする。また、B1、B2、B3、B4は整数(ただし、B1≠B2≠B3≠B4)とする。式(1−2)のパリティ検査多項式を「検査式#2」と呼び、式(1−2)のパリティ検査多項式に基づくサブ行列を、第2サブ行列H
2とする。
【0026】
また、式(1−3)において、α1、α2、α3、α4は整数(ただし、α1≠α2≠α3≠α4)とする。また、β1、β2、β3、β4は整数(ただし、β1≠β2≠β3≠β4)とする。式(1−3)のパリティ検査多項式を「検査式#3」と呼び、式(1−3)のパリティ検査多項式に基づくサブ行列を、第3サブ行列H
3とする。
【0027】
また、式(1−4)において、E1、E2、E3、E4は整数(ただし、E1≠E2≠E3≠E4)とする。また、F1、F2、F3、F4は整数(ただし、F1≠F2≠F3≠F4)とする。式(1−4)のパリティ検査多項式を「検査式#4」と呼び、式(1−4)のパリティ検査多項式に基づくサブ行列を、第4サブ行列H
4とする。
【0028】
そして、第1サブ行列H
1、第2サブ行列H
2、第3サブ行列H
3、第4サブ行列H
4から、
図3のように検査行列を生成した時変周期4のLDPC―CCについて考える。
【0029】
このとき、式(1−1)〜(1−4)において、X(D)及びP(D)の次数の組み合わせ(a1、a2、a3、a4)、(b1、b2、b3、b4)、(A1、A2、A3、A4)、(B1、B2、B3、B4)、(α1、α2、α3、α4)、(β1、β2、β3、β4)、(E1、E2、E3、E4)、(F1、F2、F3、F4)の各値を4で除算した余りをkとした場合、上記のようにあらわした4つの係数セット(例えば、(a1、a2、a3、a4))に、余り0、1、2、3が1つずつ含まれるようにし、かつ、上記の4つの係数セット全てで成立するようにする。
【0030】
例えば、「検査式#1」のX(D)の各次数(a1、a2、a3、a4)を(a1、a2、a3、a4)=(8,7,6,5)とすると、各次数(a1、a2、a3、a4)を4で除算した余りkは、(0,3,2,1)となり、4つの係数セットに、余り(k)0、1、2、3が1つずつ含まれるようになる。同様に、「検査式#1」のP(D)の各次数(b1、b2、b3、b4)を(b1、b2、b3、b4)=(4,3,2,1)とすると、各次数(b1、b2、b3、b4)を4で除算した余りkは、(0,3,2,1)となり、4つの係数セットに、余り(k)として、0、1、2、3が1つずつ含まれるようになる。他の検査式(「検査式#2」、「検査式#3」、「検査式#4」)のX(D)及びP(D)それぞれの4つの係数セットについても上記の「余り」に関する条件が成立するものとする。
【0031】
このようにすることで、式(1−1)〜(1−4)から構成される検査行列Hの列重みが全ての列において4となる、レギュラーLDPC符号を形成することができるようになる。ここで、レギュラーLDPC符号とは、各列重みが一定とされた検査行列により定義されるLDPC符号であり、特性が安定し、エラーフロアが出にくいという特徴がある。特に、列重みが4の場合、特性が良好であることから、上記のようにしてLDPC−CCを生成することにより、受信性能が良いLDPC−CCを得ることができるようになる。
【0032】
なお、表1は、上記「余り」に関する条件が成り立つ、時変周期4、符号化率1/2のLDPC−CCの例(LDPC−CC#1〜#3)である。表1において、時変周期4のLDPC−CCは、「検査多項式#1」、「検査多項式#2」、「検査多項式#3」、「検査多項式#4」の4つのパリティ検査多項式により定義される。
【表1】
【0033】
上記では、符号化率1/2の時を例に説明したが、符号化率が(n−1)/nのときについても、情報X1(D)、X2(D)、・・・Xn−1(D)におけるそれぞれの4つの係数セットにおいて、上記の「余り」に関する条件が成立すれば、やはり、レギュラーLDPC符号となり、良好な受信品質を得ることができる。
【0034】
なお、時変周期2の場合においても、上記「余り」に関する条件を適用すると、特性が良好な符号を探索できることが確認された。以下、特性が良好な時変周期2のLDPC−CCについて説明する。なお、以下では、符号化率1/2の場合を例に説明する。
【0035】
時変周期を2とするLDPC−CCのパリティ検査多項式として、式(2−1)、(2−2)を考える。このとき、X(D)はデータ(情報)の多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(2−1)、(2−2)では、X(D)、P(D)それぞれに4つの項が存在するようなパリティ検査多項式としたが、これは、良好な受信品質を得る上で、4つの項とすると好適であるからである。
【数2】
【0036】
式(2−1)において、a1、a2、a3、a4は整数(ただし、a1≠a2≠a3≠a4)とする。また、b1、b2、b3、b4は整数(ただし、b1≠b2≠b3≠b4)とする。式(2−1)のパリティ検査多項式を「検査式#1」と呼び、式(2−1)のパリティ検査多項式に基づくサブ行列を、第1サブ行列H
1とする。
【0037】
また、式(2−2)において、A1、A2、A3、A4は整数(ただし、A1≠A2≠A3≠A4)とする。また、B1、B2、B3、B4は整数(ただし、B1≠B2≠B3≠B4)とする。式(2−2)のパリティ検査多項式を「検査式#2」と呼び、式(2−2)のパリティ検査多項式に基づくサブ行列を、第2サブ行列H
2とする。
【0038】
そして、第1サブ行列H
1及び第2サブ行列H
2から生成する時変周期2のLDPC―CCについて考える。
【0039】
このとき、式(2−1)、(2−2)において、X(D)及びP(D)の次数の組み合わせ(a1、a2、a3、a4)、(b1、b2、b3、b4)、(A1、A2、A3、A4)、(B1、B2、B3、B4)の各値を4で除算した余りをkとした場合、上記のようにあらわした4つの係数セット(例えば、(a1、a2、a3、a4))に、余り0、1、2、3が1つずつ含まれるようにし、かつ、上記の4つの係数セット全てで成立するようにする。
【0040】
例えば、「検査式#1」のX(D)の各次数(a1、a2、a3、a4)を(a1、a2、a3、a4)=(8,7,6,5)とすると、各次数(a1、a2、a3、a4)を4で除算した余りkは、(0,3,2,1)となり、4つの係数セットに、余り(k)0、1、2、3が1つずつ含まれるようになる。同様に、「検査式#1」のP(D)の各次数(b1、b2、b3、b4)を(b1、b2、b3、b4)=(4,3,2,1)とすると、各次数(b1、b2、b3、b4)を4で除算した余りkは、(0,3,2,1)となり、4つの係数セットに、余り(k)として、0、1、2、3が1つずつ含まれるようになる。「検査式#2」のX(D)及びP(D)それぞれの4つの係数セットについても上記の「余り」に関する条件が成立するものとする。
【0041】
このようにすることで、式(2−1)、(2−2)から構成される検査行列Hの列重みが全ての列において4となる、レギュラーLDPC符号を形成することができるようになる。ここで、レギュラーLDPC符号とは、各列重みが一定とされた検査行列により定義されるLDPC符号であり、特性が安定し、エラーフロアが出にくいという特徴がある。特に、行重みが8の場合、特性が良好であることから、上記のようにしてLDPC−CCを生成することにより、受信性能を更に向上することができるLDPC−CCを得ることができるようになる。
【0042】
なお、表2に、上記「余り」に関する条件が成り立つ、時変周期2、符号化率1/2のLDPC−CCの例(LDPC−CC#1、#2)を示す。表2において、時変周期2のLDPC−CCは、「検査多項式#1」、「検査多項式#2」の2つのパリティ検査多項式により定義される。
【表2】
【0043】
上記では(時変周期2のLDPC−CC)、符号化率1/2の時を例に説明したが、符号化率が(n−1)/nのときについても、情報X1(D)、X2(D)、・・・Xn−1(D)におけるそれぞれの4つの係数セットにおいて、上記の「余り」に関する条件が成立すれば、やはり、レギュラーLDPC符号となり、良好な受信品質を得ることができる。
【0044】
また、時変周期3の場合においても、「余り」に関する以下の条件を適用すると、特性が良好な符号を探索できることが確認された。以下、特性が良好な時変周期3のLDPC−CCについて説明する。なお、以下では、符号化率1/2の場合を例に説明する。
【0045】
時変周期を3とするLDPC−CCのパリティ検査多項式として、式(3−1)〜(3−3)を考える。このとき、X(D)はデータ(情報)の多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(3−1)〜(3−3)では、X(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。
【数3】
【0046】
式(3−1)において、a1、a2、a3は整数(ただし、a1≠a2≠a3)とする。また、b1、b2、b3は整数(ただし、b1≠b2≠b3)とする。式(3−1)のパリティ検査多項式を「検査式#1」と呼び、式(3−1)のパリティ検査多項式に基づくサブ行列を、第1サブ行列H
1とする。
【0047】
また、式(3−2)において、A1、A2、A3は整数(ただし、A1≠A2≠A3)とする。また、B1、B2、B3は整数(ただし、B1≠B2≠B3)とする。式(3−2)のパリティ検査多項式を「検査式#2」と呼び、式(3−2)のパリティ検査多項式に基づくサブ行列を、第2サブ行列H
2とする。
【0048】
また、式(3−3)において、α1、α2、α3は整数(ただし、α1≠α2≠α3)とする。また、β1、β2、β3は整数(ただし、β1≠β2≠β3)とする。式(3−3)のパリティ検査多項式を「検査式#3」と呼び、式(3−3)のパリティ検査多項式に基づくサブ行列を、第3サブ行列H
3とする。
【0049】
そして、第1サブ行列H
1、第2サブ行列H
2、第3サブ行列H
3から生成する時変周期3のLDPC―CCについて考える。
【0050】
このとき、式(3−1)〜(3−3)において、X(D)及びP(D)の次数の組み合わせ(a1、a2、a3)、(b1、b2、b3)、(A1、A2、A3)、(B1、B2、B3)、(α1、α2、α3)、(β1、β2、β3)の各値を3で除算した余りをkとした場合、上記のようにあらわした3つの係数セット(例えば、(a1、a2、a3))に、余り0、1、2が1つずつ含まれるようにし、かつ、上記の3つの係数セット全てで成立するようにする。
【0051】
例えば、「検査式#1」のX(D)の各次数(a1、a2、a3)を(a1、a2、a3)=(6,5,4)とすると、各次数(a1、a2、a3)を3で除算した余りkは、(0,2,1)となり、3つの係数セットに、余り(k)0、1、2が1つずつ含まれるようになる。同様に、「検査式#1」のP(D)の各次数(b1、b2、b3)を(b1、b2、b3)=(3,2,1)とすると、各次数(b1、b2、b3)を4で除算した余りkは、(0,2,1)となり、3つの係数セットに、余り(k)として、0、1、2が1つずつ含まれるようになる。「検査式#2」、「検査式#3」のX(D)及びP(D)それぞれの3つの係数セットについても上記の「余り」に関する条件が成立するものとする。
【0052】
このようにしてLDPC−CCを生成することにより、一部の例外を除き、行重みが全ての行で等く、かつ、列重みが全ての行で等しいレギュラーLDPC−CC符号を生成することができる。なお、例外とは、検査行列の最初の一部及び最後の一部では、行重み、列重みが、他の行重み、列重みと等しくならないことをいう。更に、BP復号を行った場合、「検査式#2」における信頼度及び「検査式#3」における信頼度が、的確に「検査式#1」に対して伝播し、「検査式#1」における信頼度及び「検査式#3」における信頼度が、的確に「検査式#2」に対して伝播し、「検査式#1」における信頼度及び「検査式#2」における信頼度が、「検査式#3」に対して的確に伝播する。このため、より受信品質が良好なLDPC−CCを得ることができる。これは、列単位で考えた場合、「1」が存在する位置が、上述のように、信頼度を的確に伝播するように配置されることになるためである。
【0053】
以下、図を用いて、上述の信頼度伝播について説明する。
図4Aは、時変周期3のLDPC−CCのパリティ検査多項式及び検査行列Hの構成を示している。
【0054】
「検査式#1」は、式(3−1)のパリティ検査多項式において、(a1、a2、a3)=(2,1,0)、(b1、b2、b3)=(2,1,0)の場合であり、各係数を3で除算した余りは、(a1%3、a2%3、a3%3)=(2,1,0)、(b1%3、b2%3、b3%3)=(2,1,0)である。なお、「Z%3」は、Zを3で除算した余りをあらわす(以下同様)。
【0055】
「検査式#2」は、式(3−2)のパリティ検査多項式において、(A1、A2、A3)=(5,1,0)、(B1、B2、B3)=(5,1,0)の場合であり、各係数を3で除算した余りは、(A1%3、A2%3、A3%3)=(2,1,0)、(B1%3、B2%3、B3%3)=(2,1,0)である。
【0056】
「検査式#3」は、式(3−3)のパリティ検査多項式において、(α1、α2、α3)=(4,2,0)、(β1、β2、β3)=(4,2,0)の場合であり、各係数を3で除算した余りは、(α1%3、α2%3、α3%3)=(1,2,0)、(β1%3、β2%3、β3%3)=(1,2,0)である。
【0057】
したがって、
図4Aに示した時変周期3のLDPC−CCの例は、上述した「余り」に関する条件、つまり、
(a1%3、a2%3、a3%3)、
(b1%3、b2%3、b3%3)、
(A1%3、A2%3、A3%3)、
(B1%3、B2%3、B3%3)、
(α1%3、α2%3、α3%3)、
(β1%3、β2%3、β3%3)が、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなるという条件を満たしている。
【0058】
再度、
図4Aに戻って、信頼度伝播について説明する。BP復号における列6506の列演算によって、「検査式#1」の領域6501の「1」は、「検査行列#2」の領域6504の「1」及び「検査行列#3」の領域6505の「1」から、信頼度が伝播される。上述したように、「検査式#1」の領域6501の「1」は、3で除算した余りが0となる係数である(a3%3=0(a3=0)、又は、b3%3=0(b3=0))。また、「検査行列#2」の領域6504の「1」は、3で除算した余りが1となる係数である(A2%3=1(A2=1)、又は、B2%3=1(B2=1))。また、「検査式#3」の領域6505の「1」は、3で除算した余りが2となる係数である(α2%3=2(α2=2)、又は、β2%3=2(β2=2))。
【0059】
このように、「検査式#1」の係数において余りが0となる領域6501の「1」は、BP復号における列6506の列演算において、「検査式#2」の係数において余りが1となる領域6504の「1」、及び、「検査式#3」の係数において余りが2となる領域6505の「1」から、信頼度が伝播される。
【0060】
同様に、「検査式#1」の係数において余りが1となる領域6502の「1」は、BP復号における列6509の列演算において、「検査式#2」の係数において余りが2となる領域6507の「1」、及び、「検査式#3」の係数において余りが0となる領域6508の「1」から、信頼度が伝播される。
【0061】
同様に、「検査式#1」の係数において余りが2となる領域6503の「1」は、BP復号における列6512の列演算において、「検査式#2」の係数において余りが0となる領域6510の「1」、及び、「検査式#3」の係数において余りが1となる領域6511の「1」から、信頼度が伝播される。
【0062】
図4Bを用いて、信頼度伝播について補足説明をする。
図4Bは、
図4Aの「検査式#1」〜「検査式#3」のX(D)に関する各項同士の信頼度伝播の関係を示している。
図4Aの「検査式#1」〜「検査式#3」は、式(3−1)〜(3−3)のX(D)に関する項において、(a1、a2、a3)=(2、1、0)、(A1、A2、A3)=(5、1、0)、(α1、α2、α3)=(4、2、0)の場合である。
【0063】
図4Bにおいて、四角で囲まれた項(a3、A3、α3)は、3で除算した余りが0の係数を示す。また、丸で囲まれた項(a2、A2、α1)は、3で除算した余りが1の係数を示す。また、菱形で囲まれた項(a1、A1、α2)は、3で除算した余りが2の係数を示す。
【0064】
図4Bから分かるように、「検査式#1」のa1は、3で除算した余りが異なる「検査式#2」のA3及び「検査式#3」のα1から信頼度が伝播される。「検査式#1」のa2は、3で除算した余りが異なる「検査式#2」のA1及び「検査式#3」のα3から信頼度が伝播される。「検査式#1」のa3は、3で除算した余りが異なる「検査式#2」のA2及び「検査式#3」のα2から信頼度が伝播される。
図4Bには、「検査式#1」〜「検査式#3」のX(D)に関する各項同士の信頼度伝播の関係を示したが、P(D)に関する各項同士についても同様のことがいえる。
【0065】
このように、「検査式#1」には、「検査式#2」の係数のうち、3で除算した余りが0、1、2となる係数から、信頼度が伝播される。つまり、「検査式#1」には、「検査式#2」の係数のうち、3で除算した余りが全て異なる係数から、信頼度が伝播されることになる。したがって、相関が低い信頼度同士が全て「検査式#1」に伝播することになる。
【0066】
同様に、「検査式#2」には、「検査式#1」の係数のうち、3で除算した余りが0、1、2となる係数から、信頼度が伝播される。つまり、「検査式#2」には、「検査式#1」の係数のうち、3で除算した余りが全て異なる係数から、信頼度が伝播されることになる。また、「検査式#2」には、「検査式#3」の係数のうち、3で除算した余りが0、1、2となる係数から、信頼度が伝播される。つまり、「検査式#2」には、「検査式#3」の係数のうち、3で除算した余りが全て異なる係数から、信頼度が伝播されることになる。
【0067】
同様に、「検査式#3」には、「検査式#1」の係数のうち、3で除算した余りが0、1、2となる係数から、信頼度が伝播される。つまり、「検査式#3」には、「検査式#1」の係数のうち、3で除算した余りが全て異なる係数から、信頼度が伝播されることになる。また、「検査式#3」には、「検査式#2」の係数のうち、3で除算した余りが0、1、2となる係数から、信頼度が伝播される。つまり、「検査式#3」には、「検査式#2」の係数のうち、3で除算した余りが全て異なる係数から、信頼度が伝播されることになる。
【0068】
このように、式(3−1)〜(3−3)のパリティ検査多項式の各次数が、上述した「余り」に関する条件を満たすようにすることにより、全ての列演算において、信頼度が必ず伝播されるようになるので、全ての検査式において、効率よく信頼度を伝播させることができるようになり、更に誤り訂正能力を高くすることができる。
【0069】
以上、時変周期3のLDPC−CCについて、符号化率1/2の場合を例に説明したが、符号化率は1/2に限られない。符号化率(n−1)/n(nは2以上の整数)の場合には、情報X1(D)、X2(D)、・・・Xn−1(D)における、それぞれの3つの係数セットにおいて、上記の「余り」に関する条件が成立すれば、やはり、レギュラーLDPC符号となり、良好な受信品質を得ることができる。
【0070】
以下、符号化率(n−1)/n(nは2以上の整数)の場合について説明する。
【0071】
時変周期を3とするLDPC−CCのパリティ検査多項式として、式(4−1)〜(4−3)を考える。このとき、X
1(D)、X
2(D)、・・・X
n−1(D)はデータ(情報)X
1、X
2、・・・X
n−1の多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(4−1)〜(4−3)では、X
1(D)、X
2(D)、・・・X
n−1(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。
【数4】
【0072】
式(4−1)において、a
i,1、a
i,2、a
i,3(i=1,2,・・・,n−1)は整数(ただし、a
i,1≠a
i,2≠a
i,3)とする。また、b1、b2、b3は整数(ただし、b1≠b2≠b3)とする。式(4−1)のパリティ検査多項式を「検査式#1」と呼び、式(4−1)のパリティ検査多項式に基づくサブ行列を、第1サブ行列H
1とする。
【0073】
また、式(4−2)において、A
i,1、A
i,2、A
i,3(i=1,2,・・・,n−1は整数(ただし、A
i,1≠A
i,2≠A
i,3)とする。また、B1、B2、B3は整数(ただし、B1≠B2≠B3)とする。式(4−2)のパリティ検査多項式を「検査式#2」と呼び、式(4−2)のパリティ検査多項式に基づくサブ行列を、第2サブ行列H
2とする。
【0074】
また、式(4−3)において、α
i,1、α
i,2、α
i,3(i=1,2,・・・,n−1は整数(ただし、α
i,1≠α
i,2≠α
i,3)とする。また、β1、β2、β3は整数(ただし、β1≠β2≠β3)とする。式(4−3)のパリティ検査多項式を「検査式#3」と呼び、式(4−3)のパリティ検査多項式に基づくサブ行列を、第3サブ行列H
3とする。
【0075】
そして、第1サブ行列H
1、第2サブ行列H
2、第3サブ行列H
3から生成する時変周期3のLDPC―CCについて考える。
【0076】
このとき、式(4−1)〜(4−3)において、X
1(D)、X
2(D)、・・・X
n−1(D)及びP(D)の次数の組み合わせ
(a
1,1、a
1,2、a
1,3)、
(a
2,1、a
2,2、a
2,3)、・・・、
(a
n−1,1、a
n−1,2、a
n−1,3)、
(b1、b2、b3)、
(A
1,1、A
1,2、A
1,3)、
(A
2,1、A
2,2、A
2,3)、・・・、
(A
n−1,1、A
n−1,2、A
n−1,3)、
(B1、B2、B3)、
(α
1,1、α
1,2、α
1,3)、
(α
2,1、α
2,2、α
2,3)、・・・、
(α
n−1,1、α
n−1,2、α
n−1,3)、
(β1、β2、β3)
の各値を3で除算した余りをkとした場合、上記のようにあらわした3つの係数セット(例えば、(a
1,1、a
1,2、a
1,3))に、余り0、1、2が1つずつ含まれるようにし、かつ、上記の3つの係数セット全てで成立するようにする。
【0077】
つまり、
(a
1,1%3、a
1,2%3、a
1,3%3)、
(a
2,1%3、a
2,2%3、a
2,3%3)、・・・、
(a
n−1,1%3、a
n−1,2%3、a
n−1,3%3)、
(b1%3、b2%3、b3%3)、
(A
1,1%3、A
1,2%3、A
1,3%3)、
(A
2,1%3、A
2,2%3、A
2,3%3)、・・・、
(A
n−1,1%3、A
n−1,2%3、A
n−1,3%3)、
(B1%3、B2%3、B3%3)、
(α
1,1%3、α
1,2%3、α
1,3%3)、
(α
2,1%3、α
2,2%3、α
2,3%3)、・・・、
(α
n−1,1%3、α
n−1,2%3、α
n−1,3%3)、
(β1%3、β2%3、β3%3)が、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなるようにする。
【0078】
このようにしてLDPC−CCを生成することにより、レギュラーLDPC−CC符号を生成することができる。更に、BP復号を行った場合、「検査式#2」における信頼度及び「検査式#3」における信頼度が、的確に「検査式#1」に対して伝播し、「検査式#1」における信頼度及び「検査式#3」における信頼度が、的確に「検査式#2」に対して伝播し、「検査式#1」における信頼度及び「検査式#2」における信頼度が、「検査式#3」に対して的確に伝播する。このため、符号化率1/2の場合と同様に、より受信品質が良好なLDPC−CCを得ることができる。
【0079】
なお、表3に、上記「余り」に関する条件が成り立つ、時変周期3、符号化率1/2のLDPC−CCの例(LDPC−CC#1、#2、#3、#4、#5)を示す。表3において、時変周期3のLDPC−CCは、「検査(多項)式#1」、「検査(多項)式#2」、「検査(多項)式#3」の3つのパリティ検査多項式により定義される。
【表3】
【0080】
また、時変周期3と同様に、時変周期が3の倍数(例えば、時変周期が6、9、12、・・・)のLDPC−CCに対し、「余り」に関する以下の条件を適用すると、特性が良好な符号を探索できることが確認された。以下、特性が良好な時変周期3の倍数のLDPC−CCについて説明する。なお、以下では、符号化率1/2、時変周期6のLDPC−CCの場合を例に説明する。
【0081】
時変周期を6とするLDPC−CCのパリティ検査多項式として、式(5―1)〜式(5―6)を考える。
【数5】
【0082】
このとき、X(D)はデータ(情報)の多項式表現であり、P(D)はパリティの多項式表現である。時変周期6のLDPC−CCでは、時刻iのパリティPi及び情報Xiは、i%6=kとすると(k=0、1、2、3、4、5)、式(5−(k+1))のパリティ検査多項式が成立することになる。例えば、i=1とすると、i%6=1(k=1)となるので、式(6)が成立する。
【数6】
【0083】
ここで、式(5−1)〜(5−6)では、X(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。
【0084】
式(5−1)において、a1,1、a1,2、a1,3は整数(ただし、a1,1≠a1,2≠a1,3)とする。また、b1,1、b1,2、b1,3は整数(ただし、b1,1≠b1,2≠b1,3)とする。式(5−1)のパリティ検査多項式を「検査式#1」と呼び、式(5−1)のパリティ検査多項式に基づくサブ行列を、第1サブ行列H
1とする。
【0085】
また、式(5−2)において、a2,1、a2,2、a2,3は整数(ただし、a2,1≠a2,2≠a2,3)とする。また、b2,1、b2,2、b2,3は整数(ただし、b2,1≠b2,2≠b2,3)とする。式(5−2)のパリティ検査多項式を「検査式#2」と呼び、式(5−2)のパリティ検査多項式に基づくサブ行列を、第2サブ行列H
2とする。
【0086】
また、式(5−3)において、a3,1、a3,2、a3,3は整数(ただし、a3,1≠a3,2≠a3,3)とする。また、b3,1、b3,2、b3,3は整数(ただし、b3,1≠b3,2≠b3,3)とする。式(5−3)のパリティ検査多項式を「検査式#3」と呼び、式(5−3)のパリティ検査多項式に基づくサブ行列を、第3サブ行列H
3とする。
【0087】
また、式(5−4)において、a4,1、a4,2、a4,3は整数(ただし、a4,1≠a4,2≠a4,3)とする。また、b4,1、b4,2、b4,3は整数(ただし、b4,1≠b4,2≠b4,3)とする。式(5−4)のパリティ検査多項式を「検査式#4」と呼び、式(5−4)のパリティ検査多項式に基づくサブ行列を、第4サブ行列H
4とする。
【0088】
また、式(5−5)において、a5,1、a5,2、a5,3は整数(ただし、a5,1≠a5,2≠a5,3)とする。また、b5,1、b5,2、b5,3は整数(ただし、b5,1≠b5,2≠b5,3)とする。式(5−5)のパリティ検査多項式を「検査式#5」と呼び、式(5−5)のパリティ検査多項式に基づくサブ行列を、第5サブ行列H
5とする。
【0089】
また、式(5−6)において、a6,1、a6,2、a6,3は整数(ただし、a6,1≠a6,2≠a6,3)とする。また、b6,1、b6,2、b6,3は整数(ただし、b6,1≠b6,2≠b6,3)とする。式(5−6)のパリティ検査多項式を「検査式#6」と呼び、式(5−6)のパリティ検査多項式に基づくサブ行列を、第6サブ行列H
6とする。
【0090】
そして、第1サブ行列H
1、第2サブ行列H
2、第3サブ行列H
3、第4サブ行列H
4、第5サブ行列H
5、第6サブ行列H
6から生成する時変周期6のLDPC―CCについて考える。
【0091】
このとき、式(5−1)〜(5−6)において、X(D)及びP(D)の次数の組み合わせ
(a1,1、a1,2、a1,3)、
(b1,1、b1,2、b1,3)、
(a2,1、a2,2、a2,3)、
(b2,1、b2,2、b2,3)、
(a3,1、a3,2、a3,3)、
(b3,1、b3,2、b3,3)、
(a4,1、a4,2、a4,3)、
(b4,1、b4,2、b4,3)、
(a5,1、a5,2、a5,3)、
(b5,1、b5,2、b5,3)、
(a6,1、a6,2、a6,3)、
(b6,1、b6,2、b6,3)
の各値を3で除算したときの余りkとした場合、上記のようにあらわした3つの係数セット(例えば、(a1,1、a1,2、a1,3))に、余り0、1、2が1つずつ含まれるようにし、かつ、上記の3つの係数セット全てで成立するようにする。つまり、
(a1,1%3、a1,2%3、a1,3%3)、
(b1,1%3、b1,2%3、b1,3%3)、
(a2,1%3、a2,2%3、a2,3%3)、
(b2,1%3、b2,2%3、b2,3%3)、
(a3,1%3、a3,2%3、a3,3%3)、
(b3,1%3、b3,2%3、b3,3%3)、
(a4,1%3、a4,2%3、a4,3%3)、
(b4,1%3、b4,2%3、b4,3%3)、
(a5,1%3、a5,2%3、a5,3%3)、
(b5,1%3、b5,2%3、b5,3%3)、
(a6,1%3、a6,2%3、a6,3%3)、
(b6,1%3、b6,2%3、b6,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
【0092】
このようにしてLDPC−CCを生成することにより、「検査式#1」に対して、タナーグラフを描いた際、エッジが存在する場合、的確に「検査式#2、又は、検査式#5」における信頼度、「検査式#3、又は、検査式#6」における信頼度が的確に伝播する。
【0093】
また、「検査式#2」に対して、タナーグラフを描いた際、エッジが存在する場合、的確に「検査式#1、又は、検査式#4」における信頼度、「検査式#3、又は、検査式#6」における信頼度が的確に伝播する。
【0094】
また、「検査式#3」に対して、タナーグラフを描いた際、エッジが存在する場合、的確に「検査式#1、又は、検査式#4」における信頼度、「検査式#2、又は、検査式#5」における信頼度が的確に伝播する。「検査式#4」に対して、タナーグラフを描いた際、エッジが存在する場合、的確に「検査式#2、又は、検査式#5」における信頼度、「検査式#3、又は、検査式#6」における信頼度が的確に伝播する。
【0095】
また、タナーグラフを描いた際、エッジが存在する場合、「検査式#5」に対して、的確に「検査式#1、又は、検査式#4」における信頼度、「検査式#3、又は、検査式#6」における信頼度が的確に伝播する。また、「検査式#6」に対して、タナーグラフを描いた際、エッジが存在する場合、的確に「検査式#1、又は、検査式#4」における信頼度、「検査式#2、又は、検査式#5」における信頼度が的確に伝播する。
【0096】
このため、時変周期が3のときと同様に、より良好な誤り訂正能力を時変周期6のLDPC−CCが保持することになる。
【0097】
これについて、
図4Cを用いて、信頼度伝播について説明する。
図4Cは、「検査式#1」〜「検査式#6」のX(D)に関する各項同士の信頼度伝播の関係を示している。
図4Cにおいて、四角は、ax,yにおいて(x=1,2,3,4,5,6;y=1,2,3)、3で除算した余りが0の係数を示す。
【0098】
また、丸は、ax,yにおいて(x=1,2,3,4,5,6;y=1,2,3)、3で除算した余りが1の係数を示す。また、菱形は、ax,yにおいて(x=1,2,3,4,5,6;y=1,2,3)、3で除算した余りが2の係数を示す。
【0099】
図4Cから分かるように、タナーグラフを描いた際、エッジが存在した場合、「検査式#1」のa1,1は、3で除算した余りが異なる「検査式#2又は#5」及び「検査式#3又は#6」から信頼度が伝播される。同様に、タナーグラフを描いた際、エッジが存在した場合、「検査式#1」のa1,2は、3で除算した余りが異なる「検査式#2又は#5」及び「検査式#3又は#6」から信頼度が伝播される。
【0100】
同様に、タナーグラフを描いた際、エッジが存在した場合、「検査式#1」のa1,3は、3で除算した余りが異なる「検査式#2又は#5」及び「検査式#3又は#6」から信頼度が伝播される。
図4Cには、「検査式#1」〜「検査式#6」のX(D)に関する各項同士の信頼度伝播の関係を示したが、P(D)に関する各項同士についても同様のことがいえる。
【0101】
このように、「検査式#1」のタナーグラフにおける各ノードには、「検査式#1」以外の係数ノードから信頼度が伝播することになる。したがって、相関が低い信頼度同士が全て「検査式#1」に伝播することになるので、誤り訂正能力が向上すると考えられる。
【0102】
図4Cでは、「検査式#1」に着目したが、「検査式#2」から「検査式#6」についても同様にタナーグラフを描くことができ、「検査式#K」のタナーグラフにおける各ノードには、「検査式#K」以外の係数ノードから信頼度が伝播することになる。したがって、相関が低い信頼度同士が全て「検査式#K」に伝播することになるので、誤り訂正能力が向上すると考えられる。(K=2,3,4,5,6)
【0103】
このように、式(5−1)〜(5−6)のパリティ検査多項式の各次数が、上述した「余り」に関する条件を満たすようにすることにより、全ての検査式において、効率よく信頼度を伝播させることができるようになり、誤り訂正能力を更に高くすることができる可能性が高まる。
【0104】
以上、時変周期6のLDPC−CCについて、符号化率1/2の場合を例に説明したが、符号化率は1/2に限られない。符号化率(n−1)/n(nは2以上の整数)の場合には、情報X
1(D)、X
2(D)、・・・X
n−1(D)における、それぞれの3つの係数セットにおいて、上記の「余り」に関する条件が成立すれば、やはり、良好な受信品質を得ることができる可能性が高まる。
【0105】
以下、符号化率(n−1)/n(nは2以上の整数)の場合について説明する。
【0106】
時変周期を6とするLDPC−CCのパリティ検査多項式として、式(7−1)〜(7−6)を考える。
【数7】
【0107】
このとき、X
1(D)、X
2(D)、・・・X
n−1(D)はデータ(情報)X1、X2、・・・Xn−1の多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(7−1)〜(7−6)では、X
1(D)、X
2(D)、・・・X
n−1(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。上記の符号化率1/2のとき、また、時変周期3のときと同様に考えると、式(7−1)〜(7−6)のパリティ検査多項式であらわされる時変周期6、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCにおいて、以下の条件(<条件#1>)を満たすと、より高い誤り訂正能力を得ることができる可能性が高まる。
【0108】
ただし、時変周期6、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCにおいて、時刻iのパリティをPi及び情報をX
i,1、X
i,2、・・・、X
i,n−1であらわす。このとき、i%6=kとすると(k=0、1、2、3、4、5)、式(7−(k+1))のパリティ検査多項式が成立する。例えば、i=8とすると、i%6=2(k=2)となるので、式(8)が成立する。
【数8】
【0109】
<条件#1>
式(7−1)〜(7−6)において、X
1(D)、X
2(D)、・・・X
n−1(D)及びP(D)の次数の組み合わせが以下の条件を満たす。
(a
#1,1,1%3、a
#1,1,2%3、a
#1,1,3%3)、
(a
#1,2,1%3、a
#1,2,2%3、a
#1,2,3%3)、・・・、
(a
#1,k,1%3、a
#1,k,2%3、a
#1,k,3%3)、・・・、
(a
#1,n−1,1%3、a
#1,n−1,2%3、a
#1,n−1,3%3)、
(b
#1,1%3、b
#1,2%3、b
#1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(k=1、2、3、・・・、n−1)
かつ、
(a
#2,1,1%3、a
#2,1,2%3、a
#2,1,3%3)、
(a
#2,2,1%3、a
#2,2,2%3、a
#2,2,3%3)、・・・、
(a
#2,k,1%3、a
#2,k,2%3、a
#2,k,3%3)、・・・、
(a
#2,n−1,1%3、a
#2,n−1,2%3、a
#2,n−1,3%3)、
(b
#2,1%3、b
#2,2%3、b
#2,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(k=1、2、3、・・・、n−1)
かつ、
(a
#3,1,1%3、a
#3,1,2%3、a
#3,1,3%3)、
(a
#3,2,1%3、a
#3,2,2%3、a
#3,2,3%3)、・・・、
(a
#3,k,1%3、a
#3,k,2%3、a
#3,k,3%3)、・・・、
(a
#3,n−1,1%3、a
#3,n−1,2%3、a
#3,n−1,3%3)、
(b
#3,1%3、b
#3,2%3、b
#3,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(k=1、2、3、・・・、n−1)
かつ、
(a
#4,1,1%3、a
#4,1,2%3、a
#4,1,3%3)、
(a
#4,2,1%3、a
#4,2,2%3、a
#4,2,3%3)、・・・、
(a
#4,k,1%3、a
#4,k,2%3、a
#4,k,3%3)、・・・、
(a
#4,n−1,1%3、a
#4,n−1,2%3、a
#4,n−1,3%3)、
(b
#4,1%3、b
#4,2%3、b
#4,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(k=1、2、3、・・・、n−1)
かつ、
(a
#5,1,1%3、a
#5,1,2%3、a
#5,1,3%3)、
(a
#5,2,1%3、a
#5,2,2%3、a
#5,2,3%3)、・・・、
(a
#5,k,1%3、a
#5,k,2%3、a
#5,k,3%3)、・・・、
(a
#5,n−1,1%3、a
#5,n−1,2%3、a
#5,n−1,3%3)、
(b
#5,1%3、b
#5,2%3、b
#5,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(k=1、2、3、・・・、n−1)
かつ、
(a
#6,1,1%3、a
#6,1,2%3、a
#6,1,3%3)、
(a
#6,2,1%3、a
#6,2,2%3、a
#6,2,3%3)、・・・、
(a
#6,k,1%3、a
#6,k,2%3、a
#6,k,3%3)、・・・、
(a
#6,n−1,1%3、a
#6,n−1,2%3、a
#6,n−1,3%3)、
(b
#6,1%3、b
#6,2%3、b
#6,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(k=1、2、3、・・・、n−1)
【0110】
上述では、時変周期6のLDPC−CCにおいて、高い誤り訂正能力を持つ符号について説明したが、時変周期3、6のLDPC−CCの設計方法と同様に、時変周期3g(g=1、2、3、4、・・・)のLDPC−CC(つまり、時変周期が3の倍数のLDPC−CC)を作成した場合、高い誤り訂正能力を持つ符号を生成することができる。以下では、その符号の構成方法について詳しく説明する。
【0111】
時変周期を3g(g=1、2、3、4、・・・)、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCのパリティ検査多項式として、式(9−1)〜(9−3g)を考える。
【数9】
【0112】
このとき、X
1(D)、X
2(D)、・・・X
n−1(D)はデータ(情報)X
1、X
2、・・・X
n−1の多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(9−1)〜(9−3g)では、X
1(D)、X
2(D)、・・・X
n−1(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。
【0113】
時変周期3のLDPC−CC及び時変周期6のLDPC−CCと同様に考えると、式(9−1)〜(9−3g)のパリティ検査多項式であらわされる時変周期3g、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCにおいて、以下の条件(<条件#2>)を満たすと、より高い誤り訂正能力を得ることができる可能性が高まる。
【0114】
ただし、時変周期3g、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCにおいて、時刻iのパリティをPi及び情報をX
i,1、X
i,2、・・・、X
i,n−1であらわす。このとき、i%3g=kとすると(k=0、1、2、・・・、3g−1)、式(9−(k+1))のパリティ検査多項式が成立する。例えば、i=2とすると、i%3g=2(k=2)となるので、式(10)が成立する。
【数10】
【0115】
また、式(9−1)〜式(9−3g)において、a
#k,p,1、a
#k,p,2、a
#k,p,3は整数(ただし、a
#k,p,1≠a
#k,p,2≠a
#k,p,3)とする(k=1、2、3、・・・、3g:p=1、2、3、・・・、n−1)。また、b
#k,1、b
#k,2、b
#k,3は整数(ただし、b
#k,1≠b
#k,2≠b
#k,3)とする。式(9−k)のパリティ検査多項式(k=1、2、3、・・・、3g)を「検査式#k」と呼び、式(9−k)のパリティ検査多項式に基づくサブ行列を、第kサブ行列H
kとする。そして、第1サブ行列H
1、第2サブ行列H
2、第3サブ行列H
3、・・・、第3gサブ行列H
3gから生成する時変周期3gのLDPC―CCについて考える。
【0116】
<条件#2>
式(9−1)〜(9−3g)において、X
1(D)、X
2(D)、・・・X
n−1(D)及びP(D)の次数の組み合わせが以下の条件を満たす。
(a
#1,1,1%3、a
#1,1,2%3、a
#1,1,3%3)、
(a
#1,2,1%3、a
#1,2,2%3、a
#1,2,3%3)、・・・、
(a
#1,p,1%3、a
#1,p,2%3、a
#1,p,3%3)、・・・、
(a
#1,n−1,1%3、a
#1,n−1,2%3、a
#1,n−1,3%3)、
(b
#1,1%3、b
#1,2%3、b
#1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#2,1,1%3、a
#2,1,2%3、a
#2,1,3%3)、
(a
#2,2,1%3、a
#2,2,2%3、a
#2,2,3%3)、・・・、
(a
#2,p,1%3、a
#2,p,2%3、a
#2,p,3%3)、・・・、
(a
#2,n−1,1%3、a
#2,n−1,2%3、a
#2,n−1,3%3)、
(b
#2,1%3、b
#2,2%3、b
#2,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3,1,1%3、a
#3,1,2%3、a
#3,1,3%3)、
(a
#3,2,1%3、a
#3,2,2%3、a
#3,2,3%3)、・・・、
(a
#3,p,1%3、a
#3,p,2%3、a
#3,p,3%3)、・・・、
(a
#3,n−1,1%3、a
#3,n−1,2%3、a
#3,n−1,3%3)、
(b
#3,1%3、b
#3,2%3、b
#3,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
・
・
・
かつ、
(a
#k,1,1%3、a
#k,1,2%3、a
#k,1,3%3)、
(a
#k,2,1%3、a
#k,2,2%3、a
#k,2,3%3)、・・・、
(a
#k,p,1%3、a
#k,p,2%3、a
#k,p,3%3)、・・・、
(a
#k,n−1,1%3、a
#k,n−1,2%3、a
#k,n−1,3%3)、
(b
#k,1%3、b
#k,2%3、b
#k,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)(よって、k=1、2、3、・・・、3g)
かつ、
・
・
・
かつ、
(a
#3g−2,1,1%3、a
#3g−2,1,2%3、a
#3g−2,1,3%3)、
(a
#3g−2,2,1%3、a
#3g−2,2,2%3、a
#3g−2,2,3%3)、・・・、
(a
#3g−2,p,1%3、a
#3g−2,p,2%3、a
#3g−2,p,3%3)、・・・、
(a
#3g−2,n−1,1%3、a
#3g−2,n−1,2%3、a
#3g−2,n−1,3%3)、
(b
#3g−2,1%3、b
#3g−2,2%3、b
#3g−2,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3g−1,1,1%3、a
#3g−1,1,2%3、a
#3g−1,1,3%3)、
(a
#3g−1,2,1%3、a
#3g−1,2,2%3、a
#3g−1,2,3%3)、・・・、
(a
#3g−1,p,1%3、a
#3g−1,p,2%3、a
#3g−1,p,3%3)、・・・、
(a
#3g−1,n−1,1%3、a
#3g−1,n−1,2%3、a
#3g−1,n−1,3%3)、
(b
#3g−1,1%3、b
#3g−1,2%3、b
#3g−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3g,1,1%3、a
#3g,1,2%3、a
#3g,1,3%3)、
(a
#3g,2,1%3、a
#3g,2,2%3、a
#3g,2,3%3)、・・・、
(a
#3g,p,1%3、a
#3g,p,2%3、a
#3g,p,3%3)、・・・、
(a
#3g,n−1,1%3、a
#3g,n−1,2%3、a
#3g,n−1,3%3)、
(b
#3g,1%3、b
#3g,2%3、b
#3g,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
【0117】
ただし、符号化を容易に行うという点を考慮すると、式(9−1)〜(9−3g)において、
(b
#k,1%3、b
#k,2%3、b
#k,3%3)の3つのうち“0”が1つ存在すると良い(ただし、k=1、2、・・・3g)。このとき、D
0=1が存在し、かつb
#k,1、b
#k,2、b
#k,3が0以上の整数であれば、パリティPを逐次的に求めることができるという特徴を持つからである。
【0118】
また、同一時点のパリティビットとデータビットに関連性を持たせ、高い訂正能力を持つ符号の探索を容易に行うためには、
(a
#k,1,1%3、a
#k,1,2%3、a
#k,1,3%3)の3つのうち“0”が1つ存在し、
(a
#k,2,1%3、a
#k,2,2%3、a
#k,2,3%3)の3つのうち“0”が1つ存在し、
・
・
・
(a
#k,p,1%3、a
#k,p,2%3、a
#k,p,3%3)の3つのうち“0”が1つ存在し、
・
・
・
(a
#k,n−1,1%3、a
#k,n−1,2%3、a
#k,n−1,3%3)の3つのうち“0”が1つ存在すると良い(ただし、k=1、2、・・・3g)。
【0119】
次に、符号化を容易に行うという点を考慮した時変周期3g(g=2、3、4、5、・・・)のLDPC−CCについて考える。このとき、符号化率を(n−1)/n(nは2以上の整数)とするとLDPC−CCのパリティ検査多項式は以下のようにあらわすことができる。
【数11】
【0120】
このとき、X
1(D)、X
2(D)、・・・X
n−1(D)はデータ(情報)X
1、X
2、・・・X
n−1の多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(11−1)〜(11−3g)では、X
1(D)、X
2(D)、・・・X
n−1(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。ただし、時変周期3g、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCにおいて、時刻iのパリティをPi及び情報をX
i,1、X
i,2、・・・、X
i,n−1であらわす。このとき、i%3g=kとすると(k=0、1、2、・・・、3g−1)、式(11−(k+1))のパリティ検査多項式が成立する。例えば、i=2とすると、i%3g=2(k=2)となるので、式(12)が成立する。
【数12】
【0121】
このとき、<条件#3>及び<条件#4>を満たすと、より高い誤り訂正能力を持つ符号を作成することができる可能性が高まる。
【0122】
<条件#3>
式(11−1)〜(11−3g)において、X1(D)、X2(D)、・・・Xn−1(D)の次数の組み合わせが以下の条件を満たす。
(a
#1,1,1%3、a
#1,1,2%3、a
#1,1,3%3)、
(a
#1,2,1%3、a
#1,2,2%3、a
#1,2,3%3)、・・・、
(a
#1,p,1%3、a
#1,p,2%3、a
#1,p,3%3)、・・・、
(a
#1,n−1,1%3、a
#1,n−1,2%3、a
#1,n−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#2,1,1%3、a
#2,1,2%3、a
#2,1,3%3)、
(a
#2,2,1%3、a
#2,2,2%3、a
#2,2,3%3)、・・・、
(a
#2,p,1%3、a
#2,p,2%3、a
#2,p,3%3)、・・・、
(a
#2,n−1,1%3、a
#2,n−1,2%3、a
#2,n−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3,1,1%3、a
#3,1,2%3、a
#3,1,3%3)、
(a
#3,2,1%3、a
#3,2,2%3、a
#3,2,3%3)、・・・、
(a
#3,p,1%3、a
#3,p,2%3、a
#3,p,3%3)、・・・、
(a
#3,n−1,1%3、a
#3,n−1,2%3、a
#3,n−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
・
・
・
かつ、
(a
#k,1,1%3、a
#k,1,2%3、a
#k,1,3%3)、
(a
#k,2,1%3、a
#k,2,2%3、a
#k,2,3%3)、・・・、
(a
#k,p,1%3、a
#k,p,2%3、a
#k,p,3%3)、・・・、
(a
#k,n−1,1%3、a
#k,n−1,2%3、a
#k,n−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)(よって、k=1、2、3、・・・、3g)
かつ、
・
・
・
かつ、
(a
#3g−2,1,1%3、a
#3g−2,1,2%3、a
#3g−2,1,3%3)、
(a
#3g−2,2,1%3、a
#3g−2,2,2%3、a
#3g−2,2,3%3)、・・・、
(a
#3g−2,p,1%3、a
#3g−2,p,2%3、a
#3g−2,p,3%3)、・・・、
(a
#3g−2,n−1,1%3、a
#3g−2,n−1,2%3、a
#3g−2,n−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3g−1,1,1%3、a
#3g−1,1,2%3、a
#3g−1,1,3%3)、
(a
#3g−1,2,1%3、a
#3g−1,2,2%3、a
#3g−1,2,3%3)、・・・、
(a
#3g−1,p,1%3、a
#3g−1,p,2%3、a
#3g−1,p,3%3)、・・・、
(a
#3g−1,n−1,1%3、a
#3g−1,n−1,2%3、a
#3g−1,n−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3g,1,1%3、a
#3g,1,2%3、a
#3g,1,3%3)、
(a
#3g,2,1%3、a
#3g,2,2%3、a
#3g,2,3%3)、・・・、
(a
#3g,p,1%3、a
#3g,p,2%3、a
#3g,p,3%3)、・・・、
(a
#3g,n−1,1%3、a
#3g,n−1,2%3、a
#3g,n−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(p=1、2、3、・・・、n−1)
【0123】
加えて、式(11−1)〜(11−3g)において、P(D)の次数の組み合わが以下の条件を満たす。
(b
#1,1%3、b
#1,2%3)、
(b
#2,1%3、b
#2,2%3)、
(b
#3,1%3、b
#3,2%3)、・・・、
(b
#k,1%3、b
#k,2%3)、・・・、
(b
#3g−2,1%3、b
#3g−2,2%3)、
(b
#3g−1,1%3、b
#3g−1,2%3)、
(b
#3g,1%3、b
#3g,2%3)は、
(1、2)、(2、1)のいずれかとなる(k=1、2、3、・・・、3g)。
【0124】
式(11−1)〜(11−3g)に対する<条件#3>は、式(9−1)〜(9−3g)に対する<条件#2>と同様の関係となる。式(11−1)〜(11−3g)に対して、<条件#3>に加え、以下の条件(<条件#4>)を付加すると、より高い誤り訂正能力を持つLDPC−CCを作成することができる可能性が高まる。
【0125】
<条件#4>
式(11−1)〜(11−3g)のP(D)の次数において、以下の条件を満たす。
(b
#1,1%3g、b
#1,2%3g)、
(b
#2,1%3g、b
#2,2%3g)、
(b
#3,1%3g、b
#3,2%3g)、・・・、
(b
#k,1%3g、b
#k,2%3g)、・・・、
(b
#3g−2,1%3g、b
#3g−2,2%3g)、
(b
#3g−1,1%3g、b
#3g−1,2%3g)、
(b
#3g,1%3g、b
#3g,2%3g)の6g個の次数(2つの次数が1組を構成するので、3g組を構成する次数は6g個ある)の値には、0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。
【0126】
ところで、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性があると良好な誤り訂正能力が得られる可能性が高い。式(11−1)〜(11−3g)のパリティ検査多項式を持つ時変周期3g(g=2、3、4、5、・・・)、符号化率を(n−1)/n(nは2以上の整数)のLDPC−CCでは、<条件#3>に加え<条件#4>の条件をつけ符号を作成すると、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性を与えることが可能となるため、良好な誤り訂正能力が得られる可能性が高まる。
【0127】
次に、符号化を容易に行うことができ、かつ、同一時点のパリティビットとデータビットに関連性を持たせる、時変周期3g(g=2、3、4、5、・・・)のLDPC−CCについて考える。このとき、符号化率を(n−1)/n(nは2以上の整数)とするとLDPC−CCのパリティ検査多項式は以下のようにあらわすことができる。
【数13】
【0128】
このとき、X
1(D)、X
2(D)、・・・X
n−1(D)はデータ(情報)X
1、X
2、・・・X
n−1の多項式表現であり、P(D)はパリティの多項式表現である。そして、式(13−1)〜(13−3g)では、X
1(D)、X
2(D)、・・・X
n−1(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とし、X
1(D)、X
2(D)、・・・X
n−1(D)、P(D)にはD
0の項が存在することになる。(k=1、2、3、・・・、3g)
【0129】
ただし、時変周期3g、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCにおいて、時刻iのパリティをPi及び情報をX
i,1、X
i,2、・・・、X
i,n−1であらわす。このとき、i%3g=kとすると(k=0、1、2、・・・、3g−1)、式(13−(k+1))のパリティ検査多項式が成立する。例えば、i=2とすると、i%3g=2(k=2)となるので、式(14)が成立する。
【数14】
【0130】
このとき、以下の条件(<条件#5>及び<条件#6>)を満たすと、更に高い誤り訂正能力を持つ符号を作成できる可能性が高くなる。
【0131】
<条件#5>
式(13−1)〜(13−3g)において、X
1(D)、X
2(D)、・・・X
n−1(D)の次数の組み合わせが以下の条件を満たす。
(a
#1,1,1%3、a
#1,1,2%3)、
(a
#1,2,1%3、a
#1,2,2%3)、・・・、
(a
#1,p,1%3、a
#1,p,2%3)、・・・、
(a
#1,n−1,1%3、a
#1,n−1,2%3)は、
(1、2)、(2、1)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#2,1,1%3、a
#2,1,2%3)、
(a
#2,2,1%3、a
#2,2,2%3)、・・・、
(a
#2,p,1%3、a
#2,p,2%3)、・・・、
(a
#2,n−1,1%3、a
#2,n−1,2%3)は、
(1、2)、(2、1)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3,1,1%3、a
#3,1,2%3)、
(a
#3,2,1%3、a
#3,2,2%3)、・・・、
(a
#3,p,1%3、a
#3,p,2%3)、・・・、
(a
#3,n−1,1%3、a
#3,n−1,2%3)は、
(1、2)、(2、1)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
・
・
・
かつ、
(a
#k,1,1%3、a
#k,1,2%3)、
(a
#k,2,1%3、a
#k,2,2%3)、・・・、
(a
#k,p,1%3、a
#k,p,2%3)、・・・、
(a
#k,n−1,1%3、a
#k,n−1,2%3)は、
(1、2)、(2、1)のいずれかとなる。(p=1、2、3、・・・、n−1)(よって、k=1、2、3、・・・、3g)
かつ、
・
・
・
かつ、
(a
#3g−2,1,1%3、a
#3g−2,1,2%3)、
(a
#3g−2,2,1%3、a
#3g−2,2,2%3)、・・・、
(a
#3g−2,p,1%3、a
#3g−2,p,2%3)、・・・、
(a
#3g−2,n−1,1%3、a
#3g−2,n−1,2%3)は、
(1、2)、(2、1)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3g−1,1,1%3、a
#3g−1,1,2%3)、
(a
#3g−1,2,1%3、a
#3g−1,2,2%3)、・・・、
(a
#3g−1,p,1%3、a
#3g−1,p,2%3)、・・・、
(a
#3g−1,n−1,1%3、a
#3g−1,n−1,2%3)は、
(1、2)、(2、1)のいずれかとなる。(p=1、2、3、・・・、n−1)
かつ、
(a
#3g,1,1%3、a
#3g,1,2%3)、
(a
#3g,2,1%3、a
#3g,2,2%3)、・・・、
(a
#3g,p,1%3、a
#3g,p,2%3)、・・・、
(a
#3g,n−1,1%3、a
#3g,n−1,2%3)は、
(1、2)、(2、1)のいずれかとなる。(p=1、2、3、・・・、n−1)
【0132】
加えて、式(13−1)〜(13−3g)において、P(D)の次数の組み合わが以下の条件を満たす。
(b
#1,1%3、b
#1,2%3)、
(b
#2,1%3、b
#2,2%3)、
(b
#3,1%3、b
#3,2%3)、・・・、
(b
#k,1%3、b
#k,2%3)、・・・、
(b
#3g−2,1%3、b
#3g−2,2%3)、
(b
#3g−1,1%3、b
#3g−1,2%3)、
(b
#3g,1%3、b
#3g,2%3)は、
(1、2)、(2、1)のいずれかとなる(k=1、2、3、・・・、3g)。
【0133】
式(13−1)〜(13−3g)に対する<条件#5>は、式(9−1)〜(9−3g)に対する<条件#2>と同様の関係となる。式(13−1)〜(13−3g)に対して、<条件#5>に加え、以下の条件(<条件#6>)を付加すると、高い誤り訂正能力を持つLDPC−CCを作成できる可能性が高くなる。
【0134】
<条件#6>
式(13−1)〜(13−3g)のX
1(D)の次数において、次の条件を満たす。
(a
#1,1,1%3g、a
#1,1,2%3g)、
(a
#2,1,1%3g、a
#2,1,2%3g)、・・・、
(a
#p,1,1%3g、a
#p,1,2%3g)、・・・、
(a
#3g,1,1%3g、a
#3g,1,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
かつ、
式(13−1)〜(13−3g)のX
2(D)の次数において、次の条件を満たす。
(a
#1,2,1%3g、a
#1,2,2%3g)、
(a
#2,2,1%3g、a
#2,2,2%3g)、・・・、
(a
#p,2,1%3g、a
#p,2,2%3g)、・・・、
(a
#3g,2,1%3g、a
#3g,2,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
かつ、
式(13−1)〜(13−3g)のX
3(D)の次数において、次の条件を満たす。
(a
#1,3,1%3g、a
#1,3,2%3g)、
(a
#2,3,1%3g、a
#2,3,2%3g)、・・・、
(a
#p,3,1%3g、a
#p,3,2%3g)、・・・、
(a
#3g,3,1%3g、a
#3g,3,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
かつ、
・
・
・
かつ、
式(13−1)〜(13−3g)のX
k(D)の次数において、次の条件を満たす。
(a
#1,k,1%3g、a
#1,k,2%3g)、
(a
#2,k,1%3g、a
#2,k,2%3g)、・・・、
(a
#p,k,1%3g、a
#p,k,2%3g)、・・・、
(a
#3g,k,1%3g、a
#3g,k,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
(k=1、2、3、・・・、n−1)
かつ、
・
・
・
かつ、
式(13−1)〜(13−3g)のX
n−1(D)の次数において、次の条件を満たす。
(a
#1,n−1,1%3g、a
#1,n−1,2%3g)、
(a
#2,n−1,1%3g、a
#2,n−1,2%3g)、・・・、
(a
#p,n−1,1%3g、a
#p,n−1,2%3g)、・・・、
(a
#3g,n−1,1%3g、a
#3g,n−1,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
かつ、
式(13−1)〜(13−3g)のP(D)の次数において、次の条件を満たす。
(b
#1,1%3g、b
#1,2%3g)、
(b
#2,1%3g、b
#2,2%3g)、
(b
#3,1%3g、b
#3,2%3g)、・・・、
(b
#k,1%3g、b
#k,2%3g)、・・・、
(b
#3g−2,1%3g、b
#3g−2,2%3g)、
(b
#3g−1,1%3g、b
#3g−1,2%3g)、
(b
#3g,1%3g、b
#3g,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(k=1、2、3、・・・、3g)
【0135】
ところで、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性があると良好な誤り訂正能力が得られる可能性が高い。式(13−1)〜(13−3g)のパリティ検査多項式を持つ時変周期3g(g=2、3、4、5、・・・)、符号化率を(n−1)/n(nは2以上の整数)のLDPC−CCでは、<条件#5>に加え<条件#6>の条件を付加して符号を作成すると、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性を与えることが可能となるため、より良好な誤り訂正能力が得られる可能性が高まる。
【0136】
また、<条件#6>のかわりに、<条件#6’>を用いる、つまり、<条件#5>に加え、<条件#6’>を付加し符号を作成しても、より高い誤り訂正能力を持つLDPC−CCを作成できる可能性が高くなる。
【0137】
<条件#6’>
式(13−1)〜(13−3g)のX
1(D)の次数において、次の条件を満たす。
(a
#1,1,1%3g、a
#1,1,2%3g)、
(a
#2,1,1%3g、a
#2,1,2%3g)、・・・、
(a
#p,1,1%3g、a
#p,1,2%3g)、・・・、
(a
#3g,1,1%3g、a
#3g,1,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
又は、
式(13−1)〜(13−3g)のX
2(D)の次数において、次の条件を満たす。
(a
#1,2,1%3g、a
#1,2,2%3g)、
(a
#2,2,1%3g、a
#2,2,2%3g)、・・・、
(a
#p,2,1%3g、a
#p,2,2%3g)、・・・、
(a
#3g,2,1%3g、a
#3g,2,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
又は、
式(13−1)〜(13−3g)のX
3(D)の次数において、次の条件を満たす。
(a
#1,3,1%3g、a
#1,3,2%3g)、
(a
#2,3,1%3g、a
#2,3,2%3g)、・・・、
(a
#p,3,1%3g、a
#p,3,2%3g)、・・・、
(a
#3g,3,1%3g、a
#3g,3,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
又は、
・
・
・
又は、
式(13−1)〜(13−3g)のX
k(D)の次数において、次の条件を満たす。
(a
#1,k,1%3g、a
#1,k,2%3g)、
(a
#2,k,1%3g、a
#2,k,2%3g)、・・・、
(a
#p,k,1%3g、a
#p,k,2%3g)、・・・、
(a
#3g,k,1%3g、a
#3g,k,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
(k=1、2、3、・・・、n−1)
又は、
・
・
・
又は、
式(13−1)〜(13−3g)のX
n−1(D)の次数において、次の条件を満たす。
(a
#1,n−1,1%3g、a
#1,n−1,2%3g)、
(a
#2,n−1,1%3g、a
#2,n−1,2%3g)、・・・、
(a
#p,n−1,1%3g、a
#p,n−1,2%3g)、・・・、
(a
#3g,n−1,1%3g、a
#3g,n−1,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
又は、
式(13−1)〜(13−3g)のP(D)の次数において、次の条件を満たす。
(b
#1,1%3g、b
#1,2%3g)、
(b
#2,1%3g、b
#2,2%3g)、
(b
#3,1%3g、b
#3,2%3g)、・・・、
(b
#k,1%3g、b
#k,2%3g)、・・・、
(b
#3g−2,1%3g、b
#3g−2,2%3g)、
(b
#3g−1,1%3g、b
#3g−1,2%3g)、
(b
#3g,1%3g、b
#3g,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(k=1、2、3、・・・、3g)
【0138】
以上、時変周期3g、符号化率(n−1)/n(nは2以上の整数)のLDPC−CCについて説明した。以下、時変周期3g、符号化率1/2(n=2)のLDPC−CCのパリティ検査多項式の次数の条件について説明する。
【0139】
時変周期を3g(g=1、2、3、4、・・・)、符号化率1/2(n=2)のLDPC−CCのパリティ検査多項式として、式(15−1)〜(15−3g)を考える。
【数15】
【0140】
このとき、X(D)はデータ(情報)Xの多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(15−1)〜(15−3g)では、X(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。
【0141】
時変周期3のLDPC−CC及び時変周期6のLDPC−CCと同様に考えると、式(15−1)〜(15−3g)のパリティ検査多項式であらわされる時変周期3g、符号化率1/2(n=2)のLDPC−CCにおいて、以下の条件(<条件#2−1>)を満たすと、より高い誤り訂正能力を得ることができる可能性が高まる。
【0142】
ただし、時変周期3g、符号化率1/2(n=2)のLDPC−CCにおいて、時刻iのパリティをPi及び情報をX
i,1であらわす。このとき、i%3g=kとすると(k=0、1、2、・・・、3g−1)、式(15−(k+1))のパリティ検査多項式が成立する。例えば、i=2とすると、i%3g=2(k=2)となるので、式(16)が成立する。
【数16】
【0143】
また、式(15−1)〜式(15−3g)において、a
#k,1,1、a
#k,1,2、a
#k,1,3は整数(ただし、a
#k,1,1≠a
#k,1,2≠a
#k,1,3)とする(k=1、2、3、・・・、3g)。また、b
#k,1、b
#k,2、b
#k,3は整数(ただし、b
#k,1≠b
#k,2≠b
#k,3)とする。式(15−k)のパリティ検査多項式(k=1、2、3、・・・、3g)を「検査式#k」と呼び、式(15−k)のパリティ検査多項式に基づくサブ行列を、第kサブ行列H
kとする。そして、第1サブ行列H
1、第2サブ行列H
2、第3サブ行列H
3、・・・、第3gサブ行列H
3gから生成する時変周期3gのLDPC―CCについて考える。
【0144】
<条件#2−1>
式(15−1)〜(15−3g)において、X(D)及びP(D)の次数の組み合わせが以下の条件を満たす。
(a
#1,1,1%3、a
#1,1,2%3、a
#1,1,3%3)、
(b
#1,1%3、b
#1,2%3、b
#1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#2,1,1%3、a
#2,1,2%3、a
#2,1,3%3)、
(b
#2,1%3、b
#2,2%3、b
#2,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#3,1,1%3、a
#3,1,2%3、a
#3,1,3%3)、
(b
#3,1%3、b
#3,2%3、b
#3,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
・
・
・
かつ、
(a
#k,1,1%3、a
#k,1,2%3、a
#k,1,3%3)、
(b
#k,1%3、b
#k,2%3、b
#k,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(よって、k=1、2、3、・・・、3g)
かつ、
・
・
・
かつ、
(a
#3g−2,1,1%3、a
#3g−2,1,2%3、a
#3g−2,1,3%3)、
(b
#3g−2,1%3、b
#3g−2,2%3、b
#3g−2,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#3g−1,1,1%3、a
#3g−1,1,2%3、a
#3g−1,1,3%3)、
(b
#3g−1,1%3、b
#3g−1,2%3、b
#3g−1,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#3g,1,1%3、a
#3g,1,2%3、a
#3g,1,3%3)、
(b
#3g,1%3、b
#3g,2%3、b
#3g,3%3)は、
(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
【0145】
ただし、符号化を容易に行うという点を考慮すると、式(15−1)〜(15−3g)において、
(b
#k,1%3、b
#k,2%3、b
#k,3%3)の3つのうち“0”が1つ存在すると良い(ただし、k=1、2、・・・3g)。このとき、D
0=1が存在し、かつb
#k,1、b
#k,2、b
#k,3が0以上の整数であれば、パリティPを逐次的に求めることができるという特徴を持つからである。
【0146】
また、同一時点のパリティビットとデータビットに関連性を持たせ、高い訂正能力を持つ符号の探索を容易に行うためには、(a
#k,1,1%3、a
#k,1,2%3、a
#k,1,3%3)の3つのうち“0”が1つ存在すると良い(ただし、k=1、2、・・・3g)。
【0147】
次に、符号化を容易に行うという点を考慮した時変周期3g(g=2、3、4、5、・・・)のLDPC−CCについて考える。このとき、符号化率を1/2(n=2)とするとLDPC−CCのパリティ検査多項式は以下のようにあらわすことができる。
【数17】
【0148】
このとき、X(D)はデータ(情報)Xの多項式表現であり、P(D)はパリティの多項式表現である。ここで、式(17−1)〜(17−3g)では、X、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とする。ただし、時変周期3g、符号化率1/2(n=2)のLDPC−CCにおいて、時刻iのパリティをPi及び情報をX
i,1であらわす。このとき、i%3g=kとすると(k=0、1、2、・・・、3g−1)、式(17−(k+1))のパリティ検査多項式が成立する。例えば、i=2とすると、i%3g=2(k=2)となるので、式(18)が成立する。
【数18】
【0149】
このとき、<条件#3−1>及び<条件#4−1>を満たすと、より高い誤り訂正能力を持つ符号を作成することができる可能性が高まる。
【0150】
<条件#3−1>
式(17−1)〜(17−3g)において、X(D)の次数の組み合わせが以下の条件を満たす。
(a
#1,1,1%3、a
#1,1,2%3、a
#1,1,3%3)は、(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#2,1,1%3、a
#2,1,2%3、a
#2,1,3%3)は、(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#3,1,1%3、a
#3,1,2%3、a
#3,1,3%3)は、(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
・
・
・
かつ、
(a
#k,1,1%3、a
#k,1,2%3、a
#k,1,3%3)は、(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。(よって、k=1、2、3、・・・、3g)
かつ、
・
・
・
かつ、
(a
#3g−2,1,1%3、a
#3g−2,1,2%3、a
#3g−2,1,3%3)は、(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#3g−1,1,1%3、a
#3g−1,1,2%3、a
#3g−1,1,3%3)は、(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
かつ、
(a
#3g,1,1%3、a
#3g,1,2%3、a
#3g,1,3%3)は、(0、1、2)、(0、2、1)、(1、0、2)、(1、2、0)、(2、0、1)、(2、1、0)のいずれかとなる。
【0151】
加えて、式(17−1)〜(17−3g)において、P(D)の次数の組み合わが以下の条件を満たす。
(b
#1,1%3、b
#1,2%3)、
(b
#2,1%3、b
#2,2%3)、
(b
#3,1%3、b
#3,2%3)、・・・、
(b
#k,1%3、b
#k,2%3)、・・・、
(b
#3g−2,1%3、b
#3g−2,2%3)、
(b
#3g−1,1%3、b
#3g−1,2%3)、
(b
#3g,1%3、b
#3g,2%3)は、
(1、2)、(2、1)のいずれかとなる(k=1、2、3、・・・、3g)。
【0152】
式(17−1)〜(17−3g)に対する<条件#3−1>は、式(15−1)〜(15−3g)に対する<条件#2−1>と同様の関係となる。式(17−1)〜(17−3g)に対して、<条件#3−1>に加え、以下の条件(<条件#4−1>)を付加すると、より高い誤り訂正能力を持つLDPC−CCを作成することができる可能性が高まる。
【0153】
<条件#4−1>
式(17−1)〜(17−3g)のP(D)の次数において、以下の条件を満たす。
(b
#1,1%3g、b
#1,2%3g)、
(b
#2,1%3g、b
#2,2%3g)、
(b
#3,1%3g、b
#3,2%3g)、・・・、
(b
#k,1%3g、b
#k,2%3g)、・・・、
(b
#3g−2,1%3g、b
#3g−2,2%3g)、
(b
#3g−1,1%3g、b
#3g−1,2%3g)、
(b
#3g,1%3g、b
#3g,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。
【0154】
ところで、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性があると良好な誤り訂正能力が得られる可能性が高い。式(17−1)〜(17−3g)のパリティ検査多項式を持つ時変周期3g(g=2、3、4、5、・・・)、符号化率1/2(n=2)のLDPC−CCでは、<条件#3−1>に加え<条件#4−1>の条件をつけ符号を作成すると、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性を与えることが可能となるため、より良好な誤り訂正能力が得られる可能性が高まる。
【0155】
次に、符号化を容易に行うことができ、かつ、同一時点のパリティビットとデータビットに関連性を持たせる、時変周期3g(g=2、3、4、5、・・・)のLDPC−CCについて考える。このとき、符号化率を1/2(n=2)とするとLDPC−CCのパリティ検査多項式は以下のようにあらわすことができる。
【数19】
【0156】
このとき、X(D)はデータ(情報)Xの多項式表現であり、P(D)はパリティの多項式表現である。そして、式(19−1)〜(19−3g)では、X(D)、P(D)それぞれに3つの項が存在するようなパリティ検査多項式とし、X(D)、P(D)にはD
0の項が存在することになる。(k=1、2、3、・・・、3g)
【0157】
ただし、時変周期3g、符号化率1/2(n=2)のLDPC−CCにおいて、時刻iのパリティをPi及び情報をX
i,1であらわす。このとき、i%3g=kとすると(k=0、1、2、・・・、3g−1)、式(19−(k+1))のパリティ検査多項式が成立する。例えば、i=2とすると、i%3g=2(k=2)となるので、式(20)が成立する。
【数20】
【0158】
このとき、以下の条件(<条件#5−1>及び<条件#6−1>)を満たすと、より高い誤り訂正能力を持つ符号を作成することができる可能性が高まる。
【0159】
<条件#5−1>
式(19−1)〜(19−3g)において、X(D)の次数の組み合わせが以下の条件を満たす。
(a
#1,1,1%3、a
#1,1,2%3)は、(1、2)、(2、1)のいずれかとなる。
かつ、
(a
#2,1,1%3、a
#2,1,2%3)は、(1、2)、(2、1)のいずれかとなる。
かつ、
(a
#3,1,1%3、a
#3,1,2%3)は、(1、2)、(2、1)のいずれかとなる。
かつ、
・
・
・
かつ、
(a
#k,1,1%3、a
#k,1,2%3)は、(1、2)、(2、1)のいずれかとなる。(よって、k=1、2、3、・・・、3g)
かつ、
・
・
・
かつ、
(a
#3g−2,1,1%3、a
#3g−2,1,2%3)は、(1、2)、(2、1)のいずれかとなる。
かつ、
(a
#3g−1,1,1%3、a
#3g−1,1,2%3)は、(1、2)、(2、1)のいずれかとなる。
かつ、
(a
#3g,1,1%3、a
#3g,1,2%3)は、(1、2)、(2、1)のいずれかとなる。
【0160】
加えて、式(19−1)〜(19−3g)において、P(D)の次数の組み合わが以下の条件を満たす。
(b
#1,1%3、b
#1,2%3)、
(b
#2,1%3、b
#2,2%3)、
(b
#3,1%3、b
#3,2%3)、・・・、
(b
#k,1%3、b
#k,2%3)、・・・、
(b
#3g−2,1%3、b
#3g−2,2%3)、
(b
#3g−1,1%3、b
#3g−1,2%3)、
(b
#3g,1%3、b
#3g,2%3)は、
(1、2)、(2、1)のいずれかとなる(k=1、2、3、・・・、3g)。
【0161】
式(19−1)〜(19−3g)に対する<条件#5−1>は、式(15−1)〜(15−3g)に対する<条件#2−1>と同様の関係となる。式(19−1)〜(19−3g)に対して、<条件#5−1>に加え、以下の条件(<条件#6−1>)を付加すると、より高い誤り訂正能力を持つLDPC−CCを作成することができる可能性が高まる。
【0162】
<条件#6−1>
式(19−1)〜(19−3g)のX(D)の次数において、次の条件を満たす。
(a
#1,1,1%3g、a
#1,1,2%3g)、
(a
#2,1,1%3g、a
#2,1,2%3g)、・・・、
(a
#p,1,1%3g、a
#p,1,2%3g)、・・・、
(a
#3g,1,1%3g、a
#3g,1,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
かつ、
式(19−1)〜(19−3g)のP(D)の次数において、次の条件を満たす。
(b
#1,1%3g、b
#1,2%3g)、
(b
#2,1%3g、b
#2,2%3g)、
(b
#3,1%3g、b
#3,2%3g)、・・・、
(b
#k,1%3g、b
#k,2%3g)、・・・、
(b
#3g−2,1%3g、b
#3g−2,2%3g)、
(b
#3g−1,1%3g、b
#3g−1,2%3g)、
(b
#3g,1%3g、b
#3g,2%3g)の6g(3g×2)個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(k=1、2、3、・・・、3g)
【0163】
ところで、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性があると、良好な誤り訂正能力が得られる可能性が高い。式(19−1)〜(19−3g)のパリティ検査多項式を持つ時変周期3g(g=2、3、4、5、・・・)、符号化率1/2のLDPC−CCでは、<条件#5−1>に加え<条件#6−1>の条件を付加して符号を作成すると、検査行列において、“1”の存在する位置に規則性を持ちながらもランダム性を与えることが可能となるため、より良好な誤り訂正能力が得られる可能性が高まる。
【0164】
また、<条件#6−1>のかわりに、<条件#6’−1>を用いる、つまり、<条件#5−1>に加え、<条件#6’−1>を付加し符号を作成しても、より高い誤り訂正能力を持つLDPC−CCを作成することができる可能性が高まる。
【0165】
<条件#6’−1>
式(19−1)〜(19−3g)のX(D)の次数において、次の条件を満たす。
(a
#1,1,1%3g、a
#1,1,2%3g)、
(a
#2,1,1%3g、a
#2,1,2%3g)、・・・、
(a
#p,1,1%3g、a
#p,1,2%3g)、・・・、
(a
#3g,1,1%3g、a
#3g,1,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(p=1、2、3、・・・、3g)
又は、
式(19−1)〜(19−3g)のP(D)の次数において、次の条件を満たす。
(b
#1,1%3g、b
#1,2%3g)、
(b
#2,1%3g、b
#2,2%3g)、
(b
#3,1%3g、b
#3,2%3g)、・・・、
(b
#k,1%3g、b
#k,2%3g)、・・・、
(b
#3g−2,1%3g、b
#3g−2,2%3g)、
(b
#3g−1,1%3g、b
#3g−1,2%3g)、
(b
#3g,1%3g、b
#3g,2%3g)の6g個の値には、
0から3g−1の整数(0、1、2、3、4、・・・、3g−2、3g−1)のうち、3の倍数(つまり、0、3、6、・・・、3g−3)以外の値の全ての値が存在する。(k=1、2、3、・・・、3g)
【0166】
一例として、良好な誤り訂正能力を持つ、符号化率1/2、時変周期6のLDPC−CCを表4に列挙する。
【表4】
【0167】
以上、特性が良好な時変周期gのLDPC−CCについて説明した。なお、LDPC−CCは、情報ベクトルnに生成行列Gを乗ずることにより、符号化データ(符号語)を得ることができる。つまり、符号化データ(符号語)cは、c=n×Gとあらわすことができる。ここで、生成行列Gは、予め設計された検査行列Hに対応して求められたものである。具体的には、生成行列Gは、G×H
T=0を満たす行列である。
【0168】
例えば、符号化率1/2、生成多項式G=[1 G
1(D)/G
0(D)]の畳み込み符号を例に考える。このとき、G
1はフィードフォワード多項式、G
0はフィードバック多項式をあらわす。情報系列(データ)の多項式表現をX(D)、パリティ系列の多項式表現をP(D)とするとパリティ検査多項式は、以下の式(21)のようにあらわされる。
【数21】
ここで、Dは、遅延演算子である。
【0169】
図5に、(7,5)の畳み込み符号に関する情報を記載する。(7,5)畳み込み符号の生成行列はG=[1 (D
2+1)/(D
2+D+1)]とあらわされる。したがって、パリティ検査多項式は、以下の式(22)となる。
【数22】
【0170】
ここで、時点iにおけるデータをX
i、パリティをP
iとあらわし、送信系列W
i=(X
i,P
i)とあらわす。そして、送信ベクトルw=(X
1,P
1,X
2,P
2,・・・,X
i,P
i・・・)
Tとあらわす。すると、式(22)から、検査行列Hは
図5に示すようにあらわすことができる。このとき、以下の式(23)の関係式が成立する。
【数23】
【0171】
したがって、復号側では、検査行列Hを用い、非特許文献5〜非特許文献7に示されているようなBP(Belief Propagation)(信頼度伝播)復号、BP復号を近似したmin-sum復号、offset BP復号、Normalized BP復号、shuffled BP復号などの信頼度伝播を利用した復号を行うことができる。
【0172】
(畳み込み符号に基づく時不変・時変LDPC−CC(符号化率(n−1)/n)(n:自然数))
以下、畳み込み符号に基づく時不変・時変LDPC−CCの概要を述べる。
【0173】
符号化率R=(n−1)/nの情報X
1、X
2、・・・、X
n−1の多項式表現をX
1(D)、X
2(D)、・・・、X
n−1(D)、また、パリティPの多項式表現をP(D)とし、式(24)のようにあらわされるパリティ検査多項式を考える。
【数24】
【0174】
式(24)において、このときa
p,p(p=1,2,・・・,n−1;q=1,2,・・・,rp)は、例えば、自然数であり、a
p,1≠a
p,2≠・・・≠a
p,rpを満足する。また、b
q(q=1,2,・・・,s)は、自然数であり、b
1≠b
2≠・・・≠b
sを満足する。このとき、式(24)のパリティ検査多項式に基づく検査行列で定義される符号を、ここでは、時不変LDPC−CCと呼ぶ。
【0175】
式(24)に基づく異なるパリティ検査多項式をm個用意する(mは、2以上の整数)。そのパリティ検査多項式を以下のようにあらわす。
【数25】
ここで、i=0,1,・・・,m−1である。
【0176】
そして、時点jにおける情報X
1、X
2、・・・、X
n−1をX
1,j、X
2,j、・・・、X
n−1,jとあらわし、時点jにおけるパリティPをPjとあらわし、u
j=(X
1,j,X
2,j,・・・,X
n−1,j,Pj)
Tとする。このとき、時点jの情報X
1,j、X
2,j、・・・、X
n−1,j及びパリティP
jは、式(26)のパリティ検査多項式を満たす。
【数26】
ここで、「j mod m」は、jをmで除算した余りである。
【0177】
式(26)のパリティ検査多項式に基づく検査行列で定義される符号を、ここでは時変LDPC−CCと呼ぶ。このとき、式(24)のパリティ検査多項式で定義される時不変LDPC−CC、及び、式(26)のパリティ検査多項式で定義される時変LDPC−CCは、逐次的にパリティをレジスタ及び排他的論理和で簡単に求めることができるという特徴を持つ。
【0178】
例えば、符号化率2/3で、式(24)〜式(26)に基づく時変周期2のLDPC―CCの検査行列Hの構成を、
図6に示す。式(26)に基づく時変周期2の異なる2つの検査多項式に対し、「検査式#1」、「検査式#2」と名付ける。
図6において、(Ha,111)は「検査式#1」に相当する部分であり、(Hc,111)は「検査式#2」に相当する部分である。以下、(Ha,111)及び(Hc,111)をサブ行列と定義する。
【0179】
このように、本提案の時変周期2のLDPC−CCの検査行列Hを、「検査式#1」のパリティ検査多項式をあらわす第1サブ行列と、「検査式#2」のパリティ検査多項式をあらわす第2サブ行列とにより定義することができる。具体的には、検査行列Hにおいて、第1サブ行列と第2サブ行列とが行方向に交互に配置されるようにする。なお、符号化率2/3の場合、
図6に示すように、第i行と第i+1行とでは、サブ行列が3列右にシフトした構成となる。
【0180】
また、時変周期2の時変LDPC−CCの場合、第i行のサブ行列と第i+1行のサブ行列とは、異なるサブ行列となる。つまり、サブ行列(Ha,11)または(Hc,11)のいずれか一方が第1サブ行列となり、他方が第2サブ行列となる。送信ベクトルuを、u=(X
1,0、X
2,0、P
0、X
1,1、X
2,1、P
1、・・・、X
1,k、X
2,k、P
k、・・・・)
Tとすると、Hu=0が成立する(式(23)参照))。
【0181】
次に、符号化率2/3の場合に、時変周期をmとするLDPC−CCを考える。時変周期2の場合と同様に、式(24)であらわされるパリティ検査多項式をm個用意する。そして、式(24)であらわされる「検査式#1」を用意する。同様に、式(24)であらわされる「検査式#2」から「検査式#m」を用意する。時点mi+1のデータXとパリティPをそれぞれX
mi+1、P
mi+1とあらわし、時点mi+2のデータXとパリティPとを、それぞれX
mi+2、P
mi+2とあわし、・・・、時点mi+mのデータXとパリティPとを、それぞれX
mi+m、P
mi+mとあらわす(i:整数)。
【0182】
このとき、時点mi+1のパリティP
mi+1を「検査式#1」を用いて求め、時点mi+2のパリティP
mi+2を「検査式#2」を用いて求め、・・・、時点mi+mのパリティP
mi+mを「検査式#m」を用いて求めるLDPC−CCを考える。このようなLDPC−CC符号は、
・符号化器を簡単に構成することができ、かつ、パリティを逐次的に求めることができる
・終端ビットの削減、終端時のパンクチャ時の受信品質の向上が見込める
という利点を備える。
【0183】
図7に、上述した符号化率2/3、時変周期mのLDPC−CCの検査行列の構成を示す。
図7において、(H
1,111)は「検査式#1」に相当する部分であり、(H
2,111)は「検査式#2」に相当する部分であり、・・・、(H
m,111)は「検査式#m」に相当する部分である。以下、(H
1,111)を第1サブ行列と定義し、(H
2,111)を第2サブ行列と定義し、・・・、(H
m,111)を、第mサブ行列と定義する。
【0184】
このように、本提案の時変周期mのLDPC−CCの検査行列Hは、「検査式#1」のパリティ検査多項式をあらわす第1サブ行列、「検査式#2」のパリティ検査多項式をあらわす第2サブ行列、・・・、及び、「検査式#m」のパリティ検査多項式をあらわす第mサブ行列により定義することができる。具体的には、検査行列Hにおいて、第1サブ行列から第mサブ行列までが、行方向に周期的に配置されるようにした(
図7参照)。なお、符号化率2/3の場合、第i行と第i+1行とでは、サブ行列が3列右にシフトした構成となる(
図7参照)。
【0185】
送信ベクトルuを、u=(X
1,0、X
2,0、P
0、X
1,1、X
2,1、P
1、・・・、X
1,k、X
2,k、P
k、・・・・)
Tとすると、Hu=0が成立する(式(23)参照))。
【0186】
上述の説明では、符号化率(n−1)/nの畳み込み符号に基づく時不変・時変LDPC−CCの一例として、符号化率2/3の場合を例に説明したが、同様に考えることで、符号化率(n−1)/nの畳み込み符号に基づく時不変・時変LDPC−CCのパリティ検査行列を作成することができる。
【0187】
すなわち、符号化率2/3の場合、
図7において、(H
1,111)は「検査式#1」に相当する部分(第1サブ行列)であり、(H
2,111)は「検査式#2」に相当する部分(第2サブ行列)であり、・・・、(H
m,111)は「検査式#m」に相当する部分(第mサブ行列)であるのに対し、符号化率(n−1)/nの場合、
図8に示すようになる。つまり、「検査式#1」に相当する部分(第1サブ行列)は、(H
1,11・・・1)であらわされ、「検査式#k」(k=2、3、・・・、m)に相当する部分(第kサブ行列)は、(H
k,11・・・1)であらわされる。このとき、第kサブ行列において、H
kを除く部分の「1」の個数は、n−1個となる。そして、検査行列Hにおいて、第i行と第i+1行とでは、サブ行列がn−1列右にシフトした構成となる(
図8参照)。
【0188】
送信ベクトルuを、u=(X
1,0、X
2,0、・・・、X
n−1,0、P
0、X
1,1、X
2,1、・・・、X
n−1,1、P
1、・・・、X
1,k、X
2,k、・・・、X
n−1,k、P
k、・・・・)
Tとすると、Hu=0が成立する(式(23)参照)。
【0189】
なお、
図9に、一例として、符号化率R=1/2の場合のLDPC−CC符号化器の構成例を示す。
図9に示すように、LDPC−CC符号化器100は、データ演算部110、パリティ演算部120、ウェイト制御部130及びmod2加算(排他的論理和演算)器140を主に備える。
【0190】
データ演算部110は、シフトレジスタ111−1〜111−M、ウェイト乗算器112−0〜112−Mを備える。
【0191】
パリティ演算部120は、シフトレジスタ121−1〜121−M、ウェイト乗算器122−0〜122−Mを備える。
【0192】
シフトレジスタ111−1〜111−M及び121−1〜121−Mは、それぞれv
1,t−i,v
2,t−i(i=0,…,M)を保持するレジスタであり、次の入力が入ってくるタイミングで、保持している値を右隣のシフトレジスタに向けて出力し、左隣のシフトレジスタから出力される値を新たに保持する。なお、シフトレジスタの初期状態は全て0である。
【0193】
ウェイト乗算器112−0〜112−M,122−0〜122−Mは、ウェイト制御部130から出力される制御信号にしたがって、h
1(m),h
2(m)の値を0/1に切り替える。
【0194】
ウェイト制御部130は、内部に保持する検査行列に基づいて、そのタイミングにおけるh
1(m),h
2(m)の値を出力し、ウェイト乗算器112−0〜112−M,122−0〜122−Mに向けて供給する。
【0195】
mod2加算器140は、ウェイト乗算器112−0〜112−M,122−0〜122−Mの出力に対しmod2の算出結果を全て加算し、p
iを算出する。
【0196】
このような構成を採ることで、LDPC−CC符号化器100は、検査行列にしたがったLDPC−CCの符号化を行うことができる。
【0197】
なお、ウェイト制御部130が保持する検査行列の各行の並びが行毎に異なる場合、LDPC−CC符号化器100は、時変(time varying)畳み込み符号化器となる。また、符号化率(q−1)/qのLDPC−CCの場合には、データ演算部110を(q−1)個設け、mod2加算器140が、各ウェイト乗算器の出力をmod2加算(排他的論理和演算)を行う構成とすれば良い。
【0198】
(実施の形態2)
次いで、本実施の形態では、符号化器・復号化器において、低演算規模で複数の符号化率に対応することができるLDPC−CCの探索方法について説明する。以下に説明する方法により探索されたLDPC−CCを用いることにより、復号化器では、高いデータ受信品質を実現することができる。
【0199】
本実施の形態におけるLDPC−CCの探索方法は、例えば、上述したような特性が良好なLDPC−CCのうち、符号化率1/2のLDPC−CCに基づいて、符号化率2/3,3/4,4/5,…,(q−1)/qのLDPC−CCを順次探索する。これにより、符号化及び復号化処理において、最も符号化率の高い(q−1)/qのときの符号化器、復号化器を用意することで、最も符号化率の高い(q−1)/qより小さい符号化率(s−1)/s(s=2、3、・・・、q−1)の符号化、復号化を行うことが可能となる。
【0200】
なお、以下では、一例として、時変周期3のLDPC−CCを用いて説明する。上述したように、時変周期3のLDPC−CCは、非常に良好な誤り訂正能力を有する。
【0201】
(LDPC−CCの探索方法)
(1)符号化率1/2
先ず、基礎となるLDPC−CCとして、符号化率1/2のLDPC−CCを選択する。基礎となる符号化率1/2のLDPC−CCとしては、上述したような特性が良好なLDPC−CCを選択する。
【0202】
以下では、基礎となる符号化率1/2のLDPC−CCのパリティ検査多項式として、式(27−1)〜式(27−3)であらわされるパリティ検査多項式を選択した場合について説明する。(式(27−1)〜式(27−3)の例では上述の(良好な特性を有するLDPC―CC)と同様の形式であらわしているため、時変周期3のLDPC−CCは、3つのパリティ検査多項式で定義することができる。)
【数27】
【0203】
式(27−1)〜式(27−3)は、表3に記載したように、特性が良好な時変周期3、符号化率1/2のLDPC−CCのパリティ検査多項式の一例である。そして、上述の(良好な特性を有するLDPC―CC)で説明したように、時点jにおける情報X
1をX
1,jとあらわし、時点jにおけるパリティPをPjとあらわし、u
j=(X
1,j,Pj)
Tとする。このとき、時点jの情報X
1,j及びパリティP
jは、
「j mod 3=0のとき、式(27―1)のパリティ検査多項式を満たす。」
「j mod 3=1のとき、式(27―2)のパリティ検査多項式を満たす。」
「j mod 3=2のとき、式(27―3)のパリティ検査多項式を満たす。」
このとき、パリティ検査多項式と検査行列の関係は、上述の(良好な特性を有するLDPC−CC)で説明した場合と同様である。
【0204】
(2)符号化率2/3
次いで、特性が良好な符号化率1/2のパリティ検査多項式に基づいて、符号化率2/3のLDPC−CCのパリティ検査多項式を作成する。具体的には、符号化率2/3のLDPC−CCのパリティ検査多項式が、基礎とする符号化率1/2のパリティ検査多項式を含む構成とする。
【0205】
ベースの符号化率1/2のLDPC−CCに、式(27−1)〜式(27−3)を用いる場合の符号化率2/3のLDPC−CCのパリティ検査多項式を式(28−1)〜式(28−3)のようにあらわすことができる。
【数28】
【0206】
式(28−1)〜式(28−3)に示されるパリティ検査多項式は、式(27−1)〜式(27−3)に、それぞれX
2(D)の項を追加した構成を採る。式(28−1)〜式(28−3)を用いる符号化率2/3のLDPC−CCのパリティ検査多項式は、後述する符号化率3/4のパリティ検査多項式の基礎となる。
【0207】
なお、式(28−1)〜式(28−3)において、X
2(D)の各次数、(α1,β1)、(α2,β2)、(α3,β3)が、上述の条件(<条件#1>〜<条件#6>等)を満たすように設定すると、符号化率2/3の場合にも、特性が良好なLDPC−CCを得ることができる。
【0208】
そして、上述の(良好な特性を有するLDPC―CC)で説明したように、時点jにおける情報X
1、X
2をX
1,j、X
2,jとあらわし、時点jにおけるパリティPをPjとあらわし、u
j=(X
1,j,X
2,j,Pj)
Tとする。このとき、時点jの情報X
1,j、X
2,j及びパリティP
jは、
「j mod 3=0のとき、式(28―1)のパリティ検査多項式を満たす。」
「j mod 3=1のとき、式(28―2)のパリティ検査多項式を満たす。」
「j mod 3=2のとき、式(28―3)のパリティ検査多項式を満たす。」
このとき、パリティ検査多項式と検査行列の関係は、上述の(良好な特性を有するLDPC−CC)で説明した場合と同様である。
【0209】
(3)符号化率3/4
次いで、上述の符号化率2/3のパリティ検査多項式に基づいて、符号化率3/4のLDPC−CCのパリティ検査多項式を作成する。具体的には、符号化率3/4のLDPC−CCのパリティ検査多項式が、基礎とする符号化率2/3のパリティ検査多項式を含む構成とする。
【0210】
ベースの符号化率2/3のLDPC−CCに、式(28−1)〜式(28−3)を用いる場合の符号化率3/4のLDPC−CCのパリティ検査多項式を式(29−1)〜式(29−3)に示す。
【数29】
【0211】
式(29−1)〜式(29−3)に示されるパリティ検査多項式は、式(28−1)〜式(28−3)に、それぞれX
3(D)の項を追加した構成を採る。なお、式(29−1)〜式(29−3)において、X
3(D)の各次数、(γ1,δ1)、(γ2,δ2)、(γ3,δ3)が、特性が良好なLDPC−CCの次数の条件(<条件#1>〜<条件#6>等)を満たすように設定すると、符号化率3/4の場合にも、特性が良好なLDPC−CCを得ることができる。
【0212】
そして、上述の(良好な特性を有するLDPC―CC)で説明したように、時点jにおける情報X
1、X
2、X
3をX
1,j、X
2,j、X
3,jとあらわし、時点jにおけるパリティPをPjとあらわし、u
j=(X
1,j,X
2,j,X
3,j,Pj)
Tとする。このとき、時点jの情報X
1,j、X
2,j、X
3,j及びパリティP
jは、
「j mod 3=0のとき、式(29―1)のパリティ検査多項式を満たす。」
「j mod 3=1のとき、式(29―2)のパリティ検査多項式を満たす。」
「j mod 3=2のとき、式(29―3)のパリティ検査多項式を満たす。」
このとき、パリティ検査多項式と検査行列の関係は、上述の(良好な特性を有するLDPC−CC)で説明した場合と同様である。
【0213】
式(30−1)〜(30−(q−1))に、上述のようにして探索した場合の時変周期gのLDPC−CCのパリティ検査多項式の一般式を示す。
【数30】
【0214】
ただし、式(30−1)は一般式で表現しているため、式(30−1)のような表現をしているが、上述の(良好な特性を有するLDPC―CC)で説明したように、実際は、時変周期がgなので、式(30−1)はg個のパリティ検査多項式で表現される。(本実施の形態で説明したように、例えば、時変周期3の場合、式(27−1)〜式(27−3)のように、3個のパリティ検査多項式で表現されている。)式(30−1)と同様に、式(30−2)〜式(30−(q−1))のそれぞれの式も時変周期がgなのでg個のパリティ検査多項式で表現される。
【0215】
ここで、式(30−1)のg個のパリティ検査多項式を式(30−1−0)、式(30−1−1)、式(30−1−2)、・・・、式(30−1−(g−2))、式(30―1−(g−1))と表現することにする。
【0216】
同様に、式(30−w)はg個のパリティ検査多項式で表現される(w=2、3、・・・、q−1)。ここで、式(30−w)のg個のパリティ検査多項式を式(30−w−0)、式(30−w−1)、式(30−w−2)、・・・、式(30−w−(g−2))、式(30―w−(g−1))と表現することにする。
【0217】
なお、式(30−1)〜式(30−(q−1))において、X
1,i、X
2,i、・・・、X
q−1,iは、時点iにおける情報X
1、X
2、・・・、X
q−1を示し、P
iは時点iにおけるパリティPを示す。また、A
Xr,k(D)は、符号化率(r−1)/r(r=2,3,…,q(qは3以上の自然数))の時刻iとし、k=i mod gとして求めたkのパリティ検査多項式におけるX
r(D)の項である。また、B
k(D)は、符号化率(r−1)/rの時刻iとしk=i mod gとして求めたkのパリティ検査多項式におけるP(D)の項である。また、「i mod g」は、iをgで除算した余りである。
【0218】
すなわち、式(30−1)は、符号化率1/2に対応する時変周期gのLDPC−CCのパリティ検査多項式であり、式(30−2)は、符号化率2/3に対応する時変周期gのLDPC−CCのパリティ検査多項式であり、…、式(30−(q−1))は、符号化率(q−1)/qに対応する時変周期gのLDPC−CCのパリティ検査多項式である。
【0219】
このようにして、特性が良好な符号化率1/2のLDPC−CCのパリティ検査多項式である式(30−1)を基礎として、符号化率2/3のLDPC−CCのパリティ検査多項式(30−2)を生成する。
【0220】
更に、符号化率2/3のLDPC−CCのパリティ検査多項式(30−2)を基礎として、符号化率3/4のLDPC−CCのパリティ検査多項式(30−3)を生成する。以降同様にして、符号化率(r−1)/rのLDPC−CCを基礎として、符号化率r/(r+1)のLDPC−CCのパリティ検査多項式を生成する。(r=2、3、・・・、q−2、q−1)
【0221】
以上のパリティ検査多項式の構成方法について別の表現をする。符号化率(y−1)/yである時変周期gのLDPC―CCと、符号化率(z−1)/zである時変周期gのLDPC−CCとを、考える。ただし、符号化器の回路の共用化と、復号化器の回路の共用化とを図る符号化率の中で最大の符号化率は(q−1)/qであり、gは2以上の整数、yは2以上の整数、zは2以上の整数とし、y<z≦qの関係が成立するものとする。なお、符号化器の回路の共用化とは、符号化器内部の回路の共用化であり、符号化器と復号化器との回路の共用化ではない。
【0222】
このとき、式(30―1)〜(30−(q−1))の説明をする際に述べたg個のパリティ検査多項式を表現した式(30−w−0)、式(30−w−1)、式(30−w−2)、・・・、式(30−w−(g−2))、式(30―w−(g−1))において、w=y―1としたときのg個のパリティ検査多項式を式(31−1)〜式(31−g)であらわす。
【数31】
【0223】
式(31−1)〜式(31―g)において、式(31−w)と式(31―w’)は等価の式であり、以降で式(31−w)と記載されているところを式(31−w’)と置き換えても良い(w=1、2、・・・、g)。
【0224】
そして、上述の(良好な特性を有するLDPC―CC)で説明したように、時点jにおける情報X
1、X
2、・・・、X
y−1をX
1,j、X
2,j、・・・、X
y−1,jとあらわし、時点jにおけるパリティPをPjとあらわし、u
j=(X
1,j,X
2,j、・・・、X
y−1,j、Pj)
Tとする。このとき、時点jの情報X
1,j、X
2,j、・・・、X
y−1,j及びパリティP
jは、
「j mod g=0のとき、式(31―1)のパリティ検査多項式を満たす。」
「j mod g=1のとき、式(31―2)のパリティ検査多項式を満たす。」
「j mod g=2のとき、式(31―3)のパリティ検査多項式を満たす。」
・
・
・
「j mod g=kのとき、式(31―(k+1))のパリティ検査多項式を満たす。」
・
・
・
「j mod g=g−1のとき、式(31―g)のパリティ検査多項式を満たす。」
このとき、パリティ検査多項式と検査行列の関係は、上述の(良好な特性を有するLDPC−CC)で説明した場合と同様である。
【0225】
次に、式(30―1)〜(30−(q−1))の説明をする際に述べたg個のパリティ検査多項式を表現した式(30−w−0)、式(30−w−1)、式(30−w−2)、・・・、式(30−w−(g−2))、式(30―w−(g−1))において、w=z―1としたときのg個のパリティ検査多項式を式(32−1)〜式(32−g)であらわす。(y<z≦qの関係から、式(32−1)〜式(32−g)とあらわすことができる。)
【数32】
【0226】
式(32−1)〜式(32―g)において、式(32−w)と式(32―w’)は等価の式であり、以降で式(32−w)と記載されているところを式(32−w’)と置き換えても良い(w=1、2、・・・、g)。
【0227】
そして、上述の(良好な特性を有するLDPC―CC)で説明したように、時点jにおける情報X
1、X
2、・・・、X
y−1、・・・、X
s、・・・、X
z−1をX
1,j、X
2,j、・・・、X
y−1,j、・・・、X
s,j、・・・、X
z−1,jとあらわし、時点jにおけるパリティPをPjとあらわし、u
j=(X
1,j,X
2,j、・・・、X
y−1,j、・・・、X
s,j、・・・、X
z−1,j、Pj)
Tとする(したがって、y<z≦qの関係から、s=y、y+1、y+2、y+3、・・・、z−3、z−2、z−1となる。)。このとき、時点jの情報X
1,j、X
2,j、・・・、X
y−1,j、・・・、X
s,j、・・・、X
z−1,j及びパリティP
jは、
「j mod g=0のとき、式(32―1)のパリティ検査多項式を満たす。」
「j mod g=1のとき、式(32―2)のパリティ検査多項式を満たす。」
「j mod g=2のとき、式(32―3)のパリティ検査多項式を満たす。」
・
・
・
「j mod g=kのとき、式(32―(k+1))のパリティ検査多項式を満たす。」
・
・
・
「j mod g=g−1のとき、式(32―g)のパリティ検査多項式を満たす。」このとき、パリティ検査多項式と検査行列の関係は、上述の(良好な特性を有するLDPC−CC)で説明した場合と同様である。
【0228】
上記関係が成立する場合において、符号化率(y−1)/yにおける時変周期gのLDPC―CCと、符号化率(z−1)/zにおける時変周期gのLDPC−CCとにおいて、以下の条件が成立する場合、符号化率(y−1)/yにおける時変周期gのLDPC―CCの符号化器と、符号化率(z−1)/zにおける時変周期gのLDPC−CCの符号化器とが、回路の共用化ができ、かつ、符号化率(y−1)/yにおける時変周期gのLDPC―CCの復号化器と、符号化率(z−1)/zにおける時変周期gのLDPC−CCの復号化器とが、回路の共用化ができる。その条件は、以下のとおりである。
【0229】
まず、式(31―1)と式(32−1)とでは、以下の関係が成立する。
「式(31―1)のA
X1,0(D)と式(32―1)のA
X1,0(D)とは、等号が成立する。」
・
・
・
「式(31―1)のA
Xf,0(D)と式(32―1)のA
Xf,0(D)とは、等号が成立する。」
・
・
・
「式(31―1)のA
Xy−1,0(D)と式(32―1)のA
Xy−1,0(D)とは、等号が成立する。」
つまり、上記関係はf=1、2、3、・・・、y−1で成立する。
【0230】
また、パリティに対しても以下の関係が成立する。
「式(31―1)のB
0(D)と式(32―1)のB
0(D)とは、等号が成立する。」
【0231】
同様に、式(31―2)と式(32−2)では以下の関係が成立する。
「式(31―2)のA
X1,1(D)と式(32―2)のA
X1,1(D)とは、等号が成立する。」
・
・
・
「式(31―2)のA
Xf,1(D)と式(32―2)のA
Xf,1(D)とは、等号が成立する。」
・
・
・
「式(31―2)のA
Xy−1,1(D)と式(32―2)のA
Xy−1,1(D)とは、等号が成立する。」
つまり、上記関係はf=1、2、3、・・・、y−1で成立する。
【0232】
また、パリティに対しても以下の関係が成立する。
「式(31―2)のB
1(D)と式(32―2)のB
1(D)とは、等号が成立する。」
(略)
【0233】
同様に、式(31―h)と式(32−h)とでは、以下の関係が成立する。
「式(31―h)のA
X1,h−1(D)と式(32―h)のA
X1,h−1(D)とは、等号が成立する。」
・
・
・
「式(31―h)のA
Xf,h−1(D)と式(32―h)のA
Xf,h−1(D)とは、等号が成立する。」
・
・
・
「式(31―h)のA
Xy−1,h−1(D)と式(32―h)のA
Xy−1,h−1(D)とは、等号が成立する。」
つまり、上記関係はf=1、2、3、・・・、y−1で成立する。
【0234】
また、パリティに対しても以下の関係が成立する。
「式(31―h)のB
h−1(D)と式(32―h)のB
h−1(D)とは、等号が成立する。」
(略)
【0235】
同様に、式(31―g)と式(32−g)とでは、以下の関係が成立する。
「式(31―g)のA
X1,g−1(D)と式(32―g)のA
X1,g−1(D)とは、等号が成立する。」
・
・
・
「式(31―g)のA
Xf,g−1(D)と式(32―g)のA
Xf,g−1(D)とは、等号が成立する。」
・
・
・
「式(31―g)のA
Xy−1,g−1(D)と式(32―g)のA
Xy−1,g−1(D)とは、等号が成立する。」
つまり、上記関係はf=1、2、3、・・・、y−1で成立する。
【0236】
また、パリティに対しても以下の関係が成立する。
「式(31―g)のB
g−1(D)と式(32―g)のB
g−1(D)とは、等号が成立する。」
(よって、h=1、2、3、・・・、g−2、g−1、gとなる。)
【0237】
以上のような関係が成立した場合、符号化率(y−1)/yにおける時変周期gのLDPC―CCの符号化器と符号化率(z−1)/zにおける時変周期gのLDPC−CCの符号化器とが、回路の共用化ができ、かつ、符号化率(y−1)/yにおける時変周期gのLDPC―CCの復号化器と符号化率(z−1)/zにおける時変周期gのLDPC−CCの復号化器とが、回路の共用化ができる。ただし、符号化器の回路の共用方法、及び、復号化器の回路の共用化方法については、以降の(符号化器、復号化器の構成)で詳しく説明する。
【0238】
上述の条件を満足した、時変周期3、対応する符号化率が1/2、2/3、3/4、5/6のLDPC−CCのパリティ検査多項式の一例を表5に示す。ただし、パリティ検査多項式の形式は、表3の形式と同様の形式であらわしている。これにより、送信装置、受信装置が、符号化率が1/2、2/3、3/4、5/6を対応した場合、(または、4つの符号化率のうち2つ以上の符号化率を送信装置、受信装置が対応した場合、)演算規模(回路規模)の低減(Distributed codesでありながら、符号化器の回路の共用化と、復号化器の回路の共用化とができるため、回路規模を低減することができる)、及び、受信装置が高いデータの受信品質を得ることができる。
【表5】
【0239】
表5の時変周期3のLDPC−CCが、上記条件を満たしていることを説明する。例えば、表5の符号化率1/2における時変周期3のLDPC―CCと、表5の符号化率2/3における時変周期3のLDPC―CCと、について考える。つまり、(31−1)〜(31−g)においてy=2となり、(32−1)〜(32−g)においてz=3となる。
【0240】
すると、表5の符号化率1/2における時変周期3のLDPC―CCから、式(31−1)のA
X1,0(D)はD
373+D
56+1となり、表5の符号化率2/3における時変周期3のLDPC―CCから、式(32―1)のA
X1,0(D)はD
373+D
56+1となり「式(31―1)のA
X1,0(D)と式(32―1)のA
X1,0(D)とは、等号が成立する。」
【0241】
また、表5の符号化率1/2における時変周期3のLDPC―CCから、式(31―1)のB
0(D)はD
406+D
218+1となり、表5の符号化率2/3における時変周期3のLDPC―CCから、式(32―1)のB
0(D)=D
406+D
218+1となり、「式(31―1)のB
0(D)と式(32―1)のB
0(D)とは、等号が成立する。」
【0242】
同様に、表5の符号化率1/2における時変周期3のLDPC―CCから、式(31−2)のA
X1,1(D)=D
457+D
197+1となり、表5の符号化率2/3における時変周期3のLDPC―CCから式(32―2)のA
X1,1(D)=D
457+D
197+1となり、「式(31―2)のA
X1,1(D)と式(32―2)のA
X1,1(D)とは、等号が成立する。」
【0243】
また、表5の符号化率1/2における時変周期3のLDPC―CCから、式(31―2)のB
1(D)はD
491+D
22+1となり、表5の符号化率2/3における時変周期3のLDPC―CCから、式(32―2)のB
1(D)=D
491+D
22+1となり、「式(31―2)のB
1(D)と式(32―2)のB
1(D)とは、等号が成立する。」
【0244】
同様に、表5の符号化率1/2における時変周期3のLDPC―CCから、式(31−3)のA
X1,2(D)はD
485+D
70+1となり、表5の符号化率2/3における時変周期3のLDPC―CCから、式(32―3)のA
X1,2(D)=D
485+D
70+1となり、「式(31―3)のA
X1,2(D)と式(32―3)のA
X1,2(D)とは、等号が成立する。」
【0245】
また、表5の符号化率1/2における時変周期3のLDPC―CCから、式(31―3)のB
2(D)はD
236+D
181+1となり、表5の符号化率2/3における時変周期3のLDPC―CCから、式(32―3)のB
2(D)はD
236+D
181+1となり、「式(31―3)のB
2(D)と式(32―3)のB
2(D)とは、等号が成立する。」
【0246】
以上から分かるように、表5の符号化率1/2における時変周期3のLDPC―CCと、表5の符号化率2/3における時変周期3のLDPC―CCとは、上記の条件を満たしていることが確認できる。
【0247】
以上と同様に、表5の時変周期3のLDPC−CCにおいて、符号化率1/2、2/3、3/4、5/6のうち、2つの異なる符号化率の時変周期3のLDPC―CCを選択し、上記の条件を満たすかの検証を行うと、いずれの選択パターンにおいても、上記の条件を満たすことが確認できる。
【0248】
なお、LDPC−CCは畳み込み符号の一種であるため、情報ビットの復号における信頼度を確保するために、ターミネーションやテイルバイティングが必要となる。ここでは、データ(情報)Xの状態をゼロにする(以下「Information-zero-termination」という)方法を行う場合について考える。
【0249】
「Information-zero-termination」の方法を示した図が、
図10である。
図10に示したように、送信する情報系列のうち最後に送信する情報ビット(最終の送信ビット)がXn(110)である。この最終の情報ビットXn(110)に伴い符号化器が生成するパリティビットまでしか送信装置がデータを送信しなかった場合に、受信装置が復号を行った場合、情報の受信品質が大きく劣化する。この問題を解決するために、最終の情報ビットXn(110)以降の情報ビット(「仮想の情報ビット」と呼ぶ)を「0」と仮定して符号化を行い、パリティビット(130)を生成する。
【0250】
このとき、仮想の情報ビット(120)は、受信装置が「0」と分かっているので、送信装置は仮想の情報ビット(120)を送信せず、仮想の情報ビット(120)によって生成されたパリティビット(130)のみを送信する(このパリティビットは送信しなければならない冗長なビットになる。したがって、このパリティビットのことを冗長ビットと呼ぶ。)。すると新たな課題として、データの伝送効率の向上及びデータの受信品質の確保の両立を図るためには、データの受信品質を確保しつつ、仮想の情報ビット(120)によって生成されたパリティビット(130)の数をできる限り少なくする必要がある。
【0251】
このとき、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくするためには、パリティ検査多項式のパリティに関わる項が重要な役割を果たしていることがシミュレーションにより確認された。
【0252】
一例として、時変周期m(mは整数、かつ、m≧2)、符号化率が1/2のときのLDPC−CCを例に説明する。時変周期mのとき、必要となるm個のパリティ検査多項式を次式であらわす。
【数33】
ただし、i=0、1、・・・、m−1とする。また、A
X1,i(D)に存在するDの次数は0以上の整数しか存在せず(例えば、A
X1,1(D)=D
15+D
3+D
0のように、Dについて存在する次数は15、3、0のように、全てが0以上の次数で構成される)、B
i(D)に存在するDの次数も0以上の次数しか存在しないものとする(例えば、B
i(D)=D
18+D
4+D
0のように、Dについて存在する次数は18、4、0のように、全てが0以上の次数で構成される)。
【0253】
このとき、時刻jにおいて、次式のパリティ検査多項式が成立する。
【数34】
【0254】
そして、X
1(D)において、A
X1,1(D)におけるDの最も高い次数をα
1(例えば、A
X1,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
1=15となる。)、A
X1,2(D)におけるDの最も高い次数をα
2、・・・、A
X1,i(D)におけるDの最も高い次数をα
i、・・・、A
X1,m−1(D)におけるDの最も高い次数をα
m−1とする。そして、α
iにおいて(i=0、1、2、・・・、m−1)最も大きい値をαとする。
【0255】
一方、P(D)において、B
1(D)におけるDの最も高い次数をβ
1、B
2(D)におけるDの最も高い次数をβ
2、・・・、B
i(D)におけるDの最も高い次数をβ
i、・・・、B
m−1(D)におけるDの最も高い次数をβ
m−1とする。そして、β
iにおいて(i=0、1、2、・・・、m−1)最も大きい値をβとする。
【0256】
すると、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくするためには、βがαの1/2以下とすると良い。
【0257】
ここでは、符号化率1/2の場合について説明したが、それ以上の符号化率の場合についても同様に考えることができる。このとき、特に、符号化率4/5以上の場合、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくするという条件を満たすための必要な冗長ビットが非常に大きくなる傾向があり、上記と同様に考えた条件というものが、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくするためには重要となる。
【0258】
一例として、時変周期m(mは整数、かつ、m≧2)、符号化率が4/5のときのLDPC−CCを例に説明する。時変周期mのとき、必要となるm個のパリティ検査多項式を次式であらわす。
【数35】
ただし、i=0、1、・・・、m−1とする。また、A
X1,i(D)に存在するDの次数は0以上の整数しか存在せず(例えば、A
X1,1(D)=D
15+D
3+D
0のように、Dについて存在する次数は15、3、0のように、全てが0以上の次数で構成される)、同様に、A
X2,i(D)に存在するDの次数は0以上の整数しか存在せず、A
X3,i(D)に存在するDの次数は0以上の整数しか存在せず、A
X4,i(D)に存在するDの次数は0以上の整数しか存在せず、B
i(D)に存在するDの次数も0以上の次数しか存在しないものとする(例えば、B
i(D)=D
18+D
4+D
0のように、Dについて存在する次数は18、4、0のように、全てが0以上の次数で構成される)。
【0259】
このとき、時刻jにおいて、次式のパリティ検査多項式が成立する。
【数36】
【0260】
そして、X
1(D)において、A
X1,1(D)におけるDの最も高い次数をα
1,1(例えば、A
X1,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
1,1=15となる。)、A
X1,2(D)におけるDの最も高い次数をα
1,2、・・・、A
X1,i(D)におけるDの最も高い次数をα
1,i、・・・、A
X1,m−1(D)におけるDの最も高い次数をα
1,m−1とする。そして、α
1,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
1とする。
【0261】
X
2(D)において、A
X2,1(D)におけるDの最も高い次数をα
2,1(例えば、A
X2,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
2,1=15となる。)、A
X2,2(D)におけるDの最も高い次数をα
2,2、・・・、A
X2,i(D)におけるDの最も高い次数をα
2,i、・・・、A
X2,m−1(D)におけるDの最も高い次数をα
2,m−1とする。そして、α
2,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
2とする。
【0262】
X
3(D)において、A
X3,1(D)におけるDの最も高い次数をα
3,1(例えば、A
X3,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
3,1=15となる。)、A
X3,2(D)におけるDの最も高い次数をα
3,2、・・・、A
X3,i(D)におけるDの最も高い次数をα
3,i、・・・、A
X3,m−1(D)におけるDの最も高い次数をα
3,m−1とする。そして、α
3,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
3とする。
【0263】
X
4(D)において、A
X4,1(D)におけるDの最も高い次数をα
4,1(例えば、A
X4,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
4,1=15となる。)、A
X4,2(D)におけるDの最も高い次数をα
4,2、・・・、A
X4,i(D)におけるDの最も高い次数をα
4,i、・・・、A
X4,m−1(D)におけるDの最も高い次数をα
4,m−1とする。そして、α
4,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
4とする。
【0264】
P(D)において、B
1(D)におけるDの最も高い次数をβ
1、B
2(D)におけるDの最も高い次数をβ
2、・・・、B
i(D)におけるDの最も高い次数をβ
i、・・・、B
m−1(D)におけるDの最も高い次数をβ
m−1とする。そして、β
iにおいて(i=0、1、2、・・・、m−1)最も大きい値をβとする。
【0265】
すると、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくするためには、
「βがα
1の1/2以下、かつ、βがα
2の1/2以下、かつ、βがα
3の1/2以下、かつ、βがα
4の1/2以下とする」
と良く、特に、良好なデータの受信品質を確保できる可能性が高い。
【0266】
また、
「βがα
1の1/2以下、または、βがα
2の1/2以下、または、βがα
3の1/2以下、または、βがα
4の1/2以下とする」
としても、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくすることができるが、若干、データの受信品質の低下を招く可能性がある(ただし、必ず、データの受信品質の低下を招くというわけではない。)。
【0267】
よって、時変周期m(mは整数、かつ、m≧2)、符号化率が(n−1)/nのときのLDPC−CCのときは以下のように考えることができる。
【0268】
時変周期mのとき、必要となるm個のパリティ検査多項式を次式であらわす。
【数37】
ただし、i=0、1、・・・、m−1とする。また、A
X1,i(D)に存在するDの次数は0以上の整数しか存在せず(例えば、A
X1,1(D)=D
15+D
3+D
0のように、Dについて存在する次数は15、3、0のように、全てが0以上の次数で構成される)、同様に、A
X2,i(D)に存在するDの次数は0以上の整数しか存在せず、A
X3,i(D)に存在するDの次数は0以上の整数しか存在せず、A
X4,i(D)に存在するDの次数は0以上の整数しか存在せず、・・・、A
Xu,i(D)に存在するDの次数は0以上の整数しか存在せず、・・・、A
Xn−1,i(D)に存在するDの次数は0以上の整数しか存在せず、B
i(D)に存在するDの次数も0以上の次数しか存在しないものとする(例えば、B
i(D)=D
18+D
4+D
0のように、Dについて存在する次数は18、4、0のように、全てが0以上の次数で構成される)(u=1、2、3、・・・、n−2、n−1)。
【0269】
このとき、時刻jにおいて、次式のパリティ検査多項式が成立する。
【0271】
そして、X
1(D)において、A
X1,1(D)におけるDの最も高い次数をα
1,1(例えば、A
X1,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
1,1=15となる。)、A
X1,2(D)におけるDの最も高い次数をα
1,2、・・・、A
X1,i(D)におけるDの最も高い次数をα
1,i、・・・、A
X1,m−1(D)におけるDの最も高い次数をα
1,m−1とする。そして、α
1,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
1とする。
【0272】
X
2(D)において、A
X2,1(D)におけるDの最も高い次数をα
2,1(例えば、A
X2,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
2,1=15となる。)、A
X2,2(D)におけるDの最も高い次数をα
2,2、・・・、A
X2,i(D)におけるDの最も高い次数をα
2,i、・・・、A
X2,m−1(D)におけるDの最も高い次数をα
2,m−1とする。そして、α
2,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
2とする。
・
・
・
【0273】
X
u(D)において、A
Xu,1(D)におけるDの最も高い次数をα
u,1(例えば、A
Xu,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
u,1=15となる。)、A
Xu,2(D)におけるDの最も高い次数をα
u,2、・・・、A
Xu,i(D)におけるDの最も高い次数をα
u,i、・・・、A
Xu,m−1(D)におけるDの最も高い次数をα
u,m−1とする。そして、α
u,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
uとする。(u=1、2、3、・・・、n−2、n−1)
・
・
・
【0274】
X
n−1(D)において、A
Xn−1,1(D)におけるDの最も高い次数をα
n−1,1(例えば、A
Xn−1,1(D)=D
15+D
3+D
0とすると、Dについて次数15、次数3、次数0が存在し、Dの最も高い次数α
n−1,1=15となる。)、A
Xn−1,2(D)におけるDの最も高い次数をα
n−1,2、・・・、A
Xn−1,i(D)におけるDの最も高い次数をα
n−1,i、・・・、A
Xn−1,m−1(D)におけるDの最も高い次数をα
n−1,m−1とする。そして、α
n−1,iにおいて(i=0、1、2、・・・、m−1)最も大きい値をα
n−1とする。
【0275】
P(D)において、B
1(D)におけるDの最も高い次数をβ
1、B
2(D)におけるDの最も高い次数をβ
2、・・・、B
i(D)におけるDの最も高い次数をβ
i、・・・、B
m−1(D)におけるDの最も高い次数をβ
m−1とする。そして、β
iにおいて(i=0、1、2、・・・、m−1)最も大きい値をβとする。
【0276】
すると、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくするためには、
「βがα
1の1/2以下、かつ、βがα
2の1/2以下、かつ、・・・、かつ、βがα
uの1/2以下、かつ、・・・、かつ、βがα
n−1の1/2以下とする(u=1、2、3、・・・、n−2、n−1)」
とすると良く、特に、良好なデータの受信品質を確保できる可能性が高い。
【0277】
また、
「βがα
1の1/2以下、または、βがα
2の1/2以下、または、・・・、または、βがα
uの1/2以下、または、・・・、または、βがα
n−1の1/2以下とする(u=1、2、3、・・・、n−2、n−1)」
としても、データの受信品質を確保しつつ、仮想の情報ビットによって生成されたパリティビットの数をできる限り少なくすることができるが、若干、データの受信品質の低下を招く可能性がある(ただし、必ず、データの受信品質の低下を招くというわけではない。)。
【0278】
表6に、データの受信品質を確保しつつ、冗長ビットを少なくすることができる時変周期3、符号化率が1/2、2/3、3/4、4/5のLDPC−CCのパリティ検査多項式の一例を示す。表6の時変周期3のLDPC−CCにおいて、符号化率1/2、2/3、3/4、4/5のうち、2つの異なる符号化率の時変周期3のLDPC―CCを選択したとき、既に説明した符号化器及び復号化器を共通化することができる条件を満たすか否か検証すると、いずれの選択パターンにおいても、表5の時変周期3のLDPC−CCと同様に、符号化器及び復号化器を共通化することができる条件を満たすことが確認できる。
【0279】
なお、表5の符号化率5/6のとき、冗長ビットが1000ビット以上必要であったが、表6の符号化率4/5のとき、冗長ビットは500ビット以下となることが確認できている。
【0280】
また、表6の符号では、符号化率ごとに異なる数の冗長ビット(「Information-zero-termination」のために付加された冗長ビット)となる。このとき、符号化率が大きくなるにつれ冗長ビットの数は多くなる傾向にある。ただし、必ず、その傾向になるということではない。また、符号化率が大きく、かつ、情報サイズ(Information size)が大きいと、冗長ビットの数が多くなる傾向がある。つまり、表5、表6のように符号を作成した場合、符号化率(n−1)/nの符号と符号化率(m−1)/mの符号があった場合(n>m)、符号化率(n−1)/nの符号に必要な冗長ビット(「Information-zero-termination」のために付加された冗長ビット)の数は、符号化率(m−1)/mの符号に必要な冗長ビット(「Information-zero-termination」のために付加された冗長ビット)の数より多くなる傾向があり、また、符号化率(n−1)/nの符号に必要な冗長ビットの数は、情報サイズが小さい場合、符号化率(m−1)/mの符号に必要な冗長ビットの数より多くなる傾向がある。ただし、必ずこのような傾向になるということではない。
【表6】
【0281】
以上、符号化器の回路の共用化と、復号化器の回路の共用化とを図る符号化率の中で最大の符号化率は(q−1)/qとし、符号化率(r−1)/r(r=2,3,…,q(qは3以上の自然数))の時変周期gのLDPC−CCのパリティ検査多項式について説明した(gは2以上の整数)。
【0282】
ここで、少なくとも符号化率(y−1)/yの時変周期gのLDPC−CC及び符号化率(z−1)/zの時変周期gのLDPC−CCの符号化器を具備する送信装置(y≠z)と、少なくとも符号化率(y−1)/yの時変周期gのLDPC−CC及び符号化率(z−1)/zの時変周期gのLDPC−CCの復号化器を具備する受信装置と、演算規模(回路規模)を低減できる時変周期gのLDPC−CCのパリティ検査多項式の生成方法と、パリティ検査多項式の特徴について説明した。
【0283】
ここで、送信装置は、少なくとも符号化率(y−1)/yの時変周期gのLDPC−CCの符号化系列を伝送するための変調信号、または、符号化率(z−1)/zの時変周期gのLDPC−CCの符号化系列を伝送するための変調信号のいずれかの変調信号を生成することができる送信装置である。
【0284】
また、受信装置は、少なくとも符号化率(y−1)/yの時変周期gのLDPC−CCの符号化系列を含んだ受信信号、または、符号化率(z−1)/zの時変周期gのLDPC−CCの符号化系列を含んだ受信信号のいずれかの受信信号を復調し、復号する受信装置である。
【0285】
本発明で提案した時変周期gのLDPC−CCを用いることにより、符号化器を具備する送信装置と復号化器を具備する受信装置との演算規模(回路規模)を低減することができる(回路の共通化を行うことができる)という効果を有する。
【0286】
更に、本発明で提案した時変周期gのLDPC−CCを用いることにより、いずれの符号化率においても、受信装置は高いデータの受信品質を得ることができるという効果を有する。なお、符号化器の構成、復号化器の構成、及びその動作については以下で詳しく説明する。
【0287】
また、式(30−1)〜式(30−(q−1))では、符号化率1/2、2/3、3/4、・・・、(q−1)/qの場合の時変周期gのLDPC−CCを説明したが、符号化器を具備する送信装置、及び復号化器を具備する受信装置が、符号化率1/2、2/3、3/4、・・・、(q−1)/qの全てをサポートする必要はなく、少なくとも2つ以上の異なる符号化率をサポートしていれば、送信装置及び受信装置の演算規模(回路規模)の低減(符号化器、復号化器の回路の共通化)、及び、受信装置が高いデータの受信品質を得ることができるという効果を得ることができる。
【0288】
また、送受信装置(符号化器/復号化器)がサポートする符号化率が、全て、本実施の形態で述べた方法に基づいた符号である場合、サポートする符号化率のうち最も高い符号化率の符号化器/復号化器を持つことで、容易に全ての符号化率の符号化、復号化に対応することができ、このとき、演算規模削減の効果が非常に大きい。
【0289】
また、本実施の形態では、実施の形態1で説明した(良好な特性を有するLDPC−CC)の符号をもとに説明したが、必ずしも上述の(良好な特性を有するLDPC−CC)で説明した条件を満たす必要はなく、上述の(良好な特性を有するLDPC−CC)で述べた形式のパリティ検査多項式に基づく時変周期gのLDPC−CCであれば、同様に本実施の形態を実施することができる(gは2以上の整数)。これについては、(31−1)〜(31−g)と(32−1)〜(32−g)との関係から、明らかである。
【0290】
当然であるが、例えば、送受信装置(符号化器/復号化器)が符号化率1/2、2/3、3/4、5/6に対応しており、符号化率1/2、2/3、3/4は上記の規則に基づいたLDPC−CCを使用し、符号化率5/6は、上記の規則に基づかない符号を使用していた場合、符号化器/復号化器は符号化率1/2、2/3、3/4に対しては回路の共用化が可能であり、符号化率5/6に対しては、回路の共用化が困難となる。
【0291】
(実施の形態3)
本実施の形態では、実施の形態2で説明した探索方法を用いて形成したLDPC−CCの符号化器の回路の共用化方法と、復号化器の回路の共用化方法とについて詳しく説明する。
【0292】
はじめに、本発明に係る、符号化器の回路の共用化と、復号化器の回路の共用化とを図る符号化率のうち最も高い符号化率を(q−1)/qとし(例えば、送受信装置が対応する符号化率を1/2、2/3、3/4、5/6としたとき、符号化率1/2、2/3、3/4の符号は、符号化器/復号化器において回路を共通化し、符号化率5/6は符号化器/復号化器において回路を共通化対象としないものとする。このとき、上記で述べた最も高い符号化率(q−1)/qは3/4となる。)、複数の符号化率(r−1)/r(rは2以上q以下の整数)に対応可能な時変周期g(gは自然数)のLDPC−CCを作成する符号化器について説明する。
【0293】
図11は、本実施の形態に係る符号化器の要部構成の一例を示すブロック図である。なお、
図11に示す符号化器200は、符号化率1/2、2/3、3/4に対応可能な符号化器である。
図11の符号化器200は、情報生成部210、第1情報演算部220−1、第2情報演算部220−2、第3情報演算部220−3、パリティ演算部230、加算部240、符号化率設定部250及びウェイト制御部260を主に備える。
【0294】
情報生成部210は、符号化率設定部250から指定される符号化率に応じて、時点iの情報X
1,i、情報X
2,i、情報X
3,iを設定する。例えば、符号化率設定部250が符号化率を1/2に設定した場合、情報生成部210は、時点iの情報X
1,iに入力情報データS
jを設定し、時点iの情報X
2,i及び時点iの情報X
3,iに0を設定する。
【0295】
また、符号化率2/3の場合、情報生成部210は、時点iの情報X
1,iに入力情報データS
jを設定し、時点iの情報X
2,iに入力情報データS
j+1を設定し、時点iの情報X
3,iに0を設定する。
【0296】
また、符号化率3/4の場合、情報生成部210は、時点iの情報X
1,iに入力情報データS
jを設定し、時点iの情報X
2,iに入力情報データS
j+1を設定し、時点iの情報X
3,iに入力情報データS
j+2を設定する。
【0297】
このようにして、情報生成部210は、符号化率設定部250によって設定された符号化率に応じて、入力情報データを時点iの情報X
1,i、情報X
2,i、情報X
3,iを設定し、設定後の情報X
1,iを第1情報演算部220−1に向けて出力し、設定後の情報X
2,iを第2情報演算部220−2に向けて出力し、設定後の情報X
3,iを第3情報演算部220−3に向けて出力する。
【0298】
第1情報演算部220−1は、式(30−1)のA
X1,k(D)にしたがって、X
1(D)を算出する。同様に、第2情報演算部220−2は、式(30−2)のA
X2,k(D)にしたがって、X
2(D)を算出する。同様に、第3情報演算部220−3は、式(30−3)のA
X3,k(D)にしたがって、X
3(D)を算出する。
【0299】
このとき、実施の形態2で説明したように、(31−1)〜(31−g)と(32−1)〜(32−g)とにおいて満足する条件から、符号化率が切り替わったとしても、第1情報演算部220−1の構成を変更する必要がなく、また、同様に、第2情報演算部220−2の構成を変更する必要がなく、また、第3情報演算部220−3の構成を変更する必要はない。
【0300】
したがって、複数の符号化率に対応する場合は、符号化器の回路が共用可能な符号化率の中で最も高い符号化率の符号化器の構成を基礎にして、上記のような操作で、他の符号化率に対応することができる。つまり、符号化器の主要な部分である第1情報演算部220−1、第2情報演算部220−2、及び、第3情報演算部220−3は、符号化率に関わらず共通化することができるという利点を、実施の形態2において説明したLDPC−CCは有することになる。そして、例えば、表5に示したLDPC−CCは、符号化率に関わらず、良好なデータの受信品質を与えるという利点を持つ。
【0301】
図12に、第1情報演算部220−1の内部構成を示す。
図12の第1情報演算部220−1は、シフトレジスタ221−1〜221−M、ウェイト乗算器222−0〜222−M、及び、加算部223を備える。
【0302】
シフトレジスタ221−1〜221−Mは、それぞれ、X
1,i−t(t=0,・・・,M―1)を保持するレジスタであり、次の入力が入ってくるタイミングで、保持している値を右隣のシフトレジスタに送出し、左隣のシフトレジスタから出力されてきた値を保持する。
【0303】
ウェイト乗算器222−0〜222−Mは、ウェイト制御部260から出力される制御信号にしたがって、h
1(m)の値を0又は1に切り替える。
【0304】
加算部223は、ウェイト乗算器222−0〜222−Mの出力に対して、排他的論理和演算を行い、演算結果Y
1,iを算出し、算出したY
1,iを、
図11の加算部240に向けて出力する。
【0305】
なお、第2情報演算部220−2及び第3情報演算部220−3の内部構成は、第1情報演算部220−1と同様であるので、説明を省略する。第2情報演算部220−2は、第1情報演算部220−1と同様にして、演算結果Y
2,iを算出し、算出したY
2,iを加算部240に向けて出力する。第3情報演算部220−3は、第1情報演算部220−1と同様にして、演算結果Y
3,iを算出し、算出したY
3,iを、
図11の加算部240に向けて出力する。
【0306】
図11のパリティ演算部230は、式(30−1)〜式(30−3)のB
k(D)にしたがって、P(D)を算出する。
【0307】
図13に、
図11のパリティ演算部230の内部構成を示す。
図13のパリティ演算部230は、シフトレジスタ231−1〜231−M、ウェイト乗算器232−0〜232−M、及び、加算部233を備える。
【0308】
シフトレジスタ231−1〜231−Mは、それぞれ、P
i−t(t=0,・・・,M―1)を保持するレジスタであり、次の入力が入ってくるタイミングで、保持している値を右隣のシフトレジスタに送出し、左隣のシフトレジスタから出力されてきた値を保持する。
【0309】
ウェイト乗算器232−0〜232−Mは、ウェイト制御部260から出力される制御信号にしたがって、h
2(m)の値を0又は1に切り替える。
【0310】
加算部233は、ウェイト乗算器232−0〜232−Mの出力に対し排他的論理和演算を行い、演算結果Z
iを算出し、算出したZ
iを、
図11の加算部240に向けて出力する。
【0311】
再度
図11に戻って、加算部240は、第1情報演算部220−1、第2情報演算部220−2、第3情報演算部220−3、及び、パリティ演算部230から出力される演算結果Y
1,i、Y
2,i、Y
3,i、Z
iの排他的論理和演算を行い、時刻iのパリティP
iを得、出力する。加算部240は、時刻iのパリティP
iをパリティ演算部230に向けても出力する。
【0312】
符号化率設定部250は、符号化器200の符号化率を設定し、符号化率の情報を情報生成部210に向けて出力する。
【0313】
ウェイト制御部260は、ウェイト制御部260内に保持する式(30−1)〜式(30−3)に対応した検査行列に基づいて、式(30−1)〜式(30−3)のパリティ検査多項式に基づく時刻iにおけるh
1(m)の値を、第1情報演算部220−1、第2情報演算部220−2、第3情報演算部220−3及びパリティ演算部230に向けて出力する。また、ウェイト制御部260は、ウェイト制御部260内に保持する式(30−1)〜式(30−3)に対応した検査行列に基づいて、そのタイミングにおけるh
2(m)の値を232−0〜232−Mに向けて出力する。
【0314】
なお、
図14に本実施の形態に係る符号化器の別の構成例を示す。
図14の符号化器において、
図11の符号化器と共通する構成部分には、
図11と同一の符号を付している。
図14の符号化器200は、符号化率設定部250が、符号化率の情報を第1情報演算部220−1、第2情報演算部220−2、第3情報演算部220−3、及び、パリティ演算部230に向けて出力する点で、
図11の符号化器200と異なっている。
【0315】
第2情報演算部220−2は、符号化率が1/2の場合には、演算処理を行わずに、演算結果Y
2,iとして0を加算部240に向けて出力する。また、第3情報演算部220−3は、符号化率が1/2または2/3の場合には、演算処理を行わずに、演算結果Y
3,iとして0を加算部240に向けて出力する。
【0316】
なお、
図11の符号化器200では、情報生成部210が、符号化率に応じて、時点iの情報X
2,i、情報X
3,iを0に設定したのに対し、
図14の符号化器200では、第2情報演算部220−2及び第3情報演算部220−3が、符号化率に応じて、演算処理を停止し、演算結果Y
2,i、Y
3,iとして0を出力するので、得られる演算結果は
図11の符号化器200と同じとなる。
【0317】
このように、
図14の符号化器200では、第2情報演算部220−2及び第3情報演算部220−3が、符号化率に応じて、演算処理を停止するので、
図11の符号化器200に比べ演算処理を低減することができる。
【0318】
次に、実施の形態2で述べたLDPC−CCの復号化器の回路の共用化方法について詳しく説明する。
【0319】
図15は、本実施の形態に係る復号化器の要部構成を示すブロック図である。なお、
図15に示す復号化器300は、符号化率1/2、2/3、3/4に対応可能な復号化器である。
図14の復号化器300は、対数尤度比設定部310及び行列処理演算部320を主に備える。
【0320】
対数尤度比設定部310は、図示せぬ対数尤度比演算部により算出される受信対数尤度比及び符号化率を入力し、符号化率に応じて、受信対数尤度比に既知の対数尤度比を挿入する。
【0321】
例えば、符号化率が1/2の場合、符号化器200では、X
2,i、X
3,iとして“0”を送信していることに相当するので、対数尤度比設定部310は、既知ビット“0”に対応する固定の対数尤度比をX
2,i、X
3,iの対数尤度比として挿入し、挿入後の対数尤度比を行列処理演算部320に向けて出力する。以下、
図16を用いて説明をする。
【0322】
図16に示すように、符号化率1/2の場合、対数尤度比設定部310は、X
1,i及びP
iに対応する受信対数尤度比LLR
X1,i,LLR
Piを入力とする。そこで、対数尤度比設定部310は、X
2,i,X
3,iに対応する受信対数尤度比LLR
X2,i,LLR
3,iを挿入する。
図16において、点線の丸で囲まれた受信対数尤度比は、対数尤度比設定部310によって挿入された受信対数尤度比LLR
X2,i,LLR
3,iを示す。対数尤度比設定部310は、受信対数尤度比LLR
X2,i,LLR
3,iとして、固定値の対数尤度比を挿入する。
【0323】
また、符号化率が2/3の場合、符号化器200は、X
3,iとして“0”を送信していることに相当するので、対数尤度比設定部310は、既知ビット“0”に対応する固定の対数尤度比をX
3,iの対数尤度比として挿入し、挿入後の対数尤度比を行列処理演算部320に向けて出力する。以下、
図17を用いて説明をする。
【0324】
図17に示すように、符号化率2/3の場合、対数尤度比設定部310は、X
1,i,X
2,i及びP
iに対応する受信対数尤度比LLR
X1,i,LLR
X2,i,LLR
Piを入力とする。そこで、対数尤度比設定部310は、X
3,iに対応する受信対数尤度比LLR
3,iを挿入する。
図17において、点線の丸で囲まれた受信対数尤度比は、対数尤度比設定部310によって挿入された受信対数尤度比LLR
3,iを示す。対数尤度比設定部310は、受信対数尤度比LLR
3,iとして、固定値の対数尤度比を挿入する。
【0325】
図15の行列処理演算部320は、記憶部321、行処理演算部322及び列処理演算部323を備える。
【0326】
記憶部321は、受信対数尤度比、行処理によって得られる外部値α
mn、及び、列処理によって得られる事前値β
mnを保持する。
【0327】
行処理演算部322は、符号化器200がサポートする符号化率のうち、最大の符号化率3/4のLDPC−CCの検査行列Hの行方向のウェイトパターンを保持する。行処理演算部322は、当該行方向のウェイトパターンにしたがって、記憶部321から必要な事前値β
mnを読み込み、行処理演算を行う。
【0328】
行処理演算において、行処理演算部322は、事前値β
mnを用いて、単一パリティ検査符号の復号を行い、外部値α
mnを求める。
【0329】
第m番目の行処理について説明する。ただし、2元MxN行列H={H
mn}を復号対象とするLDPC符号の検査行列とする。H
mn=1を満たす全ての組(m,n)に対して、次の更新式を利用して外部値α
mnを更新する。
【数39】
ここで、Φ(x)は、Gallagerのf関数と呼ばれ、次式で定義される。
【数40】
【0330】
列処理演算部323は、符号化器200がサポートする符号化率のうち、最大の符号化率3/4のLDPC−CCの検査行列Hの列方向のウェイトパターンを保持する。列処理演算部323は、当該列方向のウェイトパターンにしたがって、記憶部321から必要な外部値α
mnを読み込み、事前値β
mnを求める。
【0331】
列処理演算において、列処理演算部323は、入力対数尤度比λ
nと外部値α
mnとを用いて繰り返し復号により、事前値β
mnを求める。
【0332】
第m番目の列処理について説明する。
H
mn=1を満たす全ての組(m,n)に対して、次の更新式を利用してβ
mnを更新する。ただし、q=1の場合のみ、α
mn=0として計算する。
【数41】
【0333】
復号化器300は、上述の行処理と列処理とを所定の回数だけ繰り返すことにより、事後対数尤度比を得る。
【0334】
以上のように、本実施の形態では、対応可能な符号化率のうち、最も高い符号化率を(q−1)/qとし、符号化率設定部250が、符号化率を(s−1)/sに設定した際、情報生成部210は、前記情報X
s,iから前記情報X
q−1,iまでの情報をゼロに設定する。例えば、対応する符号化率が1/2、2/3、3/4の場合(q=4)、第1情報演算部220−1は、時点iの情報X
1,iを入力し、式(30−1)のX
1(D)項を算出する。また、第2情報演算部220−2は、時点iの情報X
2,iを入力し、式(30−2)のX
2(D)項を算出する。また、第3情報演算部220−3は、時点iの情報X
3,iを入力し、式(30−3)のX
3(D)項を算出する。また、パリティ演算部230は、時点i−1のパリティP
i−1を入力し、式(30−1)〜式(30−3)のP(D)項を算出する。また、加算部240は、第1情報演算部220−1、第2情報演算部220−2、第3情報演算部220−3の演算結果及びパリティ演算部230の演算結果の排他的論理和を、時刻iのパリティP
iとして得るようにした。
【0335】
この構成によれば、異なる符号化率に対応したLDPC−CCを作成する場合においても、本説明における情報演算部の構成を共通化することができるため、低演算規模で、複数の符号化率に対応可能なLDPC−CCの符号化器、復号化器を提供することができる。
【0336】
また、A
X1,k(D)〜A
Xq−1,k(D)が、上述の「良好な特性を有するLDPC−CC」において述べた<条件#1>〜<条件#6>等を満たすように設定した場合には、異なる符号化率に対応可能な符号化器及び復号化器を低演算規模で提供することができるとともに、受信機は、良好なデータの受信品質を得ることができる。ただし、実施の形態2で説明したように、LDPC−CCの生成方法は、上述の「良好な特性を有するLDPC−CC」に限ったものではない。
【0337】
そして、
図15の復号化器300は、復号化器の回路の共用を可能とする符号化率の中で、最大の符号化率に応じた復号化器の構成に、対数尤度比設定部310を追加することで、複数の符号化率に対応して復号を行うことができる。なお、対数尤度比設定部310は、符号化率に応じて、時点iの情報X
r,iから情報X
q−1,iまでの(q−2)個の情報に対応する対数尤度比を既定値に設定する。
【0338】
なお、以上の説明では、符号化器200がサポートする最大の符号化率が3/4の場合について説明したが、サポートする最大の符号化率はこれに限らず、符号化率(q−1)/q(qは5以上の整数)をサポートする場合においても適用可能である(当然であるが、最大符号化率が2/3でも良い。)。この場合には、符号化器200が、第1〜第(q−1)情報演算部を備える構成とし、加算部240が、第1〜第(q−1)情報演算部の演算結果及びパリティ演算部230の演算結果の排他的論理和を、時刻iのパリティP
iとして得るようにすれば良い。
【0339】
また、送受信装置(符号化器/復号化器)がサポートする符号化率が、全て、上述の実施の形態2で述べた方法に基づいた符号である場合、サポートする符号化率のうち、最も高い符号化率の符号化器/復号化器を持つことで、複数の符号化率の符号化、復号化に対応することができ、このとき、演算規模削減の効果が非常に大きい。
【0340】
また、上述では、復号方式の例としてsum-product復号を例に説明したが、復号方法はこれに限ったものではなく、非特許文献5〜非特許文献7に示されている、例えば、min-sum復号、Normalized BP(Belief Propagation)復号、Shuffled BP復号、Offset BP復号などの、message-passingアルゴリズムを用いた復号方法(BP復号)を用いれば同様に実施することができる。
【0341】
次に、通信状況により適応的に符号化率を切り替える通信装置に、本発明を適用した場合の形態について説明する。なお、以下では、本発明を無線通信装置に適用した場合を例に説明するが、これに限られず、電灯線通信(PLC:Power Line Communication)装置、可視光通信装置、または、光通信装置にも適用可能である。
【0342】
図18に、適応的に符号化率を切り替える通信装置400の構成を示す。
図18の通信装置400の符号化率決定部410は、通信相手の通信装置から送信される受信信号(例えば、通信相手が送信したフィードバック情報)を入力とし、受信信号に受信処理等を行う。そして、符号化率決定部410は、通信相手の通信装置との間の通信状況の情報、例えば、ビットエラー率、パケットエラー率、フレームエラー率、受信電界強度等の情報を(例えば、フィードバック情報から)得、通信相手の通信装置との間の通信状況の情報から符号化率及び変調方式を決定する。そして、符号化率決定部410は、決定した符号化率及び変調方式を、制御信号として符号化器200及び変調部420に向けて出力する。
【0343】
符号化率決定部410は、例えば、
図19に示すような送信フォーマットを用いて、制御情報シンボルに符号化率の情報を含めることにより、符号化器200が用いる符号化率を通信相手の通信装置に通知する。ただし、
図19では図示していないが、通信相手が、復調やチャネル推定のために必要な、例えば、既知の信号(プリアンブル、パイロットシンボル、リファレンスシンボルなど)を含んでいるものとする。
【0344】
このようにして、符号化率決定部410は、通信相手の通信装置500が送信した変調信号を受信し、その通信状況に基づいて、送信する変調信号の符号化率を決定することにより、符号化率を適応的に切り替える。符号化器200は、制御信号により指定された符号化率に基づいて、上述の手順でLDPC−CC符号化を行う。変調部420は、制御信号により指定された変調方式を用いて、符号化後の系列を変調する。
【0345】
図20に、通信装置400と通信を行う通信相手の通信装置の構成例を示す。
図20の通信装置500の制御情報生成部530は、ベースバンド信号に含まれる制御情報シンボルから制御情報を抽出する。制御情報シンボルには、符号化率の情報が含まれる。制御情報生成部530は、抽出した符号化率の情報を制御信号として対数尤度比生成部520及び復号化器300に向けて出力する。
【0346】
受信部510は、通信装置400から送信される変調信号に対応する受信信号に周波数変換、直交復調等の処理を施すことでベースバンド信号を得、ベースバンド信号を対数尤度比生成部520に向けて出力する。また、受信部510は、ベースバンド信号に含まれる既知信号を用いて、通信装置400と通信装置500との間の(例えば、無線)伝送路におけるチャネル変動を推定し、推定したチャネル推定信号を対数尤度比生成部520に向けて出力する。
【0347】
また、受信部510は、ベースバンド信号に含まれる既知信号を用いて、通信装置400と通信装置500との間の(例えば、無線)伝送路におけるチャネル変動を推定し、伝搬路の状況の判断を可能とするフィードバック情報(チャネル変動そのもの、例えば、Channel State Informationがその一例)を生成し、出力する。このフィードバック情報は、図示しない送信装置を通して、制御情報の一部として、通信相手(通信装置400)に送信される。対数尤度比生成部520は、ベースバンド信号を用いて、各送信系列の対数尤度比を求め、得られた対数尤度比を復号化器300に向けて出力する。
【0348】
復号化器300は、上述したように、制御信号が示す符号化率(s−1)/sに応じて、時点iの情報X
s,iから情報X
s−1,iまでの情報に対応する対数尤度比を既定値に設定し、復号化器において回路の共用化を施した符号化率のうち、最大の符号化率に応じたLDPC−CCの検査行列を用いて、BP復号する。
【0349】
このようにして、本発明を適用した通信装置400及び通信相手の通信装置500の符号化率が通信状況により適応的に変更され得る。
【0350】
なお、符号化率の変更方法はこれに限ったものではなく、通信相手である通信装置500が符号化率決定部410を備え、希望する符号化率を指定するようにても良い。また、通信装置500が送信した変調信号から通信装置400が伝送路の変動を推定し、符号化率を決定しても良い。この場合、上述のフィードバック情報は不要となる。
【0351】
(実施の形態4)
実施の形態1では、誤り訂正能力の高いLDPC−CCについて説明した。本実施の形態では、誤り訂正能力の高い時変周期3のLDPC−CCについて補足説明する。時変周期3のLDPC−CCの場合、レギュラーのLDPC符号を生成すると、誤り訂正能力の高い符号を作成することができる。
【0352】
時変周期3のLDPC−CCのパリティ検査多項式を再掲する。
【0354】
符号化率(n−1)/nの場合:
【数43】
【0355】
ここで、パリティ検査行列がフルランクとなり、またパリティビットが逐次的に簡単に求まるようにするために、以下の条件が成立するとする。
【0356】
b3=0、つまり、D
b3=1
B3=0、つまり、D
B3=1
β3=0、つまり、D
β3=1
【0357】
また、情報とパリティの関係をわかりやすくするためには、以下の条件があるとよい。
ai,3=0、つまり、D
ai,3=1 (i=1,2,・・・,n−1)
Ai,3=0、つまり、D
Ai,3=1 (i=1,2,・・・,n−1)
αi,3=0、つまり、D
αi,3=1 (i=1,2,・・・,n−1)
ただし、ai,3%3=0、Ai,3%3=0、αi,3%3=0であってもよい。
【0358】
このとき、タナーグラフにおけるループ6の数を少なくすることで、誤り訂正能力の高いレギュラーのLDPC符号を生成するためには以下の条件を満たさなければならない。
【0359】
すなわち、情報Xk(k=1、2、・・・、n−1)の係数に着目した場合、#Xk1から#Xk14のいずれかを満たさなければならない。
#Xk1 :(ak,1%3, ak,2%3)=[0,1],(Ak,1%3, Ak,2%3)=[0,1],(αk,1%3, αk,2%3)=[0,1]
#Xk2 :(ak,1%3, ak,2%3)=[0,1],(Ak,1%3, Ak,2%3)=[0,2],(αk,1%3, αk,2%3)=[1,2]
#Xk3 :(ak,1%3, ak,2%3)=[0,1],(Ak,1%3, Ak,2%3)=[1,2],(αk,1%3, αk,2%3)=[1,1]
#Xk4 :(ak,1%3, ak,2%3)=[0,2],(Ak,1%3, Ak,2%3)=[1,2],(αk,1%3, αk,2%3)=[0,1]
#Xk5 :(ak,1%3, ak,2%3)=[0,2],(Ak,1%3, Ak,2%3)=[0,2],(αk,1%3, αk,2%3)=[0,2]
#Xk6 :(ak,1%3, ak,2%3)=[0,2],(Ak,1%3, Ak,2%3)=[2,2],(αk,1%3, αk,2%3)=[1,2]
#Xk7 :(ak,1%3, ak,2%3)=[1,1],(Ak,1%3, Ak,2%3)=[0,1],(αk,1%3, αk,2%3)=[1,2]
#Xk8 :(ak,1%3, ak,2%3)=[1,1],(Ak,1%3, Ak,2%3)=[1,1],(αk,1%3, αk,2%3)=[1,1]
#Xk9 :(ak,1%3, ak,2%3)=[1,2],(Ak,1%3, Ak,2%3)=[0,1],(αk,1%3, αk,2%3)=[0,2]
#Xk10:(ak,1%3, ak,2%3)=[1,2],(Ak,1%3, Ak,2%3)=[0,2],(αk,1%3, αk,2%3)=[2,2]
#Xk11:(ak,1%3, ak,2%3)=[1,2],(Ak,1%3, Ak,2%3)=[1,1],(αk,1%3, αk,2%3)=[0,1]
#Xk12:(ak,1%3, ak,2%3)=[1,2],(Ak,1%3, Ak,2%3)=[1,2],(αk,1%3, αk,2%3)=[1,2]
#Xk13:(ak,1%3, ak,2%3)=[2,2],(Ak,1%3, Ak,2%3)=[1,2],(αk,1%3, αk,2%3)=[0,2]
#Xk14:(ak,1%3, ak,2%3)=[2,2],(Ak,1%3, Ak,2%3)=[2,2],(αk,1%3, αk,2%3)=[2,2]
【0360】
なお、上記において、a=bの場合、(x,y)=[a,b]は、x=y=a(=b)をあらわし、a≠bの場合、(x,y)=[a,b]は、x=a、y=b、又は、x=b、y=aをあらわす(以下同様)。
【0361】
同様に、パリティの係数に着目した場合、#P1から#P14のいずれかを満たさなければならない。
#P1 : (b1%3,b2%3)=[0,1], (B1%3,B2%3)=[0,1] , (β1%3,β2%3)=[0,1]
#P2 : (b1%3,b2%3)=[0,1], (B1%3,B2%3)=[0,2] , (β1%3,β2%3)=[1,2]
#P3 : (b1%3,b2%3)=[0,1], (B1%3,B2%3)=[1,2] , (β1%3,β2%3)=[1,1]
#P4 : (b1%3,b2%3)=[0,2], (B1%3,B2%3)=[1,2] , (β1%3,β2%3)=[0,1]
#P5 : (b1%3,b2%3)=[0,2], (B1%3,B2%3)=[0,2] , (β1%3,β2%3)=[0,2]
#P6 : (b1%3,b2%3)=[0,2], (B1%3,B2%3)=[2,2] , (β1%3,β2%3)=[1,2]
#P7 : (b1%3,b2%3)=[1,1], (B1%3,B2%3)=[0,1] , (β1%3,β2%3)=[1,2]
#P8 : (b1%3,b2%3)=[1,1], (B1%3,B2%3)=[1,1] , (β1%3,β2%3)=[1,1]
#P9 : (b1%3,b2%3)=[1,2], (B1%3,B2%3)=[0,1] , (β1%3,β2%3)=[0,2]
#P10: (b1%3,b2%3)=[1,2], (B1%3,B2%3)=[0,2] , (β1%3,β2%3)=[2,2]
#P11: (b1%3,b2%3)=[1,2], (B1%3,B2%3)=[1,1] , (β1%3,β2%3)=[0,1]
#P12: (b1%3,b2%3)=[1,2], (B1%3,B2%3)=[1,2] , (β1%3,β2%3)=[1,2]
#P13: (b1%3,b2%3)=[2,2], (B1%3,B2%3)=[1,2] , (β1%3,β2%3)=[0,2]
#P14: (b1%3,b2%3)=[2,2], (B1%3,B2%3)=[2,2] , (β1%3,β2%3)=[2,2]
【0362】
実施の形態1で説明した特性が良好なLDPC−CCは、上記条件のうち、#Xk12及び#P12の条件を満たすLDPC−CCである。また、実施の形態2と併用すると、複数符号化率を対応する際、符号化器、復号化器の回路規模を小さくすることができ、かつ、高い誤り訂正能力を得ることができる。
【0363】
上記#Xk1から#Xk14のいずれか及び#P1から#P14のいずれかの条件を満たす時変周期3のLDPC−CCのパリティ検査多項式の一例を以下に示す。
【0368】
なお、上記LDPC−CCのパリティ検査多項式は、実施の形態2で述べた条件を満たすため、符号化器の回路の共用化、及び、復号化器の共用化を図ることができる。
【0369】
ところで、式(44−i)、式(45−i)、式(46−i)、式(47−i)に示したLDPC−CCのパリティ検査多項式を用いる場合(i=1,2,3)、必要となるターミネーション数は、
図21に示すように、データ(情報)Xのビット数(以下、「情報サイズ(Information size)」という)によって異なることが確認された。ここで、ターミネーション数とは、上述のInformation-zero-terminationを行い、仮想の既知情報ビット「0」によって生成されたパリティビットの数であり、実際に送信される冗長ビットの数である。なお、
図21において、Real R(実効符号化率)は、冗長ビットから構成されるターミネーション系列を考慮した場合の符号化率を示している。
【0370】
上記#Xk1から#Xk14のいずれか及び#P1から#P14のいずれかの条件を満たす時変周期3のLDPC−CCのパリティ検査多項式の別の一例を以下に示す。
【0375】
図22は、式(48−i)、式(49−i)、式(50−i)、式(51−i)に示したLDPC−CCのパリティ検査多項式を用いる場合に(i=1,2,3)、必要となるターミネーション数の一例を示す。
【0376】
図23は、式(48−i)、式(49−i)、式(50−i)、式(51−i)に示される各符号化率において(i=1,2,3)、情報サイズI
sとターミネーション数m
tとの関係を示している。なお、ターミネーション系列を作成するために挿入する仮想の既知情報ビット(「0」)の数をm
zとすると、符号化率(n−1)/nの場合、m
tとm
zとの間には、以下の関係が成立する。
【数52】
なお、k=I
s%(n−1)である。
【0377】
(実施の形態5)
本実施の形態では、実施の形態4において説明した良好な特性を有するLDPC−CCを用いる場合に、誤り訂正能力を劣化させず、かつ、情報の伝送効率の低下を回避することができる通信装置及び通信方法について説明する。
【0378】
図21および
図22から、Information-zero-termination時に必要となるターミネーション数は、情報サイズによって異なることが確認された。したがって、情報サイズによらずターミネーション数を一律に固定にし、かつ、誤り訂正能力を劣化させないためには、ターミネーション数を大きな数に設定する必要が生じ、Real R(実効符号化率)が低下し、情報の伝送効率が低下する場合がある。
【0379】
そこで、本実施の形態では、情報サイズに応じて、冗長ビットとして送信されるターミネーション数を変更する通信装置及び通信方法について説明する。これにより、誤り訂正能力を劣化させず、かつ、情報の伝送効率の低下を回避することができる。
【0380】
図24は、本実施の形態に係る通信装置600の要部構成をに示すブロック図である。
【0381】
符号化率設定部610は、自装置により設定される符号化率の情報を含む制御情報信号、又は、通信相手の通信装置から送信されるフィードバック信号を入力する。制御情報信号が入力される場合、符号化率設定部610は、制御情報信号に含まれる符号化率の情報から、符号化率を設定する。
【0382】
また、符号化率設定部610は、フィードバック信号が入力される場合には、フィードバック信号に含まれる通信相手の通信装置との間の通信状況の情報、例えば、ビットエラー率、パケットエラー率、フレームエラー率、受信電界強度等の通信品質を推定することが可能な情報を取得し、通信相手の通信装置との間の通信状況の情報から符号化率を設定する。符号化率設定部610は、設定した符号化率の情報を設定符号化率信号に含め、設定符号化率信号を符号化器630内のターミネーション系列長決定部631及びパリティ演算部632に向けて出力する。また、符号化率設定部610は、設定した符号化率の情報を、送信情報生成および情報長検出部620に向けて出力する。
【0383】
送信情報生成および情報長検出部620は、送信データ(情報)を生成又は取得し、送信データ(情報)から構成される情報系列をパリティ演算部632に向けて出力する。また、送信情報生成および情報長検出部620は、送信データ(情報)の系列長(以下「情報長」という)、すなわち、情報サイズを検出し、検出した情報サイズの情報を情報長信号に含め、情報長信号をターミネーション系列長決定部631に向けて出力する。また、送信情報生成および情報長検出部620は、ターミネーション系列長決定部631から通知されるターミネーション系列長分の冗長ビットを生成するために必要な既知情報ビット(例えば、「0」)から構成される既知情報系列を、情報系列の最後尾に付加する。
【0384】
ターミネーション系列長決定部631は、情報長信号が示す情報サイズ及び設定符号化率信号が示す符号化率に応じて、ターミネーション系列長(ターミネーション数)を決定する。ターミネーション系列長の具体的な決定方法については、後述する。ターミネーション系列長決定部631は、決定したターミネーション系列長をターミネーション系列長信号に含め、ターミネーション系列長信号を送信情報生成および情報長検出部620とパリティ演算部632とに向けて出力する。
【0385】
パリティ演算部632は、情報系列及び既知情報系列に対するパリティを計算し、得られたパリティを変調部640に向けて出力する。
【0386】
変調部640は、情報系列及びパリティ(ターミネーション系列を含む)に変調処理を施す。
【0387】
図24において、「情報長(Information Length)信号」と記述しているが、これに限ったものではなく、ターミネーション系列長を制御するための指標となる情報であれば、どのような信号であってもよい。例えば、ターミネーションを除いた情報の数とパリティの数の和の情報(Length情報)、情報数と変調方式の情報から、送信信号のフレーム長をもとめ、そのフレーム長を情報長信号のかわりとしてもよい。
【0388】
次に、ターミネーション系列長決定部631におけるターミネーション系列長の決定方法について、
図25を用いて説明する。
図25は、ターミネーション系列長を情報サイズ及び各符号化率に基づいて、2段階に切り替える場合の例を示している。なお、
図25は、通信装置600において、情報サイズの最小サイズが512ビットに設定されていることを前提としている。ただし、最小サイズは必ずしも定められていなくてもよい。
【0389】
図25において、αは、送信しなければならない送信データ(情報)の情報長である。例えば、符号化率が1/2の場合、512≦α≦1023では、ターミネーション系列長決定部631は、ターミネーション系列長を380ビットに設定し、1024≦αでは、ターミネーション系列長決定部631は、ターミネーション系列長を340ビットに設定する。こようにして、ターミネーション系列長決定部631が、送信データ(情報)の情報長αに基づいて、ターミネーション系列長を設定することにより、ターミネーション系列長は、誤り訂正能力を劣化させず、かつ、情報の伝送効率の低下を防ぐことができる系列長に設定されるようになる。
【0390】
上述では、各符号化率において、ターミネーション系列長を2段階に切り替える場合を例に説明したが、これに限ったものではなく、例えば、
図26に示すように3段階、または、それ以上の段階でターミネーション系列長を切り替えるようにしてもよい。このようにして、情報長(情報サイズ)に基づいてターミネーション系列長(ターミネーション数)を複数段に切り替えることにより、ターミネーション系列長を、誤り訂正能力を劣化させず、かつ、情報の伝達効率の低下を防ぐことができる適した系列長に設定することができるようになる。
【0391】
通信装置600は、例えば、
図27に示すような送信フォーマットを用いて、符号化率に関するシンボルに符号化率の情報を含めることにより、符号化器630が用いる符号化率を通信相手の通信装置に通知する。また、通信装置600は、情報サイズに関するシンボルに情報長(情報サイズ)の情報を含めることにより、情報長(情報サイズ)の情報を通信相手の通信装置に通知する。また、通信装置600は、変調方式、送信方法、又は通信相手を識別するための情報を制御情報シンボルに含めて通信相手の通信装置に通知する。また、通信装置600は、情報系列およびパリティを、データシンボルに含めて通信相手の通信装置に通知する。
【0392】
図28に、通信装置600と通信を行う通信相手の通信装置700の構成例を示す。なお、
図28の通信装置700において、
図20と共通する構成部分には、
図20と同一の符号を付して説明を省略する。
図28の通信装置700は、
図20の通信装置500に対して、制御情報生成部530及び復号化器300に代えて、制御情報生成部710及び復号化器720を備える。
【0393】
制御情報生成部710は、ベースバンド信号を復調(および復号)することにより得られる符号化率に関するシンボルから符号化率の情報を抽出する。また、制御情報生成部710は、ベースバンド信号を復調(および復号)することにより得られる情報サイズに関するシンボルから情報長(情報サイズ)の情報を抽出する。また、制御情報生成部710は、制御情報シンボルから変調方式、送信方法、又は通信相手を識別するための情報を抽出する。制御情報生成部710は、抽出した符号化率の情報及び情報長(情報サイズ)の情報を含めた制御信号を対数尤度比生成部520及び復号化器720に向けて出力する。
【0394】
復号化器720は、
図25又は
図26に示したような各符号化率における情報サイズとターミネーション系列長との関係のテーブルを保持しており、このテーブルと、符号化率の情報、及び、情報長(情報サイズ)の情報から、データシンボルに含まれるターミネーション系列長を判定する。復号化器720は、符号化率および判定したターミネーション系列長に基づいて、BP復号を行う。これにより、通信装置700は、誤り訂正能力の高い復号を行うことができる。
【0395】
図29及び
図30は、通信装置600と通信装置700と間の情報の流れの一例を示す図である。
図29と
図30とは、符号化率を通信装置600又は通信装置700のどちらで設定するかが異なっている。具体的には、
図29は、通信装置600が符号化率を決定する場合の情報の流れを示し、
図30は、通信装置700が符号化率を決定する場合の情報の流れを示している。
【0396】
以上のように、本実施の形態では、ターミネーション系列長決定部631は、情報長(情報サイズ)及び符号化率に応じて、情報系列の後尾に付加して送信されるターミネーション系列の系列長を決定し、パリティ演算部632は、情報系列、及び、決定されたターミネーション系列長分のターミネーション系列を生成するために必要な既知情報系列に対しLDPC−CC符号化を施し、パリティ系列を計算するようにした。これにより、誤り訂正能力を劣化させず、かつ、情報の伝送効率の低下を回避することができる。
【0397】
(実施の形態6)
実施の形態5では、情報長(情報サイズ)及び符号化率に応じて、情報系列の後尾に付加するターミネーション系列長を決定(変更)する場合について説明した。これにより、誤り訂正能力を劣化させず、かつ、情報の伝送効率の低下を回避することができる。
【0398】
本実施の形態では、実施の形態5のように、情報長(情報サイズ)に応じてターミネーション系列長を変更する場合に、使用できる符号化率に制限を設ける場合について説明する。これにより、誤り訂正能力の劣化を回避することができる。
【0399】
図31は、
図21と同様に、式(44−i)、式(45−i)、式(46−i)、式(47−i)に示したLDPC−CCのパリティ検査多項式を用いる場合(i=1,2,3)に必要となるターミネーション数と符号化率との関係を示している。
図31から分かるように、情報サイズが512ビット、1024ビット、2048ビットにおいて、符号化率3/4の実効符号化率(Real R)と、符号化率4/5の実効符号化率とを比較すると、両者の間には大きな差がない。例えば、情報サイズが1024ビットの場合、符号化率3/4では、実効符号化率が0.5735であるのに対し、符号化率4/5では、実効符号化率が0.5626であり、差は僅かに0.01程度である。また、符号化率4/5の実効符号化率に比べ、符号化率3/4の実効符号化率が大きくなり、実効符号化率の大きさが逆転している。したがって、情報サイズによっては、符号化率3/4を用いても、高い誤り訂正能力を得る、および、伝送効率の向上に適さない場合が存在する。
【0400】
図32A、
図32B、
図32C及び
図32Dは、情報サイズが512ビット、1024ビット、2048ビット、4096ビットの情報系列に、
図31に示した系列長のターミネーション系列を付加した場合のビット誤り率(Bit Error Rate:BER)/ブロック誤り率(Block Error Rate:BLER)特性を示す。
図32A、
図32B、
図32C及び
図32Dにおいて、横軸はSNR(Signal-to-Noise power ratio)[dB]を示し、縦軸はBER/BLER特性を示し、実線はビット誤り率特性、破線はブロック誤り率特性を示している。また、
図32A、
図32B、
図32C及び
図32Dにおいて、TMNは、ターミネーション数(Terminaltion number)を示す。
【0401】
図32A、
図32B、
図32C及び
図32Dから分かるように、ターミネーション系列を考慮した場合、符号化率R=3/4のBER/BLER特性は、情報サイズがいずれの場合も、符号化率R=4/5のBER/BLER特性より優れていることがわかる。
【0402】
これら2点から、誤り訂正能力の向上と情報の伝送効率の向上との両立を実現するためには、例えば、情報サイズが4096ビット未満では、符号化率R=4/5をサポートしない、つまり、情報サイズが4096ビット未満では、符号化率R=1/2,2/3,3/4のみをサポートし、情報サイズが4096ビット以上では、符号化率R=1/2,2/3,3/4,4/5をサポートするようにすることにより、情報サイズが4096ビット未満では、符号化率R=3/4よりも伝送効率が悪い符号化率R=4/5が使われなくなるため、誤り訂正能力の向上と情報の伝送効率の向上との両立を図ることができる。
【0403】
また、
図32A、
図32B、
図32C及び
図32Dから、情報サイズが512ビットのBER/BLER特性(
図32A参照)は、他の情報サイズのBER/BLER特性より際だって優れていることが分かる。例えば、情報サイズが512ビットの場合に符号化率2/3のBER特性は、情報サイズが1024ビットの場合に符号化率1/2のBER/BLER特性と、ほぼ同等の特性を有し、情報サイズが512ビットの場合に符号化率1/2のBER/BLER特性までは実際には不要である場合がある。符号化率が低いほど、伝搬効率は低下するので、これらの点を考慮して、例えば、情報サイズが512ビットの場合には、符号化率1/2をサポートしないという方法をとることもできる。
【0404】
図33は、情報サイズとサポート符号化率との対応表である。
図33に示すように、情報サイズによって、サポートされない符号化率が存在する。情報サイズによらず、サポートされる符号化率が一定であれば、
図29、
図30のいずれの場合も、通信装置600と通信装置700とは通信することができる。しかし、
図33に示したように、本実施の形態では、情報サイズによって、サポートされない符号化率が存在するため、指定された符号化率を調整する必要がある。以下では、本実施の形態に係る通信装置について説明する。
【0405】
図34は、本実施の形態に係る通信装置600Aの要部構成をに示すブロック図である。なお、
図34の通信装置600Aにおいて、
図24と共通する構成部分には、
図24と同一の符号を付して説明を省略する。
図34の通信装置600Aは、
図24の符号化器630に代えて、符号化器630Aを備える。符号化器630Aは、符号化器630に対し、符号化率調整部633を追加した構成を採る。
【0406】
符号化率調整部633は、送信情報生成および情報長検出部620から入力される情報長信号に含まれる情報長(情報サイズ)に基づいて、符号化率設定部610から入力される設定符号化率信号に含まれる符号化率を調整する。具体的には、符号化率調整部633は、
図33に示したような情報サイズとサポート符号化率との対応表を保持し、制御情報信号又はフィードバック信号に基づいて設定された符号化率を対応表に照らし合わせて、符号化率を調整する。例えば、情報長(情報サイズ)が1024ビットあり、設定符号化率信号が符号化率4/5を示す場合、対応表から、符号化率4/5はサポートされてないので、符号化率調整部633は、符号化率4/5より小さい符号化率のうち、値が最も大きい3/4を符号化率に設定する。
図31に示したように、情報長(情報サイズ)が1024ビットの場合には、符号化率4/5の場合のReal Rは、0.5626となり、符号化率3/4のReal R(0.5735)より小さくなり、又、
図32Bが示すように、BER/BLER特性も符号化率3/4の方が良好である。したがって、情報長(情報サイズ)が1024の場合には、符号化率4/5を用いず、符号化率3/4を用いるようにすることにより、誤り訂正能力を劣化させず、かつ、情報の伝送効率が低下しないようにすることができる。
【0407】
換言すると、第1の符号化率(3/4)<第2の符号化率(4/5)の場合に、第1の符号化率(3/4)に対応する第1の実効符号化率(0.5735)が、第2の符号化率(4/5)に対応する第2の実効符号化率(0.5626)と同程度の場合に、第2の符号化率が指定された場合、符号化率調整部633は、符号化率を第1の符号化率に調整するようにする。これにより、誤り訂正能力を劣化させず、かつ、情報の伝送効率が低下しないようにすることができる。
【0408】
また、例えば、情報長(情報サイズ)が512ビットであり、設定符号化率信号が符号化率1/2を示す場合、対応表から、符号化率1/2はサポートされてないので、符号化率調整部633は、符号化率1/2より大きい符号化率のうち、値が最も小さい2/3を符号化率に設定する。
図32Aに示したように、符号化率1/2のBER/BLER特性は極めて良好であるので、符号化率を2/3にしても、誤り訂正能力を劣化させず、かつ、情報の伝送効率が低下しないようにすることができる。
【0409】
換言すると、極めてBER/BLER特性が良好な第1の符号化率が指定された場合、符号化率調整部633は、第1の符号化率より大きい符号化率であって、所定の回線品質を確保することができる第2の符号化率に、符号化率を調整するようにする。
【0410】
このように、本実施の形態では、情報長(情報サイズ)に基づいて、通信装置600Aがサポートする符号化率の数を変更するようにした。例えば、
図33に示す例では、情報長(情報サイズ)が512ビット未満では、通信装置600Aは、2つの符号化率のみをサポートし、情報長(情報サイズ)が512ビット以上4096ビット未満では、3つの符号化率をサポートし、情報長(情報サイズ)が4096以上では、4つの符号化率をサポートするようにした。サポートする符号化率を変更することで、誤り訂正能力の向上と情報の伝送効率の向上との両立を図ることができる。
【0411】
以上のように、本実施の形態によれば、符号化率調整部633は、情報長(情報サイズ)に応じて、通信装置600Aがサポートする符号化率の数を変更し、符号化率を、サポートする符号化率のいずれかに調整するようにした。これにより、誤り訂正能力を劣化させず、かつ、情報の伝送効率が低下しないようにすることができる。
【0412】
また、通信装置600Aは、実効符号化率が同程度の符号化率のうち、値が小さい符号化率をサポートするようにする。また、通信装置600Aは、BER/BLER特性が極めて良好な符号化率をサポートする符号化率に含めず、所定の回線品質を確保することができる符号化率のみをサポートするようにする。これにより、所定の回線品質を確保しつつ、伝送効率の低下を回避することができる。
【0413】
以上のように、情報長(情報サイズ)に応じて、サポートする符号化率の数を変更することで、誤り訂正能力の向上と情報の伝送効率の向上との両立を図ることができる。
【0414】
情報長(情報サイズ)に応じて、サポートする符号化率の数を変更する場合、
図29に示したように、通信装置600Aが、符号化率を調整し、ターミネーション系列長を設定し、これら符号化率の情報と情報長(情報サイズ)の情報(又は、ターミネーション系列長の情報)を同時に通信相手の通信装置700に送信すると、通信装置700は正しく復号することができる。
【0415】
当然であるが、本実施の形態を実施の形態5と併用してもよい。つまり、符号化率および情報サイズ(Information size)によりターミネーション数を変更してもよい。
【0416】
一方、
図30に示したように、通信装置600Aが情報長(情報サイズ)を決定する前に、通信装置600の通信相手の通信装置が符号化率を設定する場合、又は、
図35に示すように、通信装置600Aが情報長(情報サイズ)を決定する前に、通信装置600Aが符号化率を設定する場合、通信装置600Aの通信相手の通信装置は、情報長(情報サイズ)に基づいて符号化率を調整する必要がある。
図36は、この場合の通信装置700Aの構成を示すブロック図である。
【0417】
図36の通信装置700Aにおいて、
図28と共通する構成部分には、
図28と同一の符号を付して説明を省略する。
図36の通信装置700Aは、
図28の通信装置700に対して、符号化率調整部730を追加した構成を採る。
【0418】
以下では、通信装置600Aが、情報長(情報サイズ)が4096ビット未満では、符号化率1/2,2/3,3/4をサポートし、情報長(情報サイズ)が4097ビットでは、符号化率1/2,2/3,3/4,4/5をサポートする場合について説明する。
【0419】
このとき、情報長(情報サイズ)が決定される前に、送信する情報系列の符号化率が4/5に決定され、通信装置600Aと通信装置700Aとがこの符号化率の情報を共有しているものとする。情報長(情報サイズ)が512ビットの場合、上述したように、通信装置600Aの符号化率調整部633は、符号化率を3/4に調整する。この規則を予め通信装置600Aと通信装置700Aとの間で決定しておけば、通信装置600Aと通信装置700Aとは正しく通信を行うことができる。
【0420】
具体的には、符号化率調整部730は、符号化率調整部633と同様に、符号化率の情報及び情報長(情報サイズ)の情報が含まれる制御信号を入力とし、情報長(情報サイズ)に基づいて、符号化率を調整する。例えば、符号化率調整部730は、情報長(情報サイズ)が512ビットであり、符号化率が4/5の場合、符号化率調整部730は、符号化率を3/4に調整する。これにより、誤り訂正能力を劣化させず、かつ、情報の伝送効率が低下しないようにすることができる。
【0421】
なお、別の符号化率調整方法として、符号化率に関係なくターミネーション数を一定とする方法も考えられる。
図21の例では、情報長(情報サイズ)が6144以上の場合には、ターミネーション数が340ビットと一律である。したがって、情報長(情報サイズ)が6144ビット以上の場合には、符号化率調整部633及び符号化率調整部730は、符号化率に関わらず、ターミネーション数を一定にするようにしてもよい。また、情報長(情報サイズ)が6144未満の場合には、符号化率調整部633及び符号化率調整部730は、例えば、ターミネーション数340ビットが適した別のパリティ検査多項式を用いて、各符号化率に対応するようにしてもよい。また、全く異なる符号を用いてもよい。例えば、ブロック符号を用いてもよい。
【0422】
(実施の形態7)
上記各実施の形態では、符号化器・復号化器において、符号化率1/2以上の複数の符号化率に対応する回路を共通化することができるLDPC−CCについて説明した。具体的には、回路を共通化することができる、符号化率(n−1)/n(n=2、3、4、5)に対応可能なLDPC−CCについて説明した。本実施の形態では、符号化率1/3への対応方法について説明する。
【0423】
図37は、本実施の形態に係る符号化器の構成の一例を示すブロック図である。
図37の符号化器800において、符号化率設定部810は、符号化率を制御部820、パリティ演算部830及びパリティ演算部840に向けて出力する。
【0424】
制御部820は、符号化率設定部810が、符号化率1/2,2/3,3/4,4/5を指定した場合、パリティ演算部840に情報が入力されないように制御する。また、制御部820は、符号化率1/3が設定されたとき、パリティ演算部830に入力される情報と同じ情報がパリティ演算部840に入力されるように制御する。
【0425】
パリティ演算部830は、例えば、式(44−i)、式(45−i)、式(46−i)、式(47−i)で定義される(i=1,2,3)、符号化率1/2,2/3,3/4,4/5のパリティを求める符号化器である。
【0426】
そして、符号化率設定部810が、符号化率1/2,2/3,3/4,4/5を指定した場合、パリティ演算部830は、対応するパリティ検査多項式に基づく符号化を行い、パリティを出力する。
【0427】
そして、符号化率設定部810が、符号化率1/3を指定した場合、パリティ演算部830は、符号化率1/2(式(44−1)、式(44−2)、式(44−3)で定義される)の時変周期3のLDPC−CCのパリティ検査多項式に基づく符号化を行い、パリティPを出力する。
【0428】
パリティ演算部840は、符号化率1/2のパリティを求める符号化器である。符号化率設定部810が、符号化率1/2,2/3,3/4,4/5を指定した場合には、パリティ演算部840は、パリティを出力しない。
【0429】
そして、符号化率設定部810が、符号化率1/3を指定した場合、パリティ演算部840は、パリティ演算部830に入力される情報と同じ情報を入力とし、符号化率1/2の時変周期3のLDPC−CCのパリティ検査多項式に基づく符号化を行い、パリティPaを出力する。
【0430】
このようにして、符号化器800は、情報、パリティP、パリティPaを出力することになるので、符号化器800は、符号化率1/3をサポートすることができるようになる。
【0431】
図38は、本実施の形態に係る復号化器の構成の一例を示すブロック図である。
図38の復号化器900は、
図37の符号化器800に対応する復号化器である。
【0432】
制御部910は、符号化率を示す符号化率情報及び対数尤度比を入力とし、符号化率が1/2,2/3,3/4,4/5の場合、BP復号部930に対数尤度比が入力されないように制御する。また、制御部910は、符号化率が1/3の場合、BP復号部920に入力される対数尤度比と同じ対数尤度比がBP復号部930に入力されるように制御する。
【0433】
BP復号部920は、全ての符号化率で動作する。具体的には、BP復号部920は、符号化率が1/3の場合、パリティ演算部830で用いられた符号化率1/2のパリティ検査多項式を用いて、BP復号を行う。また、符号化率が1/3の場合、BP復号部920は、BP復号を行うことにより得られた各ビットに対応する対数尤度比をBP復号部930に向けて出力する。一方、符号化率が1/2,2/3,3/4,4/5の場合、BP復号部920は、パリティ演算部830で用いられた符号化率1/2,2/3,3/4,4/5のパリティ検査多項式を用いて、BP復号を行う。BP復号部920は、所定の回数だけ反復復号を行った後、得られた対数尤度比を出力する。
【0434】
BP復号部930は、符号化率が1/3の時にのみ動作する。具体的には、BP復号部930は、パリティ演算部840で用いられた符号化率1/2のパリティ検査多項式を用いて、BP復号を行い、BP復号を行うことにより得られた各ビットに対応する対数尤度比をBP復号部920に向けて出力し、所定の回数だけ反復復号を行った後、得られた対数尤度比を出力する。
【0435】
このようにして、復号化器900は、対数尤度比を交換しながら反復復号し、ターボ復号のような復号を行って、符号化率1/3の復号を行う。
【0436】
(実施の形態8)
実施の形態2では、複数の符号化率(r−1)/r(rは2以上q以下の整数)に対応可能な時変周期g(gは自然数)のLDPC−CCを作成する符号化器について説明した。本実施の形態では、複数の符号化率(r−1)/r(rは2以上q以下の整数)に対応可能な時変周期g(gは自然数)のLDPC−CCを作成する別の符号化器の構成例を示す。
【0437】
図39は、本実施の形態に係る符号化器の構成例である。なお、
図39の符号化器において、
図37と共通する構成部分には、
図37と同一の符号を付して説明を省略する。
【0438】
図37の符号化器800は、パリティ演算部830が、符号化率1/2,2/3,3/4,4/5のパリティを求める符号化器であり、パリティ演算部840は、符号化率1/2のパリティを求める符号化器であったのに対し、
図39の符号化器800Aは、パリティ演算部830A及びパリティ演算部840Aがともに、例えば、符号化率2/3の時変周期3のLDPC―CCの符号化を行い、かつ、パリティ演算部830Aとパリティ演算部840Aは、異なるパリティ検査多項式で定義される符号であるという点である。
【0439】
制御部820Aは、符号化率設定部810が、符号化率2/3を指定した場合、パリティ演算部840Aに情報が入力されないように制御する。また、制御部820Aは、符号化率1/2が設定されたとき、パリティ演算部830Aに入力される情報と同じ情報がパリティ演算部840Aに入力されるように制御する。
【0440】
パリティ演算部830Aは、例えば、式(45−1)、式(45−2)、式(45−3)で定義される符号化率2/3のパリティを求める符号化器である。そして、符号化率設定部810が、符号化率1/2及び2/3を指定した場合、パリティ演算部830AはパリティPを出力する。
【0441】
パリティ演算部840Aは、パリティ演算部830Aと異なるパリティ検査多項式で定義される符号化率2/3のパリティを求める符号化器である。符号化率設定部810が、符号化率1/2を指定した場合のみ、パリティ演算部840AはパリティPaを出力する。
【0442】
これにより、符号化率1/2が指定された場合、符号化器800Aは、情報2ビットに対し、パリティP、パリティPaを出力するので、符号化器800Aは、符号化率1/2を実現することができる。
【0443】
なお、当然であるが、
図39において、パリティ演算部830A及びパリティ演算部840Aの符号化率は、2/3に限られず、符号化率3/4、4/5、・・・でもよく、パリティ演算部830A及びパリティ演算部840Aの符号化率が共に同じであればよい。
【0444】
以上、本発明の実施の形態について説明した。なお、実施の形態1から実施の形態4までで説明したLDPC−CCに関する発明と、実施の形態5以下で説明した情報サイズとターミネーションサイズとの関係に関する発明とは、それぞれ、独立して成立する。
【0445】
また、本発明は上記全ての実施の形態に限定されず、種々変更して実施することが可能である。例えば、上記実施の形態では、主に、符号化器及び復号化器で実現する場合について説明しているが、これに限られるものではなく、電灯線通信装置で実現する場合においても適用可能である。
【0446】
また、この符号化方法及び復号化方法をソフトウェアとして行うことも可能である。例えば、上記符号化方法及び通信方法を実行するプログラムを予めROM(Read Only Memory)に格納しておき、そのプログラムをCPU(Central Processor Unit)によって動作させるようにしても良い。
【0447】
また、上記符号化方法及び復号化方法を実行するプログラムをコンピュータで読み取り可能な記憶媒体に格納し、記憶媒体に格納されたプログラムをコンピュータのRAM(Random Access Memory)に記録して、コンピュータをそのプログラムにしたがって動作させるようにしても良い。
【0448】
また、本発明は、無線通信に限らず、電灯線通信(PLC:Power Line Communication)、可視光通信、光通信においても有用であることは言うまでもない。