•  
  •  
 

Central Asian Problems of Modern Science and Education

Abstract

The article deals with the issues of functional support of the automated system of accounting and control of railway automation and telemechanics devices: signaling, centralization and blocking; the components of the electronic Executive part of the system are presented; the conceptual model is proposed and the design features of the developed automated system are described.

First Page

49

Last Page

66

References

1. Decree of the President of the Republic of Uzbekistan "On measures for ELECTRONIC JOURNAL OF CENTRAL ASIAN PROBLEMS OF MODERN SCENCE AND EDUCATION. MARCH, 2019-I ISSN 2181-9750 66 indigenous improvement of public administration system in the sphere of transport" dated February 1, 2019, No. UP-5647. 2. Bulavsky P.Ye. Conceptual model of electronic document flow of technical documentation / / Transport of the Russian Federation. – 2011. – №1(32).– p. 60-63. 3. Aripov N. M., Baratov D. H. Method of construction of mathematical model of electronic document flow of technical documentation of railway automation / / Automation in transport. - 2017. - Vol. 3. - no. 1.- р. 98-111. 4. Carson J. S. Model verification and validation / J. S. Carson // Proceedings of the 2002 Winter Simulation Conference, San Diego, CA, USA, December 08-11, 2002. Pp. 52-58. 5. Efanov D. V., Plekhanov P. A. Ensuring safety at the expense of technical diagnosing and monitoring of devices of railway automatics and telemechanics //Transport of Ural. - 2011. - no. 3. - P. 44-48. 6. Karim Kanso, Faron Moller, And Anton Setzer. Automated Verification of Signalling Principles in Railway Interlocking Systems // Electronic Notes in Theoretical Computer Science. #250 (2009). Pp. 19-31. 7. Baratov D. H., Aripov N. M. development of the system of accounting and control of electrotechnical complexes of railway automation and telemechanics //Fundamental and applied research: topical issues. - 2018. - P. 64. 8. Ibrahim Sener, Ozgur Turay Kaymakci, Ilker Ustoglu, Galip Cansever. Specification and formal verification of safety properties in a point automation system // Turkish Journal of Electrical Engineering & Computer Sciences. #24 (2016). 1384-1396. 9. Sokolov S. S., Belyaeva N. A. Functional structure of the automated control system of transport and warehouse infrastructure / / Bulletin of the state University of Maritime and river fleet. the Admiral Makarov. - 2012. - no. 3 (15). 10. Yurkov N. K. et al. Functional model of information technology to ensure the reliability of complex electronic systems taking into account external influences / / Proceedings of the international Symposium "Reliability and quality". - 2014. - Vol.1

Included in

Mathematics Commons

Share

COinS
 
 

To view the content in your browser, please download Adobe Reader or, alternately,
you may Download the file to your hard drive.

NOTE: The latest versions of Adobe Reader do not support viewing PDF files within Firefox on Mac OS and if you are using a modern (Intel) Mac, there is no official plugin for viewing PDF files within the browser window.