PPP的公式分解

原始公式

消电离层公式：

注意公式中的伪距以及载波中的钟差，包括接收机端以及卫星端的，都是用同一个钟差表示了。得到了以下公式：

Nif为消电离层的模糊度，可以拆分为宽巷，窄巷。

理解，传统的PPP浮点解，在代入伪距卫星钟差后，只估计接收机钟差，那么接收机的钟差中的偏差项Br ，卫星钟差中的偏差项Bs，都被模糊度Nif吸收，也就是 Nif被污染。

实际上，钟差有四种，伪距接收机钟差+伪距卫星钟差+载波接收机钟差+载波卫星钟差，严格意义上有不同的Br+Bs。

整数相位钟法：如果想要模糊度准确，则需要考虑公式中的Br和Bs，若伪距和载波区分开，

则消电离层公式变为

以上公式四个钟差都含有B偏差。

服务端如果同时估计四个钟差以及模糊度，则可以保证模糊度的整数特性。

用户端如果卫星端的伪距和载波钟差（均包含了Bs）已知，那么接收机端的两个钟差（伪距+载波，均含有Br）被估计，则Nif不被污染。

一般用户端为了不同时估计两类接收机误差带来的问题，可以星间单差，消除接收机钟差。

需要注意的是，用户端在使用精密产品时，需要注意使用产品的类型，例如用igs的精密钟差，法国CENS的钟差的区别。