Analysis of options for track development of a railway station using graph theory and logic modeling

Abstract

In this paper we offer use of logic prototyping and methods of the theory of graphs for the analysis of versions of existing and designed transport structures. Questions of maintenance of safety of transformations with preservation of basic functional of stations are considered. The conditions of correctness of the project modifications within the logic prototyping are defined. Logic modelling is used for the diagnosis of logic errors: uncertainty, contradictions, and an impracticability of the set restrictions. The result of prototyping supposes adequate graphic representation. The theory of graphs gives convenient means for the analysis of vulnerability of the obtained structure to occurrence of emergencies and breaking down of connections between nodes of a transport network. We offer methods of allocation of the station framework, revealing divisions of the transport structure that provide its integrity and indicators. Allocating various types of graphs it is possible to organise accident-free traffic on critical intersections of routes with a minimum of delays and preservation of traffic capacity. The method of regulation of movement at intersections of routes is offered. The approach is approved in the task of travelling development of cargo station “Taganrog”.