0-1规划非线性规划例