Advances In Cyber-Physical Systems. – 2018. – Vol. 3, No. 1

Permanent URI for this collection

https://ena.lpnu.ua/handle/ntb/45642

Науковий журнал

Засновник і видавець Національний університет «Львівська політехніка». Виходить двічі на рік з 2016 року.

Advances in Cyber-Physical Systems / Lviv Polytechnic National University ; editor-in-chief A. Melnyk. – Lviv : Lviv Politechnic Publishing House, 2018. – Volume 3, number 1. – 54 p. : ill.

Зміст


1
7
15
26
33
44
51

Content (Vol. 3, No 1)


1
7
15
26
33
44
51

Browse

Recent Submissions

Now showing 1 - 7 of 7
  • No Thumbnail Available
    Item
    On the approaches to cyber-physical systems simulation
    (Lviv Politechnic Publishing House, 2018-02-01) Shkarupylo, Vadym; Kudermetov, Ravil; Polska, Olga; Zaporizhzhia National Technical University
    A comparative analysis of existing approaches to Cyber-Physical Systems simulation has been conducted. The intrinsic peculiarities of Cyber-Physical Systems have been reasoned and generalized. The limitations of available simulation tools have been pointed out. The approach to Cyber-Physical Systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and Temporal Logic of Actions usage has been proposed. The proposed approach is supposed to be applied at designing stage – to prevent the potential time and computational expenses on overcomplicated or faulty formal models checking. A case study on electric power delivery system usage scenario has been conducted.
  • No Thumbnail Available
    Item
    Linear electromechanical generator in the cyber-physical system of selection and conversion of the artilery cannon recoil energy
    (Lviv Politechnic Publishing House, 2018-02-01) Shabatura, Yuriy; Balandin, Maksim; Seredyuk, Bohdan; Atamanyuk, Vitalii; Hetman Petro Sahaidachnyi National Army Academy
    The current state and prospects of the development of cyber-physical systems for the conversion of energy of mechanical motion into electric energy have been analyzed; the design scheme of the mechanical energy conversion of the rolling parts of the artillery cannon into electrical energy has been developed; the initial characteristics of the linear generator have been analyzed; a mathematical model of the electromechanical converter has been outlined.
  • No Thumbnail Available
    Item
    High-performance software for designing complex Cyber-Physical Systems on the parallel computers
    (Lviv Politechnic Publishing House, 2018-02-01) Klushyn, Yuriy; Lviv Polytechnic National University
    To study the effective functioning and behavior of parallel computing systems (which may be an integral part of the Cyber-Physical System), a high-performance software package based on mathematical models, methods and algorithms for stochastic modeling has been developed at the design stage. This software package completely solves the design problem – the parameters of a computing system have been calculated: its computational power, the average value of task execution time or various tasks on homogeneous resources of a parallel computing system, the distribution function of the task execution time. Based on the analysis of the parameters obtained, as well as indicators of the reliability of the system, the configuration of a parallel computing system has been selected or the possibility of using a previously selected computing system to perform the task has been considered.
  • No Thumbnail Available
    Item
    Methodology for the construction of predictive analysis systems as exemplified by the mining equipment in the big data environment using smart agents and cybernetic systems
    (Lviv Politechnic Publishing House, 2018-02-01) Kupin, Andrey; Ivchenko, Rodion; Kryvyi Rih National University
    It is necessary to determine the optimal methodology for the system of predictive analysis of equipment to prevent emergency situations. The system may include, in particular: data input/reading from sensors, processing/storage of information in a database using algorithms for processing Big Data and decision trees [1]. Identifying possible types of problems and making decisions on how to respond to them; training the system for more accurate response and decision-making.
  • No Thumbnail Available
    Item
    Subsystem of CPS information support organization
    (Lviv Politechnic Publishing House, 2018-02-01) Hirniak, Yurii; Ivakhiv, Orest; Nakonechnyi, Markiyan; Velgan, Roman; Viter, Oleksandr; Lviv Polytechnic National University
    The possibilities of the information support for cyber-physical designing systems have been considered. Their coincidence with Open System Interconnection Standard has been analyzed. Their effectiveness has been taken into account. From this point of view, the usage of compression technique, low-energy wireless networks has been considered.
  • No Thumbnail Available
    Item
    Microprocessor with tagged registers realizing parallelism
    (Lviv Politechnic Publishing House, 2018-02-01) Dobrovolskyi, Volodymyr; CPU Architect, Kyiv
    A RISC microprocessor architecture that realizes a specific method of parallelism including the instruction level parallelism has been considered. The processor has been provided for 4-bit data type tag in each register of the register file. There are 14 data type tag values. The zero data type tag indicates that the register is free, otherwise it is busy. The destination register inherits the data type tag from the first source register. After an operation the data type tags in the source registers may be either zeroed, or may remain unchanged for further usage. All machine operations are classified into computational operations (about 40), and auxiliary operations (about 35-45). The computational operations include integer, unsigned, floating point, logical, string, and conversion operations. The processor has specific instruction formats in which there are 6-bit fields both for the operation code and the computational code. A single primary computational instruction having zero in the operation code field, and a meaningful code in the computational code field is enough to express all computational operations. A compiler generates groups of instructions to perform in parallel, the reordering of instructions may take place. There are several clones of the primary computational instruction with operation codes differing from zero. A clone computational instruction with a certain operation code is placed as a header instruction for the instruction group pointing out a certain number of instructions in the group to issue in parallel. The primary instructions may be placed inside the groups. The concept of flux is introduced as a composite of stream of instructions and a flow of processed data maintained by the flux hardware. Fluxes improve the usage of multiple functional units, and may be used for further parallelization.
  • No Thumbnail Available
    Item
    Analysis and optimization of the sizes of the iteration space tiles during the parallelization of program loop operators
    (Lviv Politechnic Publishing House, 2018-02-01) Chemeris, Alexander; Sushko, Sergii; Pukhov Institute for Modeling in Energy Engineering
    The analysis of the dependency of influence of the tile sizes of iteration space has been represented. It involves program loop operators’ modification during parallelization for multithreading architectures of the computation systems. The particle swarm optimization method has been considered as a method of the minimization program execution time for tiling speed up.