Mô hình theo dõi UofC sử dụng kết hợp pha-code tự do tầng điện ly thay vì kết hợp code-code tự do tầng điện ly trên L1 và L2 như được sử dụng trong mô hình truyền thống. Kết hợp pha-pha tự do tầng điện ly có dạng giống với mô hình truyền thống và mô hình UofC. Thể hiện toán học của mô hình UofC được cho dưới đây[28]:
PIF,L1 = 0.5(P1+ ϕ1)
= ρ + c(dt − dT) + dorp+ dtrop + 0.5λ1N1+ 0.5dmult/PIF,L1+ 0.5εPIF,L1
(4.3.7)
PIF,L2 = 0.5(P2+ ϕ2)
= ρ + c(dt − dT) + dorp+ dtrop+ 0.5λ2N2+ 0.5dmult/PIF,L2 + 0.5εPIF,L2
56 ϕIF =f1 2. ϕ1− f22. ϕ2 f12− f22 = ρ + c(dt − dT) + dorp+ dtrop +cf1N1+ cf2N2 f12− f22 + dmult/ϕIF + εϕIF (4.3.9)
Sau khi ứng dụng quỹ đạo vệ tinh chính xác và hiệu chỉnh xung đồng hồ, kết hợp theo dõi pha-pha và code-pha tự do tầng điện ly có thể được viết như sau:
PIF,L1′ = ρ + c ∙ dt + dtrop + 0.5λ1N1+ 0.5εP′IF,L1 (4.3.10)
PIF,L2′ = ρ + c ∙ dt + dtrop + 0.5λ2N2+ 0.5εP′IF,L2 (4.3.11)
ϕIF′ = ρ + c ∙ dt + dtrop+ cf1
f12−f22N1+ cf2
f12−f22N2+ εϕ′IF (4.3.12) Trong đó
𝑃𝐼𝐹,𝐿1′ và 𝑃𝐼𝐹,𝐿2′ tương ứng là theo dõi giả khoảng cách code tự do tầng điện ly đã hiệu chỉnh trên L1 và L2 (m);
𝜙𝐼𝐹′ là theo dõi pha tự do tầng điện ly đã hiệu chỉnh (m);
𝜀𝐼𝐹′ là tổng nhiễu bao gồm sai số thặng dư, đa đường và nhiễu.
Những thông số chưa biết trong mô hình UofC bao gồm 3 thành phần tọa độ định vị, lệch xung đồng hồ máy thu, trễ tầng đối lưu ướt cực đại và những thông số số nguyên lần bước sóng liên kết với mỗi vệ tinh quan sát được trên L1 và L2. So sánh với mô hình theo dõi truyền thống, mô hình UofC có mức nhiễu theo dõi thấp hơn sau khi kết hợp tự do tầng điện ly giữa theo dõi pha và code. Thêm vào đó, đặc tính nguyên của số nguyên lần bước sóng L1 và L2 vẫn còn lại, khi chúng có thể được ước lượng riêng rẽ, cung cấp khả năng để phát triển một thuật toán của giải pháp sửa chữa số nguyên lần bước sóng.