Abstract: With the advancement of the dual carbon goals, it is crucial to study the impact of carbon trading mechanisms on the optimal operation of power systems containing wind power. To this end, this paper introduces carbon trading costs on the basis of the traditional economic dispatching with the objective of minimizing the sum of the carbon trading costs and the generation costs, and calculate and solve it on the EasySolve computing platform. For the carbon trading cost, the baseline carbon price and the ladder carbon price models are used respectively; for the wind power cost, the wind power generation cost is used, and the wind power output deviation compensation cost is added with the consideration of the uncertainty of wind power. The model is then validated by being substituted into the improved IEEE 39 node system, which demonstrates the rationality of the model by its satisfaction to both the economic and the low carbon requirements. On this basis, by analyzing the impact of carbon price changes on the optimal dispatch, it is concluded that choosing a reasonable carbon price may effectively reduce the carbon emissions and control the costs at the same time. In addition, by studying the effects of the selection of the reward and punishment coefficients for the ladder carbon price on the optimal scheduling, a conclusion is drown that increasing the reward and punishment coefficients for the ladder carbon price may further converge the range of the reasonable carbon prices.