Low-Carbon Economic Dispatch of Power System with Wind Power Considering Dual Demand Response and Ladder-Type Carbon Trading Mechanism | IEEE Conference Publication | IEEE Xplore