使用混合整数非线性规划的过程优化