FOMMモデルの計算式導出

行く

FOMM はソース フレームから駆動フレームへのマッピング関係を見つけ、最終結果を与える必要があります。論文では次のように提案されています:
TS ← D ( z ) ≈ TS ← R ( pk ) + ( ddp TS ← R ( p ) ∣ p = pk ) ( ddp TD ← R ( p ) ∣ p = pk ) ( z − TD ← R ( pk ) ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}(z) \約 \mathcal{ T}_{\mathbf{S} \leftarrow \mathbf{R}}\left(p_{k}\right)+\left(\left.\frac{d}{dp} \mathcal{T }_{\ mathbf{S} \leftarrow \mathbf{R}}(p)\right|_{p=p_{k}}\right)\left(\left.\frac{d}{dp} \mathcal {T}_ {\mathbf{D} \leftarrow \mathbf{R}}(p)\right|_{p=p_{k}}\right) \quad\left(z-\mathcal{T}_{ \mathbf{D } \leftarrow \mathbf{R}}\left(p_{k}\right)\right)TS D( z )TS R( p)+(dp _dTS R( p ) p = p)(dp _dTD R( p ) p = p)( zTD R( p) )
これを見るたびに頭痛がするので、ここに記録します。
まず、TS ← D ( ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}()TS D( )これは関数として見る必要があります。これはマッピング関係であり、zzz値は出力z 'z'z' のように、そのようなマッピング関係を見つける方法は、ソース フレームから駆動フレームへのマッピング関係を見つけることと同じです。

この記事では、この関数の TS を見つけることを提案しています← D ( ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}()TS D( )したがって、これに対して 1 次テイラー展開が実行され、これが 1 次動的モデルという名前の由来となっています。
関数f ( x ) f(x)f ( x )、関数f ( x ) f(x)f ( x ) atx 0 x_0バツ0n次微分すると、x 0 x_0バツ0のフィールド、このフィールド内の任意の点xxx,有
f ( x ) = f ( x 0 ) + f ' ( x 0 ) ( x − x 0 ) + f ' ' ( x 0 ) 2 ! ( x − x 0 ) 2 + ⋯ + f ( n ) ( x 0 ) n ! ( x − x 0 ) n + o ( ( x − x 0 ) n ) 。, \begin{array}{l} f(x)=f\left(x_{0}\right)+f^{\prime}\left(x_{0}\right)\left(x-x_{0 }\right)+\frac{f^{\prime \prime}\left(x_{0}\right)}{2 !}\left(x-x_{0}\right)^{2}+\cdots+ \frac{f^{(n)}\left(x_{0}\right)}{n !}\left(x-x_{0}\right)^{n}+o\left(\left(x -x_{0}\right)^{n}\right) 。\end{配列},\\f ( x )=f( ×0)+f( ×0)( ×バツ0)+2 f×0)( ×バツ0)2++f( n ) (x0)( ×バツ0)n+ああ( ( xバツ0)n ).
範囲TS ← D ( z ) \mathcal{T}_{\mathbf{S}\leftarrow \mathbf{D}}(z)TS D( z )zk z_kz处进行一阶泰勒展开,则
TS ← D ( z ) = TS ← D ( zk ) + ( ddz TS ← D ( z ) ∣ z = zk ) ( z − zk ) + o ( ∥ z − zk ∥ ) \ mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}(z)=\mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}\left(z_{k} \right)+\left(\left.\frac{d}{dz} \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}(z)\right|_{z=z_{ k}}\right)\left(z-z_{k}\right)+o\left(\left\|z-z_{k}\right\|\right)TS D( z )=TS D( z)+(dz _dTS D( z ) z = z)( zz)+ああ( ∥z _z )
すると、それは 2 つの部分に分割され、そのうちの 1 つはTS ← D ( zk ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}(z_k) になります。TS D( z)、同様に、ここではTS ← D ( ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}() をTS D( )内は関数です。
そうすれば、実際にはそれを簡単に理解できます:
TS ← D ( ) = TS ← R ( TD ← R − 1 ( ) ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}()= \ mathcal{T}_{\mathbf{S} \leftarrow \mathbf{R}}(\mathcal{T}_{\mathbf{D} \leftarrow \mathbf{R}}^{-1}())TS D( )=TS R( TD R 1( ))
固有関数TS ← D ( zk ) = TS ← R ( TR ← D ( zk ) ) = TS ← R ( TD ← R − 1 ( zk ) ) = TS ← R ( TD ← R − 1 ( TD ← R ( pk ) ) ) = TS ← R ( pk ) \begin{aligned}\mathcal{T}_{\mathbf{S}\leftarrow\mathbf{D}}\left(z_{k}\right) & = \mathcal{T}_{\mathbf{S}\leftrow \mathbf{R}}( \mathcal{T}_{\mathbf{R}\leftrow\mathbf{D}}\left(z_{k}\ right )) \\ &=\mathcal{T}_{\mathbf{S}\leftarrow \mathbf{R}} ( \mathcal{T}_{\mathbf{D}\leftarrow \mathbf{R}}^{ - 1}\left(z_{k}\right)) \\ &=\mathcal{T}_{\mathbf{S} \leftarrow \mathbf{R}} ( \mathcal{T}_{\mathbf{D } \左矢印 \mathbf{R}}^{-1} ( \mathcal{T}_{\mathbf{D} \左矢印 \mathbf{R}}\left(p_{k}\right))) \\ & =\mathcal{T}_{\mathbf{S}\leftrow\mathbf{R}}\left(p_{k}\right)\end{aligned}TS D( z)=TS R( TR D( z) )=TS R( TD R 1( z) )=TS R( TD R 1( TD R( p) ))=TS R( p)
上の式には多くの記号が含まれており、非常に複雑であることに注意してくださいz実際、これはドライブ フレーム内のキー ポイントであり、マッピング関係TS ← D ( ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}\left(\right)TS D( )ソースフレームのキーポイントp S p_Sを取得できるようにするpS、なぜ最終的に TS ← R ( pk ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{R}}\left(p_{k}\right) と書かれるのでしょうかTS R( p)、キーポイントpk p_kpは、想定される参照フレームのキーポイントです。さて、そのうちの 1 つを見つけました。次の部分を見てみましょう。これはTS ← D ( ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}\left(\right ) のものです。TS D( )導出、点zk z_kを取得zの値。TS ← D ( z ) = TS ← R ( TD ← R − 1 ( z ) ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}(z)=\mathcal { を渡すことができます
T}_{\mathbf{S} \leftarrow \mathbf{R}}(\mathcal{T}_{\mathbf{D} \leftarrow \mathbf{R}}^{-1}(z))TS D( z )=TS R( TD R 1( z ))の場合、同等のものは次のようになります:
( ddz TS ← D ( z ) ∣ z = zk ) = ( ddp TS ← R ( p ) ∣ p = TR ← D ( zk ) ) ( ddz TD ← R − 1 ( z ) ∣ z = zk ) \left(\frac{d}{dz}\mathcal{T}_{\mathbf{S}\left arrow \mathbf{D}}(z) \mid z = z_{k}\right)=\left(\left.\frac{d}{dp}\mathcal{T}_{\mathbf{S}\leftarrow \mathbf{R}}(p)\right|_ { p=\mathcal{T}_{\mathbf{R}\leftarrow\mathbf{D}}\left(z_{k}\right)}\right)\left(\frac{d}{dz}\mathcal { T}_{\mathbf{D}\左矢印 \mathbf{R}}^{-1}(z)\mid z=z_{k}\right)(dz _dTS D( z )z=z)=(dp _dTS R( p ) p = TR D( z))(dz _dTD R 1( z )z=z)
TR ← D ( ) \mathcal{T}_{\mathbf{R} \leftarrow \mathbf{D}}\left(\right)TR D( )は駆動フレームから参照フレームへのマッピングを表し、入力駆動フレームのキーポイントzk z_kz明らかに、参照フレームのキーポイントpk p_kが取得されます。ppk
= TR ← D (zk) p_k=\mathcal{T}_{\mathbf{R}\left arrow \mathbf{D}}\left(z_{k}\right)p=TR D( z)
方程式、逆関数:( ddd TS ← D ( z ) ∣ z = zk ) = ( ddp TS ← R ( p ) ∣ p = pk ) ( ddp TD ← R ( p ) ∣ p = pk ) − 1 \left (\frac{d}{dz}\mathcal{T}_{\mathbf{S}\leftrow\mathbf{D}}(z)\mid z=z_{k}\right)=\left(\left. \frac{d}{dp}\mathcal{T}_{\mathbf{S}\leftarrow \mathbf{R}}(p)\right|_{p=p_{k}}\right)\left(\左。\frac{d}{dp}\mathcal{T}_{\mathbf{D}\leftarrow\mathbf{R}}(p)\right|_{p=p_{k}}\right)^{ -1}(dz _dTS D( z )z=z)=(dp _dTS R( p ) p = p)(dp _dTD R( p ) p = p)1 番目の
無限大、例:
TS ← D ( z ) ≈ TS ← R ( pk ) + ( ddp TS ← R ( p ) ∣ p = pk ) ( ddp TD ← R ( p ) ∣ p = pk ) − 1 ( z − TD ← R ( pk ) ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}(z) \about \mathcal{T}_{\mathbf{S} \leftarrow \mathbf { R}}\left(p_{k}\right)+\left(\left.\frac{d}{dp}\mathcal{T}_{\mathbf{S}\leftarrow \mathbf{R}}( p )\right|_{p=p_{k}}\right)\left(\left.\frac{d}{dp}\mathcal{T}_{\mathbf{D}\leftarrow \mathbf{R} } (p)\right|_{p=p_{k}}\right)^{-1}\left(z-\mathcal{T}_{\mathbf{D}\leftrow\mathbf{R}}\ left ( p_{ k } \ right ) \ right )TS D( z )TS R( p)+(dp _dTS R( p ) p = p)(dp _dTD R( p ) p = p)1( zTD R( p) )

おすすめ

転載: blog.csdn.net/REstrat/article/details/127363179