str138 (2)

/'(AV 0) HM q„, (9.54)

P(X, I) I HER p_h,    (9.55)

gdzie:

/>i, prawdopodobieństwo poprawnego odbioru pojedynczego elementu binarnego depeszy RTCM - bitu,

<h, prawdopodobieństwo uszkodzenia pojedynczego elementu binarnego depeszy RTCM - bitu.

9.12.2.2. Stany zdatności i niezdatność transmisji depesz RTCM

Zdefiniujmy proces transmisji pojedynczej depesz RTCM poprzez binarny wektor stanu depeszy X,, o elementach

(9.56)

X_i = [X_l,X₂,...,X_n]

I 'onloważ struktura transmisji depesz RTCM związana jest z liczbą satelitów, dla których transmitowano są korekcje PRC oraz typem depeszy, stąd funkcja struktury depeszy przyjmie postać

(9.57)

M'_/(X_d)=V|/_y(Z₁,X_2>...,Z„) , dla j = {1,23,4} ,

gdzie:

\|i! (X,|) - funkcja struktury transmisji depeszy,

/    - zmienna określająca liczbę depesz RTCM niezbędnądla przesłania poprawek PRC

do wszystkich satelitów, znajdujących się ponad minimalną wysokością topocen-tryczną stacji referencyjnej DGPS.

/wliyok pomiędzy procesami awarii transmisji binarnej oraz depesz przedstawiono na poniż-

Rys. 9.46. Proces awarii depesz transmisji różnicowej GPS.

Wprowadzona zmienna j zgodnie ze standardem RTCM, dla depeszy nr 1, może przyjąć jodynie wartość 1, bowiem wszystkie z korekt PRC transmitowane są w ramach jednej depeszy.

dIO

Nalomliint dln doptm/y MI OM iii 0 3 /rnlonnn In mu.¹ u pi/yląi) wnilońcl odpowiednio:    t kil)

4 Din rozważonych molod tmrmmltjl znpls/umy

/’k<x„) i|    ......v„) i| o/V/(x_<l)= i] +    (f).ba)

|./V,(xJ |j 4/,(X„) l]. a ponieważ A',, X_2>... X„ są niezależne, więc

r[%PQ = 1 ] = E{X, > E(X₂ ),...,-E{X_n )= p_d = (p_h)"    (9.50)

oraz prawdopodobieństwo zdarzenia przeciwnego przyjmie postać

P[vr_y(X_d) = 0] = 1 - P[vr*.,(X_d) = l] = q<= 1 - (/>,,)'' ,    (9.00)

gdzie:

p_h - prawdopodobieństwo poprawnego odbioru depeszy RTCM składającej się / // t»| liczby bitów,

q_d - prawdopodobieństwo nie odebrania poprawnie depeszy RTCM składającej sin / n ln| liczby bitów.

9.12.2.3. Stany zdatności i niezdatność transmisji różnicowej GPS

Zdefiniujmy proces pracy transmisji różnicowej GPS poprzez binarny wektoi stanu nys temu transmisji korekt PRC - X_s postaci

X_s = [X_jk] ,    (0,61)

gdzie k odpowiada kolejnemu numerowi kolejnej depeszy tego samego typu i odnos/ąroj Me do poprawek PRC dla tych samych satelitów. Ponieważ standard RTCM, w zakresie transmisji różnicowej DGPS w odniesieniu do różnicowych pomiarów kodowych dopuszcza dwa lypy depesz, stąd dla

1. stacji referencyjnej DGPS transmitującej depeszę RTCM nr 1

X_$ = [x_u,X,₂,...,X_u]    (9,62)

2. stacji referencyjnej DGPS transmitującej depeszę RTCM nr 9-3:

- dla 7 = 2 (stacja referencyjna przesyła korekty do: 4, 5 lub 6 satelitów)

(9.63)

X_s — \x_v,X_t2,...,X_{t k},X₂t,X₂₂,...,X_2li'\ ,

-    dla j = 3 (stacja referencyjna przesyła korekty do: 7, 8 lub 9 satelitów)

(9.64)

X_s - \X_]],X_i2,...,X_t kiX₂'i,X22f">X_{2 k},X_il,X₃'2>"->Y-i_il: ] .

-    dla 7 = 4 (stacja referencyjna przesyła korekty do: 10, 11 lub 12 satelitów)

X_s — E^i,i.^i,2)---)^|,t)^2,i»^2,2>...|^2,*)Al>^^,J,2i"-)^3,it)^4,|i^4,2i"'>^"4JI ] . (9.65)

281