Автоматизация процесса учета и контроля устройств железнодорожной автоматики и телемеханики
Аннотация
В статье рассмотрены методология создания системы электронного документооборота технической документации (ЭДТД), описана ее обобщенная формализованная схема, представлена формальная модель ЭДТД, Логический уровень формальной модели ЭДТД реализован с использованием аппарата теории графов. Основные теоретические результаты реализованы в программном обеспечении «Автоматизированная система учета и контроля устройств железнодорожной автоматики и телемеханики».
Маколада техник хужжатларни электрон айланиши тизимини ишлаб чикиш услубияти куриб чикилди, умумий формаль схема тавсифланди, формаль модел курсатилди. Техник хужжатларни электрон айланиши формаль моделининг мантикий даражаси граф назарияси кулланган холда амалга оширилди. Назарий натижалар Автоматика ва телемеханика курилмаларини хисобга олиш ва назорат килишни автоматлаштирилган тизимида жорий этилди.
Transport processes, especially from the point of view of the analysis of functioning of the automated technological complexes, including management and control of systems and devices of railway automation and telemechanics, are naturally formalized with application of schemes of mass service. the methodology of description of electronic document flow of technical documentation (EDMTD) in automation and telemechanics economy is based on allocation of the following components: control levels, technological chains according to the selected levels of hierarchy and algorithms of technological processes (TP) of the studied EDMTD.The formalized EDMTD scheme is synthesized on the basis of the generalized formalized scheme (GFS) of complex Queuing systems proposed by the authors in [4,5]. The content of the conceptual model (model description) is formed in accordance with the selected components based on the results of the survey of real processes of EDMTD. This allows us to move from a description model to a formalized scheme [6], which serves as the basis for the development of automated technology and simulation model (SM) of EDMTD, designed to assess the effectiveness of the system engineering decisions. A formal model is defined by a pair of disordered sets: a) a set of variables-parameters; b) a set of relations linking the values of these variables.The article describes the methodology of creating an electronic document management system of technical documentation (EDMTD), describes its generalized formalized scheme, presents a formal model of EDMTD, the Logical level of the formal model of EDMTD implemented using the apparatus of graph theory. The main theoretical results are realized in the software “Automated system of accounting and control of railway automation and telemechanics devices”.
Маколада техник хужжатларни электрон айланиши тизимини ишлаб чикиш услубияти куриб чикилди, умумий формаль схема тавсифланди, формаль модел курсатилди. Техник хужжатларни электрон айланиши формаль моделининг мантикий даражаси граф назарияси кулланган холда амалга оширилди. Назарий натижалар Автоматика ва телемеханика курилмаларини хисобга олиш ва назорат килишни автоматлаштирилган тизимида жорий этилди.
Transport processes, especially from the point of view of the analysis of functioning of the automated technological complexes, including management and control of systems and devices of railway automation and telemechanics, are naturally formalized with application of schemes of mass service. the methodology of description of electronic document flow of technical documentation (EDMTD) in automation and telemechanics economy is based on allocation of the following components: control levels, technological chains according to the selected levels of hierarchy and algorithms of technological processes (TP) of the studied EDMTD.The formalized EDMTD scheme is synthesized on the basis of the generalized formalized scheme (GFS) of complex Queuing systems proposed by the authors in [4,5]. The content of the conceptual model (model description) is formed in accordance with the selected components based on the results of the survey of real processes of EDMTD. This allows us to move from a description model to a formalized scheme [6], which serves as the basis for the development of automated technology and simulation model (SM) of EDMTD, designed to assess the effectiveness of the system engineering decisions. A formal model is defined by a pair of disordered sets: a) a set of variables-parameters; b) a set of relations linking the values of these variables.The article describes the methodology of creating an electronic document management system of technical documentation (EDMTD), describes its generalized formalized scheme, presents a formal model of EDMTD, the Logical level of the formal model of EDMTD implemented using the apparatus of graph theory. The main theoretical results are realized in the software “Automated system of accounting and control of railway automation and telemechanics devices”.