In the process of low orbit satellite navigation search and rescue, there is significant relative motion between the satellite and the ground, resulting in substantial Doppler frequency shifts. Spread ...

The limitation of the current program synthesis method is that the synthesized program is small in scale and simple in logic. In this work, we introduce an effective program synthesis approach based ...