Advances In Cyber-Physical Systems

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

Browse

Now showing 1 - 20 of 137

A Blockchain-Enhanced Self-Sovereign Identity Platform for Corporate Resource Security
(Видавництво Львівської політехніки, 2023-02-28) Kose, Busra Ozdenizci; Coskun, Vedat; Coskun, Arslan; Yaya, Senol; Gebze Technical University; Istanbul Atlas University; Turcom Technology
In an era dominated by concerns of data breaches, and identity theft, security of corporate resources and assets has become paramount. Centralized identity management systems traditionally present vulnerabilities that can fundamentally threaten corporate security. This paper introduces a novel platform to identity management in organizations, leveraging the principles of Self-Sovereign Identity (SSI) and the technological robustness of blockchain. By giving individuals unwavering control over their digital identities and reducing dependence on centralized intermediaries, SSI provides a transformative advancement in security and privacy. When combined with blockchain's immutable, decentralized, and transparent nature, this model ensures a verifiable, tamper-proof, and holistic identity management system. Beyond individual identity management, this paradigm provides corporations with a robust mechanism to protect their assets, both digital and physical. We explore the architectural design and benefits of implementing the proposed system, BlockSSI-CRS, emphasizing its transformative potential for corporate resource protection. Through rigorous analysis, this paper highlights the feasibility of a blockchain-enhanced SSI platform in the context of corporate security needs.
A Computer System for Collecting Data on Temperature and Humidity on Premises
(Видавництво Львівської політехніки, 2023-02-28) Kalytka, Andrii; Yurchak, Iryna; Lviv Polytechnic National University
Nowadays, it is impossible to do without cli- mate control in enterprises, especially when these are en- terprises that manufacture products that can become unus- able under the influence of environmental factors such as high or low temperature, humidity, and dryness. Basically, in most enterprises, finding a solution to this issue is re- quired by state standards, which cannot be ignored, be- cause it can harm people. The problem of building a computer system for collect- ing data on the temperature and humidity of premises has been considered. The main means of indoor systems for collecting data on temperature and humidity have been defined, and their main disadvantages and advantages have been highlighted. The basic principles of operation of the new system have been developed. The main nodes required for system implementation have been given. Hardware components for the implementation of the new system have been put forward. The structural scheme of the computer system of protection of living space has been developed and considered. The practicality and expediency of developing a new system have been substantiated. The general algorithm of system operation has been developed and considered.
A new computational model for real gains in big data processing power
(Lviv Politechnic Publishing House, 2017-02-01) Conrad S. M. Mueller; Computer Science Department of the University of the Witwatersrand
Big data and high performance computing are seen by many as important tools that will be used to advance science. However, the computational power needed for this promise to materialize far exceeds what is currently available. This paper argues that the von Neumann computational model, the only model in everyday use, has inherent weaknesses that will prevent computers from achieving the envisaged performance levels. First, these weaknesses are explored and the properties of a computational model are identified that would be required to overcome these weaknesses. The performance benefits of implementing a model with these properties are discussed, making a case that a computational model with these properties has the potential to address the needs of high performance computing. Next, the paper presents a proposed computational model and argues that it is a viable alternative to the von Neumann model. The paper gives a simplified outline of an architecture and programming language that express the proposed computational model. The main feature of this computational model is that it processes variables as they become defined. These variables can be processed in any order and simultaneously, avoiding bottlenecks and enabling high levels of parallelism. Finally, the computational model is evaluated against the properties identified as desirable, showing that it is possible to design an architecture and programming language that do not have the weaknesses of the currently dominant von Neumann model. The paper concludes that the weaknesses which limit the performance of current computers can be overcome by exploring alternative computational models, architectures and programming languages, rather than by working towards incremental improvements to the existing dominant model.
A representative fragment method of analyzing complex systems of smart contracts
(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.
A secure design on mifare classic cards for ensuring contactless payment and control services
(Видавництво Львівської політехніки, 2022-06-06) Kose, Busra Ozdenizci; Uluoz, Hakan; Coskun, Vedat; Gebze Technical University, Kocaeli, Turkey; Konfides Information Technologies, Istanbul, Turkey; Beykent University, Istanbul, Turkey
Today, various contactless smart cards are used to protect our personal information and to perform secure and fast transactions. Many contactless smart card applications are becoming commonplace, from corporate access control cards to electronic passports and financial payment. There is a wide variety of smart cards on the market that differ in size, chasis, memory, computing power, and even the security features they provide. Although MIFARE Classic cards, which are used in many areas due to their price performance, meet certain security and functional needs, the weaknesses of these cards have made the applications and systems they are used in question. The aim of this study is to introduce a new design on MIFARE Classic contactless cards that will eliminate the basic shortcomings with minimum impact, and to perform high-security payment transactions using these cards, which do not support high-security payment transactions in their basic design. By using flexible data organization and storage scheme, their sector structure can be used for different purposes. The proposed new design includes derivation of critical card data by using cardspecific information which ensures that the keys that provide access to the sectors of card are different on all cards; protection of card information through a certificate mechanism; usage of a new data structure with mirroring and redundancy methods to ensure data integrity and provide a server-side authentication mechanism for online transactions. It is possible that the proposed new design will pave the way for the secure use of MIFARE Classic cards in new generation payment and control systems.
A software service for the garbage type recognition based on the mobile computing devices with graphical data input
(Lviv Politechnic Publishing House, 2020) Bachynskyy, Ruslan; Chaku, Oleksii; Huzynets, Nataliia; Lviv Polytechnic National University
The article describes problems of determining the type and automatic sorting of household waste using mobile computing devices. All of the required hardware and partially software, required for implementation of this service, are already present in modern smartphones. iOS and Apple products were selected as the base for the service, due to such advantages over competitors: dual or triple depth camera (TDCS), powerful GPU, Neural Engine coprocessor, high autonomy (2750 mAh battery size), sensors that allow for user positioning and navigation in space (GPS, Glonass, Gyroscope) and most important feature is possibility of cross-platform designing, suitable for iOS and macOS (Project Catalina). The recognition process consists of several phases, including capturing of graphic image and detecting the object shape, shape analysis, computing the results, and saving new associations to the database. The analysis itself is implemented using a neural network that is able to learn during its operation. Initially, the algorithm is driven by the selection of photographs with a certain type for the base set of associations, each subsequent scan improves accuracy. Cross-platforming plays a very important role - it allows us to develop a single software service that is initially run on a macOS-based computer for faster learning and then can be easily used on an iOS mobile device. After identifying a particular type of garbage, the route to the nearest recycling point of such type of garbage will be proposed for user or user’s clarification will be requested. User can also manually browse categories and related items, manually search by name of item, and view locations for sorting and recycling in appropriate city. When a completely unknown object arrives, it is possible to refine the information in order to help further learning of the network.
Acquisition and Processing of Data in Cps For Remote Monitoring of the Human Functional State
(Lviv Politechnic Publishing House, 2021-03-01) Hupalo, Petro; Melnyk, Anatoliy; Lviv Polytechnic National University
Data acquisition and processing in cyberphysical system for remote monitoring of the human functional state have been considered in the paper. The data processing steps, strategies for multi-step forecasting evaluation metrics and machine learning algorithms to be implemented have been analysed and described. What is important, this way it will be possible to track the condition of the sick and response to the health changes in advance.
Adaptive Learning Service Based on Spacing Effect
(Видавництво Львівської політехніки, 2022-02-28) Dudok, B.; Lviv Polytechnic National University
In the article, the adaptive educational service is based on the mechanism of interval repetitions. This system allows the user to study material products without much effort. The technology “Training with reinforcement” has been used as a mechanism of interval repetitions. The technology and an adaptive service of development environment have been reasonably chosen. The structural scheme, the scheme of the algorithm of work, and the scheme of the database structure have been developed. The program has been implemented using the C# programming language and using ASP.NET technologies and its library. The purpose of the study: to develop an adaptive learning service based on the technology of interval repetition.
Algorithmic and software of migration of databases in hypermarket network
(Lviv Politechnic Publishing House, 2020) Mruts, Volodymyr; Mashevska, Marta; Lviv Polytechnic National University
Possible ways and options of migrating data from existing database management systems to new ones have been analyzed in the article. Also, the main advantages and disadvantages of these methods have been considered, the common problems that may arise during migration and the standard requirements for thistype of system have been given. In the practical part, the Exact Transform Load (ETL) system has been developed with the implementation of all its functional and non-functional requirements, migrating data from the old system to the new one.
An Alternative to Vending Machines
(Видавництво Львівської політехніки, 2023-02-28) Lozynskyi, Yurii; Yurchak, Iryna; Lviv Polytechnic National University
In this review article for a smart vending refrigerator, the contours of the future device are thought out and outlined and all its advantages are described. This device will be controlled using Computer Vision and some other features. The main control unit will be Raspberry PI, since it is the best for this device. Also, a web application was developed in which the user registers, and the application itself transmits the user's information through an API that will be developed to communicate with the web server, and the web server will store this information. This article will analyze the systems that have been already on the market and their pros and cons, as well as consider the design, implementation and functionality of a smart vending refrigerator. Also, the paper will consider key requirements for this system, technologies used, and approaches to integration with existing infrastructures. This design plays an important role in providing comfort and productivity in various fields of activity and can be applied in many areas.
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.
Analysis of algorithms for searching objects in images using convolutional neural network
(Lviv Politechnic Publishing House, 2021) Koval , Ihor; Lviv Polytechnic National University
The problem of finding objects in images using modern computer vision algorithms has been considered. The description of the main types of algorithms and methods for finding objects based on the use of convolutional neural networks has been given. A comparative analysis and modeling of neural network algorithms to solve the problem of finding objects in images has been conducted. The results of testing neural network models with different architectures on data sets VOC2012 and COCO have been presented. The results of the study of the accuracy of recognition depending on different hyperparameters of learning have been analyzed. The change in the value of the time of determining the location of the object depending on the different architectures of the neural network has been investigated.
Approaches to Implementing Video Data Management Service with the Context-Aware Recommendation
(Видавництво Львівської політехніки, 2022-02-28) Pisotskyi, M.; Lviv Polytechnic National University
The work aims to develop video data management service with a context-aware recommendation. It consists of the user interface which is presented as a website with the mobile application and the server. This paper describes the approaches to implementing video data management service. The decomposition of the task of video data management service development, the use case diagram, the generalized class diagram, the technologies and the services used in the development process have been considered. The developed structure of the video data management service has been presented. Features of designing the user interface of the video data management service have been considered. The issue of testing the developed video data management service has been considered.
Assessing the human condition in medical cyber physical system based on microservice architecture
(Lviv Politechnic Publishing House, 2021) Havano, Bohdan; Morozov , Mykola; Lviv Polytechnic National University; Technical University of Munich
The goal of the work is to propose architectural and information model for assessing the human condition on the basis of microservice architecture in medical cyberphysical system, which, in contrast to the known models for assessing the human condition, can simultaneously provide scaling, fault tolerance and increase the speed of human condition assessment. The theoretical substantiation and the new decision of an actual scientific problem of development and research means of an estimation of a human condition in medical cyber-physical system have been considered. These means involve the parallel processing of data on vital signs of the human condition, organizing the means of information processing into separate independent logical elements – microservices, in comparison with other existing medical cyber-physical systems. An architectural model based on microservice architecture has been proposed.
Audio Reading Assistant for Visually Impaired People
(Видавництво Львівської політехніки, 2023-02-28) Chypak, Yurii; Morozov, Yuriy; Lviv Polytechnic National University
This paper describes an Android mobile phone application designed for blind or visually impaired people. The main aim of this system is to create an automatic text-reading assistant using the hardware capabilities of a mobile phone associated with innovative algorithms. The Android platform was chosen for people who already have a mobile phone and do not need to buy new hardware. Four key technologies are required: camera capture, text detection, speech synthesis, and voice detection. Moreover, a voice recognition subsystem has been created that meets the needs of blind users, allowing them to effectively control the application by voice. It requires three key technologies: voice capture over the embedded microphone, speech-to-text, and user request interpretation. As a result, the application for an Android platform was developed based on these technologies.
Autonomous cyberphysical system of controlled treatment and water composition control
(Lviv Politechnic Publishing House, 2020) Shabatura, Yuriy; Mikhalieva, Maryna; Korolko, Sergij; Odosii, Liubomyra; Kuznietsov, Oleksiy; Smychok , Vasyl; Hetman Petro Sahaidachnyi National Army Academy
An autonomous cyberphysical adaptive system of controlled purification and control of water composition has been considered. Theoretical analysis and experimental studies of the functioning of the components of the proposed system of controlled purification and control of water composition has been performed. The proposed installation is designed to implement the technology of self-regulating system. When using intelligent digital means, it becomes an autonomous cyberphysical adaptive system of controlled purification and control of water composition.
Ber-physical system to help moor a ship
(Lviv Politechnic Publishing House, 2020) Grebeniak , Andrii; Lviv Polytechnic National University
A method of organizing an information cyber-physical system to assist in the mooring process has been considered in the article. It describes ways to organize the mooring of ships to the berth. The problems that occur during this operation have been listed. As the mooring process is labor intensive and depends on the human factor, a system that will provide up-to-date real-time information to facilitate the mooring operation has been regarded. The structure and stages of development of the proposed solution have been described. The features of the selected elements have been indicated. Obtaining preliminary sensory results from two ports makes it possible to begin the next stage ofsystem development.
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.
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.
Client-Server Library Index Automation System
(Видавництво Львівської політехніки, 2022-02-28) Repianskyi, N.; Rak, T.; Lviv Polytechnic National University; IT STEP University
The goal of the work is to develop a clientserver software system for library index automation, which consists of the user interface, presented as a web page, back-end server layer, and database. The problem of developing a library index automation system has been considered. The developed structure of the library index automation system has been presented. The structure of the library index automation system database has been proposed. The features of designing the user interface of the library index automation system have been considered. The general algorithm of the library index automation system and the system's class diagram have been presented. To make sure that the developed system is secure and stable development testing as well as stress testing have been performed.