多项式混成系统不变式生成

- 主要内容 - 背景介绍微分不变式判别准则和计算方法应用 - 系统分类 - 离散： x:=1; while (x<=1