Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.20
G. Oparin, V. Bogdanova, A. A. Pashinin
We offer a specialized toolkit for automating both knowledge management when creating an applied microservices package and data accumulating during its application for scientific computations in a hybrid computing environment. The decentralized solving of the declaratively formulated problem is carried out by an active agent group. This group is self-organized by logical inference on the distributed knowledge base of a subject domain. The developed toolkit automates the creating and updating of the local knowledge base of the manager-agent of applied microservices package, as well as the local knowledge bases of distributed computational agents. Local knowledge bases are formed using a description of the interface of computational microservices managed by these agents. Microservice ensembles, corresponding to the active group, are stored in the knowledge base of the manager-agent. The developed toolkit uses this information for testing microservice in the case of its update. In hybrid computing, this toolkit provides synchronizing, archiving, and saving of calculated data. Hybrid infrastructure combines the reliability and availability of using on-premises computers with scaling to the cloud when peak loads occur. The conducted experiments confirmed the effectiveness of the presented approach for solving practically significant scientific problems.
{"title":"Automation of distributed data management in applied microservices package for scientific computations","authors":"G. Oparin, V. Bogdanova, A. A. Pashinin","doi":"10.47350/iccs-de.2020.20","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.20","url":null,"abstract":"We offer a specialized toolkit for automating both knowledge management when creating an applied microservices package and data accumulating during its application for scientific computations in a hybrid computing environment. The decentralized solving of the declaratively formulated problem is carried out by an active agent group. This group is self-organized by logical inference on the distributed knowledge base of a subject domain. The developed toolkit automates the creating and updating of the local knowledge base of the manager-agent of applied microservices package, as well as the local knowledge bases of distributed computational agents. Local knowledge bases are formed using a description of the interface of computational microservices managed by these agents. Microservice ensembles, corresponding to the active group, are stored in the knowledge base of the manager-agent. The developed toolkit uses this information for testing microservice in the case of its update. In hybrid computing, this toolkit provides synchronizing, archiving, and saving of calculated data. Hybrid infrastructure combines the reliability and availability of using on-premises computers with scaling to the cloud when peak loads occur. The conducted experiments confirmed the effectiveness of the presented approach for solving practically significant scientific problems.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"88 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114407333","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.18
A. Marinchenko, A. Edelev
The paper addresses the mathematical modeling heat pump main elements and heat pump based heat supply systems. It is used in the calculating expected heat supply costs on the basis of a heat supply system functioning simulation. Using these models, the current state of the heat pump NT-60-1 located in the Baikal Museum of the Scientific Center of the Siberian Branch of the Russian Academy of Sciences in Listvyanka was analyzed. Recommendations on improving the heat pump efficiency are given.
{"title":"A formation of the heat pump mathematical models","authors":"A. Marinchenko, A. Edelev","doi":"10.47350/iccs-de.2020.18","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.18","url":null,"abstract":"The paper addresses the mathematical modeling heat pump main elements and heat pump based heat supply systems. It is used in the calculating expected heat supply costs on the basis of a heat supply system functioning simulation. Using these models, the current state of the heat pump NT-60-1 located in the Baikal Museum of the Scientific Center of the Siberian Branch of the Russian Academy of Sciences in Listvyanka was analyzed. Recommendations on improving the heat pump efficiency are given.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"153 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116005629","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.05
A. Davydov, Aleksandr Larionov, N. Nagul
The paper provides a general view on the original logical inference based approach to dealing with discrete event systems as subject to supervisory control theory. The approach proposes a representation of automata-based discrete event system as a positively constructed formula and implementation of the calculus of positively constructed formulas. The stages of a supervisor construction are illustrated with a simplified model of an autonomous underwater vehicle operational modes switching. The supremal controllable sublanguage of the specification and the supervisor are constructed.
{"title":"Logic inference based construction of a supervisor for a discrete event system","authors":"A. Davydov, Aleksandr Larionov, N. Nagul","doi":"10.47350/iccs-de.2020.05","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.05","url":null,"abstract":"The paper provides a general view on the original logical inference based approach\u0000to dealing with discrete event systems as subject to supervisory control theory. The approach\u0000proposes a representation of automata-based discrete event system as a positively constructed\u0000formula and implementation of the calculus of positively constructed formulas. The stages of\u0000a supervisor construction are illustrated with a simplified model of an autonomous underwater\u0000vehicle operational modes switching. The supremal controllable sublanguage of the specification\u0000and the supervisor are constructed.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"45 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125300044","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.03
A. Banshchikov, A. Vetrov
The paper presents two software tools (graphical editor and software package). The editor is designed for the formation of a symbolic description of a mechanical system using the Lagrange formalism. A system of the absolutely rigid bodies connected by joints is considered as a mechanical system. The editor is a user interface by which one sets the structure of the interconnection of bodies (system configuration) as well as the geometric and kinematic characteristics for each body of the system. The created structure and the entered data are automatically presented in the form of a text file, which is used as an input file for the software package for modeling mechanical systems in a symbolic form with a computer. The use of these software tools is shown in detail in the example of the analysis of the dynamics of a satellite with a gravitational stabilizer in a circular orbit. For this system, the kinetic energy and force function of an approximate Newtonian gravitational field were obtained, nonlinear and linearized equations of motion were constructed, and the question of the stability of the relative equilibrium position was considered.
{"title":"Application of software tools for symbolic description and modeling of mechanical systems","authors":"A. Banshchikov, A. Vetrov","doi":"10.47350/iccs-de.2020.03","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.03","url":null,"abstract":"The paper presents two software tools (graphical editor and software package). The editor is designed for the formation of a symbolic description of a mechanical system using the Lagrange formalism. A system of the absolutely rigid bodies connected by joints is considered as a mechanical system. The editor is a user interface by which one sets the structure of the interconnection of bodies (system configuration) as well as the geometric and\u0000kinematic characteristics for each body of the system. The created structure and the entered data are automatically presented in the form of a text file, which is used as an input file for the software package for modeling mechanical systems in a symbolic form with a computer. The use of these software tools is shown in detail in the example of the analysis of the dynamics of a satellite with a gravitational stabilizer in a circular orbit. For this system, the kinetic energy and force function of an approximate Newtonian gravitational field were obtained, nonlinear and linearized equations of motion were constructed, and the question of the stability of the relative equilibrium position was considered.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"32 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128970542","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.19
G. Oparin, V. Bogdanova, A. A. Pashinin
In recent years, a significant amount of research is focused on the development of tools for creating composite web-services for solving both business and scientific complex problems. This study discusses tools for building compositions or ensembles of microservices (depending on the method of integration) developed based on the HPCSOMAS framework. These tools are oriented on the application in a package of applied microservices for solving computationally complex problems of structural analysis and parametric synthesis of controlled dynamic systems in a heterogeneous high-performance computing environment. In particular, binary dynamic systems are studied using the Boolean constraint method for both their qualitative analysis and synthesis of laws to control these systems. Creating and executing composite services is carried out on a semantic peer-to-peer network of agents. The HPCSOMAS framework supports two modes of these processes, both the static creation and application of a composite service based on the procedural formulation of the problem and dynamic, based on the declarative formulation. In the first case, agents deployed on the network perform hierarchical control over the execution of the composition of microservices, in the second case, decentralized asynchronous management of the ensemble of microservices. Both operating modes are automated, and the validity of the resulting composite service is checked based on a logical approach. The tools are aimed both at a professional programmer and the end-user, a specialist in the subject domain. The HPCSOMAS framework supports the execution of composite microservices in a hybrid computing infrastructure, which includes both cloud and on-premises resources.
{"title":"Automated tools for the development of microservice compositions for hybrid scientific computations","authors":"G. Oparin, V. Bogdanova, A. A. Pashinin","doi":"10.47350/iccs-de.2020.19","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.19","url":null,"abstract":"In recent years, a significant amount of research is focused on the development of tools for creating composite web-services for solving both business and scientific complex problems. This study discusses tools for building compositions or ensembles of microservices (depending on the method of integration) developed based on the HPCSOMAS framework. These tools are oriented on the application in a package of applied microservices for solving computationally complex problems of structural analysis and parametric synthesis of controlled dynamic systems in a heterogeneous high-performance computing environment. In particular, binary dynamic systems are studied using the Boolean constraint method for both their qualitative analysis and synthesis of laws to control these systems. Creating and executing composite services is carried out on a semantic peer-to-peer network of agents. The HPCSOMAS framework supports two modes of these processes, both the static creation and application of a composite service based on the procedural formulation of the problem and dynamic, based on the declarative formulation. In the first case, agents deployed on the network perform hierarchical control over the execution of the composition of microservices, in the second case, decentralized asynchronous management of the ensemble of microservices. Both operating modes are automated, and the validity of the resulting composite service is checked based on a logical approach. The tools are aimed both at a professional programmer and the end-user, a specialist in the subject domain. The HPCSOMAS framework supports the execution of composite microservices in a hybrid computing infrastructure, which includes both cloud and on-premises resources.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"217 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"132562176","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.27
M. Verkhoturov, G. Verkhoturova, R. Yagudin, K. Danilov, R. Karimov, N. Kondratyeva, S. Valeev
The problem of optimizing the life cycle of complex three-dimensional objects in small-scale production is considered. Additive technologies and optimization algorithms for the placement of three-dimensional objects are considered as technologies to solve this problem. Using the multilevel synthesis method can significantly reduce the time for prototyping new products. It should be noted that since several independent parts can be manufactured at the same time, this problem belongs to the class of optimization geometric modelling problems, namely, the problem of three-dimensional irregular placement. An algorithmic solution is proposed for the most complex task - placing 3D objects in a container. The results of the analysis of the effectiveness of the proposed algorithms are discussed.
{"title":"Optimization of placement in the tasks of rapid prototyping and manufacturing of volumetric parts based on additive technologies","authors":"M. Verkhoturov, G. Verkhoturova, R. Yagudin, K. Danilov, R. Karimov, N. Kondratyeva, S. Valeev","doi":"10.47350/iccs-de.2020.27","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.27","url":null,"abstract":"The problem of optimizing the life cycle of complex three-dimensional objects in small-scale production is considered. Additive technologies and optimization algorithms for the placement of three-dimensional objects are considered as technologies to solve this problem. Using the multilevel synthesis method can significantly reduce the time for prototyping new products. It should be noted that since several independent parts can be manufactured at the same time, this problem belongs to the class of optimization geometric modelling problems, namely, the problem of three-dimensional irregular placement. An algorithmic solution is proposed for the most complex task - placing 3D objects in a container. The results of the analysis of the effectiveness of the proposed algorithms are discussed.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"18 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134361215","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.01
M. Babenko, E. Shiriaev, A. Tchernykh, E. Golimblevskaia
Confidential data security is associated with the cryptographic primitives, asymmetric encryption, elliptic curve cryptography, homomorphic encryption, cryptographic pseudorandom sequence generators based on an elliptic curve, etc. For their efficient implementation is often used Residue Number System that allows executing additions and multiplications on parallel computing channels without bit carrying between channels. A critical operation in Residue Number System implementations of asymmetric cryptosystems is base extension. It refers to the computing a residue in the extended moduli without the application of the traditional Chinese Remainder Theorem algorithm. In this work, we propose a new way to perform base extensions using a Neural Network of a final ring. We show that it reduces 11.7% of the computational cost, compared with state-of-the-art approaches.
{"title":"Neural network method for base extension in residue number system","authors":"M. Babenko, E. Shiriaev, A. Tchernykh, E. Golimblevskaia","doi":"10.47350/iccs-de.2020.01","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.01","url":null,"abstract":"Confidential data security is associated with the cryptographic primitives, asymmetric encryption, elliptic curve cryptography, homomorphic encryption, cryptographic pseudorandom sequence generators based on an elliptic curve, etc. For their efficient implementation is often used Residue Number System that allows executing additions and multiplications on parallel computing channels without bit carrying between channels. A critical operation in Residue Number System implementations of asymmetric cryptosystems is base extension. It refers to the computing a residue in the extended moduli without the application of the traditional Chinese Remainder Theorem algorithm. In this work, we propose a new way to perform base extensions using a Neural Network of a final ring. We show that it reduces 11.7% of the computational cost, compared with state-of-the-art approaches.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"26 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122995269","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.21
A. Reznik, A. Soloviev, A. Torgov
The study is devoted to one of the tasks related to information and computer systems with a different discipline of establishing connections between its nodes. Cases of systems with and without queues are considered. The efficiency of the systems (the relative load, the number of busy nodes, etc.) is calculated. To calculate the probability of the communication system being in one of the possible enlarged states, the corresponding Markov process is introduced and its asymptotic characteristics are determined.
{"title":"Analysis of one type of communication systems using software and probabilistic methods","authors":"A. Reznik, A. Soloviev, A. Torgov","doi":"10.47350/iccs-de.2020.21","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.21","url":null,"abstract":"The study is devoted to one of the tasks related to information and computer systems with a different discipline of establishing connections between its nodes. Cases of systems with and without queues are considered. The efficiency of the systems (the relative load, the number of busy nodes, etc.) is calculated. To calculate the probability of the communication system being in one of the possible enlarged states, the corresponding Markov process is introduced and its asymptotic characteristics are determined.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"192 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115484670","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.06
A. Davydov, Aleksandr Larionov, N. Nagul
The paper considers how methods of a logical inference search in the calculus of positively constructed formulas may be applied to represent and study discrete event systems. The formalisms of discrete event systems and positively constructed formulas are briefly described. A method for constructing a product of automata using constructive inference in the positively constructed formulas calculus is proposed. Based on the given specication on the behaviour of the system, a method for constructing a supremal controllable sublanguage of the specication is presented.
{"title":"The construction of controllable sublanguage of specification for DES via PCFs based inference","authors":"A. Davydov, Aleksandr Larionov, N. Nagul","doi":"10.47350/iccs-de.2020.06","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.06","url":null,"abstract":"The paper considers how methods of a logical inference search in the calculus\u0000of positively constructed formulas may be applied to represent and study discrete event systems. The formalisms of discrete event systems and positively constructed formulas are briefly described. A method for constructing a product of automata using constructive inference in the positively constructed formulas calculus is proposed. Based on the given specication on\u0000the behaviour of the system, a method for constructing a supremal controllable sublanguage of the specication is presented.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"249 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116154269","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}
Pub Date : 2020-07-18DOI: 10.47350/iccs-de.2020.07
A. Edelev, E. Fereferov
The paper addresses the problem of supporting research of the energy systems resilience. The resilience is concerned with the energy system ability to withstand large disturbances. To reach the goal of creating user-friendly software for decision making support in that field, a software platform is considered. It includes some original frameworks for retrieving, gathering, querying and analysing data, and building thematic maps to produce disturbance scenarios and evaluate consequences of their impact. The main advantage of the proposed platform is its applicability for all the stages of the energy system resilience research starting from risk mitigation assessment and ending with comparing alternative recovering or reconstruction strategies.
{"title":"A software platform to support the energy system resilience study","authors":"A. Edelev, E. Fereferov","doi":"10.47350/iccs-de.2020.07","DOIUrl":"https://doi.org/10.47350/iccs-de.2020.07","url":null,"abstract":"The paper addresses the problem of supporting research of the energy systems resilience. The resilience is concerned with the energy system ability to withstand large disturbances. To reach the goal of creating user-friendly software for decision making support in that field, a software platform is considered. It includes some original frameworks for retrieving, gathering, querying and analysing data, and building thematic maps to produce disturbance scenarios and evaluate consequences of their impact. The main advantage of the proposed platform is its applicability for all the stages of the energy system resilience research starting from risk mitigation assessment and ending with comparing alternative recovering or reconstruction strategies.","PeriodicalId":210887,"journal":{"name":"International Workshop on Information, Computation, and Control Systems for Distributed Environments","volume":"470 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2020-07-18","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"120884297","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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：