kor=(ad1-1900)*0.1;
f1=(376999055.0+kor)/n0;
1900 это показания ADC терморезистора на TCXO, при котором калибровался TCXO с отключенной коррекцией(kor=0) и подобрали 376999055 для тактовой частоты таймеров, измеряя опорную частоту с GPS.
0.1 - это коэф. наклона термокривой для конкретного TCXO. Можно взять 0.1, сильно не ошибетесь, если таймеры на 377Мгц.


