行く
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( pk)+(dp _dTS ← R( p )∣
∣p = pk)(dp _dTD ← R( p )∣
∣p = pk)( z−TD ← R( pk) )
これを見るたびに頭痛がするので、ここに記録します。
まず、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バツ0んとn次微分すると、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_kzk处进行一阶泰勒展开,则
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( zk)+(dz _dTS ← D( z )∣
∣z = zk)( z−zk)+ああ( ∥z _−zk∥ )
すると、それは 2 つの部分に分割され、そのうちの 1 つはTS ← D ( zk ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}(z_k) になります。TS ← D( zk)、同様に、ここでは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( zk)=TS ← R( TR ← D( zk) )=TS ← R( TD ← R− 1( zk) )=TS ← R( TD ← R− 1( TD ← R( pk) ))=TS ← R( pk)
上の式には多くの記号が含まれており、非常に複雑であることに注意してください。zk実際、これはドライブ フレーム内のキー ポイントであり、マッピング関係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( pk)、キーポイントpk p_kpkは、想定される参照フレームのキーポイントです。さて、そのうちの 1 つを見つけました。次の部分を見てみましょう。これはTS ← D ( ) \mathcal{T}_{\mathbf{S} \leftarrow \mathbf{D}}\left(\right ) のものです。TS ← D( )導出、点zk z_kを取得zkの値。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=zk)=(dp _dTS ← R( p )∣
∣p = TR ← D( zk))(dz _dTD ← R− 1( z )∣z=zk)
而TR ← D ( ) \mathcal{T}_{\mathbf{R} \leftarrow \mathbf{D}}\left(\right)TR ← D( )は駆動フレームから参照フレームへのマッピングを表し、入力駆動フレームのキーポイントzk z_kzk明らかに、参照フレームのキーポイントpk p_kが取得されます。pkpk
= TR ← D (zk) p_k=\mathcal{T}_{\mathbf{R}\left arrow \mathbf{D}}\left(z_{k}\right)pk=TR ← D( zk)
方程式、逆関数:( 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=zk)=(dp _dTS ← R( p )∣
∣p = pk)(dp _dTD ← R( p )∣
∣p = pk)− 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( pk)+(dp _dTS ← R( p )∣
∣p = pk)(dp _dTD ← R( p )∣
∣p = pk)− 1( z−TD ← R( pk) )