(Lviv Politechnic Publishing House, 2019-02-26) Pasternak, Iryna; Lviv Polytechnic National University
A multifunctional cyber-physical system for
monitoring and testing remote computers in the WAN has
been developed. This cyber-physical system has been built
using microservice architecture. The system has used a
website as a graphical interface, which in turn communicates with the main query separator, namely a web
server. In addition, the database and the AES-256
encryption algorithm has been used to simplify data work,
and to increase system security from external interventions.
The algorithms of processing requests, algorithms of
checking the efficiency of different modules of the computing node have been developed. A system of internal
communication has been designed. The links between
database tables have been designed. The utilities for
various custom actions have been developed. The user has
also provided the ability to group users and computing
nodes to simplify the process of analyzing data on the performance check.
(Lviv Politechnic Publishing House, 2019-02-26) Melnyk, Viktor; Lviv Polytechnic National University
The paper aims at providing the technical
investigation on implementation options for the key retrieval
security procedures and consequent security subsystem
architecture in the IEEE 802.15.4 compatible devices. Since
the security procedures typically consume most processing
capacity of IEEE 802.15.4 device, an efficient implementation
of the security subsystem is essential. A brief functional
overview of the key retrieval procedures has been provided.
General investigations on key retrieval procedures
implementation have been performed. Three general
approaches for implementation of key retrieval procedures in
the security subsystem have been considered: a) software
implementation; b) hardware implementation; and c)
hardware-software implementation. The aim is to determine
optimum implementation approach corresponding to low-cost
and low-power consumption requirements. An expediency of
hardware and software implementation of the key retrieval procedures has been estimated.
(Lviv Politechnic Publishing House, 2019-02-26) Melnyk, Anatoliy; Botchkaryov, Alexey; Lviv Polytechnic National University
The problem of designing a master of computer
engineering program with a specialization in cyber-physical
systems has been considered. The concept of cyber-physical
systems has been analyzed from the perspective of
generalization and formalization for educational purposes.
The need for designing a master program in cyber-physical
systems has been justified. Program competencies and
learning outcomes have been defined. The structure of the
master of computer engineering program with a specialization in cyber-physical systems and the corresponding
structural-logical scheme of master's training have been regarded.
(Lviv Politechnic Publishing House, 2019-02-26) Korol, Ihor; Korol, Ivan; Uzhhorod National University
The article presents a new algorithm of accelerated multiplication, in which the time of multiplication
has been reduced through the decrease in the number of
nonzero digits of the multiplier. In this case, the multiplier
has been presented in the form of the extended binary code.
The article proves the algorithm's efficiency in comparison
to previously known methods. The developed algorithm has
been implemented using the hardware description language
AHDL (Altera Hardware Description Language) in the Logic Development System MAX+PLUS II.
(Lviv Politechnic Publishing House, 2019-02-26) Kosolap, Anatolii; University of Chemical Engineering, Dnipro
Cyber-Physical Systems (CPS) are integrations
of computation and physical processes. We consider
effective computations for designing difficult systems. In
this paper, we propose new method of exact quadratic
regularization for deterministic global optimization (EQR).
This method can be used for the solution of a wide class of
multiextreme problems, in particular, general quadratic
problems. These problems will be transformed to
maximization of norm a vector on convex set. The convex
set is approximated by a polyhedron or intersection of
balls. We offer the modified dual problem for maximization
of norm a vector on intersection of balls. It allows to receive
the solution of a primal problem. We use only local search
(primal-dual interior point method) and a dichotomy
method for search of a global extremum in the general quadratic problems.
(Lviv Politechnic Publishing House, 2019-02-26) Horodelski, Michal; Filipkowski, Piotr; The John Paul II Catholic University of Lublin; The Collegium of Economic Analysis of Warsaw School of Economics
: The paper presents the use of states of
explosion-proof method for analyzing the behavior of
systems that provide smart contract technology. The
selected example system is ShadowEth, whose main task is
to ensure sufficient confidentiality of information stored in
the Ethereum blockchain currency. The Petri network
model for the ShadowEth system has been presented. The
system properties according to the specifications have been
defined. Properties described in a certain extension of the
TCTL logic and verification have been carried out.
(Lviv Politechnic Publishing House, 2019-02-26) Hlukhov, Valerii; Lviv Polytechnic National University
In this paper, the digital quantum coprocessor
has been checked for the possibility of quantum Fourier
transform, which is the main quantum operation of the
Shor's algorithm. To do this, the model of the 4-qubit
coprocessor has been created, its work has been simulated and it has been implemented in FPGA.