invariant derivation的意思|示意

美 / inˈvɛəriənt ˌderəˈveɪʃən / 英 / ɪnˈvɛriənt ˌdɛrəˈveʃən /

不变微分

invariant derivation相关例句

The loop invariant embodies essential characteristics of loop program and has an important role to play in design, proof and derivation of algorithmic program.

循环不变式体现了循环程序的本质特征，在算法程序的开发、证明和推导中具有十分重要的作用。