Satellite formation baseline processing method and device based on synchronization loop closing difference constraint

The invention provides a satellite formation baseline processing method and device based on synchronization loop closed difference constraint, and the method comprises the steps: obtaining the satellite-borne GNSS receiver observation quantity of each formation satellite in a satellite formation, and determining the double-difference observation quantity corresponding to a plurality of formation satellite combinations according to the satellite-borne GNSS receiver observation quantity; according to the double-difference observation quantity, determining a double-difference wide-lane ambiguity fixed solution corresponding to each formation satellite combination, and constructing a double-difference observation quantity observation equation set based on the double-difference wide-lane ambiguity fixed solution and the satellite approximate absolute orbit data corresponding to each formation satellite; determining a double-difference narrow lane ambiguity fixed solution corresponding to each formation satellite c