Fałszywe Zawężenia Ruchu — Dlaczego Powstaje Zagęszczenie z Nikąd

Zator społeczny bez przyczyny

Phantomowy zator ruchu drogowego (zwany również jamem duchowym lub jamitonem) to obszar gęstego, wolno płynącego – a nawet zatrzymanego – ruchu pojazdów, który nie ma fizycznego wąskiego gardła: żadnej wypadków, ani zbiegu jezdni, ani zamknięcia pasa ruchu. Powstaje spontanicznie, gdy gęstość ruchu przekroczy krytyczny próg i każda niewielka zmiana prędkości ulega zaburzeniu. Japońscy badacze słynnym przykładem udowodnili to w 2008 roku: umieścili 22 samochody na okrągłej pętli i poinstruowali kierowców, aby utrzymali stałą prędkość i równomierne odstępy. W ciągu kilku minut drobne losowe wariacje przerodziły się w falę zatrzymywania się i przyspieszania, która nieustannie krążyła wokół toru. Sam zator porusza się do tyłu – przeciwnie do kierunku ruchu pojazdów – z prędkością około 15 km/h, niezależnie od tego, jaką prędkość mieli wcześniej samochody.

Przepływ drogowy jako fala

Inżynierowie ruchu drogownego modelują przepływ pojazdów za pomocą dwóch ciągłych wielkości: przepływu q (pojazdy na godzinę) i gęstości k (pojazdów na kilometr), powiązanych wzorem q = k × v. Przy niskiej gęstości kierowcy jadą szybko; wzrost gęstości powoduje spadek prędkości, co daje charakterystyczny, wypukły kształt wykresu przepływu, w którym przepływ osiąga szczyt przy krytycznej gęstości k_crit. Po przekroczeniu tego punktu droga przechodzi w stan zatorów: wszelkie zakłócenia – np. hamowanie przez jednego kierowcę – rozprzestrzeniają się wstecz jako fala kinematyczna, wzmacniana reakcją kolejnych kierujących, którzy reagują na to z przesady.

Model Nagela-Schreckenberga

Najprostszym modelem mikrostrukturnym przepływu ruchu samochodowego jest model Nagela-Schreckenberga (NaSch) z 1992 roku, dwuwymiarowy automat komórkowy. Autostrada jest podzielona na komórki; każda komórka jest pusta lub zajmowana przez jeden pojazd o zmiennym tempie v ∈ {0, 1, ..., vmax}. W każdym kroku czasowym stosuje się cztery zasady w następującej kolejności:

1. Przyspieszenie: v → min(v + 1, vmax) 2. Hamowanie bezpieczeństwa: v → min(v, przerwa − 1) [przerwa = puste komórki przed] 3. Losowość: z prawdopodobieństwem p, v → max(v − 1, 0) 4. Ruch: każdy pojazd przesuwa się o v komórek Wielkości prawdopodobieństwa p = 0,3 (30% szansy na losowe hamowanie), model spontanie generuje fale zatrzymania i ruchu pasmowego odpowiadające rzeczywistym danym autostradowym. Model NaSch jest niezwykły: jest całkowicie deterministyczny z wyjątkiem kroku losowości, a jednak realistyczne wzorce korków pojawiają się dzięki tylko czterem prostym zasadom — czysty przykład zachowania emergentnego. Jest to ten sam automat komórkowy obwodnicy, symulowany interaktywnie poniżej, na obwodzie o L=200 komórkach.

1. Acceleration:   v → min(v + 1, v_max)
2. Safety braking: v → min(v, gap − 1)   [gap = empty cells ahead]
3. Randomisation:  with probability p, v → max(v − 1, 0)
4. Movement:       each vehicle advances v cells

Even with p = 0.3 (30% chance of random braking), the model
spontaneously produces stop-and-go waves matching real motorway data.

Jamitony i matematyka fal upewniających się

W 2009 roku badacze MIT (Flynn, Kasimov, Nave, Rosales, Seibold) pokazali analitycznie, że równania przepływu ruchu drogowego pozwalają na dokładne rozwiązania fal podróżnych, zwane jamitonami, analogicznie do solitonów. Jamiton jest samopodtrzymujący się tak długo, jak gęstość przekracza k_kryty i czas reakcji kierowców jest skończony τ > 0 – rzeczywisty czas reakcji człowieka wynosi 0,5–1,5 s, podczas gdy system adaptacyjny z kontroli podróżnej (samochody komunikujące się) może obniżyć τ poniżej 0,05 s, co całkowicie tłumi formowanie jamitonów. Podstawową równaniem ciągłości jest model LWR (Lighthill-Whitham-Richards): ∂k/∂t + ∂q/∂x = 0, hiperboliczna RNS, której prędkość fali c = dq/dk staje się ujemna w stanie zatłoczenia – zakłócenie naprawdę propaguje wstecz.

Frequently asked questions

Wypróbuj na żywo

Wszystko powyżej działa bezpośrednio w Twojej przeglądarce — otwórz the simulation i zmieniaj parametry podczas działania. Nic nie jest instalowane ani przesyłane na serwer, cały model działa w jednej karcie.