section_heading: Praćenje faze nosača (geodezija)
paragraph_text: Ukupna faza satelitskog nosača može se dvoznačno izmjeriti kao broj ciklusa opisan kao CARRIER PHASE MEASUREMENT (hrv. mjerenje faze nosača) i CARRIER BEAT PHASE  (hrv. faza udara nosača). Neka <math>\ \phi(r_i, s_j, t_k) </math> označava fazu nosača satelita j mjerenu prijamnikom i u vremenu <math>\ \ t_k </math>. Ova notacija se koristi kako bi bilo jasno što znače supskripti i, j i k. Zbog činjenice da prijamnik (engl. receiver), satelit (engl. satellite) i vrijeme (engl. time) dolaze u engleskom jeziku abecednim redom kao argumenti <math>\ \phi </math> i radi isticanja ravnoteže između čitljivosti i konciznosti, neka je <math>\ \phi_{i,j,k} = \phi(r_i, s_j, t_k) </math> radi koncizne kratice. Također definiramo tri funkcije :<math>\ \Delta^r, \Delta^s, \Delta^t </math> koje označuju razlike između prijamnikâ, satelitâ i vremenskih točaka. Sve ove funkcije imaju linearnu kombinaciju varijabli s tri supskripta kao svoje argumente. Ove su tri funkcije definirane dolje. Ako je <math>\ \alpha_{i,j,k} </math> funkcija tri cjelobrojna argumenta i, j i k onda je valjani argument ovih funkcija: :<math>\ \Delta^r, \Delta^s, \Delta^t </math> s vrijednostima definiranima kao