A novel method of ambiguity resolution and cycle slip processing for single-frequency GNSS/INS tightly coupled integration system. Issue 1 (1st January 2022)