Form invariance of holonomic systems with unilateral constraints in phase space

• 单面完整约束系统在相空间中的形式不变性