约束力学系统的运动稳定性