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”.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Guda, A.N., Ilicheva, V.V., Chislov, O.N.: Executable logic prototypes of systems engineering complexes and processes on railway transport. In: Proceedings of the Second International Scientific Conference Intelligent Information Technologies for Industry (IITI 2017), vol. 2, pp. 161–170 (2017)
Ilyicheva, O.A.: Means of effective preliminary treatment of errors for systems of logic prototyping. Autom. Remote Control 9, 185–196 (1997)
Ilyicheva, O.A.: Technology of logic modelling and the analysis of complex systems. Eng. Bull. Don 2(4) (2012). http://www.ivdon.ru/ru/magazine/archive/n4p2y2012/1234
Roberts, F.S.: Discrete mathematical models with application to social, biological and environmental problems. Prentice-Hall, p. 559 (1976)
Chislov, O.N., Mamaev, E.A., Guda, A.N., Zubkov, V.N., Finochenko, V.A.: Algorythmic and software support of efficient design of railway transport technological systems. Int. J. Appl. Eng. Res. 11(23), 11428–11438 (2016)
Afanasieva, L.G., Bulinskaya, Е.V.: Mathematical models of transport systems based on queuing theory. In: Proceedings of MIPT, vol. 2, № 4, pp. 6–21 (2010)
Ahmadinurov, M.M., Timofeeva, G.A.: Models of mass service in the problem of traffic light optimization. In: Vestnik Saratov State Technical University, vol. 3, № 1(57), pp. 217–227 (2011)
Yusupbekov, N.R., Marakhimov, A.R., Igamberdiev, H.Z., Umarov, ShX: An adaptive fuzzy-logic traffic control system in conditions of satu-rated transport stream. Sci. World J. 2016, 1–9 (2016)
Hou, R., Wang, Q., Wang, J., Lu, Y., Kim, J.: A fuzzy control method of traffic light with countdown ability. Int. J. Control Autom. 5(4), 93–102 (2012)
Kaedi, M., Movahhedinia, N., Jamshidi, K.: Traffic signal timing using two-dimensional correlation, neuro-fuzzy and queuing based neural networks. Neural Comput. Appl. 17(2), 193–200 (2008)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2019 Springer Nature Switzerland AG
About this paper
Cite this paper
Ilicheva, V.V. (2019). Analysis of Options for Track Development of a Railway Station Using Graph Theory and Logic Modeling. In: Abraham, A., Kovalev, S., Tarassov, V., Snasel, V., Sukhanov, A. (eds) Proceedings of the Third International Scientific Conference “Intelligent Information Technologies for Industry” (IITI’18). IITI'18 2018. Advances in Intelligent Systems and Computing, vol 875. Springer, Cham. https://doi.org/10.1007/978-3-030-01821-4_34
Download citation
DOI: https://doi.org/10.1007/978-3-030-01821-4_34
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-01820-7
Online ISBN: 978-3-030-01821-4
eBook Packages: Intelligent Technologies and RoboticsIntelligent Technologies and Robotics (R0)