Treść książki
Przejdź do opcji czytnikaPrzejdź do nawigacjiPrzejdź do informacjiPrzejdź do stopki
4.4.3.Modeltopologiiukładutorowego...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.71
4.4.4.ModeleskładnikówaplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.74
4.4.5.ModelowanieaplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..85
4.4.6.ModeleelementówotoczeniaaplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.90
4.4.7.Modelowanieotoczenia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..98
4.4.8.ModelCBAE...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...104
4.5.WirtualnelaboratoriumaplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...105
4.5.1.Założenia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.105
4.5.2.Wirtualneprototypowanie...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.106
4.5.3.KoncepcjawirtualnegoprototypuaplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...113
4.5.4.Symulacjascenariuszyoperacyjnych...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..115
4.6.Dynamicznymodelpociągu...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...118
4.6.1.Fazyjazdypociągu...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...118
4.6.2.Strategiajazdypociągu...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...121
4.6.3.Równanieruchu...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..122
4.6.4.Interpolacjasiłytrakcyjnejihamowania...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...125
4.6.5.Dokładnośćmodelujazdy...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..127
4.7.Symulacjajazdypociągu...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..128
4.7.1.Zarysalgorytmu...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..128
4.7.2.Algorytmsymulacjijazdypociągu...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...128
4.7.3.Algorytmsymulacjiruchukolejowego...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..130
5.Modelematematyczneialgorytmy...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.132
5.1.Podstawyteoretyczne...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
....132
5.2.MatematycznymodelinfrastrukturytorowejobejmującejaplikacjęETCSijejotoczenie...133
5.2.1.Ogólnezałożenia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...133
5.2.2.Multigrafinfrastrukturykolejowej...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...134
5.2.3.KatalogwierzchołkówikrawędziMultigrafuIS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...156
5.2.4.Modelprzykładowegoobszarusiecikolejowej...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..159
5.3.Algorytmyweryfikacjipoprawnościmodelustruktury...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.161
5.3.1.Ogólnezałożenia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...161
5.3.2.Obszaryweryfikacji...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..161
5.3.3.Spójnośćmodelumatematycznego...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...163
5.3.4.Właściwościwarstwypodstawowejsrk...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.164
5.3.5.BudowaaplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.167
5.4.Scenariuszeoperacyjne...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..177
5.4.1.Formalnaspecyfikacja...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.177
5.4.2.SpecyfikacjaSSOśrodowiskasymulacji...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...181
5.4.3.Wykonaniebadaniasymulacyjnego...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.183
5.4.4.WeryfikacjadziałaniaaplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.184
5.4.5.Graficznareprezentacjascenariuszaoperacyjnego...
...
...
...
...
...
...
...
...
...
...
...
...
...
..186
5.5.FormalnaweryfikacjacyfrowegobliźniakaaplikacjiETCSzwykorzystaniemmodelu
czasowegoiwspółbieżnego...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.187
5.5.1.RozproszonycharakteraplikacjiETCS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..187
5.5.2.Dobórnarzędzia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..189
5.5.3.IMDS...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...190
5.5.4.WeryfikacjadostępnośćkomunikatówtekstowychnaDMI...
...
...
...
...
...
...
...
...
...197
6.Podsumowanie...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
.205
Bibliografia...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
...
..208
6
