Advances In Cyber-Physical Systems. – 2016. – Vol. 1, No. 2
Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/39354
Browse
Item Extended finite fields in cryptographic information protection(Publishing House of Lviv Polytechnic National University, 2016) Popovych, Roman; Lviv Polytechnic National UniversityThe 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.Item 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.Item 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 UniversityA 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.Item Parallel ordered-access machine computational model and architecture(Publishing House of Lviv Polytechnic National University, 2016) Melnyk, Anatoliy; Lviv Polytechnic National UniversityThe 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.Item 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 UniversityMeasurement 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.Item Зміст до "Advances in Cyber-Physical Systems" Volume 1, number 2(Publishing House of Lviv Polytechnic National University, 2016)Item 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.Item 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 UkraineThe 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.Item С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 UniversityPresent 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.Item Program code parallelization method(2016) Tsyhylyk, Liubomyr; Lviv Polytechnic National UniversityMethod 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.