The invention relates to a decision procedure in combinational logic which
requires a computing time of n for determining the congestion of a railway
track system. The railway track system supports n trains, each with a
route length of m itineraries. Prior to setting a requested route segment
for a given train, a query is performed to check train positions and
whether the given train is allowed to travel on the track sectors to be
used for the requested route segment, without causing a possibility that
the track system may become congested. The processing steps can be
reduced. a) verification of whether a train can reach the next immediate
track sector of a route; b) verification for a two-train variation whether
a reference position of the first train prevents the second train from
traveling on its route; c) new dependencies are created using transitivity
and for combinations of two trains, a verification is made whether a
cogent sequence exists. Step c) is iterated until no new dependencies
occur or no train can reach its destination.
Die Erfindung bezieht auf einem Entscheidung Verfahren in der Kombinatorik, die eine rechnende Zeit von n für die Bestimmung der Ansammlung eines Bahnschiene Systems erfordert. Das Bahnschiene System stützt n Züge, jeden mit einer Weglänge der m Reisewege. Vor der Einstellung eines erbetenen Wegsegments für einen gegebenen Zug, wird eine Frage durchgeführt, um Zugpositionen und ob der gegebene Zug auf die für das erbetene Wegsegment verwendet zu werden Schiene Sektoren wird reisen lassen,, ohne eine Möglichkeit zu verursachen zu überprüfen, daß das Schiene System verstopft werden kann. Die Verarbeitungsschritte können verringert werden. A) Überprüfung von, ob ein Zug den folgenden sofortigen Schiene Sektor eines Weges erreichen kann; B) zwei-bilden Überprüfung für Veränderung aus, ob eine Bezugsposition des ersten Zugs verhindert, daß der zweite Zug auf seinen Weg reist; c) werden neue Abhängigkeiten mit Transitivität verursacht und für Kombinationen von zwei Zügen, wird eine Überprüfung gebildet, ob eine cogent Reihenfolge besteht. Schritt c) wird wiederholt, bis keine neuen Abhängigkeiten auftreten, oder kein Zug seinen Bestimmungsort erreichen kann.
