10537 str142 (2)

Zaiwdrilozym czynnikiem, który proces miiinmniyi /umio modelowania czyni złożonym, |ast /mlanna wertość włoku poprawek, nlo l>v<!• l< •' nlnlą wielokrotnością cznsu trwania pojedyn-czo| depeszy 9-3 (w przykładzie rysunkowym 7 I w) i.ląd toż rozważania dotyczące dostępności wymagają uwzględnienia okresowo powtni/n|i|cyc.h się odcinków A'/', A',"’, A',". A'¹.,"' analogicznie Jak w przypadku depeszy RTCM nr I Poczyńmy oczywiste spostrzeżenie, że dla każdego

p{ € A,"' )=P{e AT ) oraz p(( e A^4/ft )= p{ e A⁴'⁶) ,    (9.85)

windy dostępność - A(t) systemu transmisji korekt pseudoodleglościowych GPS obliczymy jako

4')={11^A'M ^d‘° 'i-⁴'*,    \ , gdzie *₆Z.

[p[^(A₂)=l] dla t e [r, + A,,A₂)

(9.86)

Wektory binarne stanów niezawodności systemu dla przedziałów czasowych A', i A', przyjmą

postać

Ai =		—>^XUk-V^X2Jc-V^Xu\ >	(9.87)
A2 = n Ich funkcje struktury		-1 > -*2,Jt-l ’ ^x\.k J ■	(9.88)
.k-l LI ^X2 .*-6 U’"	U -*U-5	\ ^?T ^ /=1 /=0	(9.89)
'//(Aj) (*2.*-6U*2,*-5U>"	•’ U ^X2,k-\ )(*U-6 U ^Xl,k-5 U’	6 6 i=l i=0	(9.90)

Poddając dekompozycji struktury (9.87), (9.88) otrzymamy

4>)=

.gdzie /e[f_łtA',J    (9.91)

sdzie r e[r_t +A',,Aⁱ3).

9.12.3.2.2. Transmisja korekt PRC dla: 7, 8 lub 9 satelitów

Rozpatrzmy transmisję 3 depesz RTCM nr 9-3 transmitowanych przez stację referencyjną DGPS odnoszących się odpowiednio do satelitów: 1-3, 4-6, 7-9. Zdatność transmisji będzie stanem, w którym wiek co najmniej 4 korekt PRC odnoszących się do różnych satelitów jest mniejszy od maksymalnego. Odpowiada to poprawnemu odebraniu dwóch różnych depesz RTCM nr 9-3, dla których wiek poprawek jest mniejszy od ustalonego jako maksymalny. W przeciwieństwie do zagadnienia rozważanego w poprzednim podrozdziale rozważać należy przypadek: co najmniej ’2’ z ’3’ w rozumieniu rozkładu dwumianowego Bernoulliego.

Rozważany tu wariant, w porównaniu do dwu pozostałych, przypadków jest niezmiernie Istotny, bowiem prawdopodobieństwo jego zajścia wynosi prawie 90 %. Analiza przebiegu

procesu wtikłi/ujn koni*" ’no*i0 wy<l/.lolonle 15? odcinków A',". A'/'. A',", A'¹,", A'¹,'*, A'„". A'.". AV'.A?,AV;,AV;, aV (rys o,82).

Rys. 9.52. Proces transmisji korekt PRC dla N_s= {7,8,9} .

Analogicznie jak w przypadku korekt PRC do 4-6 SV. Poczyńmy spostrzeżenie

p((eA⁷^)=const , h = 2s + l , j = 1,2.3...,    (9.92)

p([ e A‘_h⁹ )= const , h = 2s    , s = 1,2.3...,    (9.93)

wtedy wektory binarne stanów niezawodności systemu dla przedziałów czasowych A¹, I A', przyjmą postaci

^A1    .    (9.SJ4)

^A2 “ i<^xl,i-4>^xl,jt-3.....^xl,*)^2,t-4>^x2,*-3»^,"»'^X24t-l)^^t:3,*-4>^A:3,t-4»-">^x:3,(t-lJI '    (9-95)

a ich funkcje struktury można przedstawić jako

(H^A.)= far-s U *3.,-., U - U *_w.,) ki-, U    U... U )ll(x,^ U *_M_₃ U... U x_lJt)

(^X2.i-4 U^X2.<-3 lI".Ll^X2,ł-l)Ll(^X3.(-5 U ^X3,<-4 II •■•U    ) (^X2.ł-t U ^X2,l-3 II •••II ^X:,i_i )ll

Il(^XU-4 II ^XU-3 U.-U^X,.*)(^XW-4 U ^X2jt-3 11 II ^X2jl-| ) (^X3,n_5 U U-.U^.,)=    (9.96)

54    44    54    445

T T*i,. T T ^x\.k-i ii IT ^Xi.<i T1 ^x:,t-i u T T ^.i-J T *2 u T T ^.nT T ^x2 .*-< T T •

288