5.2.1 非完整约束系统