A Numeric-Symbolic Solution of GNSS Phase Ambiguity

Solution of the Global Navigation Satellite Systems (GNSS) phase ambiguity is considered as a global quadratic mixed integer programming task, which can be transformed into a pure integer problem with a given digit of accuracy. In this paper, three alter-native algorithms are suggested. Two of them are based on local and global linearization via McCormic Envelopes, respectively. These algorithms can be effective in case of simple configuration and relatively modest number of satellites. The third method is a locally nonlinear, iterative algorithm handling the problem as {-1, 0, 1} programming and also lets compute the next best integer solution easily. However, it should keep in mind that the algorithm is a heuristic one, which does not guarantee to find the global integer optimum always exactly. The procedure is very powerful utilizing the ability of the numeric-symbolic abilities of a computer algebraic system, like Wolfram Mathematica and it is properly fast for minimum 4 satellites with normal configuration, which means the Geometric Dilution of Precision (GDOP) should be between 1 and 8. Wolfram Alpha and Wolfram Clouds Apps give possibility to run the suggested code even via cell phones. All of these algorithms are illustrated with numerical examples. The result of the third one was successfully compared with the LAMBDA method, in case of ten satellites sending signals on two carrier frequencies (L1 and L2) with weighting matrix used to weight the GNSS observation and computed as the inverse of the corresponding covariance matrix.

Data-Driven Robust Optimization for Steam Systems in Ethylene Plants under Uncertainty

In an ethylene plant, steam system provides shaft power to compressors and pumps and heats the process streams. Modeling and optimization of a steam system is a powerful tool to bring benefits and save energy for ethylene plants. However, the uncertainty of device efficiencies and the fluctuation of the process demands cause great difficulties to traditional mathematical programming methods, which could result in suboptimal or infeasible solution. The growing data-driven optimization approaches offer new techniques to eliminate uncertainty in the process system engineering community. A data-driven robust optimization (DDRO) methodology is proposed to deal with uncertainty in the optimization of steam system in an ethylene plant. A hybrid model of extraction–exhausting steam turbine is developed, and its coefficients are considered as uncertain parameters. A deterministic mixed integer linear programming model of the steam system is formulated based on the model of the components to minimize the operating cost of the ethylene plant. The uncertain parameter set of the proposed model is derived from the historical data, and the Dirichlet process mixture model is employed to capture the features for the construction of the uncertainty set. In combination with the derived uncertainty set, a data-driven conic quadratic mixed-integer programming model is reformulated for the optimization of the steam system under uncertainty. An actual case study is utilized to validate the performance of the proposed DDRO method.