bibliographic details : 约束力学系统的对称性与守恒量