Security-constrained Unit Commitment Based on Hybrid Benders Decomposition and Mixed Integer Non-Linear Programming | AMiner