A Dispatch Model of Annual Generation Plan Considering Seasonal Pumped Storage | IEEE Conference Publication | IEEE Xplore