摘要：研究单面完整约束力学系统的形式不变性，根据运动微分方程的形式在无限小变换下的不变性，给出了单面完整约束力学系统形式不变性的定义和判据，建立了系统的形式不变性与Noether对称性、Lie对称性之间的关系，并举例说明结果的应用。

注：因版权方要求，不能公开全文，如需全文，请咨询杂志社