循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。
The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.
不变矩多项式和不变矩多项式空间概念的引入，可以赋予不变矩多项式空间代数结构特征。
Also some concepts as moment invariants polynomial and moment invariants polynomial space were discussed so as to characterize its algebra structure.
应用推荐