Fig. 1 DPCM エンコーダモデル
Fig. 2 ロスレスモードのブロックダイアグラム
Fig. 3 予測 よそく 画素 がそ の3近傍 きんぼう 画素 がそ
Lossless JPEGは1993年 ねん にJPEG の追加 ついか 規格 きかく として開発 かいはつ された。非 ひ 可逆 かぎゃく のJPEG とは全 まった く異 こと なり、周囲 しゅうい 3近傍 きんぼう (上 うえ 隣 となり 、左 ひだり 隣 となり 、左上 ひだりうえ )による予測 よそく を行 おこな い、その予測 よそく 残 ざん 差 さ に対 たい してエントロピー符号 ふごう 化 か を行 おこな う。Lossless JPEGはIndependent JPEG Group によるライブラリではサポートされていないが、Ken Murchisonによるパッチをあてることで使用 しよう 可能 かのう となる。Lossless JPEGは医療 いりょう に関 かか わる場面 ばめん やDNG 、一部 いちぶ のデジタルカメラなどで用 もち いられているが、それ以外 いがい ではあまり広 ひろ くは用 もち いられてはいない。
Lossless JPEG[1] はJPEG のモードの1つである。離散 りさん コサイン変換 へんかん (DCT)を用 もち いた手法 しゅほう では逆 ぎゃく 変換 へんかん が厳密 げんみつ には定義 ていぎ されていないため、デコーダ出力 しゅつりょく がエンコーダ入力 にゅうりょく と完全 かんぜん に一致 いっち するとは限 かぎ らない。そこで、完全 かんぜん に一致 いっち することが必要 ひつよう となる用途 ようと のためにこのモードが存在 そんざい する。DCTを用 もち いる非 ひ 可逆 かぎゃく JPEGとは異 こと なり、ロスレス圧縮 あっしゅく では差分 さぶん パルス符号 ふごう 変調 へんちょう (DPCM)と呼 よ ばれる簡単 かんたん な予測 よそく 符号 ふごう モデル を用 もち いる。これは、すでに符号 ふごう 化 か された隣接 りんせつ するサンプル値 ち を用 もち いて予測 よそく を行 おこな う方式 ほうしき であり、一般 いっぱん 的 てき には対象 たいしょう サンプル値 ち の上 うえ 隣 となり と左 ひだり 隣 となり の値 ね の平均 へいきん を用 もち いる。そして、たいていの場合 ばあい 、あるサンプル値 ち と次 つぎ のサンプル値 ち の差分 さぶん は0に近 ちか いことを利用 りよう して、各 かく サンプルを個別 こべつ に符号 ふごう 化 か する代 か わりに予測 よそく サンプル値 ち との差分 さぶん 値 ち を符号 ふごう 化 か する。典型 てんけい 的 てき なDPCMエンコーダはFig. 1のような構成 こうせい となる。なお、図 ず 中 ちゅう のブロックは次 つぎ のサンプルの処理 しょり まで、現在 げんざい のサンプル値 ち を記憶 きおく する役割 やくわり を果 は たす。
ロスレスモードの主 おも な処理 しょり の流 なが れはFig. 2のようになる。この処理 しょり の中 なか で、PredictorはFig. 3に示 しめ すXの予測 よそく 値 ち を計算 けいさん するモジュールで、A, B, Cの3近傍 きんぼう のサンプル値 ち を用 もち いる[2] ため、これらはその時点 じてん で既 すで に予測 よそく が完了 かんりょう している必要 ひつよう がある。また、Predictorとしては下 した の表 ひょう で示 しめ される8つのうちのどれか1つが用 もち いられる。ここで、1, 2, 3は1次元 じげん 予測 よそく 、4, 5, 6, 7は2次元 じげん 予測 よそく であり、0は階層 かいそう モードの誤差 ごさ に対 たい してのみ用 もち いられる。一度 いちど すべてのサンプルが予測 よそく されれば、サンプルの予測 よそく 誤差 ごさ はハフマン符号 ふごう や算術 さんじゅつ 符号 ふごう を用 もち いた可逆 かぎゃく エントロピー符号 ふごう によって得 え られる。
予測 よそく 方式 ほうしき
0
予測 よそく なし
1
A
2
B
3
C
4
A + B – C
5
A + (B – C)/2
6
B + (A – C)/2
7
(A + B)/2
ロスレスモードは、カラー画像 がぞう に対 たい してはおおよそ2:1程度 ていど の圧縮 あっしゅく 率 りつ となる[3] 。このモードは医療 いりょう 分野 ぶんや の画像 がぞう に対 たい してよく用 もち いられるが、一般 いっぱん 的 てき にはそれほど広 ひろ くは用 もち いられていない。
JPEG-LSは、モデル化 か と符号 ふごう 化 か と呼 よ ばれる2つの独立 どくりつ した段階 だんかい から成 な る、低 てい コストで高性能 こうせいのう な基本 きほん アルゴリズムである。もともとはLossless JPEGよりも効率 こうりつ のよいアルゴリズムとして、ニアロスレス画像 がぞう 圧縮 あっしゅく を提供 ていきょう するために開発 かいはつ されたものである。用 もち いられている全体 ぜんたい 的 てき な相関 そうかん 性 せい 消去 しょうきょ によって、以前 いぜん の規格 きかく で採用 さいよう されていた方式 ほうしき による予測 よそく 残 ざん 差 さ よりも遥 はる かにエントロピーが低 ひく くなっている[4] [5] 。
JPEG-LSのPart1は1999年 ねん に完成 かんせい し公開 こうかい され、算術 さんじゅつ 符号 ふごう のような拡張 かくちょう はPart2として紹介 しょうかい された。アルゴリズムの中核 ちゅうかく はLOCO-I algorithm を元 もと にしており、これは予測 よそく 、誤差 ごさ を用 もち いたコンテキストモデリングによって成 な り立 た っている。また、予測 よそく 残 ざん 差 さ が左右 さゆう 対称 たいしょう の幾何 きか 分布 ぶんぷ (離散 りさん ラプラス分布 ぶんぷ と呼 よ ぶ)に従 したが うと仮定 かてい し、そのような分布 ぶんぷ に対 たい して有効 ゆうこう なゴロム符号 ふごう を用 もち いることによって、低 てい コストを実現 じつげん している。その上 うえ 、誤差 ごさ の絶対 ぜったい 値 ち の最大 さいだい をエンコード時 じ に制御 せいぎょ できるニアロスレスモードも提供 ていきょう している。大抵 たいてい の場合 ばあい 、JPEG-LSはJPEG 2000よりも遥 はる かに高速 こうそく で、以前 いぜん のLossless JPEGよりも圧縮 あっしゅく 率 りつ が高 たか い。
モデル化 か には相関 そうかん 性 せい 消去 しょうきょ (予測 よそく )とコンテキストモデリング の2つの重要 じゅうよう な処理 しょり がある。
相関 そうかん 性 せい 消去 しょうきょ /サンプル値 ち 予測 よそく
編集 へんしゅう
LOCO-Iアルゴリズムには、Fig. 3に示 しめ すX画素 がそ の近傍 きんぼう 画素 がそ によって縦 たて 方向 ほうこう のエッジや横 よこ 方向 ほうこう のエッジを検出 けんしゅつ する原始 げんし 的 てき なエッジ検出 けんしゅつ が使 つか われており、縦 たて 方向 ほうこう の場合 ばあい はBの画素 がそ 、横 よこ 方向 ほうこう の場合 ばあい はAの画素 がそ を予測 よそく に用 もち いる。この簡単 かんたん な予測 よそく 法 ほう はMedian Edge Detection (MED)[6] や、LOCO-I予測 よそく と呼 よ ばれ、以下 いか の式 しき によってXの値 ね を予測 よそく する。
X
=
{
min
(
A
,
B
)
if
C
≥
max
(
A
,
B
)
max
(
A
,
B
)
if
C
≤
min
(
A
,
B
)
A
+
B
−
C
otherwise
.
{\displaystyle X=\left\{{\begin{aligned}&\min(A,B)\quad \,{\mbox{if}}\,C\geq \max(A,B)\\&\max(A,B)\quad {\mbox{if}}\,C\leq \min(A,B)\\&A+B-C\quad \,{\mbox{otherwise}}.\\\end{aligned}}\right.}
この3種類 しゅるい の簡単 かんたん な予測 よそく 式 しき は以下 いか の条件 じょうけん を表 あらわ している。
(1) Xの左 ひだり に縦 たて 方向 ほうこう のエッジが存在 そんざい する場合 ばあい にはBを用 もち いる (2) Xの上 うえ に横 よこ 方向 ほうこう のエッジが存在 そんざい する場合 ばあい にはAを用 もち いる (3) エッジが存在 そんざい しない場合 ばあい には A + B - C を用 もち いる
JPEG-LSは、それぞれのコンテキストCtx に所属 しょぞく するサンプルの平均 へいきん
e
¯
(
C
)
{\displaystyle {\bar {e}}(C)}
を用 もち いて、予測 よそく 誤差 ごさ の条件 じょうけん 付 つ き期待 きたい 値 ち
E
{
e
|
C
t
x
}
{\displaystyle E\left\{e|Ctx\right\}}
を見積 みつ もる。予測 よそく 残 ざん 差 さ のコンテキストモデル化 か によって、テクスチャパターンや局所 きょくしょ 的 てき に変動 へんどう の激 はげ しい画像 がぞう も対応 たいおう できる。コンテキストは局所 きょくしょ 的 てき な勾配 こうばい のような、近傍 きんぼう サンプルの差分 さぶん 値 ち によって決 き まる。
g
1
=
D
−
B
g
2
=
B
−
C
g
3
=
C
−
A
{\displaystyle {\begin{aligned}&g_{1}=D-B\\&g_{2}=B-C\ \\&g_{3}=C-A\ \\\end{aligned}}}
局所 きょくしょ 的 てき な勾配 こうばい は、サンプルの近傍 きんぼう の滑 なめ らかさや変動 へんどう の激 はげ しさを反映 はんえい している。また、これら近傍 きんぼう の差分 さぶん 値 ち は統計 とうけい 的 てき な性質 せいしつ が予測 よそく 誤差 ごさ に密接 みっせつ に関係 かんけい していることに着目 ちゃくもく し、上 うえ の式 しき で得 え られる差分 さぶん 値 ち を量子 りょうし 化 か することでおおよそ似通 にかよ った値 ね をひとまとめにする。JPEG-LSの場合 ばあい 、g1, g2, g3を9つの値 ね に量子 りょうし 化 か し、-4から4までのインデックスを振 ふ る。これによって、対象 たいしょう サンプル値 ち との相関 そうかん を検出 けんしゅつ できそうなコンテキストとの間 あいだ で共通 きょうつう の情報 じょうほう を抽出 ちゅうしゅつ できる。また、
P
(
e
|
C
t
x
=
[
q
1
,
q
2
,
q
3
]
)
=
P
(
−
e
|
C
t
x
=
[
−
q
1
,
−
q
2
,
−
q
3
]
)
{\displaystyle P(e|Ctx=[q_{1},q_{2},q_{3}])=P(-e|Ctx=[-q_{1},-q_{2},-q_{3}])}
という性質 せいしつ を持 も つと仮定 かてい し正 せい と負 まけ のコンテキストをまとめると、コンテキストの総数 そうすう は
(
(
2
×
4
+
1
)
3
+
1
)
/
2
=
365
{\displaystyle ((2\times 4+1)^{3}+1)/2=365}
となる。
各々 おのおの のコンテキスト内 ない の累積 るいせき 予測 よそく 誤差 ごさ をコンテキストに含 ふく まれる要素 ようそ 数 すう で割 わ ることによって、誤差 ごさ 分布 ぶんぷ の中心 ちゅうしん がどれほどずれているのかある程度 ていど 推測 すいそく することができる。そこでコンテキスト内 ない で予測 よそく 誤差 ごさ の中心 ちゅうしん からのずれを補正 ほせい する機構 きこう を追加 ついか することで、予測 よそく の精度 せいど を改善 かいぜん することができる。なお、LOCO-Iアルゴリズムでは、この手順 てじゅん に要 よう する加減算 かげんざん の回数 かいすう が減 へ るように改善 かいぜん されており、さらに除算 じょざん を不要 ふよう にした計算 けいさん 手順 てじゅん が[2] に紹介 しょうかい されている。
JPEG-LSは標準 ひょうじゅん では非負 ひふ のランレングスを符号 ふごう 化 か する際 さい にゴロム・ライス符号 ふごう (ゴロム符号 ふごう 参照 さんしょう )を用 もち いる。この際 さい に、パラメータとして2^kを用 もち いることによりエンコード処理 しょり を簡略 かんりゃく 化 か する。
ゴロム・ライス符号 ふごう は1シンボルあたり1bit未満 みまん にはならないため、画像 がぞう の滑 なめ らかな部分 ぶぶん などのエントロピーの低 ひく いデータに対 たい しては圧縮 あっしゅく 率 りつ があまり高 たか くない。この問題 もんだい を回避 かいひ するため、複数 ふくすう のシンボルをまとめて記述 きじゅつ する方式 ほうしき を用 もち いる。これがJPEG-LSの"ランモード"で、平 たい らな領域 りょういき や滑 なめ らかな領域 りょういき でゼロ勾配 こうばい として検出 けんしゅつ された部分 ぶぶん で用 もち いる。"a"シンボルのランモードは異 こと なるシンボルが現 あらわ れるか走査 そうさ 線 せん の終端 しゅうたん に至 いた ったら終了 しゅうりょう し、ランの長 なが さを符号 ふごう 化 か して通常 つうじょう のモードに戻 もど る。
JPEG 2000 には特別 とくべつ なウェーブレット フィルタ(biorthogonal 3/5)によるロスレスモードがある。JPEG 2000のロスレスモードは人工 じんこう 画像 がぞう や合成 ごうせい 画像 がぞう [3] [4] などの場合 ばあい 、JPEG-LSよりも速度 そくど や圧縮 あっしゅく 率 りつ の点 てん で劣 おと るが、デジタルカメラの写真 しゃしん などではJPEG-LSより良 よ い性能 せいのう が出 で る。また、スケーラブル であり、プログレッシブであり、広 ひろ くサポートされている。
^ W. B. Pennebaker and J. L. Mitchell, JPEG Still Image Data Compression Standard. New York: Van Nostrand Reinhold, 1993.
^ ITU-T. ISO DIS 10918-1 Digital compression and coding of continuous-tone still images (JPEG). Recommendation T.81.
^ C. K. Wallace. The JPEG still picture compression standard. Communications of the ACM, 34(4):31-44, 1991.
^ M. J. Weinberger, G. Seroussi, and G. Sapiro, “LOCO-I: A low complexity, context-based, lossless image compression algorithm,” in Proc. 1996 Data Compression Conference, Snowbird, UT, Mar. 1996, pp. 140–149.
^ M. Weinberger, G. Seroussi, and G. Sapiro, “The LOCO-I lossless image compression algorithm: Principles and standardization into JPEG-LS,” IEEE Trans. Image Processing, vol. 9, no. 8, pp. 1309–1324, Aug. 2000, originally as Hewlett-Packard Laboratories Technical Report No. HPL-98-193R1, November 1998, revised October 1999. Available from [1] .
^ Nasir D. Memon, Xiaolin Wu, V. Sippy, and G. Miller, “Interband coding extension of the new lossless JPEG standard,” Proc. SPIE Int. Soc. Opt. Eng., vol. 3024, no. 47, pp.47–58, January 1997.