Домівка

Volume 1, Number 2 (2016)

Зміст

Титульні сторінки та зміст

Dudykevych V., Mykytyn G., Kret T., Rebets A. Security of Cyber-Physical Systems from Concept to Complex Information Security System

Dudykevych V., Mykytyn G., Kret T., Rebets A. Security of Cyber-Physical Systems from Concept to Complex Information Security System

Hlukhov V., Lukenyuk A., Shenderuk S. Satellite ScientiȀc Data Collection and Accumulation System as a Basis for Cyber-Physical Systems Construction

SATELLITE SCIENTIFIC DATA COLLECTION
AND ACCUMULATION SYSTEM AS A BASIS
FOR CYBER-PHYSICAL SYSTEMS CONSTRUCTION
Valerii Hlukhov1, Adolf Lukenyuk, Sergii Shenderuk

1Lviv Polytechnic National University, 12, Bandera str., Lviv, 79013, Ukraine.
Lviv Centre of Institute for Space Research of National Academy
of Sciences and the State Space Agency of Ukraine, 5-A, Naukova str., Lviv, 79060, Ukraine
Authors e-mail: glukhov@polynet.lviv.ua
Submitted on 12.12.2016
© Hlukhov V., Lukenyuk A., Shenderuk S., 2016

Abstract: The paper reviews technologies of computer systems the development of which has led to the emergence of cyber-physical systems – there are embedded computer systems, open systems interconnection model, multilayer computer systems, wireless communications, microelectro¬mecha¬nical systems, data protection technologies. It is noted that there are computer systems exist, whose parameters are close to those of cyber-physical systems ones, there are also groups of developers who have experience of in such systems designing. The satellite scientific data collection and accumulation system developed in Lviv Center of Institute for Space Research of NAS and SSA of Ukraine with the participation of Lviv Polytechnic National University Computers department is an example of such systems. In paper The main features of this system are described in the paper. The recommen¬dations are given onf using it as the basis for the creation of advanced cyber-physical systems.

Index Terms: cyber-physical system, scientific data collection and accumulation system, source packet, transfer frame, FPGA, SciWay.
REFERENCES – 17

Kupin A., Muzyka I., Romanov M., Ruban S., Savitskyi O., Kharlamenko V. Intelligent Control of Repair Process of Industrial Facilities with Distributed Infrastructure on the Basis of CPS

INTELLIGENT CONTROL OF REPAIR PROCESS OF INDUSTRIAL FACILITIES WITH DISTRIBUTED INFRASTRUCTURE ON THE BASIS OF CPS
Andriy Kupin, Ivan Muzyka, 1Maksim Romanov, Sergii Ruban,
Oleksandr Savitskyi, Vadym Kharlamenko
SIHE “Kryvyi Rih National University”, 11, Vitaliy Matusevych Street, Kryvyi Rih, 50027, Ukraine,
1PJSC “ArcelorMittal Kryvyi Rih”, 1, Kryvorizhstal Street, Kryvyi Rih, 50095, Ukraine,
Author e-mail: musicvano@gmail.com
Submitted on 01.10.2016
© Kupin A., Muzyka I., Romanov M., Ruban S., Savitskyi O., Kharlamenko V., 2016

Abstract: The paper presents a brief description of engineering and scientific problems which arise at the steel plant PJSC “ArcelorMittal Kryvyi Rih” when organizing a repair workshop to fix industrial equipment. The attention is paid to innovative methods of repair process based on intelligent agents and Industry
4.0 principles.

Index Terms: Control Systems, Cyber-Physical Systems, Predictive Maintenance, Smart Services, Industry 4.0,
Big Data.
REFERENCES – 8

Melnyk A. Parallel Ordered-Access Machine Computational Model and Architecture

PARALLEL ORDERED-ACCESS MACHINE COMPUTATIONAL MODEL
AND ARCHITECTURE
Anatoliy Melnyk
Lviv Polytechnic National University, 12, Bandera str., Lviv, 79013, Ukraine
Authors e-mail: aomelnyk@polynet.lviv.ua
Submitted on 28.12.2016
© Melnyk A., 2016

Abstract: The article presents the new computational model which we name the parallel ordered-access machine because of its base – the parallel ordered-access memory. It also describes the computer architecture which implements proposed computational model and owing to this does not have such a limitation as the memory wall and provides parallel conflict-free memory access. The efficiency of the proposed ordered-access machine computational model is evaluated and an example of its implementation is presented.

Index Terms: Computational model, Computer architecture, Parallel ordered-access memory, Parallel ordered-access machine.
REFERENCES – 39

Melnyk V., Lopit I., Kit A. Computer Devices Automatic Synthesis as a Service for FPGA-Based Smart-Sensors of Cyber-Physical Systems

COMPUTER DEVICES AUTOMATIC SYNTHESIS AS A SERVICE
FOR FPGA-BASED SMART-SENSORS OF CYBER-PHYSICAL SYSTEMS
Viktor Melnyk, Ivan Lopit, Andrii Kit
Lviv Polytechnic National University, 12, Bandera str., Lviv, 79013, Ukraine
Authors e-mail: viktor.a.melnyk@gmail.com
Submitted on 19.12.2016
© Melnyk V., Lopit I., Kit A., 2016

Abstract: Present paper is dedicated to the problems of studying and developing the theoretical and methodological framework, algorithmic base and corresponding software means to organize and realize the automatic synthesis of computer devices in the reconfigurable hardware platforms of the smart-sensors in cyber-physical systems with no human assistance. To solve this task, the following basic approaches will be used: a) a method of self-configuring of the computer system with reconfigurable logic; b) a “Software as a Service” software delivery model via a computer network; and c) an “Internet of Things” technology. The method of computer devices automatic synthesis in the reconfigurable hardware platforms of the smart sensors of the cyber-physical systems will be proposed. The client-server protocol of information exchange between the reconfigurable hardware platforms of the cyber-physical system measuring and computing nodes will be developed for automatic creation of computer devices in them. On the basis of the above protocol, the technical requirements to realization will be formulated and the principles of design and the main algorithms of the software interface operation will be developed. The program interfaces of realizing the protocol of information exchange between the reconfigurable hardware platforms of the smart-sensors for automatic creation of computer devices will be modeled and the results of their implementation and testing will be demonstrated.

Index Terms: Cyber-Physical System, Field Programmable Gate Array, FPGA-Based Smart-Sensor, Self-Configuring, Software as a Service, Internet of Things.

REFERENCES – 46

Morkun V., Savitskyi O., Tymoshenko M. Multiagent Control and Predictive Diagnostics of Distributed Iron Ore Enrichment System Based on CPS

MULTIAGENT CONTROL AND PREDICTIVE DIAGNOSTICS
OF DISTRIBUTED IRON ORE ENRICHMENT SYSTEM BASED ON CPS
Volodymyr Morkun, Oleksandr Savytskyi, Maxym Tymoshenko
SIHE “Kryvyi Rih National University”, 11, Vitaliy Matusevych str., Kryvyi Rih, 50027, Ukraine
Author e-mail: musicvano@gmail.com
Submitted on 01.10.2016
© Morkun V., Savitskyi O., Tymoshenko M., 2016

Abstract: The paper presents a description of a distributed control system of processing complex, consisting of three stages with a predictive diagnosis of sensors and actuators. Innovative methods of multi-agent control re focused on as one of the CPS concepts to improve the relation between different stages of enrichment equipment and their coordination.

Index Terms: Control Systems, Cyber-Physical Systems, Enrichment, Industry 4.0, Multiagent Control, Predictive Diagnostics
REFERENCES – 16

Popovych R. Extended Finite Fields in Cryptographic Information Protection

EXTENDED FINITE FIELDS IN CRYPTOGRAPHIC INFORMATION PROTECTION
Roman Popovych
Lviv Polytechnic National University, 12, Bandera Str., Lviv, 79013, Ukraine
Author’s e-mail: rombp07@gmail.com
Submitted on 21.11.2016
© Popovych R., 2016

Abstrac. The use of extended finite fields for cryptographic information protection is focused on. In particular, explicit construction in finite fields elements of high multiplicative order is described. The obtained correspondent lower bounds on the order are provided.

Index Terms – information protection, algebraic structure, finite field, multiplicative order, lower bound.

REFERENCES – 12

Tsyhylyk L. Program Code Parallelization Method

PROGRAM CODE PARALLELIZATION METHOD
Liubomyr Tsyhylyk
Lviv Polytechnic National University, 12, Bandera Str., Lviv, 79013, Ukraine.
Authors e-mail: l.tsyhylyk@gmail.com
Submitted on 04.12.2016
© Tsyhylyk L., 2016
Abstract. Method of parallelism extraction from sequential program is proposed. The definition of three-address code is given. The requirements to the sequential and parallel program are determined. The structure and design performance of the parallel program are given. The description of two stages of the parallelism extraction method is proposed: stage of preliminary field initialization and recursive stage of the parallel extraction. Evaluate efficient of the parallelism extraction method based on an example of FFT 64p.
Index Terms — parallelization, program parallelization, method of program parallelization, parallel code structure, tree-address program
REFERENCES – 21

Yatsuk V., Pokhodylo Ye., Bubela T., Yatsuk Yu. Characteristic Express Checking of Admittance Measurement Units for Cyber-Physical Systems

CHARACTERISTIC EXPRESS CHECKING OF ADMITTANCE MEASUREMENT UNITS FOR CYBER-PHYSICAL SYSTEMS
Vasyl Yatsuk, Yevhen Pokhodylo, Tetiana Bubela, Yurii Yatsuk
Lviv Polytechnic National University, 12, Bandera str., Lviv, 79013, Ukraine.
Authors e-mail: Yatsuk.vasyl@gmail.com
Submitted on 02.12.2016
© Yatsuk V., Pokhodylo Ye., Bubela T., Yatsuk Yu., 2016

Abstract. Measurement of RLC-parameters of objects non-electric nature (for example, biological, agricultural, environmental, etc.) with high metrological characteristics is an essential element for building a cyber-physical systems analytical purposes. The reliability of the measurement results of the equipment can be provided only by periodic metrological control over the exploitation conditions. Traditionally analytical RLC-meters are calibrated by means of standard samples and it leads to significant problems in their metrological assurance and complicates whole procedure. It is suggested to make operating check of admittance measurement units metrological characteristics by use of intelligent devices based on code-controlled measures. Critical analysis of available approaches for measures creation was carried out and an admittance code-controlled measure scheme based on active simulators was designed. The mathematic model for measuring transfer function, analytical devices calibration process and advantages of the operating check based code-controlled measure was presented too.

Index Terms – Code-controlled measures, cyber-physical systems, measurement channels, operative check of metrological characteristics, remote auto calibration, express control, physical-chemical measurements, code-controlled measure, admittance, metrological characte¬ristics, analytical devices.

REFERENCES – 11

Syndicate content