Привидні затори — Чому виникає затор з нізвідки

Несподівана заторна ситуація

Фантомний затор (також відомий як примарний затор або jamiton) – це область щільної, повільно рухаючоїся – або навіть зупиненого – руху, яка не має фізичного вузького місця: ні аварії, ні злиття проїздів, ні перекриття смуг. Він виникає спонтанно, коли щільність трафіку перевищує певний поріг, і будь-яка незначна зміна швидкості викликає дестабілізацію. Японські дослідники відомо дали це демонстрацію у 2008 році: вони розмістили 22 автомобілі на круговій трасі та наказали водіям підтримувати постійну швидкість і рівномірний простір між ними. Через кілька хвилин випадкові коливання перетворилися на хвилю зупинки-початку, яка безперервно оберталася навколо траси. Сам затор рухається назад – протилежно до напрямку руху транспорту – приблизно зі швидкістю 15 км/год, незалежно від початкової швидкості автомобілів.

Рух транспорту як хвиля

Інженери руху моделюють рух транспортних засобів двома безперебюджевими величинами: потік q (кількість транспортних засаду на годину) та щільність k (кількість транспортних засобів на кілометр), пов’язаними формулою q = k × v. При низькій щільності водії рухаються швидко; коли щільність зростає, швидкість падає, що дає характерний хвилястий графік, де потік досягає піку при критичній щільності k_крит. Поза цим пунктом дорога переходить у режим заторів: будь-яке порушення — один водій гальмує — поширюється як кінематична хвиля надінструментом, підсилена через реактивний час та сприйняту небезпеку від інших водіїв.

Модель Nagel-Schreckenberg

Найпростіший мікроскопічний модель потоку трафіку – це модель Nagel-Schreckenberg (NaSch) (1992), одномірний клітинний автомат. Дорога ділиться на комірки; кожна комірка порожня або займається одним транспортним засобом з цілою швидкістю v ∈ {0, 1, ..., v_max}. Кожен крок часу застосовує чотири правила в наступному порядку:

1. Прискорення: v → min(v + 1, v_max) 2. Безпечне гальмування: v → min(v, gap − 1) [gap = порожні комірки попереду] 3. Рандомізація: з ймовірністю p, v → max(v − 1, 0) 4. Переміщення: кожне транспортне засобу рухається на v комірок Навіть із p = 0,3 (30% шанс випадкового гальмування), модель спонтанно генерує хвилі зупинок та рухів, що відповідають реальним даних автомагістралей. Модель NaSch є вражаючою: вона повністю детермінована, за винятком кроку рандомізації, але реалістичні візерунки заторів з'являються лише від чотирьох простих правил — чисте приклад емерджентної поведінки. Це те саме кільцеве клітинне автоматизоване середовище, яке імітується інтерактивно нижче, на кільці з L=200 комірок.

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.

Затори та математика хвиль

У 2009 році дослідники з Массачусетського технологічного інституту (Флінн, Казимов, Нав, Розалес, Сайбольд) аналітично показали, що рівняння потоку трафіку допускають точні хвильові рішення, що подорожують у часі, які називаються «замітами», подібно до солітонів. Заміт самопідтримується, поки щільність перевищує k_крит і водії мають кінцевий час реакції τ > 0 — справжній час реакції людини становить 0,5–1,5 с, тоді як кооперативний адаптивний cruise control (транспортні засоби, що спілкуються) може зменшити τ до 0,05 с, що повністю пригнічує утворення замітів. Прилегла контурна рівняння – модель LWR (Лайтхілл-Вітем-Річардс): ∂k/∂t + ∂q/∂x = 0, гіперболічна РДК, швидкість хвилі c = dq/dk стає від’ємною в завантаженому режимі — розлад справді поширюється наперед.

Frequently asked questions

Спробуйте наживо

Усе, що вище, працює прямо у вашому браузері — відкрийте the simulation і змінюйте параметри під час роботи. Нічого не встановлюється, нічого не завантажується на сервер, уся модель живе в одній вкладці.