用lingo非线性规划时的约束条件