发布求助
文献互助 智能选刊 最新文献

International Workshop on Information, Computation, and Control Systems for Distributed Environments最新文献

筛选
英文 中文
Automation of distributed data management in applied microservices package for scientific computations 科学计算应用微服务包中的分布式数据管理自动化
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.20
G. Oparin, V. Bogdanova, A. A. Pashinin
{"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":null,"pages":null},"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}
引用次数: 0
A formation of the heat pump mathematical models 形成了热泵的数学模型
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.18
A. Marinchenko, A. Edelev
{"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":null,"pages":null},"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}
引用次数: 3
Logic inference based construction of a supervisor for a discrete event system 基于逻辑推理的离散事件系统监督器构造
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.05
A. Davydov, Aleksandr Larionov, N. Nagul
{"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":null,"pages":null},"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}
引用次数: 0
Application of software tools for symbolic description and modeling of mechanical systems 应用软件工具对机械系统进行符号描述和建模
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.03
A. Banshchikov, A. Vetrov
{"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":null,"pages":null},"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}
引用次数: 0
Automated tools for the development of microservice compositions for hybrid scientific computations 开发用于混合科学计算的微服务组合的自动化工具
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.19
G. Oparin, V. Bogdanova, A. A. Pashinin
{"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":null,"pages":null},"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}
引用次数: 4
Optimization of placement in the tasks of rapid prototyping and manufacturing of volumetric parts based on additive technologies 基于增材制造技术的体积零件快速成型和制造任务中的位置优化
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.27
M. Verkhoturov, G. Verkhoturova, R. Yagudin, K. Danilov, R. Karimov, N. Kondratyeva, S. Valeev
{"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":null,"pages":null},"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}
引用次数: 1
Neural network method for base extension in residue number system 残数系统基扩展的神经网络方法
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.01
M. Babenko, E. Shiriaev, A. Tchernykh, E. Golimblevskaia
{"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":null,"pages":null},"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}
引用次数: 1
Analysis of one type of communication systems using software and probabilistic methods 用软件和概率方法分析一类通信系统
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.21
A. Reznik, A. Soloviev, A. Torgov
{"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":null,"pages":null},"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}
引用次数: 0
The construction of controllable sublanguage of specification for DES via PCFs based inference 基于pcf的推理构造DES规范的可控子语言
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.06
A. Davydov, Aleksandr Larionov, N. Nagul
{"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":null,"pages":null},"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}
引用次数: 0
A software platform to support the energy system resilience study 一个支持能源系统弹性研究的软件平台
International Workshop on Information, Computation, and Control Systems for Distributed Environments Pub Date : 2020-07-18 DOI: 10.47350/iccs-de.2020.07
A. Edelev, E. Fereferov
{"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":null,"pages":null},"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}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信