1) loop invariant
循环不变量<不变式>
2) loop invariant
循环不变式
1.
Automatic generation of non-linear loop invariants;
非线性循环不变式的自动生成
2.
A discussion about loop and loop invariant;
关于循环与循环不变式的讨论
3.
PAR method and loop invariants'category theory semantic
PAR方法和循环不变式的范畴语义
3) loop invariant computation
循环不变量计算
4) Invariants ring
不变式环
5) Recursive invariant subspace
循环不变子空间
1.
Recursive invariant subspace is one of the important mathematic tools used in control science and signal processing theory.
循环不变子空间是常用于控制科学和信号处理理论的重要数学工具之一。
6) vector invariant
向量不变式
补充资料：循环系统的进化环节动物的封闭式循环系统
李瑞端绘
[图]
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条