请教一个含不等式的非线性方程组怎样求解？

[zhouzhou113]

方程组：
V0 + a1 * x1 = Vm
Vm + a2 *x3 = Vf
V0*x1 + (1/2)*a1*(t1^2) + Vm*x3 + (1/2)*a2*(x3^2) + Vm*x2 = sf
0 <= Vm <= Vmax
x2 >= Tstable>=0

未知变量：x1,x2,x3,Vm
其他变量都是已知的

感觉可以化解成非线性规划问题，大概是求解 max(x2 + Vm)的解
不知道应该怎么处理，，然后 gsl 库可以求解线性规划问题吗？谢谢谢谢~

[qwertyegg]

化简后是一个求解 a*x3^2 + b*x3 + c*x2 + d = 0，然后 x2 和 x3 都是线性不等式约束的问题，感觉不怎么难