Advances In Cyber-Physical Systems

Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/33988

Browse

Now showing 1 - 20 of 137

Parallel ordered-access machine computational model and architecture
(Publishing House of Lviv Polytechnic National University, 2016) Melnyk, Anatoliy; Lviv Polytechnic National University
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.
Smart measuring instruments for cyber-physical systems
(Publishing House of Lviv Polytechnic National University, 2016) Mykyychuk, Mykola; Yatsyshyn, Svyatoslav; Stadnyk, Bohdan; Lutsyk, Yaroslav
Aiming the substantial development of Cyber- Physical systems, which are becoming a key element of everyday life, the smart measuring instruments are considered below as the indispensable part of entire systems. Verification of the metrological subsystems for parameters determining the controlled equipment and processes through the development, implementation and realization of specific metrology and standardization methods, instruments, that is successfully described by the terms “metrological hardware, software, and middleware”.
The principles of the cyber-physical components’ organization based on the methods of the multi-agent interaction of the moving objects
(Publishing House of Lviv Polytechnic National University, 2016) Musiyenko, Maxim; Zhuravska, Iryna; Burlachenko, Ivan; Denysov, Oleksii
In these article the mathematical model of multi-agent CFS is proposed for describe of behavior of moving objects, interacting under wireless communication link on 802.11 standard. It has shown that the more important criteria for CFS, consisting of mobile objects, is the stability of communications. The stable transmission rate is achieved by reducing the asymmetry of the link between the cyber-physical components. This will ensure the rhythmical loading of the computing board processors (CPU or / and GPU) on cyber object. The models of camera's matrices and computing boards for unmanned vehicles (UMV) are analyzed and proposed. The methods of avoidance the dropping of rate due to interference from the connecting to the ether of new access points, non-containing to CFS, are presented. The research and results contributes to the improving quality of transmission and processing data from wireless cyber-physical components.
Cyber-physical systems multilayer platform and research framework
(Publishing House of Lviv Polytechnic National University, 2016) Melnyk, Anatoliy
The issues of cyber-physical systems creation and approaches to their solving are formed in the article. The base principles of the multilayer platform for Cyber- Physical Systems are formed in accordance with achievements and modern conceptions of computer, information and telecommunication technologies application. The structure of the multilayer platform for Cyber-Physical Systems are offered, its applications and functions are described. Future directions for research within the framework of each of six layers of the Cyber-Physical System and within the framework of its general organization are formed. The expected results from its implementation are defined.
Intelligent control of repair process of industrial facilities with distributed infrastructure on the basis of CPS
(Publishing House of Lviv Polytechnic National University, 2016) Kupin, Andriy; Muzyka, Ivan; Romanov, Maksim; Ruban, Sergii; Savitskyi, Oleksandr; Kharlamenko, Vadym; SIHE “Kryvyi Rih National University”; PJSC “ArcelorMittal Kryvyi Rih”
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.
Characteristic express checking of admittance measurement units for cyber-physical systems
(Publishing House of Lviv Polytechnic National University, 2016) Yatsuk, Vasyl; Pokhodylo, Yevhen; Bubela, Tetiana; Yatsuk, Yurii; Lviv Polytechnic National University
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 codecontrolled 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.
Program code parallelization method
(2016) Tsyhylyk, Liubomyr; Lviv Polytechnic National University
Method of parallelism extraction from sequential program is proposed. The definition of threeaddress 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.
Зміст до "Advances in Cyber-Physical Systems" Volume 1, number 1
(Publishing House of Lviv Polytechnic National University, 2016)
Сomputer devices automatic synthesis as a service for FPGA-Based smart-sensors of cyber-physical systems
(Publishing House of Lviv Polytechnic National University, 2016) Melnyk, Viktor; Lopit, Ivan; Kit, Andrii; Lviv Polytechnic National University
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 clientserver 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.
Tasks scaling with Chameleon© C2HDL design tool in self-configurable Computer Systems based on partially reconfigurable FPGAs
(Publishing House of Lviv Polytechnic National University, 2016) Melnyk, Anatoliy; Melnyk, Viktor; Tsyhylyk, Liubomyr
The FPGA-based accelerators and reconfigurable computer systems based on them require designing the application-specific processor soft-cores and are effective for certain classes of problems only, for which application-specific processor soft-cores were previously developed. In Self-Configurable FPGA-based Computer Systems the problem of designing the application-specific processor soft-cores is solved with use of the C2HDL tools, allowing them to be generated automatically. In this paper, we study the questions of the self-configurable computer systems efficiency increasing with use of the partially reconfigurable FPGAs and Chameleon© C2HDL design tool. One of the features of the Chameleon© C2HDL design tool is its ability to generate a number of applicationspecific processor soft-cores executing the same algorithm that differ by the amount of FPGA resources required for their implementation. If the self-configurable computer systems are based on partially reconfigurable FPGAs, this feature allows them to acquire in every moment of its operation such a configuration that will provide an optimal use of its reconfigurable logic at a given level of hardware multitasking.
Remote errors correction of multi-channel cyber-physical measuring systems
(Publishing House of Lviv Polytechnic National University, 2016) Yatsuk, Vasyl; Mykyjchuk, Mykola
The method of remote auto calibration measurement channels cyber-physical systems in real time using code-controlled measures is described. Additive error components as measurement as well the reference channels is adjusted by switching invert method. It is shown that the resulting measurement error virtually determined by codecontrolled measures error that could it serve as a basis for implementing remote auto calibration and operative check of metrological characteristics of measuring channels cyber-physical systems. The results of the experimental study model code-controlled measures showed good coincidence with the theoretical model.
Vending cyber-physical systems architecture
(Publishing House of Lviv Polytechnic National University, 2016) Salo, Andriy
In this work organization and principles of multilevel vending cyber physical systems (VCPS) development have been examined. VCPS purposes and functions on each level as well as interlevel interaction have been described, as well as the classification of vending machines has been offered. The results of analytical system work have been shown graphically.
Extended finite fields in cryptographic information protection
(Publishing House of Lviv Polytechnic National University, 2016) Popovych, Roman; Lviv Polytechnic National University
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.
Зміст до "Advances in Cyber-Physical Systems" Volume 1, number 2
(Publishing House of Lviv Polytechnic National University, 2016)
Self-configurable FPGA-based computer systems: basics and proof of concept
(Publishing House of Lviv Polytechnic National University, 2016) Melnyk, Viktor
Computer systems performance is today improved with two major approaches: general-purpose computer computing power increase (creation of multicore processors, multiprocessor computer systems, supercomputers), and adaptation of the computer hardware to the executed algorithm (class of algorithms). The last approach often provides application of hardware accelerators – ASIC-based and FPGA-based, also named reconfigurable, and is characterized by better performance / power consumption ratio and lower cost as compared to the general-purpose computers of equivalent performance. However, such systems have typical problems. The ASIC-based accelerators: 1) they are effective only for certain classes of algorithms; 2) for effective application there is a need to adapt algorithms and software. The FPGA-based accelerators and reconfigurable computer systems (that use FPGAs as a processing units): 1) the need in the process of writing a program to perform computing tasks balancing among the general-purpose computer and FPGA; 2) the need of designing applicationspecific processors soft-cores; and 3) they are effective only for certain classes of problems, for which applicationspecific processors soft-cores were previously developed. This paper covers the scope of questions regarding concept of design, architecture, and proof of concept of the Self-Configurable FPGA-Based Computer Systems – an emerging type of high-performance computer systems, which are deprived of specified challenges. The method of information processing in reconfigurable computer systems and its improvements that allow an information processing efficiency to increase are shown. These improvements are used as a base for creating a new type of high-performance computer systems with reconfigurable logic, which are named self-configurable ones, and a new method of information processing in these systems. The structure of self-configurable FPGA-based computer system, the rules of application of computer software and hardware means necessary for these systems implementation are described. Major processes on the stages of program loading and execution in the self-configurable computer system are studied, and their durational characteristics are determined. On the basis of these characteristics, the expressions for evaluating the program execution duration in the self-configurable computer system are obtained. The directions for further works are discussed.
Errors of phase shift measuring by algorithmic sum-difference methods from amplitudes inequality and their reduction methods
(Publishing House of Lviv Polytechnic National University, 2016) Buchma, Ihor
This paper analyzes the errors entailed by the signal amplitude inequality when measuring the phase shift among low frequency harmonic signals for algorithmic sum-difference methods. It is shown that additional phase shifts of summary and difference signals caused by the inequality of compared signals in some methods affect the errors, whereas in others they do not. A method in which there is no additive component of the error has been found. This method has been admitted to be the best to measure small phase shifts. The method for measuring the phase shift, which enables to avoid errors due to amplitude inequality of compared signals has been proposed.
Security of cyber-physical systems from concept to complex information security system
(Publishing House of Lviv Polytechnic National University, 2016) Dudykevych, Valerii; Mykytyn, Galyna; Kret, Taras; Rebets, Andrii; Lviv Polytechnic National University
A conception of multilevel complex security system (CSS) of cyber-physical systems (CPS) was developed; dimensional model of information-technology state (ITS) was proposed; informational model of CSS cyber-physical system “iPhone – Wi-Fi, Bluetooth – sensors” was created; software of symmetric block data encryption of “Kalyna” algorithm was realized.
Multiagent control and predictive diagnostics of distributed iron ore enrichment system based on CPS
(Publishing House of Lviv Polytechnic National University, 2016) Morkun, Volodymyr; Savytskyi, Oleksandr; Tymoshenko, Maxym; SIHE “Kryvyi Rih National University”
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.
Satellite scientific data collection and accumulation system as a basis for cyber-physical systems construction
(Publishing House of Lviv Polytechnic National University, 2016) Hlukhov, Valerii; Lukenyuk, Adolf; Shenderuk, Sergii; Lviv Polytechnic National University; Lviv Centre of Institute for Space Research of National Academy of Sciences and the State Space Agency of Ukraine
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, microelectromechanical 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 recommendations are given onf using it as the basis for the creation of advanced cyber-physical systems.
Biotechnical components of cyber-physical systems
(Lviv Politechnic Publishing House, 2017-02-01) Berezko, Leonid; Sokolov, Serhii; Lviv Polytechnic National University
We synthesized the general structures of biomedical electric impedance biotechnical systems as a part of cyber-physical systems and propose methodological recommendations on the electric impedance equipment development.