Currently, predictive machine learning methods are used in many areas of life — from traffic predictions to medical diagnosis. Recently, these approaches also appeared in atmoposheric studies, first of all, for estimation of turbulence parameters, these tasks are necessary for a qualitative solution of atmospheric optical communication issues. The purpose of this work is to show the possibility and prospects of using machine learning algorithms for estimation transmitted power in power beaming systems in real time under changing atmospheric conditions. Experimental data were collected over several months on long atmospheric experimental setup, among gathered data there are such meteorological parameters as pressure, temperatures, wind speed, humidity, dew point, wind direction, solar flux. The data was collected for several locations. The power of the incident radiation was estimated from the voltage on the photovoltaic receiver. The nearest neighbors method, gradient boosting and neural networks were used as machine learning algorithms, the algorithms were compared with each other in terms of the average absolute error (MAPE) and the coefficient of determination (R2). The analysis of the results showed a good predictive ability of all models and potential of using even on the basis of simple meteorological measurements. The use of traditional methods requires much more complex measurements, such as scintillometry, or empirical approximations are used. Machine learning makes it possible to get results with only integral meteorological parameters and shows good accuracy for arbitrary conditions. Gradient boosting with R2 0.951 and MAPE 0.020 on all data was chosen as the best model. The results of this model was interpreted using the SHAP method, the dependence of the result on the input data is consistent with expectations.
{"title":"A Machine Learning Approach for Transmitted Power Estimation in Power Beaming Systems","authors":"V. Kapranov, V. Tugaenko","doi":"10.17587/it.29.126-135","DOIUrl":"https://doi.org/10.17587/it.29.126-135","url":null,"abstract":"Currently, predictive machine learning methods are used in many areas of life — from traffic predictions to medical diagnosis. Recently, these approaches also appeared in atmoposheric studies, first of all, for estimation of turbulence parameters, these tasks are necessary for a qualitative solution of atmospheric optical communication issues. The purpose of this work is to show the possibility and prospects of using machine learning algorithms for estimation transmitted power in power beaming systems in real time under changing atmospheric conditions. Experimental data were collected over several months on long atmospheric experimental setup, among gathered data there are such meteorological parameters as pressure, temperatures, wind speed, humidity, dew point, wind direction, solar flux. The data was collected for several locations. The power of the incident radiation was estimated from the voltage on the photovoltaic receiver. The nearest neighbors method, gradient boosting and neural networks were used as machine learning algorithms, the algorithms were compared with each other in terms of the average absolute error (MAPE) and the coefficient of determination (R2). The analysis of the results showed a good predictive ability of all models and potential of using even on the basis of simple meteorological measurements. The use of traditional methods requires much more complex measurements, such as scintillometry, or empirical approximations are used. Machine learning makes it possible to get results with only integral meteorological parameters and shows good accuracy for arbitrary conditions. Gradient boosting with R2 0.951 and MAPE 0.020 on all data was chosen as the best model. The results of this model was interpreted using the SHAP method, the dependence of the result on the input data is consistent with expectations.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"29 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-03-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"91329473","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The clinical features of changes in multiple myeloma indicators of different types associated with the gender of patients (objects) are considered. The methods of data mining examine the truth of the statement about the presence of many patients for whom gender is not significant in making a diagnosis. It is proposed to use the preprocessing of heterogeneous data to unify the description of objects in the binary space. The conditions for selecting and removing noise features from the set are determined. In order to reduce the dimensionality of the space, latent features are calculated by groups of binary generalized estimates of objects. A criterion is proposed for dividing patients into the optimal number of groups, taking into account their gender authenticity. From these groups, a new classification of objects is formed, differentiated by gender. The formation process is illustrated through the visualization of object descriptions, recognition accuracy and selection of informative feature sets according to the new classification. The selection procedure is implemented according to the rules of a hierarchical agglomerative algorithm. The property of invariance to the measurement scales of quantitative traits is an important argument for using the obtained results on data samples from the general population.
{"title":"Correction of the Values of the Classification Feature of Objects on the Example of the Diagnosis of Multiple Myeloma","authors":"N. Ignatev, E. Zguralskaya, M. V. Markovtseva","doi":"10.17587/it.29.104-112","DOIUrl":"https://doi.org/10.17587/it.29.104-112","url":null,"abstract":"The clinical features of changes in multiple myeloma indicators of different types associated with the gender of patients (objects) are considered. The methods of data mining examine the truth of the statement about the presence of many patients for whom gender is not significant in making a diagnosis. It is proposed to use the preprocessing of heterogeneous data to unify the description of objects in the binary space. The conditions for selecting and removing noise features from the set are determined. In order to reduce the dimensionality of the space, latent features are calculated by groups of binary generalized estimates of objects. A criterion is proposed for dividing patients into the optimal number of groups, taking into account their gender authenticity. From these groups, a new classification of objects is formed, differentiated by gender. The formation process is illustrated through the visualization of object descriptions, recognition accuracy and selection of informative feature sets according to the new classification. The selection procedure is implemented according to the rules of a hierarchical agglomerative algorithm. The property of invariance to the measurement scales of quantitative traits is an important argument for using the obtained results on data samples from the general population.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"8 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88605265","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
This article presents a promising embedded control system designed to implement highly complex algorithms in industrial equipment that requires multi-axis positioning and high-speed data transmission. Brief information about the current trends in the development of the user interface of industrial equipment is given, the relevance of control systems with a graphical interface and support for touch displays is noted. The characteristics of the previously developed control system (based on the Zynq-7000 chip) are given, the shortcomings of this system are noted. The use of the Kria SOM module, developed by AMD-Xilinx (USA), is proposed. The key functional blocks of the control system are indicated, the structure of the embedded software is briefly shown. A comparison of two variants of the system — based on Zynq-7000 and Kria SOM — is made. The conclusion about the advantages of using the Kria SOM module (namely: the increase in the speed of mathematical calculations up to 5 times — depending on the task, decrease in the cost of components up to 10 times, simplification of the design of a printed circuit board by reducing the number of layers from 14—16 to 10, significant reduction in time cost of developing a circuit diagram and printed circuit board) is made. The advantages of the Kria SOM as the basis for building a control system with artificial intelligence capabilities are noted.
{"title":"AMD-Xilinx Kria as a Basis for Industrial Equipment Embedded Control System","authors":"M. A. Popov, M. S. Mashkovskaya, A. Romanov","doi":"10.17587/it.29.98-103","DOIUrl":"https://doi.org/10.17587/it.29.98-103","url":null,"abstract":"This article presents a promising embedded control system designed to implement highly complex algorithms in industrial equipment that requires multi-axis positioning and high-speed data transmission. Brief information about the current trends in the development of the user interface of industrial equipment is given, the relevance of control systems with a graphical interface and support for touch displays is noted. The characteristics of the previously developed control system (based on the Zynq-7000 chip) are given, the shortcomings of this system are noted. The use of the Kria SOM module, developed by AMD-Xilinx (USA), is proposed. The key functional blocks of the control system are indicated, the structure of the embedded software is briefly shown. A comparison of two variants of the system — based on Zynq-7000 and Kria SOM — is made. The conclusion about the advantages of using the Kria SOM module (namely: the increase in the speed of mathematical calculations up to 5 times — depending on the task, decrease in the cost of components up to 10 times, simplification of the design of a printed circuit board by reducing the number of layers from 14—16 to 10, significant reduction in time cost of developing a circuit diagram and printed circuit board) is made. The advantages of the Kria SOM as the basis for building a control system with artificial intelligence capabilities are noted.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"54 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"78136253","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Most of scientific research that are immediately concerned with the development of domain digital models, to one degree or another, is aimed at the derivation of reference conceptual and logical constructions covering all pertinent classes of interactions in which real-world objects with concomitant constraints can be involved. This work is directed to forming the core of a structural template that models facts — instances of associates that arise during the movement (transportation) of freights. The multiple alternatives and high variability of any processes logic, including moving-class processes, make their complete unification problematic. Nevertheless, one can come down to process modeling from a system-wide perspective, focusing on the capture of universal permanent processes components, such as source and output sets of objects, associations and constraints. The reality exhibits examples of hierarchical coherence of any classes of generalized processes, which in their sequential development break up into several self-sufficient processes distributed between organizational, calendar and implementation phases. The main focus of the work is on the sequential (from simple to complex) configuration of the structural core of process-entity interactions in the organizational phase, covering route segments, transport and freights, as well as the study of constraints on permissible instances of links incoming into the corresponding associative complex. Conceptual diagrams are presented in simplified and thorough formats. In a simplified format, multi-valued dependencies are modeled by means of weak entities and relators. In a thorough format, weak entities and relators have been replaced with documentary types, the structures of which contain an eXhaustive set of information about all objects, including auXiliary ones that are involved in interactions. The paper also considers the influence of the environment that is represented by classifying sets on the content of bounded relationships operating between the entity and process types. We have ascertained, formalized and described all constraints appearing in the organizational phase of generalized transport process including new constraint kind — split dependent link, resulting from the formation of cycles in conceptual constructions. Similar cycles contain and link together split, entity and (or) process types.
{"title":"Typology and Modeling Profiles of Moving-Class Process-Entity Interactions: Core Types, Relationships, Constraints and Subschemas","authors":"A. Rodionov","doi":"10.17587/it.29.72-83","DOIUrl":"https://doi.org/10.17587/it.29.72-83","url":null,"abstract":"Most of scientific research that are immediately concerned with the development of domain digital models, to one degree or another, is aimed at the derivation of reference conceptual and logical constructions covering all pertinent classes of interactions in which real-world objects with concomitant constraints can be involved. This work is directed to forming the core of a structural template that models facts — instances of associates that arise during the movement (transportation) of freights. The multiple alternatives and high variability of any processes logic, including moving-class processes, make their complete unification problematic. Nevertheless, one can come down to process modeling from a system-wide perspective, focusing on the capture of universal permanent processes components, such as source and output sets of objects, associations and constraints. The reality exhibits examples of hierarchical coherence of any classes of generalized processes, which in their sequential development break up into several self-sufficient processes distributed between organizational, calendar and implementation phases. The main focus of the work is on the sequential (from simple to complex) configuration of the structural core of process-entity interactions in the organizational phase, covering route segments, transport and freights, as well as the study of constraints on permissible instances of links incoming into the corresponding associative complex. Conceptual diagrams are presented in simplified and thorough formats. In a simplified format, multi-valued dependencies are modeled by means of weak entities and relators. In a thorough format, weak entities and relators have been replaced with documentary types, the structures of which contain an eXhaustive set of information about all objects, including auXiliary ones that are involved in interactions. The paper also considers the influence of the environment that is represented by classifying sets on the content of bounded relationships operating between the entity and process types. We have ascertained, formalized and described all constraints appearing in the organizational phase of generalized transport process including new constraint kind — split dependent link, resulting from the formation of cycles in conceptual constructions. Similar cycles contain and link together split, entity and (or) process types.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"72 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"84349504","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The application of neural-fuzzy technologies for solving the problem of classification of states of objects of complex structure is considered. A quantitative assessment of the technical condition of the facility is proposed on the basis of a complex indicator — the technical condition index (ITS). The methodology of classification of technical conditions of objects of complex structure is based on the adaptive neural mesh interference system (ANFIS) and the neural mesh classifier (NNA), which significantly accelerated and improved the accuracy of calculations for effective management of these objects.
{"title":"Neuro-Fuzzy Classification of Technical Conditions of Objects of Complex Structure","authors":"S. Mantserov","doi":"10.17587/it.29.91-97","DOIUrl":"https://doi.org/10.17587/it.29.91-97","url":null,"abstract":"The application of neural-fuzzy technologies for solving the problem of classification of states of objects of complex structure is considered. A quantitative assessment of the technical condition of the facility is proposed on the basis of a complex indicator — the technical condition index (ITS). The methodology of classification of technical conditions of objects of complex structure is based on the adaptive neural mesh interference system (ANFIS) and the neural mesh classifier (NNA), which significantly accelerated and improved the accuracy of calculations for effective management of these objects.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"7 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"75839388","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A decisive influence on complexity and speed of a combinational logic circuit of library CMOS elements is exerted by the preliminary stage of technologically independent optimization of the implemented system of Boolean functions. At present, the main methods of such optimization in the logical synthesis of custom CMOS VLSI blocks are methods for minimizing binary decision diagrams — Binary Decision Diagrams (BDD) or their modifications. Graphical representations of BDD are built on the basis of the Shannon expansions of Boolean functions. A BDD graph corresponds to a set of interrelated Shannon expansion formulas that form a multilevel representation of the minimized system of Boolean functions. The efficiency of applying various optimization procedures of minimization for several types of BDD representations of systems of Boolean functions is investigated in the paper. 7hese procedures are used as a technologically independent optimization in the synthesis of multi-output logic circuits of library CMOS elements. In addition to single logical optimization procedures, sequences of such procedures are studied that form various methods of logical optimization of multilevel representations of systems of Boolean functions. The results of experiments on 49 examples of systems of Boolean functions are presented. 25 optimization routes have been studied, efficient routes have been determined for various types of specifications of function systems. The obtained experimental results are compared with the known ones. It has been established that to estimate the complexity of optimized algebraic representations of systems of functions, it is advisable to use such a criterion as the total number of literals (variables or their inversions) of Boolean variables.
{"title":"Logical Minimization of Multilevel Representations of Boolean Function Systems","authors":"P. Bibilo, Y. Y. Lankevich, V. Romanov","doi":"10.17587/it.29.59-71","DOIUrl":"https://doi.org/10.17587/it.29.59-71","url":null,"abstract":"A decisive influence on complexity and speed of a combinational logic circuit of library CMOS elements is exerted by the preliminary stage of technologically independent optimization of the implemented system of Boolean functions. At present, the main methods of such optimization in the logical synthesis of custom CMOS VLSI blocks are methods for minimizing binary decision diagrams — Binary Decision Diagrams (BDD) or their modifications. Graphical representations of BDD are built on the basis of the Shannon expansions of Boolean functions. A BDD graph corresponds to a set of interrelated Shannon expansion formulas that form a multilevel representation of the minimized system of Boolean functions. The efficiency of applying various optimization procedures of minimization for several types of BDD representations of systems of Boolean functions is investigated in the paper. 7hese procedures are used as a technologically independent optimization in the synthesis of multi-output logic circuits of library CMOS elements. In addition to single logical optimization procedures, sequences of such procedures are studied that form various methods of logical optimization of multilevel representations of systems of Boolean functions. The results of experiments on 49 examples of systems of Boolean functions are presented. 25 optimization routes have been studied, efficient routes have been determined for various types of specifications of function systems. The obtained experimental results are compared with the known ones. It has been established that to estimate the complexity of optimized algebraic representations of systems of functions, it is advisable to use such a criterion as the total number of literals (variables or their inversions) of Boolean variables.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"27 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"76911810","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
A. E. Trubin, A. V. Batishchev, A. N. Aleksahin, A. E. Zubanova, A. Morozov
The purpose of the study is aimed at developing a lighter architecture of a convolutional neural network model that will cope with the narrowly focused task of recognizing complex characters better than large-scale and well-known ones. As the source data, the characters of the Japanese language are used, consisting of two syllabic alphabets: hiragana and katakana, which are the most complex, since their writing style is characterized by a large number of features and similarity of characters, which greatly complicates the task of their classification and recognition. The author's model of a convolutional neural network is designed in the article, consisting of four convolutional layers, three layers of subdiscretization and three layers of exclusion. The developed model was compared with one of the most popular models of the EfficientNetBO neural network from the point of view of their architecture and the results of work on the same data. To implement its own convolutional neural network model, the classic Keras + Tensorflow bundle was used, since these libraries provide the most convenient tools for working in the field of machine learning. The result of the conducted research is the developed technology of fast and accurate recognition of complex symbols based on a convolutional neural network, which can become the basis of a software product in the field of computer vision.
{"title":"Building an Optimal Convolutional Neural Network Model for Solving Complex Character Recognition Problems","authors":"A. E. Trubin, A. V. Batishchev, A. N. Aleksahin, A. E. Zubanova, A. Morozov","doi":"10.17587/it.29.84-90","DOIUrl":"https://doi.org/10.17587/it.29.84-90","url":null,"abstract":"The purpose of the study is aimed at developing a lighter architecture of a convolutional neural network model that will cope with the narrowly focused task of recognizing complex characters better than large-scale and well-known ones. As the source data, the characters of the Japanese language are used, consisting of two syllabic alphabets: hiragana and katakana, which are the most complex, since their writing style is characterized by a large number of features and similarity of characters, which greatly complicates the task of their classification and recognition. The author's model of a convolutional neural network is designed in the article, consisting of four convolutional layers, three layers of subdiscretization and three layers of exclusion. The developed model was compared with one of the most popular models of the EfficientNetBO neural network from the point of view of their architecture and the results of work on the same data. To implement its own convolutional neural network model, the classic Keras + Tensorflow bundle was used, since these libraries provide the most convenient tools for working in the field of machine learning. The result of the conducted research is the developed technology of fast and accurate recognition of complex symbols based on a convolutional neural network, which can become the basis of a software product in the field of computer vision.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"498 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-02-20","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"79778124","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Currently, the replacement of relay of railway automation and telemechanic is carried out at regular intervals without taking into account the actual number of relay switch. This method has such disadvantages as the lack of maximum and uniform exhaustion of the relay resource during operation and address planning of its replacement. The article proposes a scientific method that allows to manage the resource of relay of railway automation and telemechanic at the stage of its operation based on objective data on the values of its actual number of switch. To calculate the actual number of relay switch, simulation of the operation of relay and relay-processor systems of railway automation and telemechanic is used. The input data for the model of calculating the actual number of switch relay are the operation of the station (any movements of trains) and events that are recorded on the remote controller of the station attendant. The events of remote controller are changing the indication of the remote control lamps of the elements of the railway automation and telemechanic system (cancellation of the route, artificial opening, etc.). The article proposes to take data about the movement trains from technical diagnostics and monitoring systems. The data set, took as a result of processing information from technical diagnostics and monitoring systems, is compared with the algorithm (rules) of the operation of the railway automation and telemechanic system operated at the railway station or stage. On the results of comparing data from technical diagnostics and monitoring systems with the rules of operation of the railway automation and telemechanic system, it is formed a list of relay, describing the operating procedure of the railway automation and telemechanic system. The output data of the model is a list of relay with the actual number of relay switch. Data on the values of the actual number of relay switch allows determining the objective terms of its replacement and transition to address planning for the replacement of relay. Keywords: relay equipment of railway automation and telemechanic, number of trips, resource, control unit, train
{"title":"Methodology of Estimation and Analysis of the Number of Actuations of Relay Equipment of Railway Automation and Telemechanic","authors":"S. Bochkarev","doi":"10.17587/it.29.51-56","DOIUrl":"https://doi.org/10.17587/it.29.51-56","url":null,"abstract":"Currently, the replacement of relay of railway automation and telemechanic is carried out at regular intervals without taking into account the actual number of relay switch. This method has such disadvantages as the lack of maximum and uniform exhaustion of the relay resource during operation and address planning of its replacement. The article proposes a scientific method that allows to manage the resource of relay of railway automation and telemechanic at the stage of its operation based on objective data on the values of its actual number of switch. To calculate the actual number of relay switch, simulation of the operation of relay and relay-processor systems of railway automation and telemechanic is used. The input data for the model of calculating the actual number of switch relay are the operation of the station (any movements of trains) and events that are recorded on the remote controller of the station attendant. The events of remote controller are changing the indication of the remote control lamps of the elements of the railway automation and telemechanic system (cancellation of the route, artificial opening, etc.). The article proposes to take data about the movement trains from technical diagnostics and monitoring systems. The data set, took as a result of processing information from technical diagnostics and monitoring systems, is compared with the algorithm (rules) of the operation of the railway automation and telemechanic system operated at the railway station or stage. On the results of comparing data from technical diagnostics and monitoring systems with the rules of operation of the railway automation and telemechanic system, it is formed a list of relay, describing the operating procedure of the railway automation and telemechanic system. The output data of the model is a list of relay with the actual number of relay switch. Data on the values of the actual number of relay switch allows determining the objective terms of its replacement and transition to address planning for the replacement of relay. Keywords: relay equipment of railway automation and telemechanic, number of trips, resource, control unit, train","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"4 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"88482321","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
The original method and route of functional-flow synthesis of ultra-large integrated circuits is considered. A way of reducing the degree of parallelism and the original algorithms is presented. When transferring the algorithm to the target platform, the imposed restrictions are taken into account. It is proposed to use the developed methods of formal verification to confirm the adequacy of the results of the transformation We mean to the transformation from the algorithms descried in the functional-flow parallel programming language to the hardware description languages.
{"title":"On the Correctness of Equivalent Transformations in the Process of Functional-Flow, High-Level VLSI Synthesis","authors":"O. Nepomnyashchiy","doi":"10.17587/it.29.3-11","DOIUrl":"https://doi.org/10.17587/it.29.3-11","url":null,"abstract":"The original method and route of functional-flow synthesis of ultra-large integrated circuits is considered. A way of reducing the degree of parallelism and the original algorithms is presented. When transferring the algorithm to the target platform, the imposed restrictions are taken into account. It is proposed to use the developed methods of formal verification to confirm the adequacy of the results of the transformation We mean to the transformation from the algorithms descried in the functional-flow parallel programming language to the hardware description languages.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"11 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"86128530","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
Make-to-order production needs flexibility, quality and synchronicity of planning. Numerous types of products and complex control parameters lead to high requirements for safety, stability and continuity of the production process, as well as strict requirements for instant production management. The need for a high reaction rate to changes in the production system, adaptability and traceability, must be ensured by methods of accurate and reliable control and management of production. The most difficulty is the stage of making a schedule for make-to-order multi-nomenclature productions. Existing systems of scheduling are often not connected in real time with the current production process, all this leads to a high level of unfinished orders. It is necessary to take a new look at the existing planning systems and search for an approach with the possibility of analyzing and optimizing the operational and production plan, taking into account the actual implementation of the provided production process. The research is aimed at developing a synchronous scheduling method suitable for a multi-nomenclature make-to-order production with a variable number of products, and designed to reduce order fulfillment time, reduce inventory and improve work efficiency by adapting to fluctuations in production and product life cycle and implementing an optimal production plan.
{"title":"The Method of Synchronous Scheduling of Multi-Product Make-to-Order Production","authors":"P. A. Russkikh, O. V. Drozd, D. Kapulin","doi":"10.17587/it.29.39-46","DOIUrl":"https://doi.org/10.17587/it.29.39-46","url":null,"abstract":"Make-to-order production needs flexibility, quality and synchronicity of planning. Numerous types of products and complex control parameters lead to high requirements for safety, stability and continuity of the production process, as well as strict requirements for instant production management. The need for a high reaction rate to changes in the production system, adaptability and traceability, must be ensured by methods of accurate and reliable control and management of production. The most difficulty is the stage of making a schedule for make-to-order multi-nomenclature productions. Existing systems of scheduling are often not connected in real time with the current production process, all this leads to a high level of unfinished orders. It is necessary to take a new look at the existing planning systems and search for an approach with the possibility of analyzing and optimizing the operational and production plan, taking into account the actual implementation of the provided production process. The research is aimed at developing a synchronous scheduling method suitable for a multi-nomenclature make-to-order production with a variable number of products, and designed to reduce order fulfillment time, reduce inventory and improve work efficiency by adapting to fluctuations in production and product life cycle and implementing an optimal production plan.","PeriodicalId":37476,"journal":{"name":"Radioelektronika, Nanosistemy, Informacionnye Tehnologii","volume":"107 1","pages":""},"PeriodicalIF":0.0,"publicationDate":"2023-01-19","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"81289378","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}