双三次補間

バイキュービック補間といくつかの1次元および2次元補間の比較。///の点は、それぞれ補間点と隣接サンプルに対応しています。 地面からの高さは、それぞれの値に対応しています。

数学において、双三次補間は三次スプライン補間(データセットに三次補間を適用する手法)の拡張であり、2次元の規則的なグリッド上のデータ点を補間する。補間された面(つまり、画像ではなくカーネルの形状)は、双一次補間最近傍補間によって得られる対応する面よりも滑らかになる。双三次補間は、ラグランジュ多項式三次スプライン、または三次畳み込みアルゴリズムのいずれかを使用して実行できる。

画像処理において、画像の再サンプリングでは、速度が問題にならない場合、双線形補間や最近傍補間よりも双三次補間が選ばれることが多い。4ピクセル(2×2)のみを考慮する双線形補間とは対照的に、双三次補間は16ピクセル(4×4)を考慮します。双三次補間で再サンプリングされた画像は、選択されたb値とc値に応じて、 異なる補間アーティファクトが生じる可能性がある。

計算

25個の単位正方形を継ぎ合わせた正方形上の双三次補間。Matplotlib実装に従った双三次補間。色は関数の値を示します。黒い点は補間対象となる所定のデータの位置です。色サンプルが放射状対称ではないことに注意してください。[04]×[04]{\displaystyle [0,4]\times [0,4]}
上記と同じデータセットに対する双線形補間。曲面の微分は正方形の境界上で連続ではありません。
上記と同じデータセットに対する最近傍補間。

単位正方形の4つの頂点、、、、における関数値と導関数、が既知であるとする。補間された曲面は次のように表される 。f{\displaystyle f}fx{\displaystyle f_{x}}fy{\displaystyle f_{y}}fxy{\displaystyle f_{xy}}(0,0){\displaystyle (0,0)}(1,0){\displaystyle (1,0)}(0,1){\displaystyle (0,1)}(1,1){\displaystyle (1,1)}p(x,y)=i=03j=03aijxiyj.{\displaystyle p(x,y)=\sum \limits _{i=0}^{3}\sum _{j=0}^{3}a_{ij}x^{i}y^{j}.}

補間問題は16個の係数を決定することから成ります。関数値と対応づけることで、以下の4つの方程式が得られます。 aij{\displaystyle a_{ij}}p(x,y){\displaystyle p(x,y)}

  1. f(0,0)=p(0,0)=a00,{\displaystyle f(0,0)=p(0,0)=a_{00},}
  2. f(1,0)=p(1,0)=a00+a10+a20+a30,{\displaystyle f(1,0)=p(1,0)=a_{00}+a_{10}+a_{20}+a_{30},}
  3. f(0,1)=p(0,1)=a00+a01+a02+a03,{\displaystyle f(0,1)=p(0,1)=a_{00}+a_{01}+a_{02}+a_{03},}
  4. f(1,1)=p(1,1)=i=03j=03aij.{\displaystyle f(1,1)=p(1,1)=\textstyle \sum \limits _{i=0}^{3}\sum \limits _{j=0}^{3}a_{ij}.}

同様に、および方向の導関数に対する 8 つの方程式: x{\displaystyle x}y{\displaystyle y}

  1. fx(0,0)=px(0,0)=a10,{\displaystyle f_{x}(0,0)=p_{x}(0,0)=a_{10},}
  2. fx(1,0)=px(1,0)=a10+2a20+3a30,{\displaystyle f_{x}(1,0)=p_{x}(1,0)=a_{10}+2a_{20}+3a_{30},}
  3. fx(0,1)=px(0,1)=a10+a11+a12+a13,{\displaystyle f_{x}(0,1)=p_{x}(0,1)=a_{10}+a_{11}+a_{12}+a_{13},}
  4. fx(1,1)=px(1,1)=i=13j=03aiji,{\displaystyle f_{x}(1,1)=p_{x}(1,1)=\textstyle \sum \limits _{i=1}^{3}\sum \limits _{j=0}^{3}a_{ij}i,}
  5. fy(0,0)=py(0,0)=a01,{\displaystyle f_{y}(0,0)=p_{y}(0,0)=a_{01},}
  6. fy(1,0)=py(1,0)=a01+a11+a21+a31,{\displaystyle f_{y}(1,0)=p_{y}(1,0)=a_{01}+a_{11}+a_{21}+a_{31},}
  7. fy(0,1)=py(0,1)=a01+2a02+3a03,{\displaystyle f_{y}(0,1)=p_{y}(0,1)=a_{01}+2a_{02}+3a_{03},}
  8. fy(1,1)=py(1,1)=i=03j=13aijj.{\displaystyle f_{y}(1,1)=p_{y}(1,1)=\textstyle \sum \limits _{i=0}^{3}\sum \limits _{j=1}^{3}a_{ij}j.}

混合偏微分に関する4つの方程式: xy{\displaystyle xy}

  1. fxy(0,0)=pxy(0,0)=a11,{\displaystyle f_{xy}(0,0)=p_{xy}(0,0)=a_{11},}
  2. fxy(1,0)=pxy(1,0)=a11+2a21+3a31,{\displaystyle f_{xy}(1,0)=p_{xy}(1,0)=a_{11}+2a_{21}+3a_{31},}
  3. fxy(0,1)=pxy(0,1)=a11+2a12+3a13,{\displaystyle f_{xy}(0,1)=p_{xy}(0,1)=a_{11}+2a_{12}+3a_{13},}
  4. fxy(1,1)=pxy(1,1)=i=13j=13aijij.{\displaystyle f_{xy}(1,1)=p_{xy}(1,1)=\textstyle \sum \limits _{i=1}^{3}\sum \limits _{j=1}^{3}a_{ij}ij.}

上記の表現では、次の ID が使用されています。 px(x,y)=i=13j=03aijixi1yj,{\displaystyle p_{x}(x,y)=\textstyle \sum \limits _{i=1}^{3}\sum \limits _{j=0}^{3}a_{ij}ix^{i-1}y^{j},}py(x,y)=i=03j=13aijxijyj1,{\displaystyle p_{y}(x,y)=\textstyle \sum \limits _{i=0}^{3}\sum \limits _{j=1}^{3}a_{ij}x^{i}jy^{j-1},}pxy(x,y)=i=13j=13aijixi1jyj1.{\displaystyle p_{xy}(x,y)=\textstyle \sum \limits _{i=1}^{3}\sum \limits _{j=1}^{3}a_{ij}ix^{i-1}jy^{j-1}.}

この手順により、単位正方形上に連続かつ連続な導関数を持つ曲面が得られます。任意のサイズの正方格子上の双三次補間は、このような双三次曲面をつなぎ合わせることで実現でき、境界上で導関数が一致することが保証されます。 p(x,y){\displaystyle p(x,y)}[0,1]×[0,1]{\displaystyle [0,1]\times [0,1]}

未知のパラメータをベクトルに グループ化し 、 上記の連立方程式を線形方程式の行列に再定式化することができます。 aij{\displaystyle a_{ij}}α=[a00a10a20a30a01a11a21a31a02a12a22a32a03a13a23a33]T{\displaystyle \alpha =\left[{\begin{smallmatrix}a_{00}&a_{10}&a_{20}&a_{30}&a_{01}&a_{11}&a_{21}&a_{31}&a_{02}&a_{12}&a_{22}&a_{32}&a_{03}&a_{13}&a_{23}&a_{33}\end{smallmatrix}}\right]^{T}}x=[f(0,0)f(1,0)f(0,1)f(1,1)fx(0,0)fx(1,0)fx(0,1)fx(1,1)fy(0,0)fy(1,0)fy(0,1)fy(1,1)fxy(0,0)fxy(1,0)fxy(0,1)fxy(1,1)]T,{\displaystyle x=\left[{\begin{smallmatrix}f(0,0)&f(1,0)&f(0,1)&f(1,1)&f_{x}(0,0)&f_{x}(1,0)&f_{x}(0,1)&f_{x}(1,1)&f_{y}(0,0)&f_{y}(1,0)&f_{y}(0,1)&f_{y}(1,1)&f_{xy}(0,0)&f_{xy}(1,0)&f_{xy}(0,1)&f_{xy}(1,1)\end{smallmatrix}}\right]^{T},}Aα=x{\displaystyle A\alpha =x}

行列を反転すると、より有用な線形方程式 が得られ、 これを迅速かつ簡単に計算できます。 A1x=α{\displaystyle A^{-1}x=\alpha }A1=[1000000000000000000010000000000033002100000000002200110000000000000000001000000000000000000010000000000033002100000000002200110030300000201000000000303000002010999963636633422166663333442222112020000010100000000020200000101066664242333321214444222222221111],{\displaystyle A^{-1}=\left[{\begin{smallmatrix}{\begin{array}{rrrrrrrrrrrrrrrr}1&0&0&0&0&0&0&0&0&0&0&0&0&0&0&0\\0&0&0&0&1&0&0&0&0&0&0&0&0&0&0&0\\-3&3&0&0&-2&-1&0&0&0&0&0&0&0&0&0&0\\2&-2&0&0&1&1&0&0&0&0&0&0&0&0&0&0\\0&0&0&0&0&0&0&0&1&0&0&0&0&0&0&0\\0&0&0&0&0&0&0&0&0&0&0&0&1&0&0&0\\0&0&0&0&0&0&0&0&-3&3&0&0&-2&-1&0&0\\0&0&0&0&0&0&0&0&2&-2&0&0&1&1&0&0\\-3&0&3&0&0&0&0&0&-2&0&-1&0&0&0&0&0\\0&0&0&0&-3&0&3&0&0&0&0&0&-2&0&-1&0\\9&-9&-9&9&6&3&-6&-3&6&-6&3&-3&4&2&2&1\\-6&6&6&-6&-3&-3&3&3&-4&4&-2&2&-2&-2&-1&-1\\2&0&-2&0&0&0&0&0&1&0&1&0&0&0&0&0\\0&0&0&0&2&0&-2&0&0&0&0&0&1&0&1&0\\-6&6&6&-6&-4&-2&4&2&-3&3&-3&3&-2&-1&-2&-1\\4&-4&-4&4&2&2&-2&-2&2&-2&2&-2&1&1&1&1\end{array}}\end{smallmatrix}}\right],}α{\displaystyle \alpha }

16個の係数に対しては別の簡潔な行列形式も存在する。 または 、 [f(0,0)f(0,1)fy(0,0)fy(0,1)f(1,0)f(1,1)fy(1,0)fy(1,1)fx(0,0)fx(0,1)fxy(0,0)fxy(0,1)fx(1,0)fx(1,1)fxy(1,0)fxy(1,1)]=[1000111101000123][a00a01a02a03a10a11a12a13a20a21a22a23a30a31a32a33][1100011101020103],{\displaystyle {\begin{bmatrix}f(0,0)&f(0,1)&f_{y}(0,0)&f_{y}(0,1)\\f(1,0)&f(1,1)&f_{y}(1,0)&f_{y}(1,1)\\f_{x}(0,0)&f_{x}(0,1)&f_{xy}(0,0)&f_{xy}(0,1)\\f_{x}(1,0)&f_{x}(1,1)&f_{xy}(1,0)&f_{xy}(1,1)\end{bmatrix}}={\begin{bmatrix}1&0&0&0\\1&1&1&1\\0&1&0&0\\0&1&2&3\end{bmatrix}}{\begin{bmatrix}a_{00}&a_{01}&a_{02}&a_{03}\\a_{10}&a_{11}&a_{12}&a_{13}\\a_{20}&a_{21}&a_{22}&a_{23}\\a_{30}&a_{31}&a_{32}&a_{33}\end{bmatrix}}{\begin{bmatrix}1&1&0&0\\0&1&1&1\\0&1&0&2\\0&1&0&3\end{bmatrix}},}[a00a01a02a03a10a11a12a13a20a21a22a23a30a31a32a33]=[1000001033212211][f(0,0)f(0,1)fy(0,0)fy(0,1)f(1,0)f(1,1)fy(1,0)fy(1,1)fx(0,0)fx(0,1)fxy(0,0)fxy(0,1)fx(1,0)fx(1,1)fxy(1,0)fxy(1,1)][1032003201210011],{\displaystyle {\begin{bmatrix}a_{00}&a_{01}&a_{02}&a_{03}\\a_{10}&a_{11}&a_{12}&a_{13}\\a_{20}&a_{21}&a_{22}&a_{23}\\a_{30}&a_{31}&a_{32}&a_{33}\end{bmatrix}}={\begin{bmatrix}1&0&0&0\\0&0&1&0\\-3&3&-2&-1\\2&-2&1&1\end{bmatrix}}{\begin{bmatrix}f(0,0)&f(0,1)&f_{y}(0,0)&f_{y}(0,1)\\f(1,0)&f(1,1)&f_{y}(1,0)&f_{y}(1,1)\\f_{x}(0,0)&f_{x}(0,1)&f_{xy}(0,0)&f_{xy}(0,1)\\f_{x}(1,0)&f_{x}(1,1)&f_{xy}(1,0)&f_{xy}(1,1)\end{bmatrix}}{\begin{bmatrix}1&0&-3&2\\0&0&3&-2\\0&1&-2&1\\0&0&-1&1\end{bmatrix}},}p(x,y)=[1xx2x3][a00a01a02a03a10a11a12a13a20a21a22a23a30a31a32a33][1yy2y3].{\displaystyle p(x,y)={\begin{bmatrix}1&x&x^{2}&x^{3}\end{bmatrix}}{\begin{bmatrix}a_{00}&a_{01}&a_{02}&a_{03}\\a_{10}&a_{11}&a_{12}&a_{13}\\a_{20}&a_{21}&a_{22}&a_{23}\\a_{30}&a_{31}&a_{32}&a_{33}\end{bmatrix}}{\begin{bmatrix}1\\y\\y^{2}\\y^{3}\end{bmatrix}}.}

直線グリッドへの拡張

多くの場合、アプリケーションでは、単位正方形ではなく直線グリッド上のデータを用いた双三次補間が求められます。この場合、 と の恒等式はとなり、は 点を含むセルの間隔であり 、も同様です。この場合、係数を計算する最も実用的な方法は、を として、 を前と同じように で 解くことです 。次に、正規化された補間変数が として計算されます。 ここで、 とは点 を囲むグリッド点のと座標です。そして、補間面は次のようになります。 px,py,{\displaystyle p_{x},p_{y},}pxy{\displaystyle p_{xy}}px(x,y)=i=13j=03aijixi1yjΔx,{\displaystyle p_{x}(x,y)=\textstyle \sum \limits _{i=1}^{3}\sum \limits _{j=0}^{3}{\frac {a_{ij}ix^{i-1}y^{j}}{\Delta x}},}py(x,y)=i=03j=13aijxijyj1Δy,{\displaystyle p_{y}(x,y)=\textstyle \sum \limits _{i=0}^{3}\sum \limits _{j=1}^{3}{\frac {a_{ij}x^{i}jy^{j-1}}{\Delta y}},}pxy(x,y)=i=13j=13aijixi1jyj1ΔxΔy,{\displaystyle p_{xy}(x,y)=\textstyle \sum \limits _{i=1}^{3}\sum \limits _{j=1}^{3}{\frac {a_{ij}ix^{i-1}jy^{j-1}}{\Delta x\Delta y}},}Δx{\displaystyle \Delta x}x{\displaystyle x}(x,y){\displaystyle (x,y)}Δy{\displaystyle \Delta y}α{\displaystyle \alpha }x=[f(0,0)f(1,0)f(0,1)f(1,1)Δxfx(0,0)Δxfx(1,0)Δxfx(0,1)Δxfx(1,1)Δyfy(0,0)Δyfy(1,0)Δyfy(0,1)Δyfy(1,1)ΔxΔyfxy(0,0)ΔxΔyfxy(1,0)ΔxΔyfxy(0,1)ΔxΔyfxy(1,1)]T,{\displaystyle x=\left[{\begin{smallmatrix}f(0,0)&f(1,0)&f(0,1)&f(1,1)&\Delta xf_{x}(0,0)&\Delta xf_{x}(1,0)&\Delta xf_{x}(0,1)&\Delta xf_{x}(1,1)&\Delta yf_{y}(0,0)&\Delta yf_{y}(1,0)&\Delta yf_{y}(0,1)&\Delta yf_{y}(1,1)&\Delta x\Delta yf_{xy}(0,0)&\Delta x\Delta yf_{xy}(1,0)&\Delta x\Delta yf_{xy}(0,1)&\Delta x\Delta yf_{xy}(1,1)\end{smallmatrix}}\right]^{T},}α=A1x{\displaystyle \alpha =A^{-1}x}A{\displaystyle A}x¯=xx0x1x0,y¯=yy0y1y0{\displaystyle {\begin{aligned}{\overline {x}}&={\frac {x-x_{0}}{x_{1}-x_{0}}},\\{\overline {y}}&={\frac {y-y_{0}}{y_{1}-y_{0}}}\end{aligned}}}x0,x1,y0,{\displaystyle x_{0},x_{1},y_{0},}y1{\displaystyle y_{1}}x{\displaystyle x}y{\displaystyle y}(x,y){\displaystyle (x,y)}p(x,y)=i=03j=03aijx¯iy¯j.{\displaystyle p(x,y)=\sum \limits _{i=0}^{3}\sum _{j=0}^{3}a_{ij}{\overline {x}}^{i}{\overline {y}}^{j}.}

関数値から導関数を求める

導関数が不明な場合は、通常、有限差分などを使用して、単位正方形の角に隣接する点の関数値から近似されます。

この方法を用いて、単導関数、またはのいずれかを求めるには、適切な軸における2点間の傾きを求めます例えば、いずれかの点を求めるには、対象点の左右の点についてを求め、それらの点を結ぶ直線の傾きを計算します。同様に、 についても同様に行います。 fx{\displaystyle f_{x}}fy{\displaystyle f_{y}}fx{\displaystyle f_{x}}f(x,y){\displaystyle f(x,y)}fy{\displaystyle f_{y}}

相互導関数 を求めるには、両軸でそれぞれ1つずつ導関数を取ります。例えば、まず の手順を使って目標点の上と下の点の導関数を求め、次にそれらの値(通常はそれらの点の の値ではなく)に対して の手順を適用して、目標点の の値を得ることができます。(あるいは、逆の方法で、まず と を計算し、それからそれらから を求めることもできます。どちらの方法も結果は同じです。) fxy{\displaystyle f_{xy}}fx{\displaystyle f_{x}}x{\displaystyle x}fy{\displaystyle f_{y}}f{\displaystyle f}fxy(x,y){\displaystyle f_{xy}(x,y)}fy{\displaystyle f_{y}}fx{\displaystyle f_{x}}

データセットの端で周囲の点が欠落している場合、欠落した点はいくつかの方法で近似できます。単純で一般的な方法は、既存の点から目標点までの傾きがそれ以上変化しないと仮定し、これに基づいて欠落点の仮想的な値を計算することです。

双三次畳み込みアルゴリズム

畳み込みカーネルW(x){\displaystyle W(x)}
畳み込みカーネル(2Dで拡張)

双三次スプライン補間では、各グリッドセルについて、上述の線形システムの解が必要です。同様の特性を持つ補間関数は、両次元において以下のカーネルを 用いた畳み込みを適用することで得られます。 ここで、 は通常 -0.5 または -0.75 に設定されます。また、すべての非ゼロ整数 に対して となることに注意してください。 W(x)={(a+2)|x|3(a+3)|x|2+1for |x|1,a|x|35a|x|2+8a|x|4afor 1<|x|<2,0otherwise,{\displaystyle W(x)={\begin{cases}(a+2)|x|^{3}-(a+3)|x|^{2}+1&{\text{for }}|x|\leq 1,\\a|x|^{3}-5a|x|^{2}+8a|x|-4a&{\text{for }}1<|x|<2,\\0&{\text{otherwise}},\end{cases}}}a{\displaystyle a}W(0)=1{\displaystyle W(0)=1}W(n)=0{\displaystyle W(n)=0}n{\displaystyle n}

このアプローチは、TRW Systems GroupのRifmanによって提案され、ERTS(地球資源技術衛星、後のLandsat 1)の画像データを対象としました。 [ 1 ] [ 2 ] [ 3 ] 当初は-1に固定されていましたが、後に同社のSimonによってパラメータ化され、-0.5、-0.75、-1.0が意味のある値になりました。 [ 4 ] しかし、これらの提案では導出プロセスや公式が十分に示されていなかったため、後にKeysが完全な形で再提案し、 の場合、元の関数のサンプリング間隔に関して3次収束が達成されることを示しました。 [ 5 ]a{\displaystyle a}a=0.5{\displaystyle a=-0.5}

畳み込みカーネルは次のように導出される[ 6 ]W(x){\displaystyle W(x)}W(x)={A1|x|3+B1|x|2+C1|x|+D1for |x|1A2|x|3+B2|x|2+C2|x|+D2for 1<|x|<20otherwise{\displaystyle W(x)={\begin{cases}A_{1}|x|^{3}+B_{1}|x|^{2}+C_{1}|x|+D_{1}&{\text{for }}|x|\leq 1\\A_{2}|x|^{3}+B_{2}|x|^{2}+C_{2}|x|+D_{2}&{\text{for }}1<|x|<2\\0&{\text{otherwise}}\end{cases}}}

条件: 、、また 1 次導関数: 、の場合、次のようになります。 W(0)=1{\displaystyle W(0)=1}W(1)=W(2)=0{\displaystyle W(1)=W(2)=0}W(0)=W(2)=0{\displaystyle W'(0)=W'(2)=0}W(1)=a{\displaystyle W'(1)=a}

  1. W(0)=D1=1,{\displaystyle W(0)=D_{1}=1,}
  2. W(1)=A1+B1+C1+D1=0,{\displaystyle W(1^{-})=A_{1}+B_{1}+C_{1}+D_{1}=0,}
  3. W(1+)=A2+B2+C2+D2=0,{\displaystyle W(1^{+})=A_{2}+B_{2}+C_{2}+D_{2}=0,}
  4. W(2)=8A2+4B2+2C2+D2=0,{\displaystyle W(2^{-})=8A_{2}+4B_{2}+2C_{2}+D_{2}=0,}
  5. W(0)=C1=0,{\displaystyle W'(0)=C_{1}=0,}
  6. W(1)=3A1+2B1+C1=a,{\displaystyle W'(1^{-})=3A_{1}+2B_{1}+C_{1}=a,}
  7. W(1+)=3A2+2B2+C2=a,{\displaystyle W'(1^{+})=3A_{2}+2B_{2}+C_{2}=a,}
  8. W(2)=12A2+4B2+C2=0.{\displaystyle W'(2^{-})=12A_{2}+4B_{2}+C_{2}=0.}

上記の連立方程式を解くと、 次の式が得られます。 A1=a+2,B1=(a+3),C1=0,D1=1,{\displaystyle A_{1}=a+2,\quad B_{1}=-(a+3),\quad C_{1}=0,\quad D_{1}=1,}A2=a,B2=5a,C2=8a,D2=4a,{\displaystyle A_{2}=a,\quad B_{2}=-5a,\quad C_{2}=8a,\quad D_{2}=-4a,}

行列表記

行列表記のために畳み込みカーネルを0から1にシフト

行列表記を用いると、この式をより分かりやすく表現できます。1 次元 の場合、0から1までの範囲で表すことができます。1次元3次畳み込み補間では、4つのサンプル点が必要であることに注意してください。各照会点に対し、左側に2つのサンプル点、右側に2つのサンプル点が配置されます。これらの点には、このテキストでは-1から2までのインデックスが付けられています。0でインデックス付けされた点から照会点までの距離は、ここで で表されます。 p(t)=12[1tt2t3][0100a0a02aa32a+3aaa+2a2a][f1f0f1f2]{\displaystyle p(t)={\tfrac {1}{2}}{\begin{bmatrix}1&t&t^{2}&t^{3}\end{bmatrix}}{\begin{bmatrix}0&1&0&0\\a&0&-a&0\\-2a&-a-3&2a+3&a\\a&a+2&-a-2&-a\end{bmatrix}}{\begin{bmatrix}f_{-1}\\f_{0}\\f_{1}\\f_{2}\end{bmatrix}}}t{\displaystyle t}t{\displaystyle t}

であるため、これはキャットマル・ロムスプラインと一致する。したがって、を とする双三次補間は「キャットマル・ロム補間」と呼ばれることもある。[ 7 ]a=0.5{\displaystyle a=-0.5}a{\displaystyle a}0.5{\displaystyle -0.5}

2次元の場合、まず に1回適用し、次に に再度適用します。 x{\displaystyle x}y{\displaystyle y}b1=p(tx,f(1,1),f(0,1),f(1,1),f(2,1)),b0=p(tx,f(1,0),f(0,0),f(1,0),f(2,0)),b1=p(tx,f(1,1),f(0,1),f(1,1),f(2,1)),b2=p(tx,f(1,2),f(0,2),f(1,2),f(2,2)),{\displaystyle {\begin{aligned}b_{-1}&=p(t_{x},f_{(-1,-1)},f_{(0,-1)},f_{(1,-1)},f_{(2,-1)}),\\[1ex]b_{0}&=p(t_{x},f_{(-1,0)},f_{(0,0)},f_{(1,0)},f_{(2,0)}),\\[1ex]b_{1}&=p(t_{x},f_{(-1,1)},f_{(0,1)},f_{(1,1)},f_{(2,1)}),\\[1ex]b_{2}&=p(t_{x},f_{(-1,2)},f_{(0,2)},f_{(1,2)},f_{(2,2)}),\end{aligned}}}p(x,y)=p(ty,b1,b0,b1,b2).{\displaystyle p(x,y)=p(t_{y},b_{-1},b_{0},b_{1},b_{2}).}

微分連続性

定義により 1 次導関数で連続しており、次の行列表記を使用して簡単に検証できます。

pi(1)=[0a0a][fi1fifi+1fi+2]=pi+1(0)=[a0a0][fifi+1fi+2fi+3]{\displaystyle p_{i}'(1)={\begin{bmatrix}0&a&0&-a\end{bmatrix}}{\begin{bmatrix}f_{i-1}\\f_{i}\\f_{i+1}\\f_{i+2}\end{bmatrix}}=p_{i+1}'(0)={\begin{bmatrix}a&0&-a&0\end{bmatrix}}{\begin{bmatrix}f_{i}\\f_{i+1}\\f_{i+2}\\f_{i+3}\end{bmatrix}}}

したがって、1 次導関数では連続です。

pi(1)=[2a4a+62a64a][fi1fifi+1fi+2]pi+1(0)=[4a2a64a+62a][fifi+1fi+2fi+3]{\displaystyle p_{i}''(1)={\begin{bmatrix}2a&4a+6&-2a-6&-4a\end{bmatrix}}{\begin{bmatrix}f_{i-1}\\f_{i}\\f_{i+1}\\f_{i+2}\end{bmatrix}}\neq p_{i+1}''(0)={\begin{bmatrix}-4a&-2a-6&4a+6&2a\end{bmatrix}}{\begin{bmatrix}f_{i}\\f_{i+1}\\f_{i+2}\\f_{i+3}\end{bmatrix}}}

したがって、2 次導関数では連続ではありません。

他の方法との比較

以下に、各方法のカーネル関数の比較を示します。

方法カーネル関数カーネル関数(2D拡張)
最も近い隣人
双線形補間
双三次補間

コンピュータグラフィックスでの使用

バイキュービックアルゴリズムは、画像や動画を表示用に拡大縮小する際によく使用されます(ビットマップの再サンプリングを参照)。バイキュービックアルゴリズムは、一般的なバイリニアアルゴリズムよりも優れたディテールを保持します。

バイキュービックアルゴリズムは画像のダウンスケーリングにも使用されますが、ダウンスケーリング中の再サンプリングは実際の光学におけるズームアウトの効果とは異なるため、他の方法の方が適している場合があります。

パラメータ「a」の効果

この図の下半分は上半分を拡大したもので、左側の線のシャープネスがどのように実現されているかを示しています。バイキュービック補間によりオーバーシュートが発生し、アキュータンスが増大します。

しかし、カーネルの負のローブにより、オーバーシュート(ハロー)が発生します。これはクリッピングを引き起こす可能性があり、アーティファクト(リンギングアーティファクトも参照)となりますが、アキュータンス(見かけのシャープネス)を高めるため、望ましい効果となることもあります。この効果は、パラメータがまたはの場合の方が の場合よりも大きくなります。 a{\displaystyle a}0.75{\displaystyle -0.75}1.0{\displaystyle -1.0}0.5{\displaystyle -0.5}補間カーネルの比較

のとき、補間結果は元の画像(サンプリング前の連続関数)の2次導関数(剰余項を除く)までテイラー近似と一致します。 [ 8 ] [ 9 ] この効果の明確な例は、元の画像が線形関数(単純なグラデーション画像)で、補間結果が の場合にのみ線形関数になる場合です。たとえば、入力が のとき、 補間結果は であり 、 の場合にのみ線形関数(2次項と3次項が0)になります。[ 10 ]a=0.5{\displaystyle a=-0.5}a=0.5{\displaystyle a=-0.5}[fi1fifi+1fi+2]=[1012],{\displaystyle {\begin{bmatrix}f_{i-1}&f_{i}&f_{i+1}&f_{i+2}\end{bmatrix}}={\begin{bmatrix}-1&0&1&2\end{bmatrix}},}p(t)=2(2a+1)t3+3(2a+1)t22at,{\displaystyle p(t)=-2(2a+1)t^{3}+3(2a+1)t^{2}-2at,}a=0.5{\displaystyle a=-0.5}

a=0.5{\displaystyle a=-0.5}a=0.75{\displaystyle a=-0.75}a=1.0{\displaystyle a=-1.0}
補間グラフ(a=-0.5)補間グラフ(a=-0.75)補間グラフ(a=-1.0)

以下は、単純なグラデーション画像を16倍に拡大したものと、標準テスト画像「カメラマン」 [ 11 ]の一部を8倍に拡大したものを示す。前者の縦縞と後者のこめかみ周辺の人工的なまだら模様は、前述の効果によって生じたアーティファクトである。

a=0.5{\displaystyle a=-0.5}a=0.75{\displaystyle a=-0.75}a=1.0{\displaystyle a=-1.0}最近傍補間(比較用)
拡大例(a=-0.5)拡大例(a=-0.75)拡大例(a=-1.0)拡大例(最近傍補間)
拡大例(a=-0.5)拡大画像例(a=-0.75)拡大例(a=-1.0)拡大例(最近傍補間)

のとき、畳み込みカーネルの2次導関数は[ 10 ]で連続するが、補間結果は連続する2次導関数を持たないことに注意されたい。また、のとき、畳み込みカーネルの導関数は[ 10 ]におけるsinc関数の導関数と一致しているが、これはsinc補間との比較以外には意味を持たない。 a=0.75{\displaystyle a=-0.75}x=1{\displaystyle x=1}a=1.0{\displaystyle a=-1.0}x=1{\displaystyle x=1}

再サンプリング位置

画像を整数倍に拡大する場合、拡大画像の重心が入力画像に対してずれないように、リサンプリング位置を入力画像のピクセル間に設定するのが一般的です(下図左参照)。 一方、リサンプリング位置を入力画像のピクセルに重なるように設定する方法もあります(下図右参照)。この方法は、変換の可逆性を確保します。

再サンプル位置の例
再サンプル位置の例

外挿

補間には、入力画像の左右(または上下)の2ピクセルが必要です。画像の外側の端は無効であるため、外挿が必要です。外挿の方法は実装によって異なります。 以下は、最外側のピクセルをコピーして外挿する例です。

最も外側のピクセル値をコピーして外挿する例
最も外側のピクセル値をコピーして外挿する例

参照

参考文献

  1. ^ Rifman, Samuel S. (1973). 「ERTSマルチスペクトル画像のデジタル補正」 NASA技術報告書73N28327 .
  2. ^ Bauer, Brian P. (1980). 「MSSと合成画像を用いたリサンプリング技術の調査」(PDF) . EDC文書0044, USGS EROSデータセンター: 12.
  3. ^ジョージ、ウォルバーグ (1994)。デジタル画像ワーピング、第 3 版130 ~ 131ページ 。ISBN 0-8186-8944-7
  4. ^ Simon, KW (1975). 「デジタル画像の再構成と再サンプリングによる幾何学的操作」 LARSシンポジウム論文67 .
  5. ^ R. Keys (1981). 「デジタル画像処理のための3次畳み込み補間」. IEEE Transactions on Acoustics, Speech, and Signal Processing . 29 (6): 1153– 1160. Bibcode : 1981ITASS..29.1153K . CiteSeerX 10.1.1.320.776 . doi : 10.1109/TASSP.1981.1163711 . 
  6. ^キーズ(1981)、pp.1153-1154
  7. ^「Catmull-Rom補間」という用語が使用されている例: INTER_CUBICはデフォルトでCatmull-Rom補間に設定される必要があります。#17720
  8. ^キーズ(1981)、pp.1154-1155
  9. ^ウォルバーグ(1994)、130ページ
  10. ^ a b cサイモン(1975)、p.3A-3
  11. ^ MIT Works がデジタル化される - カメラマン