搜索结果: 1-6 共查到“几何学 Decomposition”相关记录6条 . 查询时间(0.015 秒)
AN IMPROVED INTERFEROMETRIC CALIBRATION METHOD BASED ON INDEPENDENT PARAMETER DECOMPOSITION
Geometric calibration Interferometric calibration Three-dimensional reconstruction model Sensitivity analysis Independent parameter decomposition
2018/5/11
Interferometric SAR is sensitive to earth surface undulation. The accuracy of interferometric parameters plays a significant role in precise digital elevation model (DEM). The interferometric calibrat...
A PROOF OF THE KAZHDAN-LUSZTIG PURITY THEOREM VIA THE DECOMPOSITION THEOREM OF BBD
KAZHDAN-LUSZTIG DECOMPOSITION
2015/9/29
The ˉrst ingredient is quite deep, and we will not say anything much about its
proof, using it simply as a \black box". The second ingredient is elementary, and
we take this opportunity to present a...
The Fischer decomposition for Hodge-de Rham systems in Euclidean spaces
Fischer decomposition Clifford analysis Hodge-de Rham equation spherical monogenics
2011/2/25
The classical Fischer decomposition of spinor-valued polynomials is a key result on solutions of the Dirac equation in the Euclidean space Rm.As is well-known, it can be understood as an irreducible d...
A refined Agler decomposition and geometric applications
refined Agler decomposition geometric applications
2010/12/13
We prove a refined Agler decomposition for bounded analytic functions on the bidisk and show how it can be used to reprove an interesting result of Guo et al. related to extending
holomorphic functio...
Geometric Constraint Solving via C-tree Decomposition
Geometric Constraint Solving C-tree Decomposition
2013/9/9
Geometric Constraint Solving via C-tree Decomposition.
Ritt-Wu's Decomposition Algorithm
Wu's method mechanical theorem proving prover elementary geometry degenerate conditions Ritt-Wu's principle algebraic variety ideal ascending chain the dimension theorem Morley's trisector theorem
2013/9/9
An improved Ritt-Wu's decomposition (of an algebraic set into the union of irreducible varieties) algorithm is given. The algorithm has been used to prove geometric theorems that Wu's original method ...