Ruch drogowy, korki uliczne - czy fizyk może coś na to poradzić?

Podobne dokumenty
Automaty komórkowe. Katarzyna Sznajd-Weron

Modelowanie wieloskalowe. Automaty Komórkowe - podstawy

Dynamiki rynków oligopolistycznych oczami fizyka

Obliczenia inspirowane Naturą

Modelowanie wieloskalowe. Automaty Komórkowe - podstawy

Modelowanie systemów biomedycznych

MODELOWANIE RZECZYWISTOŚCI

Podręcznik. Model czy teoria

Symulacja ruchu pojazdów w mieście

pojawianie się na drodze - z prawdopodobieństwem alf a nowe auto pojawia się na początku ulicy z pewną prędkością początkową

Strumień pojazdów w modelach ruchu drogowego wykorzystujących automaty komórkowe

Układy dynamiczne Chaos deterministyczny

Modele i symulacje zmienności potoków ruchu w przestrzeni dowolnej ilości skrzyżowań

MODELOWANIE RZECZYWISTOŚCI

Modelowanie komputerowe

MODELOWANIE RUCHU ULICZNEGO ZA POMOCĄ AUTOMATÓW KOMÓRKOWYCH

Symulator do mikroskopowej analizy ruchu drogowego

Potęga modeli agentowych

Prognozowanie i Symulacje. Wykład I. Matematyczne metody prognozowania

Prawdopodobieństwo geometryczne

Symulacje komputerowe

1. Symulacje komputerowe Idea symulacji Przykład. 2. Metody próbkowania Jackknife Bootstrap. 3. Łańcuchy Markova. 4. Próbkowanie Gibbsa

Turing i jego maszyny

Teoria gier. prof. UŚ dr hab. Mariusz Boryczka. Wykład 4 - Gry o sumie zero. Instytut Informatyki Uniwersytetu Śląskiego

INSTRUKCJA DO ĆWICZENIA NR 7

BIOINFORMATYKA. Copyright 2011, Joanna Szyda

Modelowanie Wieloskalowe. Automaty Komórkowe w Inżynierii Materiałowej

Powstanie gry Opis reguł gry Reguły według Conwaya Elementy występujące w grze Modyfikacje gry Charakterystyka automatu komórkowego Gra w Życie

Obszary strukturalne i funkcyjne mózgu

Wstęp do sieci neuronowych, wykład 11 Łańcuchy Markova

Katarzyna Jesionek Zastosowanie symulacji dynamiki cieczy oraz ośrodków sprężystych w symulatorach operacji chirurgicznych.

W dowolnym kwadracie 3x3 ustawiamy komórki na palące się (stan 3). Program powinien pokazywać ewolucję pożaru lasu.

Powtórzenie wiadomości z klasy I. Temat: Ruchy prostoliniowe. Obliczenia

Nadzór nad prowadzeniem szkoleń sprawuje Wojewoda.

Obliczenia inspirowane Naturą

Kwalifikacja wstępna? cena : zł.? 280 godz./ 90 dni/

Michał Cydzik. Promotor: Mgr inż. Waldemar Ptasznik-Kisieliński

oności. Zastosowanie modelowania Agent-based Computational Economics w nauczaniu zdalnym

Wojny Coli - czyli siła reklamy na rynku oligopolicznym

Stochastyczna dynamika z opóźnieniem czasowym w grach ewolucyjnych oraz modelach ekspresji i regulacji genów

Tworzenie gier na urządzenia mobilne

ZESTAW POWTÓRKOWY (1) KINEMATYKA POWTÓRKI PRZED EGZAMINEM ZADANIA WYKONUJ SAMODZIELNIE!

Wstęp do sieci neuronowych, wykład 12 Łańcuchy Markowa

ZŁOŻONOŚĆ OBLICZENIOWA ALGORYTMÓW

SZKOLENIA DLA KIEROWCÓW ZAWODOWYCH

Obrona rozprawy doktorskiej Neuro-genetyczny system komputerowy do prognozowania zmiany indeksu giełdowego

Strefa pokrycia radiowego wokół stacji bazowych. Zasięg stacji bazowych Zazębianie się komórek

Krytyczność, przejścia fazowe i symulacje Monte Carlo. Katarzyna Sznajd-Weron Physics of Complex System

Podręcznik. Przykład 1: Wyborcy

Technologie Informacyjne

Implementacja modelu FHP w technologii NVIDIA CUDA

Zadania o numerze 4 z zestawów licencjat 2014.

STATYSTYKA MATEMATYCZNA

Pętle i tablice. Spotkanie 3. Pętle: for, while, do while. Tablice. Przykłady

Zwiększanie losowości

Rozdział 2: Metoda największej wiarygodności i nieliniowa metoda najmniejszych kwadratów

Instytut Politechniczny Państwowa Wyższa Szkoła Zawodowa. Diagnostyka i niezawodność robotów

Sztuczna inteligencja stan wiedzy, perspektywy rozwoju i problemy etyczne. Piotr Bilski Instytut Radioelektroniki i Technik Multimedialnych

TEORIA GIER W NAUKACH SPOŁECZNYCH. Gry macierzowe, rybołówstwo na Jamajce, gry z Naturą

Spacery losowe generowanie realizacji procesu losowego

Zmienność wiatru w okresie wieloletnim

Jak długo żyją spółki na polskiej giełdzie? Zastosowanie statystycznej analizy przeżycia do modelowania upadłości przedsiębiorstw

Prawa wielkich liczb, centralne twierdzenia graniczne

Mateusz Żyliński Tadeusz Włodarkiewicz. WireWorld. Zebranie informacji dotyczących tematyki projektu oraz przedstawienie koncepcji realizacji projektu

Wykład z dnia 8 lub 15 października 2014 roku

Ocena skuteczności zastosowania oznakowania aktywnego na przejściach dla pieszych

WYZNACZANIE NIEPEWNOŚCI OBLICZEŃ W PRZYPADKU MODELI NIELINIOWO ZALEŻNYCH OD PARAMETRÓW

Statystyka i opracowanie danych Podstawy wnioskowania statystycznego. Prawo wielkich liczb. Centralne twierdzenie graniczne. Estymacja i estymatory

MODELOWANIE RZECZYWISTOŚCI

AUTOMATY KOMÓRKOWE. Symulacje komputerowe (11) Sławomir Kulesza

Rachunku prawdopodobieństwa: rys historyczny, aksjomatyka, prawdopodobieństwo warunkowe,

P (A B) P (B) = 1/4 1/2 = 1 2. Zakładamy, że wszystkie układy dwójki dzieci: cc, cd, dc, dd są jednakowo prawdopodobne.

Algorytmy metaheurystyczne Wykład 6. Piotr Syga

Politechnika Śląska. Katedra Wytrzymałości Materiałów i Metod Komputerowych Mechaniki. Praca dyplomowa inżynierska. Wydział Mechaniczny Technologiczny

Ocena wpływu rozwoju elektromobilności na stan jakości powietrza

Strategia poprawy bezpieczeństwa drogowego w Polsce

Układy stochastyczne

Wprowadzenie do środowiska MATLAB z zastosowaniami w modelowaniu i analizie danych

Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne

Ruch drogowy a sztuczna inteligencja. Paweł Gora , LVI Szkoła Matematyki Poglądowej

MODELOWANIE NIETYPOWYCH SYTUACJI NA SKRZYŻOWANIACH Z WYKORZYSTANIEM AUTOMATU KOMÓRKOWEGO

Ruchome Piaski v1.0. Maciej Matyka

Symulacja Monte Carlo izotermy adsorpcji w układzie. ciało stałe-gaz

Automat komórkowy w modelowaniu ruchu na małym skrzyżowaniu

Modelowanie komputerowe

Ćwiczenie 1b. Silnik prądu stałego jako element wykonawczy Modelowanie i symulacja napędu CZUJNIKI POMIAROWE I ELEMENTY WYKONAWCZE

Ekotoksykologia 12/9/2016. Procesy losowe w populacjach a skutki działania substancji toksycznych

Wykład 2 Hipoteza statystyczna, test statystyczny, poziom istotn. istotności, p-wartość i moc testu

PROJEKT ORGANIZACJI RUCHU CZASOWEJ I DOCELOWEJ

MODELOWANIE RZECZYWISTOŚCI

Kierunek: Matematyka Poziom studiów: Studia II stopnia Forma i tryb studiów: Stacjonarne

Metody Ilościowe w Socjologii

SAFEWAY2SCHOOL Europejski projekt z wykorzystaniem ITS dla zwiększania bezpieczeostwa dojazdów do szkół Pilotażowe wdrożenie w Polsce

Stabilność II Metody Lapunowa badania stabilności

Wykorzystanie pakietu simecoldo modelowania zachorowań na grypę.

Tomasz Niedzielski a,b, Wiesław Kosek a

Informatyka szkolna z perspektywy uczelni

ZADANIA OPTYMALIZCJI BEZ OGRANICZEŃ

TERMODYNAMIKA I FIZYKA STATYSTYCZNA

Modelowanie jako sposób opisu rzeczywistości. Katedra Mikroelektroniki i Technik Informatycznych Politechnika Łódzka

Transkrypt:

Ruch drogowy, korki uliczne - czy fizyk może coś na to poradzić? KNF Migacz, Instytut Fizyki Teoretycznej, Uniwersytet Wrocławski 16-18 listopada 2007

Spis treści

Spis treści 1

Spis treści 1 2

Spis treści 1 2 3 Model Nagela-Schreckenberga

Spis treści 1 2 3 Model Nagela-Schreckenberga 4 Symulacja a rzeczywistość

Spis treści 1 2 3 Model Nagela-Schreckenberga 4 Symulacja a rzeczywistość Niemcy Wrocław

Spis treści Szybki rozwój motoryzacji Nasilenie się ruchu na drogach Rozwój sieci drogowej - nie można w nieskończonośc poszerzać dróg

Spis treści Definicja Rys historyczny Przykłady Automat komórkowy to pojęcie matematyczne.

Spis treści Definicja Rys historyczny Przykłady Automat komórkowy to pojęcie matematyczne. Formalna definicja:

Spis treści Definicja Rys historyczny Przykłady Automat komórkowy to pojęcie matematyczne. Formalna definicja: zbiór {i} - sieć komórek przestrzeni d-wymiarowej

Spis treści Definicja Rys historyczny Przykłady Automat komórkowy to pojęcie matematyczne. Formalna definicja: zbiór {i} - sieć komórek przestrzeni d-wymiarowej zbiór {s i } - zbiór stanów i-tej komórki

Spis treści Definicja Rys historyczny Przykłady Automat komórkowy to pojęcie matematyczne. Formalna definicja: zbiór {i} - sieć komórek przestrzeni d-wymiarowej zbiór {s i } - zbiór stanów i-tej komórki reguła przejścia F określająca zachowanie stanu komórki w następnym kroku czasowym w zależności od obecnego stanu tej komórki oraz stanu jej sąsiadów, s i+1 = F ({s i (t), s j (t)}), gdzie j O(i) oraz O(i) jest zbiorem komórek sąsiednich do i-tej.

Spis treści Definicja Rys historyczny Przykłady Automat komórkowy to pojęcie matematyczne. Formalna definicja: zbiór {i} - sieć komórek przestrzeni d-wymiarowej zbiór {s i } - zbiór stanów i-tej komórki reguła przejścia F określająca zachowanie stanu komórki w następnym kroku czasowym w zależności od obecnego stanu tej komórki oraz stanu jej sąsiadów, s i+1 = F ({s i (t), s j (t)}), gdzie j O(i) oraz O(i) jest zbiorem komórek sąsiednich do i-tej. Jest to definicja automatu deterministycznego. Jeśli funkcja przejścia F zależy dodatkowo od zmiennej losowej to mamy doczynienia z automatem probabilistycznym.

Spis treści Definicja Rys historyczny Przykłady 1952/1953 - John von Neuman i Stanisław Ulam - pierwszy automat komórkowy

Spis treści Definicja Rys historyczny Przykłady 1952/1953 - John von Neuman i Stanisław Ulam - pierwszy automat komórkowy 1970 - John Conway - gra w życie

Spis treści Definicja Rys historyczny Przykłady 1952/1953 - John von Neuman i Stanisław Ulam - pierwszy automat komórkowy 1970 - John Conway - gra w życie 1983 - Stephen Wolfram - klasyfikacja automatów komórkowych

Spis treści Definicja Rys historyczny Przykłady 1952/1953 - John von Neuman i Stanisław Ulam - pierwszy automat komórkowy 1970 - John Conway - gra w życie 1983 - Stephen Wolfram - klasyfikacja automatów komórkowych 1 I - Automaty niezmienne ewoluują do czasu, kiedy wszystkie komórki osiągną identyczny stan niezależnie od stanu początkowego (zbieżne).

Spis treści Definicja Rys historyczny Przykłady 1952/1953 - John von Neuman i Stanisław Ulam - pierwszy automat komórkowy 1970 - John Conway - gra w życie 1983 - Stephen Wolfram - klasyfikacja automatów komórkowych 1 I - Automaty niezmienne ewoluują do czasu, kiedy wszystkie komórki osiągną identyczny stan niezależnie od stanu początkowego (zbieżne). 2 II - Automaty ewoluujące do stanu stabilnego lub okresowych wzorców (okresowe).

Spis treści Definicja Rys historyczny Przykłady 1952/1953 - John von Neuman i Stanisław Ulam - pierwszy automat komórkowy 1970 - John Conway - gra w życie 1983 - Stephen Wolfram - klasyfikacja automatów komórkowych 1 I - Automaty niezmienne ewoluują do czasu, kiedy wszystkie komórki osiągną identyczny stan niezależnie od stanu początkowego (zbieżne). 2 II - Automaty ewoluujące do stanu stabilnego lub okresowych wzorców (okresowe). 3 III - Automaty wykazujące nieporządek zarówno lokalnie jak i globalnie, nie wykazujące żadnego wzorca (chaotyczne).

Spis treści Definicja Rys historyczny Przykłady 1952/1953 - John von Neuman i Stanisław Ulam - pierwszy automat komórkowy 1970 - John Conway - gra w życie 1983 - Stephen Wolfram - klasyfikacja automatów komórkowych 1 I - Automaty niezmienne ewoluują do czasu, kiedy wszystkie komórki osiągną identyczny stan niezależnie od stanu początkowego (zbieżne). 2 II - Automaty ewoluujące do stanu stabilnego lub okresowych wzorców (okresowe). 3 III - Automaty wykazujące nieporządek zarówno lokalnie jak i globalnie, nie wykazujące żadnego wzorca (chaotyczne). 4 IV - Automaty wykazujące bardziej złożone, długotrwałe zachowanie ( żywe ).

Popularne automaty komórkowe Definicja Rys historyczny Przykłady Gra w życie

Popularne automaty komórkowe Definicja Rys historyczny Przykłady Gra w życie Mrówka Langtona

Twórcy: Karl Nagel, Michael Schreckenberg

Twórcy: Karl Nagel, Michael Schreckenberg Założenia:

Twórcy: Karl Nagel, Michael Schreckenberg Założenia: komórka ma 7.5 m - średnia długość pojazdu,

Twórcy: Karl Nagel, Michael Schreckenberg Założenia: komórka ma 7.5 m - średnia długość pojazdu, droga jest jednokierunkowa i jednopasmowa,

Twórcy: Karl Nagel, Michael Schreckenberg Założenia: komórka ma 7.5 m - średnia długość pojazdu, droga jest jednokierunkowa i jednopasmowa, komórka wolna lub zajęta,

Twórcy: Karl Nagel, Michael Schreckenberg Założenia: komórka ma 7.5 m - średnia długość pojazdu, droga jest jednokierunkowa i jednopasmowa, komórka wolna lub zajęta, jedna komórka może być zajęta tylko przez jeden pojazd,

Twórcy: Karl Nagel, Michael Schreckenberg Założenia: komórka ma 7.5 m - średnia długość pojazdu, droga jest jednokierunkowa i jednopasmowa, komórka wolna lub zajęta, jedna komórka może być zajęta tylko przez jeden pojazd, w komórce wartość liczbowa odpowiadająca aktualnej prędkości samochodu.

Ruch pojazdów w tym modelu odbywa się w 4 krokach:

Ruch pojazdów w tym modelu odbywa się w 4 krokach: 1 Przyspieszenie

Ruch pojazdów w tym modelu odbywa się w 4 krokach: 1 Przyspieszenie 2 Hamowanie

Ruch pojazdów w tym modelu odbywa się w 4 krokach: 1 Przyspieszenie 2 Hamowanie 3 Losowość

Ruch pojazdów w tym modelu odbywa się w 4 krokach: 1 Przyspieszenie 2 Hamowanie 3 Losowość 4 Przesunięcie

- przyspieszenie Pojazdy zwiększają prędkość o jeden o ile jest to zgodne z przepisami. Możemy to wyrazić wzorem:

- przyspieszenie Pojazdy zwiększają prędkość o jeden o ile jest to zgodne z przepisami. Możemy to wyrazić wzorem: v i < v max v i = v i + 1

- hamowanie Jeśli liczba wolnych komórek jest mniejsza niż aktualna prędkość to pojazd hamuje.

- hamowanie Jeśli liczba wolnych komórek jest mniejsza niż aktualna prędkość to pojazd hamuje. v i > d v i = d

- losowość W prawdziwym ruchu mamy zdarzenia losowe, np: wtargnięcie osoby na jezdnię zapatrzenie się przez kierowcę na reklamę

- losowość W prawdziwym ruchu mamy zdarzenia losowe, np: wtargnięcie osoby na jezdnię zapatrzenie się przez kierowcę na reklamę Aby to symulować czasami prędkość pojazdu jest zmniejszana z pewnym prawdopodobieństwem o jeden.

- losowość W prawdziwym ruchu mamy zdarzenia losowe, np: wtargnięcie osoby na jezdnię zapatrzenie się przez kierowcę na reklamę Aby to symulować czasami prędkość pojazdu jest zmniejszana z pewnym prawdopodobieństwem o jeden. v i > 0 P < p v i = v i 1

- przesunięcie Po wykonaniu obliczeń z trzech powyższych kroków następuje przesunięcie pojazdów o aktualną prędkość i zwiększenie zmiennej czasu o 1.

- symulacja Założenia:

- symulacja Założenia: max 100 samochodów

- symulacja Założenia: max 100 samochodów prędkość początkowa losowa

- symulacja Założenia: max 100 samochodów prędkość początkowa losowa prędkość maksymalna 5

- symulacja Założenia: max 100 samochodów prędkość początkowa losowa prędkość maksymalna 5 zagęszczenie pojazdów 0.4

- symulacja Założenia: max 100 samochodów prędkość początkowa losowa prędkość maksymalna 5 zagęszczenie pojazdów 0.4 prawdopodobieństwo losowego zaspania 0.3 - w symulacji 1

- symulacja Założenia: max 100 samochodów prędkość początkowa losowa prędkość maksymalna 5 zagęszczenie pojazdów 0.4 prawdopodobieństwo losowego zaspania 0.3 - w symulacji 1 prawdopodobieństwo losowego zaspania 0.7 - w symulacji 2

w Niemczech Z inicjatywy Michaela Schreckenberga na Uniwersytecie w Duisburgu powstał projekt, dzięki któremu kierowcy w okolicach Kolonii, Bonn i Aachen mogą na bieżąco otrzymywać informację o tym gdzie są korki. Możliwe jest również otrzymanie informacji o przewidywanych korkach za 30 lub 60 minut.

w Niemczech Z inicjatywy Michaela Schreckenberga na Uniwersytecie w Duisburgu powstał projekt, dzięki któremu kierowcy w okolicach Kolonii, Bonn i Aachen mogą na bieżąco otrzymywać informację o tym gdzie są korki. Możliwe jest również otrzymanie informacji o przewidywanych korkach za 30 lub 60 minut. Problem leży w skuteczności tego systemu przewidywania - zazwyczaj gdy wiemy, że jest korek to próbujemy go ominąć. Ale nie wszyscy tak czynią. Badania pokazały istnienie trzech grup:

w Niemczech Z inicjatywy Michaela Schreckenberga na Uniwersytecie w Duisburgu powstał projekt, dzięki któremu kierowcy w okolicach Kolonii, Bonn i Aachen mogą na bieżąco otrzymywać informację o tym gdzie są korki. Możliwe jest również otrzymanie informacji o przewidywanych korkach za 30 lub 60 minut. Problem leży w skuteczności tego systemu przewidywania - zazwyczaj gdy wiemy, że jest korek to próbujemy go ominąć. Ale nie wszyscy tak czynią. Badania pokazały istnienie trzech grup: wrażliwych,

w Niemczech Z inicjatywy Michaela Schreckenberga na Uniwersytecie w Duisburgu powstał projekt, dzięki któremu kierowcy w okolicach Kolonii, Bonn i Aachen mogą na bieżąco otrzymywać informację o tym gdzie są korki. Możliwe jest również otrzymanie informacji o przewidywanych korkach za 30 lub 60 minut. Problem leży w skuteczności tego systemu przewidywania - zazwyczaj gdy wiemy, że jest korek to próbujemy go ominąć. Ale nie wszyscy tak czynią. Badania pokazały istnienie trzech grup: wrażliwych, konserwatystów

w Niemczech Z inicjatywy Michaela Schreckenberga na Uniwersytecie w Duisburgu powstał projekt, dzięki któremu kierowcy w okolicach Kolonii, Bonn i Aachen mogą na bieżąco otrzymywać informację o tym gdzie są korki. Możliwe jest również otrzymanie informacji o przewidywanych korkach za 30 lub 60 minut. Problem leży w skuteczności tego systemu przewidywania - zazwyczaj gdy wiemy, że jest korek to próbujemy go ominąć. Ale nie wszyscy tak czynią. Badania pokazały istnienie trzech grup: wrażliwych, konserwatystów i hazardzistów.

we Wrocławiu W związku z dużą ilością remontów dróg we Wrocławiu KUSI 1 i IFT UWr 2 symulowały efekty jednej z prowadzonych przebudów. W wyniku symulacji otrzymaliśmy informację, że sama przebudowa nie da zbyt wiele. Konieczna byłaby dodatkowa zmiana organizacji ruchu. 1 Katedra Unesco Studiów Interdyscyplinarnych 2 Instytut Fizyki Teoretycznej Uniwersytetu Wrocławskiego

Spis treści Korzystając z wymyślonych przez fizyków modeli można skutecznie przewidywać korki i usprawniać ruch drogowy, zarówno na autostradach (Niemcy) jak i w miastach (Wrocław).

Bibliografia Spis treści Andreas Schadschneider, Statistical Physics of Traffic Flow, Physica A 285, 101 (2000). Maciej Bartodziej, Modelowanie ruchu ulicznego za pomocą automatów komórkowych, http://www.im.pwr.wroc.pl/ rweron/prace/bartodziej07.pdf Katarzyna Sznajd-Weron, Opowieść o fizyce egzotycznej, Wiedza i Życie, X 2001. Wolfgang Knospe, Ludger Santen, Andreas Schadschneider, Michael Schreckenberg, Empirical test for cellular automaton models of traffic flow, Physical Review E 70, 016115 (2004).

Koniec Spis treści Dziękuję za uwagę!