9.4 非线性规划实例