a borítólapra  Súgó epa Copyright 
Acta polytechnica HungaricaVolume 17., Issue No. 8. (2020.)

Tartalom

  • Tagir Fabarisov ,
    Nafisa Yusupova ,
    Kai Ding ,
    Andrey Morozov ,
    Klaus Janschek :

    Abstract: Industry 4.0 is the current trend of automation and data exchange in manufacturing technologies that is focusing on the creation of smart factories with the modular structured Cyber-Physical Systems (CPS), in tight cooperation with humans. This trend also implies that the systems become more complex, heterogeneous, and distributed especially their network and software parts. This makes the CPS highly critical subject to failures at different levels, including software, hardware, and human operators. Consequently, ensuring reliable and safe operation under the presence of non-avoidable threats also becomes a more complicated task. The proper analysis of the CPS requires thorough comprehension of both the dependability properties of system components and their interactions as well as structural and behavioral aspects of the complete system. Such an analysis of complex and mutually interlinked system properties puts considerable challenges on appropriate methods for modeling and analysis, as well as, on the related applied software tools. The Dual-graph Error Propagation Model (DEPM), developed in our lab, is a mathematical abstraction of the main future system’s properties, which are vital for the determination of the error propagation processes. It is a useful analytical instrument for the evaluation of the influence of particular faults and errors to the overall system behavior. OpenErrorPro is our analytical software tool for stochastic error propagation analysis that supports the DEPM framework. Using OpenErrorPro, a DTMC model could be automatically generated from a DEPM, and the reliability metrics, in addition to, error propagation path, can be computed. This could be implemented for the analysis of the heterogeneous CPS components. The necessary steps for the DEPM framework extension, required for such an implementation, are discussed in this paper.

    Keywords: Cyber-Physical System; Industry 4.0; Markov chain model; Probabilistic Model Checking; Error propagation model; reliability; safety; dependability; model-based system; model-based analysis; control flow; data flow; optimization

  • Valeriy Mironov ,
    Artem Gusarenko ,
    Nafisa Yusupova ,
    Yuriy Smetanin :
    JSON Documents Processing Using Situation-Oriented Databases29-40en [876.11 kB - PDF]EPA-02461-00103-0030

    Abstract: Situation-oriented databases provide processing of documents from heterogeneous data sources under the control of a hierarchical situational model. This article discusses the problem of processing database documents in JSON format, along with XML. Two implementation approaches are discussed: (1) on the fly JSON to XML document conversion and using Document Object Model for processing XML, and (2) loading the JSON document into an associative/indexed array followed by applying the template engine. The database interpreter works with external heterogeneous data extracted from files, databases, archives, web services, data is processed using virtual documents. Examples of processing JSON documents received from a web service are analyzed. Data from the San Francisco Open Data web server is used as the JSON test source. Query in Socrata Query Language used for JSON data extraction is presented. The implementation of approaches in the research situation-oriented database prototype based on Hypertext Preprocessor is considered.

    Keywords: hierarchical model; situation-oriented databases; NoSQL; databases; model-driven development; open data

  • Gennady Kulikov ,
    Vyacheslav Antonov ,
    Almira Fahrullina ,
    Ludmila Rodionova ,
    Ansaf Abdulnagimov ,
    Maria Shilina :

    Abstract: This work proposes a technique of presenting a system model of a subject area in the form of a category of processes. The rule of synthesis of self-organizing structure of process models is proposed. It is shown that the sequence of process decomposition compositions has the property of fractal transformations (self-like). The core of these transformations are commutative triangles that define the structure of interacting processes in composition-decomposition. Such structures have been shown to retain the properties of self-organization in accordance with the laws of the required diversity of the EShBI. The possibility of building a number of identical formal algorithms of control of integrity of the structure of initial processes, in case of violation of which "external" control is required, is shown. The proposed transformation is demonstrated by the example of synthesis of the self-organizing process of the agreement, the architecture of which is defined in ISO/IEC 15288 standard "System Engineering." Polycubic data organization for a software system is proposed herein.

    Keywords: software system; category theory; subject area; structural analysis and synthesis; formal model; system engineering standards; data processing and transmission; fractal

  • Aleksei Massel ,
    Daria Gaskova :

    Abstract: The article describes the identification of critical facilities being a significant trend in researching critical infrastructures, particularly in the energy sector. Cyber threats are believed to be important contemporary threats to energy security in Russia. The authors formulated the risk-based approach to support decision-making in the identification of critical facilities in the energy sector in terms of cyber threats. The novelty of the study lies in the development and application of a fractal stratified model of the relationship of risks, energy facilities, and technologies. This author's approach allows one to identify all the hidden relationships of the influence of cyberthreats on energy objects.The results of the proposed approaches are used and supported by an intelligent decision support system.

    Keywords: intelligent system; risk management; cyber threats; risk-based approach; critical infrastructures; energy facilities

  • Nafisa Yusupova ,
    Gyuzel Shakhmametova ,
    Rustem Zulkarneev :
    Complex Analysis of Medical Data with Data Mining Usage75-93en [581.16 kB - PDF]EPA-02461-00103-0060

    Abstract: the new approach to the medical, in particular, the toxicological data analysis is considered. For the data processing multilevel system realization, the three-stage technique for data analysis with data mining usage is offered. The results of the research are discussed.

    Keywords: medical data processing; data mining; complex analysis

  • Aleksander Vokhmintcev ,
    Michail Timchenko :

    Abstract: A combined solution is proposed for solving the point-plane variational problem in a closed-form based on fusion visual features and 3d point clouds. An accurate method for reconstructing 3d scene is introduced, and the closed-form solutions of registration task for orthogonal transformation are presented. This method is used to reconstruct a three-dimensional model of the environment from a set of images and depth map. The given method is used to match and register point clouds with an arbitrary spatial resolution and an arbitrary scale with respect to each other. The suggested method improves the convergence and accuracy of reconstruction methods for dynamic, bulky scenes.

    Keywords: 3d mapping; registration problem; three-dimensional map; feature-matching; iterative closest point algorithm

  • Vladimir E. Gvozdev ,
    Lilia R. Chernyakhovskaya ,
    Darya V. Blinova ,
    Dinara R. Akhmetova :
    Analysis of the GRID’s Basic Topological Structure Reliability109-119en [739.18 kB - PDF]EPA-02461-00103-0080

    Abstract: Approaches to the investigation of the reliability of the basic topological structures of GRID systems, which are minimal enough set of constructive elements for constructing such systems, are considered in this work. Methods used for the quantitative assessment of the reliability of basic topological structures under conditions of different interpretations of the concept of "full failure of the basic structure" are considered. The construction of structural reliability models, based on series-parallel reliability schemes, are described in this work. The application of these approaches creates the basis for a multi-dimensional analysis of the GRID-systems reliability characteristics, at the design and development stages. This, in turn, creates the prerequisites for assessing the functional safety of such systems.

    Keywords: GRID; topology; reliability; failure

  • Galina B. Zakharova ,
    Alexandr I. Krivonogov ,
    Sergey V. Kruglikov ,
    Alexandr A. Petunin :

    Abstract: The world trends in modern construction correspond to the ecological, rational design, according to "green" standards and applications of the building information modeling - BIM. Herein, we give a short review and some examples of Green, BIM technologies, in different countries. For more effective implementation of "green" building, it is necessary to introduce corresponding thematic in the higher education. Based on a comprehensive analysis of the articles, we described the competencies that a University Graduate must possess, for successful implementation in the industry AEC. Despite the absence of common methods, we developed a practice-oriented approach for teaching students Green BIM technologies and here integration these technologies into the educational process is considered. Some projects of energy-efficient objects, created by students of University of Architecture and Art, meeting requirements of "green" standards, are presented.

    Keywords: energy-efficient technologies; BIM; "green" standards; Green BIM; education

  • Bary Ilyasov ,
    Vladimir Vasilyev ,
    Sagit Valeev :

    Abstract: The problem of designing multi-level intelligent control systems for complex technical objects on the basis of the theoretical-information approach is discussed. The proposed approach allows us to make well-grounded project decisions when designing control algorithms for advanced control systems. The problem statement of applying the proposed approach to the design of intelligent control systems for aviation gas-turbine engines is considered.

    Keywords: multi-level control system; intelligent control design; entropy; aviation engine

  • Arkady Isaakovich Frid ,
    Alexey Mikhailovich Vulfin ,
    Victoria Viktorovna Berholz ,
    Dmitry Yurievich Zakharov ,
    Konstantin Valerievich Mironov :

    Abstract: This article discusses a problem of a secure access provision, via Web-service, to a database. Databases contain critical information about the parameters of the life-cycle of complex technical devices (CTD). Information life-cycle support (LS) of CTD provides access to a projects organization, production facilities, suppliers, service organization and the end users in long-term projects, which complex system projects actually are, at all stages of the device’s life-cycle.

    Keywords: data base; web application; secure access; telemetry; aircraft

  • Alexander A. Petunin ,
    Pavel A. Chentsov :
    Routing in CNC Cutting Machines: Engineering Constraints165-177en [1.01 MB - PDF]EPA-02461-00103-0120

    Abstract: The paper is devoted to the problems of cutting path optimization with engineering specifics. There are two severe constraints of thermal cutting: thermal expansion and sheet stiffness constraints. Our solution uses the dependence of the cost functions on the previous part of the route and on the direction of movement of the tool along the contour.

    Keywords: general traveling salesman problem; cutting tool motion optimization; CNC cutting machines

  • Leonid V. Legashev ,
    Irina P. Bolodurina :

    Abstract: This paper describes the cloud system of collective access to virtual working environments as a means of providing remote access to paid and free software, for students of educational institutions in secondary education. The problems of efficient cloud system scheduling and optimizing the usage of cloud virtual machines and paid software licenses has been studied in detail, herein. In addition, the mathematical model of cloud system resources control is presented, as well as, the functional model. Two evolutionary scheduling algorithms are proposed. Also, the UML class diagram of the cloud system simulator is described. The statistical analysis of the fitness function value distribution, to evaluate the proposed algorithms, is also performed.

    Keywords: desktop as a service; cloud computing; scheduling; simulated annealing; genetic algorithm, statistical analysis