非完整系统 守恒量 对应 信息工程 判据方程 对称性 确定方程