Выпуск №4 (Апрель)

https://doi.org/10.25313/2520-2057-2017-4

XLII Международная научно-практическая конференция «Актуальные проблемы современной науки», 27.06.2019 (Совместная конференция с Международным научным центром развития науки и технологий)

XLI Международная научно-практическая конференция «Актуальные проблемы современной науки», 30.05.2019 (Совместная конференция с Международным научным центром развития науки и технологий)

XL Международная научно-практическая конференция «Актуальные проблемы современной науки», 28.03.2019 (Совместная конференция с Международным научным центром развития науки и технологий)

МНПК "Цифровая трансформация и инновации в экономике, праве, государственном управлении, науке и образовательных процессах", 18-21.03.2019

XXXIX Международная научно-практическая конференция «Актуальные проблемы современной науки», 27.02.2019 (Совместная конференция с Международным научным центром развития науки и технологий)

XIII Международная научно-практическая конференция «Научный диспут: вопросы экономики и финансов», 31.01.2019 (Совместная конференция с Финансово-экономическим научным советом)

XXXVIII Международная научно-практическая конференция «Актуальные проблемы современной науки», 30.01.2019 (Совместная конференция с Международным научным центром развития науки и технологий)

XXXVІI Международная научно-практическая конференция: "Актуальные проблемы современной науки", 28.12.2018 (Совместная конференция с Международным научным центром)

XXXVI Международная научно-практическая конференция: "Актуальные проблемы современной науки", 29.11.2018 (Совместная конференция с Международным научным центром)

XIII Международная научно-практическая конференция «Актуальные проблемы экономики и финансов», 31.10.2018 (Совместная конференция с Финансово-экономическим научным советом)

XXXV Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.10.2018 (Совместная конференция с Международным научным центром)

XXXIV Международная научно-практическая конференция: "Актуальные проблемы современной науки", 28.09.2018 (Совместная конференция с Международным научным центром)

ХXXIII Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.08.2018 (Совместная конференция с Международным научным центром)

ХXXII Международная научно-практическая конференция: "Актуальные проблемы современной науки", 31.07.2018 (Совместная конференция с Международным научным центром)

XII Международная научно-практическая конференция «Актуальные проблемы экономики и финансов», 31.07.2018 (Совместная конференция с Финансово-экономическим научным советом)

ХXXI Международная научно-практическая конференция: "Актуальные проблемы современной науки", 29.06.2018 (Совместная конференция с Международным научным центром)

ХІ Международная научно-практическая конференция «Глобальные проблемы экономики и финансов», 31.05.2018 (Совместная конференция с Финансово-экономическим научным советом)

XXХ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.05.2018 (Совместная конференция с Международным научным центром)

XXIХ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.04.2018 (Совместная конференция с Международным научным центром)

ХХVIІІ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 29.03.2018 (Совместная конференция с Международным научным центром)

ІІІ МНПК "Экономика, финансы и управление в XXI веке: анализ тенденций и перспективы развития", 19-22.03.2018 (Совместная конференция с Финансово-экономическим научным советом)

X Международная научно-практическая конференция «Глобальные проблемы экономики и финансов», 28.02.2018 (Совместная конференция с Финансово-экономическим научным советом)

ХХVІІ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 27.02.2018 (Совместная конференция с Международным научным центром)

ХХVІ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.01.2018 (Совместная конференция с Международным научным центром)

XІІ Международная научно-практическая конференция «Научный диспут: вопросы экономики и финансов», 29.12.2017 (Совместная конференция с Финансово-экономическим научным советом)

ХХV Международная научно-практическая конференция: "Актуальные проблемы современной науки", 28.12.2017 (Совместная конференция с Международным научным центром)

ХХІV Международная научно-практическая конференция: "Актуальные проблемы современной науки", 29.11.2017 (Совместная конференция с Международным научным центром)

XI Международная научно-практическая конференция «Актуальные проблемы экономики и финансов», 31.10.2017 (Совместная конференция с Финансово-экономическим научным советом)

XІ Международная научно-практическая конференция «Научный диспут: вопросы экономики и финансов», 29.09.2017 (Совместная конференция с Финансово-экономическим научным советом)

ХХIІІ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 28.09.2017 (Совместная конференция с Международным научным центром)

X Международная научно-практическая конференция «Актуальные проблемы экономики и финансов», 31.07.2017 (Совместная конференция с Финансово-экономическим научным советом)

ХXII Международная научно-практическая конференция: "Актуальные проблемы современной науки", 28.07.2017 (Совместная конференция с Международным научным центром)

ХXI Международная научно-практическая конференция: "Актуальные проблемы современной науки", 29.06.2017 (Совместная конференция с Международным научным центром)

IX Международная научно-практическая конференция «Глобальные проблемы экономики и финансов», 31.05.2017 (Совместная конференция с Финансово-экономическим научным советом)

ХX Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.05.2017 (Совместная конференция с Международным научным центром)

"Тенденции развития национальных экономик: экономическое и правовое измерение" 18-19.05.2017 (Совместная конференция с Финансово-экономическим научным советом и ККИБиП)

ХIX Международная научно-практическая конференция: "Актуальные проблемы современной науки", 27.04.2017 (Совместная конференция с Международным научным центром)

IX Международная научно-практическая конференция "Научный диспут: вопросы экономики и финансов", 31.03.2017 (Совместная конференция с Финансово-экономическим научным советом)

ХVIII Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.03.2017 (Совместная конференция с Международным научным центром)

МНПК "Экономика, финансы и управление в XXI веке: анализ тенденций и перспективы развития", 20–23.03.2017 (Совместная конференция с Финансово-экономическим научным советом)

VIII Международная научно-практическая конференция "Глобальные проблемы экономики и финансов", 28.02.2017 (Совместная конференция с Финансово-экономическим научным советом)

ХVII Международная научно-практическая конференция: "Актуальные проблемы современной науки", 27.02.2017 (Совместная конференция с Международным научным центром)

VIII Международная научно-практическая конференция "Актуальные проблемы экономики и финансов", 31.01.2017 (Совместная конференция с Финансово-экономическим научным советом)

ХVI Международная научно-практическая конференция: "Актуальные проблемы современной науки", 30.01.2017 (Совместная конференция с Международным научным центром)

ХV Международная научно-практическая конференция: "Актуальные проблемы современной науки", 28.12.2016 (Совместная конференция с Международным научным центром)

VIII Международная научно-практическая конференция "Научный диспут: вопросы экономики и финансов", 28.12.2016 (Совместная конференция с Финансово-экономическим научным советом)

VII Международная научно-практическая конференция "Глобальные проблемы экономики и финансов", 30.11.2016 (Совместная конференция с Финансово-экономическим научным советом)

ХІV Международная научно-практическая конференция: "Актуальные проблемы современной науки", 29.11.2016 (Совместная конференция с Международным научным центром)

VII Международная научно-практическая конференция "Актуальные проблемы экономики и финансов", 31.10.2016 (Совместная конференция с Финансово-экономическим научным советом)

ХІІІ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 28.10.2016 (Совместная конференция с Международным научным центром)

VII Международная научно-практическая конф. «Научный диспут: вопросы экономики и финансов», 30.09.2016 (Совместная конференция с Финансово-экономическим научным советом)

ХІІ Международная научно-практическая конференция: "Актуальные проблемы современной науки", 29.09.2016 (Совместная конференция с Международным научным центром)

XI Международная научно-практическая конференция «Актуальные проблемы современной науки», 30.08.2016 (Совместная конференция с Международным научным центром)

ІV Международная научно-практическая конф. "Экономика и управление в XXI веке: анализ тенденций и перспектив развития", 29.07.2016 (Совместная конференция с Финансово-экономическим научным советом)

X Международная научно-практическая конференция "Актуальные проблемы современной науки", 28.07.2016 (Совместная конференция с Международным научным центром)

VІ Международная научно-практическая конференция "Актуальные проблемы экономики и финансов", 30.06.2016 (Совместная конференция с Финансово-экономическим научным советом)

ІX Международная научно-практическая конференция "Актуальные проблемы современной науки", 29.06.2016 (Совместная конференция с Международным научным центром)

VI Международная научно-практическая конференция "Научный диспут: вопросы экономики и финансов", 31.05.2016 (Совместная конференция с Финансово-экономическим научным советом)

VIIІ Международная научно-практическая конференция "Актуальные проблемы современной науки", 30.05.2016 (Совместная конференция с Международным научным центром)

V Международная научно-практическая конференция "Глобальные проблемы экономики и финансов", 29.04.2016 (Совместная конференция с Финансово-экономическим научным советом)

VIІ Международная научно-практическая конференция "Актуальные проблемы современной науки", 28.04.2016 (Совместная конференция с Международным научным центром)

VІ Международная научно-практическая конференция "Актуальные проблемы современной науки", 31.03.2016 (Совместная конференция с Международным научным центром)

ІI Международная научно-практическая конф. "Экономика и управление в XXI веке: анализ тенденций и перспектив развития", 30.03.2016 (Совместная конференция с Финансово-экономическим научным советом)

V Международная научно-практическая конференция "Актуальные проблемы экономики и финансов", 21-24.03.2016 (Совместная конференция с Финансово-экономическим научным советом)

V Международная научно-практическая конференция "Научный диспут: вопросы экономики и финансов", 26.02.2016 (Совместная конференция с Финансово-экономическим научным советом)

II Международная научно-практическая конференция: "Научный диспут: актуальные вопросы медицины" 20.02.2016 (Совместная конференция с Международным научным центром)

ІV Международная научно-практическая конференция "Актуальные проблемы современной науки", 29.12.2015 (Совместная конференция с Международным научным центром)

IV Международная научно-практическая конференция "Глобальные проблемы экономики и финансов", 28.12.2015 (Совместная конференция с Финансово-экономическим научным советом)

IV Международная научно-практическая конференция "Актуальные проблемы экономики и финансов", 30.11.2015 (Совместная конференция с Финансово-экономическим научным советом)

IV Международная научно-практическая конференция "Научный диспут: вопросы экономики и финансов", 29.10.2015 (Совместная конференция с Финансово-экономическим научным советом)

Международная научно-практическая конференция: "Научный диспут: актуальные вопросы медицины" 28.10.2015 (Совместная конференция с Международным научным центром)

III Международная научно-практическая конференция "Глобальные проблемы экономики и финансов", 30.09.2015 (Совместная конференция с Финансово-экономическим научным советом)

III Международная научно-практическая конференция "Актуальные проблемы экономики и финансов", 31.08.2015 (Совместная конференция с Финансово-экономическим научным советом)

ІІІ Международная научно-практическая конференция "Научный диспут: вопросы экономики и финансов", 30.06.2015 (Совместная конференция с Финансово-экономическим научным советом)

ІІ Международная научно-практическая конференция "Актуальные проблемы современной науки", 29.06.2015 (Совместная конференция с Международным научным центром)

II Международная научно-практическая конференция "Глобальные проблемы экономики и финансов", 28.05.2015 (Совместная конференция с Финансово-экономическим научным советом)

Актуальные проблемы экономики и финансов, 29.04.2015 (Совместная конференция с Финансово-экономическим научным советом)

Научный диспут: вопросы экономики и финансов, 31.03.2015 (Совместная конференция с Финансово-экономическим научным советом)

Актуальные проблемы современной науки, 27.03.2015 (Совместная конференция с Международным научным центром)

Глобальные проблемы экономики и финансов, 27.02.2015 (Совместная конференция с финансово-экономическим научным советом)



Summary: The article presents the synthesis of a formalized form of integrated algorithms that perform similar technological functions one-party document management in the sector of railway automatics and telemechanics, taking into account peculiarities of their structure. The basic method of combining algorithms is the introduction of additional definitive logical conditions. The developed model provides a reduction in the number of occurrences of the same type operators and logical elements in an algorithmic description of the process of doing of order specifications.

Keywords: technical document management, maintenance of order specifications, formal methods and models, the combined algorithm, the synthesis of the combined algorithms.


Отрасль науки: Технические науки
Скачать статью (pdf)

Technical sciences

УДК 004.021+625.25

Baratov D.X.

Candidate of technical sciences

Tashkent institute of railway transport

THE ISSUES OF CREATING A FORMALIZED MODEL OF THE TECHNICAL DOCUMENTATION

Summary: The article presents the synthesis of a formalized form of integrated algorithms that perform similar technological functions one-party document management in the sector of railway automatics and telemechanics, taking into account peculiarities of their structure. The basic method of combining algorithms is the introduction of additional definitive logical conditions. The developed model provides a reduction in the number of occurrences of the same type operators and logical elements in an algorithmic description of the process of doing of order specifications.

Keywords: technical document management, maintenance of order specifications, formal methods and models, the combined algorithm, the synthesis of the combined algorithms.

In connection with growth of volumes of construction and technical upgrading in the areas of high-speed traffic in front of the Uzbek Railways are reducing the time and cost of design, construction and pre-commissioning activities during commissioning of systems of railway automation and telemechanic (RAT).

In modern conditions, expanding the functionality of the new systems of RAT, growing volumes and quality of information provided by the systems of railway automatic equipment for traffic management, monitoring of train position and state of infrastructure. With further development of these systems, the design, the process of finding and Troubleshooting become more difficult; increases the number of subcontractors participating in the design, construction and the supply of instruments, constructs and components; lengthened periods of system validation at commissioning.

Unfortunately, when creating systems of RAT do not always use modern methods of design, organization of cooperation of involved organizations, quality control of work execution, automation, input and retrieve information. The result is more time for design, construction and commissioning of the systems, the overhead time, more difficult is the planning of a schedule for completion of the work, it is impossible to take timely corrective management decisions.

The solution to this situation is the establishment of an integrated monitoring and management of the design, construction, pussonal-electric works, supply of devices, materials and equipment, as well as analysis of the quality of work based on the electronic circulation of documentation.

The use of electronic documents [1] due to the increasing complexity of systems and, as a result, huge volume of transmitted and processed information. For example, the design check of electric centralization of station visual method without the use of technical means over time may be compared with the design period of the system. Thus, without the use of means of complex automation of processes of obtaining information and information exchange impossible to reduce the time and improve the efficiency of manufacturing operations.

The most effective solution of problems of automation can be achieved by formalizing and applying mathematical methods of optimization of the coordination of the processes of electronic document management of technical documentation, in particular the main part of the order specifications (DCS) to devices of railway automatics and telemechanics [2]. Control and order management equipment is a complete solution for working with specifications, management of orders and monitoring of order execution equipment for construction and capital repairs of systems of automatics and telemechanics.

Formal methods for representing a process used to analyze the properties of formal object model. Thus, the properties of object should be formalized in a mathematical model. Accordingly, for the application of formal methods describe the process of doing custom specs and to determine the composition and properties of the standard describe the reference, it is necessary to develop a formal scheme (FCS) descriptions of objects involved in the process DCS.
A formalized scheme is a form that defines the composition and appearance of the original data and should allow description of the object sufficient to automate the process DCS [3].

FCS needs sufficiently generalized to describe a wide class of objects (specifications, instructions) and at the same time to ensure ease of procedures bound to a specific object. For this FCS should include a set of presentation media elements, structures and algorithms of functioning of the system, functional and static dependencies between the parameters

For algorithmic display DCS is characterized by a large number of occurrences of the operators and logical conditions in some private algorithms DCS Aq,g with a relatively small number of types. In this connection it is expedient to set the task of reducing occurrences of similar operators and logical conditions (elements) in the algorithmic description of the process DCS. This problem is solved by combining algorithms Aq,g, performing the similar technological functions one participant in the workflow.

Consider a problem of synthesis of the joint algorithm DCS (Ao) in a formalized manner. DCS described by a set of algorithms Ag. Each specification is processed, the whole set of algorithms, a formal entry which is implemented on parallel logic algorithms using the symbols introduced above.

When combining algorithms DCS be aware that after you perform any Op in various algorithms Aq,g can execute different sequences of elements.

To determine the order of the elements in the combined algorithm Ao(q,g) introduced additional definitive logical conditions (DLC) –. DLC rμ are put at the Ao after the Op element and form a tree of controls (Fig.1), the number of outputs which is equal to the number of different elements running at different Ag after Op.

Fig.1. The tree shaped structure checks

Index g private algorithm determines the element that is to be executed in the algorithm Ao(q,g), after the Op element and, therefore, DLC represent a Boolean function from the indices of the algorithms is f(g). To write such functions are introduced Boolean variables of the form:.

Then the function f(xg) = f(g), and DLC is:

We introduce a definition. The combined algorithm is called DCS Ao(q,g) that meets the following criteria:

  • any element of the alphabet of the description included in Ao and that only once;
  • if Ao(q,g), including DLC, to substitute in the function f(xg) the specific value of g, the sequence of elements corresponds to Aq,g.

Thus, the task of combining algorithms is DCS synthesis algorithm Ao that meet the conditions specified.

The basis of the proposed method of combining algorithms is analiz properties of partitions πJ on the set of the combining algorithms to determine the number, placement DLC in Ao(q,g) and the composition f(xg) for each.

The proposed method allows to solve the problem of combining algorithms DCS taking into account peculiarities of their structure. By using the combining algorithms is achieved by reducing the number of occurrences of elements in Ao due to the introduction of additional logical conditions.

References:

  1. Василенко М. Н. Электронный документооборот в хозяйстве СЦБ / М. Н. Василенко, В. Г. Трохов, Д. В. Зуев // Автоматика связь, информатика. – 2014. – № 8. –С. 2–3.
  2. Булавский П. Е. Синтез формализованной схемы электронного документооборота систем железнодорожной автоматики и телемеханики / П. Е. Булавский, Д. С. Марков // Известия Петербургского университета путей сообщения. – 2013. – № 2. – С. 108–115.
  3. Баратов Д.Х. Перспективы развития высокоскоростного движения и вопросы внедрения электронного оборота технической документации на железных дорогах Узбекистана / Баратов Д.Х., Арипов Н.М. // Инновационный транспорт. 2016. № 2 (20). С. 10-14.