1) Invariants ring
不变式环
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
循环不变量<不变式>
4) Ring of invariant polynomial germs
不变多项式芽环
5) invariant tori
不变环面
1.
In this paper,using KAM theory,we obtain the boundedness of solutions as well as the existence of many invariant tori for jumping nonlinear oscilltions.
利用KAM理论研究了一类跳跃非线性方程解的有界性及大量不变环面的存在性 。
2.
In this paper,bifurcation of subharmonic solutions and invariant tori of a three-dimensional system under periodic perturbation is studied.
假设此三维系统有一族闭轨,利用Poincar(?)映射及积分流形定理,得到了在周期扰动下由这族闭轨产生次调和解和不变环面的条件,并讨论了次调和解的鞍结点分支。
6) cycle invariability
环路不变
补充资料：循环系统的进化环节动物的封闭式循环系统
李瑞端绘
[图]
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条