| /src/external/bsd/ntp/dist/include/ |
| mbg_gps166.h | 948 l_fp alpha_0; ///< Ionosph. Corr. Coeff. Alpha 0 [sec] member in struct:__anon7363
|
| /src/external/bsd/ntp/dist/libparse/ |
| data_mbg.c | 504 FETCH_DOUBLE(buffpp, &ionop->alpha_0);
|
| /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 \,\}
1254 \alpha_0 = \floor{\frac{-2 + n}7}
1261 $\alpha_0$ can therefore be treated as a parameter,
1263 This in turn means that $7\alpha_0 = -2 + n$ can be treated as
1270 \exists\, \alpha_0, \alpha_1, k, f : {} &
1275 7\alpha_0 = -2 + n \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:__anon7459
2508 ioninfo->alpha_0 = bGetSingle (&buf4[8]);
4020 pbuf += sprintf(pbuf, "\n alpha_0 = % -12g alpha_1 = % -12g ",
4021 ionosphere->alpha_0, ionosphere->alpha_1);
|
