| /src/external/bsd/ntp/dist/include/ |
| mbg_gps166.h | 949 l_fp alpha_1; ///< Ionosph. Corr. Coeff. Alpha 1 [sec/deg] member in struct:__anon5052
|
| /src/external/bsd/ntp/dist/libparse/ |
| data_mbg.c | 505 FETCH_DOUBLE(buffpp, &ionop->alpha_1);
|
| /src/external/mit/isl/dist/doc/ |
| implementation.tex | 1242 n \to \{\, x \to y \mid \exists \, \alpha_0, \alpha_1: 7\alpha_0 = -2 + n \wedge 5\alpha_1 = -1 - x + y \wedge y \ge 6 + x \,\}
1248 n \to \{\, x \mid \exists \, \alpha_0, \alpha_1: 7\alpha_0 = -2 + n \wedge 5\alpha_1 = -1 + x \wedge x \ge 6 \,\}
1258 \alpha_1 = \floor{\frac{-1 + x}5}
1262 while $\alpha_1$ can be treated as a variable.
1270 \exists\, \alpha_0, \alpha_1, k, f : {} &
1276 5\alpha_1 = -k + x \wedge
1286 n \to \{\, x \to y \mid \exists \, \alpha_0, \alpha_1: 7\alpha_1 = -2 + n \wedge 6\alpha_0 \ge -x + y \wedge 5\alpha_0 \le -1 - x + y \,\
[all...] |
| /src/external/bsd/ntp/dist/ntpd/ |
| refclock_ripencc.c | 154 alpha_0, alpha_1, alpha_2, alpha_3, member in struct:__anon5148
2509 ioninfo->alpha_1 = bGetSingle (&buf4[12]);
4020 pbuf += sprintf(pbuf, "\n alpha_0 = % -12g alpha_1 = % -12g ",
4021 ionosphere->alpha_0, ionosphere->alpha_1);
|
