Modeling Studies Related to Carbon Dioxide Phase Change on Mars by Xin Guo