Introduction to satellite navigation related knowledge