0. Wstęp. Janusz Woch Zakład Inżynierii Ruchu Instytutu Transportu w Katowicach TEORIA POTOKÓW RUCHU

Transkrypt

1 Janusz Woch Zakład Inżynierii Ruchu Instytutu Transportu w Katowicach TEORIA POTOKÓW RUCHU Katowice, wrzesień 2001 TPR0-1 1

2 TPR0-2 1

3 SPIS TREŚCI 0. Wstęp...7/10 Literatura Systemy obsługi masowej stracony czas (wg Zitek, 1974)...11/ Stracony czas Systemy obsługi Cele teorii obsługi masowej Procesy stochastyczne Kilka przykładów Zapis procesu Probabilistyczne charakterystyki procesu Podstawowe klasy procesów Proces Poissona...32/37 2. Uogólniony typ procesu stochastycznego(wg Zitek, 1974)...39/ Liczba pojazdów na drodze Łańcuchy Markowa Procesy Markowa Procesy niemarkowskie...58/61 3. Modele najprostszych systemów obsługi(wg Zitek, 1974)...63/ Klasyfikacja Kendalla System M/M/ Regulaminy kolejki Systemy M/M/n...83/89 4. Inne systemy(wg Zitek, 1974)...91/ Systemy z ograniczoną długością kolejki Systemy niemarkowskie System M/D/ Systemy M / El / Systemy M/G/ Systemy GI/M/ Ogólne systemy jednokanałowe LITERATURA / Metody Monte Carlo a symulacja potoków ruchu (wg Drew, 1968)...117/ Wprowadzenie Metody Monte Carlo Przypadkowe spacery Symulowana próbka (symulacja) Liczby losowe Generator liczb pseudolosowych Systemy liczbowe Metoda potęgi rezydualnej Ciągi losowe odpowiadające założonym rozkładom Metoda odwrotnej funkcji dystrybuanty Metoda rozkładu punktowego Dyskretne zakłócenia losowe Specjalne metody konwersji Techniki skaningowe Kroki w symulacji Program symulacyjny Kalibracja modelu Dlaczego symulować (wg Morgenthaler, 1961) TPR0-3 1

4 5.19. Przykład włączania do autostrady (wg Drew,1967) Problemy Literatura Metody symulacyjne SystemuOceny UkładówTorowych(SOUT)(wgWoch, 1977) Ogólne ujęcie zagadnień przepustowości jako problemu wymiarowania układów kolejowych Układy i ich przepustowość Elementy i charakterystyki układów Proces regulacji Modele układów Kryterium optymalności układu Problemy oceny układów Optymalne obciążenie ruchowe układu Ogólne kryterium optymalności układu Symulacja komputerowa i optymalizacja algorytmiczna układów Modele symulacyjne Problemy statystyczne symulacji Optymalizacja algorytmiczna układów Modele szczegółowe i programy symulacyjne układów...177/ Węzły torowe Układy rozrządowe Układy wielkie, zagadnienia regulacji ruchu Uwagi praktyczne Kierunki rozwoju metodyki wymiarowania układów kolejowych Problemy Literatura...204/ Podstawowy model potoku ruchu w ujęciu klasycznym (wg Ashton, 1966)...207/ Definicje i mierniki parametrów ruchu Model podstawowy Teorie dynamiczne, modele potoku ruchu podążania za liderem(wg Ashton, 1966) Wstęp Matematyczne równania w prostym modelu podążania za liderem Alternatywne rozważania równań stacjonarnych Rozszerzenie równania bodziec reakcja Teorie kinematyczne i analogie płynów(wg Ashton, 1966)...235/ Wprowadzenie Teoria ciągła Bardziej skomplikowane modele Związek z teoriami podążania za liderem Boltzmano podobne teorie potoku ruchu Podstawowy model potoku ruchu porównanie różnych modeli(wg Ashton,1966) Porównanie kształtu wykresów różnych funkcji modeli podstawowych Zastosowanie teorii kolejek do modelu dopędzania (model Millera) Od sygnałów ruchowych do cybernetyki ruchowej(wg Ashton, 1966) Wprowadzenie Sygnały ruchowe Wzór na opóźnienie na skrzyżowaniu z sygnalizatorami Optymalne ustawienie świateł o stałym cyklu Stochastyczne podejście do problemów opóźnienia statycznego(wg Ashton, 1966) Wstęp Proste modele skrzyżowań priorytetowych Modele bardziej złożone TPR0-4 1

5 12.4. Skrzyżowania sterowane światłami Opóźnienia na drodze swobodnej Wąskie gardła...285/ Literatura / Dwa modele potoku ruchu (teoriokolejkowe)(wg Woch, 1998)...289/ Model Haighta Model Heidemanna Właściwa definicja kolejki ruchowej Zlepione procesy kolejek Model ruchomego bufora typu M + / M + / 1 (wg Woch, 1998)...299/ Warunek płynności ruchu Model podstawowy Modele przybliżone Maksymalna płynność potoku(wg Woch, 1998)...307/ Stały dystans drogi Porównanie optymalnych gęstości potoku w obu modelach Porównanie numerycznych wyników modeli Heidemanna i ruchomego bufora oraz maksymalnej płynności potoku ruchu(wg Woch, 1998)...315/ Obliczenia Heidemanna Obliczenia wg modelu ruchomego bufora Obliczenia wg modelu maksymalnej płynności ruchu Podsumowanie Literatura Przepustowość złożonych węzłów torowych a efektywność sieci kolejowej(wg Woch, 1999c)...323/ Wprowadzenie Ocena opóźnień i czasów czekania w ruchu kolejowym a ocena płynności ruchu Charakterystyki czasów czekania i płynności ruchu odstępów węzłowych (wypukłe i wklęsłe funkcje intensywności) Porównanie numerycznych wyników modelu maksymalnej płynności potoku ruchu kolejowego Literatura...342/ Praktyczne procedury estymacji odstępu granicznego (wg Brilon, Koenig, Troutbeck, 1999)...345/ Wprowadzenie Technika estymacji dla warunków nasycenia: metoda Sieglocha Technika estymacji dla warunków nienasycenia Metoda zwłoki Podstawowe rozważania dla następnych metod Metoda Raffa Metoda Ashworda Metoda Hardersa Procedury typu logit Procedury ufności Metoda Hewitta Procedury największej wiarygodności Kryteria klasyfikacji metod estymacji Dystrybuanta Zgodność Moc metod Zgodność modeli przepustowości TPR0-5 1

6 18.5. Badania symulacyjne Opis pomysłu symulacji Wyniki analizy odstępu granicznego Wyniki estymacji wariancji odstępu granicznego Wnioski Dodatek definicje zmiennych Literatura...370/ Badania odstępu granicznego w Polsce (wg Chodur, 2001)...373/ Badania empiryczne dla estymacji odstępu granicznego Analiza czynników określających odstęp graniczny Wnioski Literatura...380/9 TPR0-6 1

7 WSTĘP Zasadniczą przyczyną powstania podręcznika akademickiego Teoria Potoków Ruchu jest zupełny brak takiej literatury w Polsce. Z jednej strony chodzi o podręcznik na odpowiednim poziomie matematycznym, a z drugiej strony ma być to podręcznik adresowany do nie matematyków. Przed 10 laty, gdy autor przygotowywał nowe przedmioty transportowe dla kierunku TRANSPORT w Instytucie Transportu Politechniki Śląskiej w Katowicach, był już dobrze doświadczonym wykładowcą takich przedmiotów na Wydziale Transportu Politechniki Krakowskiej w latach oraz przedmiotów informatycznych na Wydziale Transportu Politechniki Śląskiej w Katowicach w latach Z drugiej strony, ponad 25 letnia działalność badawcza autora, w dziedzinie informatycznych problemów kolejnictwa w Centrum Naukowo Technicznym Kolejnictwa w Katowicach, należała do problematyki przepustowości sieci kolejowych, co w tamtych czasach rozwoju techniki komputerowej było zastosowaniem symulacji komputerowej do rozwiązywania problemów przepustowości. Tak więc, również było naukową awangardą w rozwoju metod modelowania matematycznego sieci kolejowych, gdzie powstawały nowe metody matematyczno - informatyczne oceny przepustowości sieci kolejowych, co przedstawiono w rozdziale 6. W literaturze amerykańskiej symptomami nowej ery teorii potoków ruchu opartej na teorii masowej obsługi (teorii kolejek) były dwie książki: Haight (1963) oraz Drew (1968), natomiast w literaturze brytyjskiej: Ashton (1966). Podręcznik Drew ( 1968) jest również wzorcem przystępności wykładu treści matematycznych ilustrowanych bardzo dużą liczbą dowcipnych rysunków, zdradzających talent artystyczny autora. To wyjątkowa książka inżynierska, na bardzo wysokim poziomie matematycznym lub wyjątkowa książka matematyczna, na wysokim poziomie inżynierskim. Natomiast książka Ashtona (1966), na której oparto zasadniczy nurt tej książki jest bardzo typową publikacją matematyczną zawierającą małą liczbę rysunków, jak na przykład skądinąd doskonała książka o teorii masowej obsługi Zitka (1974), która w najprzystępniejszej formie prezentuje trudne treści matematyczne. Dlatego pierwsze cztery rozdziały książki zastały oparte na książce Zitka (1974), wzbogaconej o rysunki i komentarze na temat symulacji komputerowej systemów kolejkowych. W latach 60. i 70., kiedy powstały te książki i kiedy powstały liczne publikacje na temat symulacji komputerowej ruchu transportowego wydawało się, że inne sposoby modelowania matematycznego potoków ruchu, niż ujęcia teoriokolejkowe odejdą do historii. Tak się jednak nie stało i do dzisiaj stosuje się modele ciągłe, kłócące się z naszą wyobraźnią na temat zakłóceń ruchu, co wywołuje różne protesty Heidemanna (1996) i Wocha (1998). Z tego względu autor w zakresie teorii potoków ruchu poszerzył zakres książki Ashtona (1966), zawierającej pełny przegląd modeli klasycznych, również ciągłych modeli, a z drugiej strony będącej brytyjskim, londyńskim spojrzeniem na problemy przepustowości dróg, będącej polem zainteresowania teorii potoków ruchu. Przesłanki leżące u wyboru Ashtona (1966) jako poligonu problemów ruchowych nie straciły dla nas na aktualności, ponieważ problemy ruchowe Londynu w latach 60. były większe, niż nasze polskie problemy ruchowe, związane z zatłoczeniem ruchu w centrach miast. W ramach studiów na kierunku TRANSPORT Politechniki Śląskiej w Katowicach istnieją trzy przedmioty zintegrowane, a więc przedmioty ruchowo informatyczno matematyczne z odpowiednim laboratorium komputerowym. Są to Statystyka Procesów Transportowych (patrz Woch, 2001a) w semestrze III, Podstawy Inżynierii Ruchu w semestrze IV oraz Teoria Potoków Ruchu w semestrze V, co daje odpowiednią kolejność technologiczną. W ramach Podstaw Inżynierii Ruchu w semestrze IV wykładana jest teoria masowej obsługi (teoria kolejek), która stanowi podstawę matematyczną Teorii Potoków Ruchu. Jest to najbardziej matematyczny wątek, dlatego oparto się na książce TPR0-7 1

8 Zitek (1974), najprzystępniejszej z tego zakresu, którą dodatkowo wzbogacono o liczne rysunki ilustrujące wątek matematyczny, bez dowodów, a więc na takim samym poziomie matematycznym, jak książka Drew (1968), przyjętej tutaj jako wzorzec dydaktyczny. Do tej części dodane zostały dwa rozdziały o symulacji komputerowej ruchu na pasie wyjazdowym i wjazdowym autostrady wg Drew (1968) rozdział 5 - oraz symulacji komputerowej węzłów torowych wg Wocha (1977) rozdział 6. Jest to inżynierskie uzupełnienie modeli teoriokolejkowych o symulację komputerową, będącą podstawowym narzędziem tych metod w praktyce. Wydaje się być oryginalnym pomysłem dydaktycznym ilustrowanie teorii masowej obsługi odpowiednimi problemami symulacyjnymi. Ponieważ literatura zasadniczego nurtu Teorii Potoków Ruchu - rozdziały została uzupełniona jedynie o artykuły przeglądowe o aktualnych metodach oceny przepustowości węzłów torowych Wocha (2001b) (rozdział 17) oraz aktualnych metod oceny przepustowości skrzyżowań z drogą główną, a właściwie metod oceny odstępu granicznego Brilon, Koenig, and Troutbeck, (1999) (rozdział 18), a następnie odpowiednich metod w Polsce Chodur (2001) (rozdział 19), a więc z rozmysłem nie zamieszczono literatury Teorii Potoków Ruchu nie wykorzystujących metod teoriokolejkowych, z wyjątkiem rozdziałów 7-12 obejmujących tak zwaną klasykę Teorii Potoków Ruchu. Ujęcie tej klasyki przez Ashtona (1966) dalej pozostaje aktualne, zwłaszcza po wzbogaceniu o rysunki. Ograniczenie tematyki Teorii Potoków Ruchu tylko do modeli teoriokolejkowych ma wielu zwolenników i zawiera pewną manifestację poglądów autora na inne metody modelowania matematycznego, stosowane czasami w Teorii Potoków Ruchu, co wyjaśnia się w dalszym ciągu. Celem podręcznika jest połączenie pewnej, wciąż aktualnej klasyki Teorii Potoków Ruchu z lat 60. i 70., zawartych w książkach Ashtona (1966), Drew (1968), Haighta (1963) oraz Wocha (1977) z najnowszymi modelami oceny przepustowości dróg Teorii Potoków Ruchu Woch (1998, 2001b) (rozdziały 13-17) oraz najnowszymi metodami oceny odstępu granicznego Brilon, Koenig, i Troutbeck, (1999) (rozdział 18) oraz odpowiednimi metodami w Polsce Chodur (2001) (rozdział 19), co wymaga wyłożenia w najprostszej formie metod teorii kolejek i metod Monte Carlo, będących podstawowymi narzędziami matematycznymi tego typu modeli Teorii Potoków Ruchu. Dlatego pierwsze cztery rozdziały poświęcone są teorii kolejek opartej znanym podręczniku Zitka (1974). Wprowadzenie metod Monte Carlo, będących naturalnym przedłużeniem metod teorii kolejek, oparto na znanej książce Drew (1968) rozdział 5 ponieważ jest to zarazem zastosowanie metod Monte Carlo stosowanych do modelowania ruchu samochodowego w latach 60. w USA, natomiast rozdział 6 poświęcono zastosowaniu metod Monte Carlo do zbudowania nowych metod oceny przepustowości węzłów torowych, opartych na doświadczeniach autora w latach 70. Woch (1977) nazwanych wtedy metodami soutowskimi. Natomiast poza zasięgiem podręcznika jest rozwój Teorii Potoków Ruchu nie wykorzystujących narzędzi teorii kolejek, jak na przykład Daganzo, (1998), które pod względem modelowym niewłaściwie ujmują fizyczne aspekty potoków ruchu. Autor, jak widać, reprezentuje poglądy znakomitej większości zwolenników metod naturalnych w Teorii Potoków Ruchu, to znaczy metod teoriokolejkowych, które oprócz modeli analitycznych prowadzą do budowy modeli symulacji komputerowej w sensie metod Monte Carlo, co sprawia, że metody teoriokolejkowe traktowane są jako główne narzędzie matematyczne Teorii Potoków Ruchu. Z tego powodu połowę treści Teorii Potoków Ruchu stanowią treści teorii kolejek oraz metod Monte Carlo w modelowaniu przepustowości dróg. Autor przeżył tu szczególne doświadczenia z lat 60., 70. i 80. z zastosowania symulacji komputerowej węzłów torowych dla oceny przepustowości, które doprowadziły do nowych metod oceny przepustowości sieci kolejowej, nazwanych metodami soutowskimi, szeroko stosowanymi w praktyce, przedstawione w rozdziale 6 in statu nascendi, tj. na początku lat 70. oraz z dzisiejszej perspektywy w rozdziale 17. TPR0-8 1

9 Owczesna technika komputerowa przedstawiona w rozdziale 5 (Drew, 1968), jak i 6 (Woch, 1977), wywołuje rozbawienie wśród znawców możliwości dzisiejszej techniki komputerowej, podwajającej swe możliwości co półtora roku. Z tego względu w obydwu rozdziałach w tych miejscach, w których to wydawało się słuszne, umieszczono odpowiednie komentarze. Od strony dydaktycznej takie rozdziały 5 i 6 wydają się być niezwykle cenne, ponieważ stanowią dobre wprowadzenie do metod Monte Carlo w zagadnieniach przepustowości sieci transportowych. Aktualne ujęcie przedstawione w rozdzale 17 (Woch, 2001b) jest połączeniem modeli ruchomego bufora rozdział 14 (Woch, 1998) oraz największej oczekiwanej płynności ruchu rozdział 15 (Woch, 1998) oraz numerycznego porównania modeli Heidmanna, ruchomego bufora, największej oczekiwanej płynności ruchu z HCM 1996 rozdział 16 (Woch, 1998) z metodami oceny przepustowości węzłów torowych widzianych z pozycji nowego wieku. Autor również reprezentuje pogląd wielu autorów, którzy nie zgadzają się na założenie poissonowskości procesów ruchu, to znaczy wykładniczości odstępów między pojazdami. Jak wiadomo, większość stosowanych modeli przepustowości zawiera takie założenie. Większość autorów, między innymi Ashton (1968), Haight (1964), Drew (1968) oraz Heidemann (1996), a w inżynierii ruchu kolejowego Węgierski (1971) i Woch (1977) podają inne rozkłady prawdopodobieństwa niż Poissona lub wykładniczy. Ci, którzy nie zgadzają się na założenie wykładniczych odstępów potoków ruchu byli pionierami w zastosowaniu metod Monte Carlo do oceny przepustowości dróg, ponieważ do niedawna metody analityczne teorii kolejek nie spełniały oczekiwań. Sytuacja zmieniła się w roku 1998, kiedy powstały nowe narzędzia modelowe teorii kolejek, które pozwalają na budowę nowych modeli podstawowych: modelu ruchomego bufora - rozdział 14 (Woch, 1998) oraz modelu największej oczekiwanej płynności ruchu rozdział 15 (Woch, 1998). Modele te zyskują co raz więcej zwolenników. Istotą wszystkich potoków ruchu transportowego jest mała wariancja odstępów powstająca w wyniku konieczności utrzymywania bezpiecznych odległości. Jeżeli oznaczymy przez 1 µ oczekiwany odstęp między pojazdami, a - minimalny odstęp, to stosunek minimalnego odstępu do oczekiwanego jest w rzeczywistości bliski 0.8, jak to wykazał Heidemann (1996) w badaniach statystycznych w Niemczech. Dlatego wydaje się jedynie kwestią odpowiedniego czasu potrzebnego na popularyzację nowych, opracowanych przez autora, narzędzi teoriokolejkowych, tak zwanych zlepionych modeli M + / M + /1, pozwalających na modelowanie bezpiecznej odległości między pojazdami, za pomocą tego typu nowych narzędzi matematycznych. Pozwalają one na zakładanie przesuniętego rozkładu wykładniczego odstępów miedzy przybyciami oraz przesuniętego rozkładu czasu obsługi, gdzie elementarnym składnikiem drogi jest tak długi odcinek, że pozwala na płynny przejazd pojazdu, a więc za pomocą tych modeli można ocenić przepustowość drogi. Za pomocą modelu ruchomego bufora oraz modelu największej oczekiwanej płynności ruchu, które pozwalają na bardzo interesujące analizy porównawcze różnych modeli przepustowości. Zwolenników nowych modeli przepustowości drogi przybywa, powstała również wersja kolejowa tych modeli przedstawiona w rozdziale 17 (Woch, 2001b). Również najnowszym ujęciem jest przegląd metod oceny odstępu granicznego przedstawiony w rozdziale 18 (Brilon, Koenig, and Troutbeck, 1999) oraz odpowiednich polskich metod w rozdziale 19 (Chodur, 2001) TPR0-9 1

10 Autor ma nadzieję, że prezentowany podręcznik akademicki spotka się z życzliwością studentów oraz kolegów wykładowców. Gdyby pojawiły się jakieś uwagi Czytelników proszę o przesłanie na adres janusz.woch@polsl.pl. Katowice, 27 września 2001 Janusz Woch Zakład Inżynierii Ruchu Instytutu Transportu w Katowicach Literatura Ashton, W.D., The theory of road traffic flow. METHUEN & CO LTD. Brilon, W., Koenig, R., Troutbeck, R.J., Useful estimation procedures for critical gaps. Transportation Research Part A 33, Chodur, J., Estimation of the critical gaps performance of priority type intersection. Archives of Transport 13-1, Drew, D. R.,1968. Traffic flow theory and control. McGraw-Hill Book Company, New York. Haight, F. A.,1963. Mathematical theories of traffic flow. Academic Press, New York. Heidemann, D.,1996. A queueing theory approach to speed-flow-density relationships. In: Transportation and Traffic Theory. (ed Lesort), Pergamon, Woch, J.,1977. Ogólne ujęcie zagadnień przepustowości jako problemu wymiarowania układów kolejowych (w): Informatyka w planowaniu technicznym przewozów kolejowych (praca zbiorowa pod redakcją A. Truskolaskiego i J. Węgierskiego). WKŁ Warszawa. Woch, J.,1998. Kształtowanie płynności ruchu w gęstych sieciach transportowych. Polska Akademia Nauk Oddział w Katowicach, Komisja Transportu. Katowice, Wydawnictwo Szumacher. Woch, J., 2001a. Statystyka procesów transportowych. Wydawnictwo Politechniki Śląskiej, Gliwice. Woch, J., 2001b. Complex railway junctions capacities and railway network effectiveness. Archives of Transport,13-3, Zitek, F., Stracony czas, Elementy teorii obsługi masowej. PWN, Warszawa. TPR0-10 1