aus Wikipedia, der freien Enzyklopädie
Das Nagel-Schreckenberg-Modell (kurz NaSch-Modell) ist ein theoretisches Modell zur Simulation des Straßenverkehrs. Es wurde Anfang der 90er Jahre von den Festkörperphysikern Kai Nagel und Michael Schreckenberg formuliert. Mit Hilfe mathematischer Formeln liefert es Voraussagen zum Straßenverkehr, insbesondere zur Verkehrsdichte (Autos je Streckenabschnitt) und zum Verkehrsfluss (vorbeifahrende Autos je Zeiteinheit). Das Modell erklärte das erste Mal Staus aus dem Nichts als Folge von Überreaktionen beim Bremsen der Vorderleute.
[Bearbeiten] Struktur des Modells
Im Modell setzt sich die Straße aus einzelnen Abschnitten, genannt Zellen zusammen. Die Sicht ist binär: eine Zelle ist leer oder wird von genau einem Auto besetzt, also überschreitet ein Auto auch keine Zellengrenzen. Auch die Zeit ist nach dem selben Schema, genannt Runden zerlegt. In jeder Runde wird zunächst gleichzeitig für alle Autos festgelegt, wohin sie sich bewegen werden, dann erst werden die Autos bewegt. Diese Struktur entspricht einem Zellularautomaten. Dem Modell liegt die Annahme des schlechtestmöglichen Verkehrs zugrunde, also der ständigen Angst vor dem Stau, da Überholen und Unfälle ausgeschlossen sind.
[Bearbeiten] Rechnerisches Beispiel
Die Länge einer Zelle soll dem Platz entsprechen, den ein im Stau stehendes Auto benötigt. Dies ist die Summe aus der durchschnittlichen Länge eines Autos und der Lücke zwischen zwei Autos. Üblicherweise wird hierfür der Wert 7,5 Meter angenommen. Als Dauer einer Runde wird die typische Reaktionszeit eines Verkehrsteilnehmers von einer Sekunde gesetzt. Damit ergibt sich eine Geschwindigkeit von 7,5 Metern pro Sekunde (27 km/h), wenn ein Auto in einer Runde eine Zelle vorrückt. Als Höchstgeschwindigkeit nimmt man dann zumeist fünf Zellen pro Runde (also 135 km/h) an.
[Bearbeiten] Ablauf einer Runde – die „Update-Regeln“
Pro Runde werden für alle Autos folgende vier Schritte durchgeführt:
- Falls die Maximalgeschwindigkeit eines Autos noch nicht erreicht ist, wird seine Geschwindigkeit um eins erhöht. (Beschleunigen)
- Falls die Lücke (in Zellen) zum nächsten Auto kleiner ist als die Geschwindigkeit (in Zellen), wird die Geschwindigkeit des Autos auf die Größe der Lücke reduziert. (Kollisionsfreiheit)
- Die Geschwindigkeit eines Autos wird mit der Wahrscheinlichkeit p um eins reduziert, sofern es nicht schon steht. (Trödeln)
- Alle Autos werden ihrer momentanen Geschwindigkeit entsprechend vorwärts bewegt.
Mit dem dritten Schritt werden drei Phänomene gleichzeitig modelliert:
- Ein Auto, das seine Maximalgeschwindigkeit noch nicht erreicht und daher zuvor beschleunigt hat, und das nicht abbremsen musste, weil es zu nah auf den Vordermann aufgefahren ist, kann durch das Trödeln seine Beschleunigung rückgängig machen. Der Fahrer nutzt die Möglichkeit zum Beschleunigen nicht aus.
- Ein Auto, das bereits Maximalgeschwindigkeit hat, kann unter diese zurückfallen. Es kommt zu Fluktuationen im oberen Geschwindigkeitsbereich. Da in den USA ein großer Teil der Autos einen Tempomat besitzt, bildet man dortiges Fahrverhalten besser ab, wenn man auf das Trödeln bei Maximalgeschwindigkeit verzichtet.
- Ein Auto, das wegen eines zu geringen Abstandes zum Vordermann bereits bremsen musste, kann seine Geschwindigkeit durch das Trödeln noch ein weiteres Mal reduzieren. Der Fahrer überreagiert beim Bremsen also auf den langsamen Vordermann. Dieses Überreagieren wurde als Ursache für Staus aus dem Nichts identifiziert.
[Bearbeiten] Beispiel für den Ablauf einer Runde
| Symbolik |
Beschreibung |
 |
1 |
| |
|
Ein Auto besitzt die Geschwindigkeit 1 (= 1 * 27 km/h) |
|
3 |
| |
|
Ein Auto hat eben auf die Geschwindigkeit 3 (= 81 km/h) beschleunigt oder gebremst (bzw. getrödelt). |
 |
2 |
| |
|
Ein Auto ist mit Geschwindigkeit 2 gefahren. (also zwei Felder vorgerückt) |
Konfiguration zur Zeit t:
Regel (1) - Beschleunigen (vmax = 5):
Regel (2) - Bremsen:
Regel (3) - Trödeln (ρ = 1/3):
Regel (4) - Fahren (= Konfiguration zur Zeit t + 1):
[Bearbeiten] Eigenschaften des Modells
- Mit dem Modell ist es gelungen, das Auftreten des „Staus aus dem Nichts“ als Folge von Trödeln und Überreagieren beim Bremsen zu erklären.
- Für eine realistischere Nachbildung der Staustruktur auf den Autobahnen muss die Trödelwahrscheinlichkeit beim Anfahren größer als in den anderen Fällen gesetzt werden (VDR-Modell - Velocity Dependent Randomization).
- Weitere Annäherungen an die Realität erreicht man durch Berücksichtigen des Effektes von Bremslichtern.
- Für eine Maximalgeschwindigkeit eins statt fünf und Trödelwahrscheinlichkeit p=0 entspricht das Nagel-Schreckenberg-Modell dem Zellularautomaten 184 Stephen Wolframs bzw. dem deterministischen TASEP mit parallelem Update.
- Das Modell ist minimal. D. h. kein Element der Definition darf weggelassen werden, ohne dass man sofort essentielle Eigenschaften des Verkehrs verliert.
- Durch seine Einfachheit hat es einen zusätzlichen didaktischen Nutzen (z. B. für den schulischen Informatikunterricht).
- Eine Simulation von vielen Millionen Fahrzeugen ist mit Hilfe von parallel arbeitenden Computern möglich und wurde bereits realisiert (s. Anwendungen).
In den folgenden Bildern ist eine 7,5 km lange in 1000 Zellen eingeteilte Ringstraße abgebildet, auf der Autos von links nach rechts fahren. Am unteren Bildrand beginnend wird der Zustand der Straße Sekunde um Sekunde Zeile um Zeile nach oben hin gezeigt. Ein grüner Punkt steht für ein Auto, das sich zuletzt mit der Geschwindigkeit 5 bewegt hat, ein roter Punkt bedeutet ein stehendes Auto. Entsprechend stehen dazwischen liegende Farben für Geschwindigkeiten von einer bis fünf Zellen pro Runde.
150 von 1000 Straßenzellen sind von einem Auto belegt. Der Trödelparameter p ist p=0,0. Man erkennt, wie sich - zu Beginn zufällig bestehende - Staus auflösen.
|
Bei der gleichen Dichte aber mit p=0,15 entstehen Staus aus dem Nichts (und lösen sich auch wieder auf). Das Bild zeigt klar, wie sich die Staus mit einer charakteristischen Geschwindigkeit (~15 km/h) gegen die Fahrtrichtung bewegen.
|
Bei doppelter Dichte (300 Autos) und p=0,15 erhöht sich die Zahl der Staus drastisch.
|
Im VDR-Modell ändert sich die Struktur der Staus. Auch hier sind 300 Autos im Ring bei p=0,15 (für v>0; für v=0 ist p>0,15)
|
Diese Grafik ist ein vergrößerter Bildausschnitt der obigen Illustration mit dem Trödelparameter p=0,15. Farbige Quadrate kennzeichnen jeweils ein Auto mit seiner entsprechenden Geschwindigkeit. Jede Zeile repräsentiert den Besetzungszustand der selben Straße. Der Besetzungszustand jeweils über einer Zeile (der Straße), zeigt den Zustand in der darauffolgenden Sekunde an.
|
[Bearbeiten] Fundamentaldiagramm
Als Fundamentaldiagramm bezeichnet man die Auftragung des Flusses über der Dichte. Fluss ist die Anzahl Autos, die pro Runde eine bestimmte Markierung passieren (das kann auf einer einspurigen Straße maximal eines sein). Dichte ist der Anteil der durch Autos überdeckten Fläche der Straße (ergo auch maximal eins). Diese Auftragung (Fluss als y-Koordinate, Dichte als x-Koordinate) ist so charakteristisch für eine bestimmte Parameterwahl eines bestimmten Modells, dass man sie Fundamentaldiagramm nennt.
Fundamentaldiagramme des NaSch-Modelles, Bedeutung der Kurven s. u.
| Farbe |
Modell (Trödelparameter) |
Maximalgeschwindigkeit |
| schwarz |
deterministisch (p=0,0) |
v=1 |
| blau |
probabilistisch (p=0,15) |
v=1 |
| magenta |
VDR (p=0,15) |
v=1 |
| rot |
deterministisch (p=0,0) |
v=5 |
| grün |
probabilistisch (p=0,15) |
v=5 |
| cyan |
VDR (p=0,15) |
v=5 |
Die durchbrochenen Linien zeigen an, wie instabil der Verkehrsfluss an diesen Stellen ist. In der Realität gibt es sogar einen Hystereseeffekt: Nimmt der Verkehr langsam zu, erreicht man bei einer bestimmten Dichte noch einen recht hohen Fluss. Irgendwann bricht dieser durch Überreagieren eines Fahrers beim Bremsen zusammen und fällt auf einen deutlich niedrigeren Wert ab. Die Dichte des Verkehrs muss nun deutlich abnehmen, um wieder auf den ansteigenden Ast des Fundamentaldiagramms zu gelangen. Erst dann kann eine Erhöhung der Dichte wieder zu einem erhöhten Fluss führen. Auch dieser Effekt wurde bereits in Simulationen beobachtet.
Ein weiterer Punkt, in dem sich das reale Fundamentaldiagramm von den Fundamentaldiagrammen aller hier diskutierten Versionen des NaSch-Modelles unterscheidet, ist, dass der ansteigende Ast des Fundamentaldiagramms in der Realität eine Krümmung aufweist. Der Grund hierfür ist, dass in der Realität die Höchstgeschwindigkeit der Autos unterschiedlich ist. Die Krümmung beginnt, wenn die ersten Autos ihre Höchstgeschwindigkeit erreicht haben. Um dies im Modell umzusetzen, wurde das NaSch-Modell um Regeln für mehrspurigen Verkehr und Überholvorgänge erweitert. Ohne diese Regeln würden unterschiedliche Höchstgeschwindigkeiten prinzipiell immer zu Staus führen, da schnelle Autos auf langsame auffahren würden, aber nicht überholen könnten.
Im deterministischen Fall ist das Maximum immer bei einer Dichte=1/(1+v). Für v=1 sind die Bewegungsregeln für Autos identisch mit denen für Lücken (in die andere Richtung). Daher ist das Maximum dort leicht ersichtlich an der Stelle, wo sich Autos wie Lücken ungehindert fortbewegen können (Dichte=0,5=1/(1+1)).
Das NaSch-Modell wurde von Kai Nagel in den Vereinigten Staaten für Parallelrechner weiterentwickelt und unter dem Namen 'Transims' vermarktet. Interessant ist, dass sich der Algorithmus nicht einfach auf Vektorrechnern parallelisieren ließ und daher Beowulf-Cluster zum Einsatz kommen. Inzwischen wurde Transims angewandt, um den gesamten Schweizer Verkehr in Echtzeit zu simulieren, mit etwa 10 Millionen Fahrzeugen.
In Deutschland ist das Modell - mit Erweiterungen - die Grundlage der OLSIM-Verkehrsprognose für den Autobahnverkehr in Nordrhein-Westfalen, welche auf der unten angegebenen Internetseite öffentlich zugänglich ist.
