Видання НТУ "ХПІ"

Постійне посилання на розділhttps://repository.kpi.kharkov.ua/handle/KhPI-Press/62886

Переглянути

Фільтри

20242

Налаштування

Ключові слова: search.filters.subject.computer systems

Результати пошуку

Зараз показуємо 1 - 2 з 2
  • Ескіз
    Документ
    Decomposition of integrated high-density IoT data flow
    (Національний технічний університет "Харківський політехнічний інститут", 2024) Kuchuk, Heorhii; Kalinin, Yevhen; Dotsenko, Nataliia; Chumachenko, Igor; Pakhomov, Yuriy
    The concept of fog computing made it possible to transfer part of the data processing and storage tasks from the cloud to fog nodes to reduce latency. But in batch processing of integrated data streams from IoT sensors, it is sometimes necessary to distribute the tasks of the batch between the fog and cloud layers. For this, it is necessary to decompose the formed package. But the existing methods of decomposition do not meet the requirements for efficiency in high-density IoT systems. The subject of study in the article are methods of decomposition of integrated data streams. The purpose of the article is to develop a method of decomposition of an integrated data stream in a dense high-density Internet of Things fog environment. This will reduce the processing time of operational transactions.
  • Ескіз
    Документ
    Development of a method for assessing the adequacy of a computer system model based on Petri nets
    (Національний технічний університет "Харківський політехнічний інститут", 2024) Shyman, Anna; Kuchuk, Nina; Filatova, Anna; Bellorin-Herrera, Oleksandra
    The purpose of modeling any system using a Petri net is to study the behavior of the modeled system based on the analysis of the defined properties of the Petri net. Therefore, it is necessary to develop a method for assessing the adequacy of the model, based on the assessment of the degree of its correspondence to the behavior of the system. The object of research is the behavior of a system model built using a Petri net. The subject of the research is the value of the deviation of the simulated processes from the real values. The goal of the research is to develop a method for assessing the adequacy of the description of the dynamics of the researched process in a model of a computer system based on Petri nets.Conclusions. The developed method makes it possible to assess the adequacy of the model based on Petri nets with accuracy to the entered assumptions. The method allows timely background history of dynamic processes and justify the choice of its length. The method also allows reducing the possibility of an irrational increase in the size of the synthesized model.