Satellite communication systems are able to provide diverse services for ground terminals in ubiquitous global coverage, which play a vital role in high-mobility communication environments. Existing technologies developed primarily for satellite communications cannot be readily applied to satellite high-mobility communication scenarios, since high Doppler frequency offset caused by the fast movement of wireless terminals, and low signal-to-noise ratio (SNR) circumstances caused by limited link budgets in satellites incur more difficulty of the synchronization, especially for short burst transmission. To solve such a problem in satellite high-mobility communications, we propose a novel method named GP-MASO-MLE, which consists of a coarse estimation algorithm based on the Gaussian process (GP) model and Newton-Raphson method, and a fine correction algorithm based on the improved maximum likelihood estimation (MLE) jointly with turbo decoding iterations. Simulation results show that the proposed algorithm can approach to the bit error rate (BER) performance bound of ideal Doppler frequency offset correction within 0.1 dB, which can be well applied in code-aided (CA) satellite high-mobility communication systems for its good performance. In addition, the computational complexity of the proposed algorithm is lower than other traditional turbo synchronization algorithms.