多项式系统的差拍可控性:符号计算方法| IEEE杂志| IEEE Xplore