Вісники та науково-технічні збірники, журнали

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

Browse

Search Results

Now showing 1 - 3 of 3
  • Thumbnail Image
    Item
    On the approaches to cyber-physical systems simulation
    (Lviv Politechnic Publishing House, 2018-02-01) Shkarupylo, Vadym; Kudermetov, Ravil; Polska, Olga; Zaporizhzhia National Technical University
    A comparative analysis of existing approaches to Cyber-Physical Systems simulation has been conducted. The intrinsic peculiarities of Cyber-Physical Systems have been reasoned and generalized. The limitations of available simulation tools have been pointed out. The approach to Cyber-Physical Systems design solutions checking on the basis of timed automata, UPPAAL integrated tool environment and Temporal Logic of Actions usage has been proposed. The proposed approach is supposed to be applied at designing stage – to prevent the potential time and computational expenses on overcomplicated or faulty formal models checking. A case study on electric power delivery system usage scenario has been conducted.
  • Thumbnail Image
    Item
    Дослідження і моделювання механізмів формування та обслуговування черг у мережевих пристроях
    (Видавництво Львівської політехніки, 2013) Кирик, М. І.; Плесканка, Н. М.; Кожуров, Д. В.
    The investigation has covered buffer resource and queue management as main and the most important network traffic parameter and access control and overload mechanism. Network devices interaction model can performed by three levels: - physical layer; - protocols layer; - queues consolidating two previous levels. The basic mechanisms of processing queues have been examined. The rules, that packages in queue are processed according to, are called queues management algorithms. The requirements for processing queues mechanisms have been defined. The formation and processing network queues analysis and modeling mechanisms have been presented. After reading the main points of the mechanisms of formation and queuing, simulation model of queuing in multiservice network using data prioritization has been developed. The model has been implemented in a Matlab software environment. The number of packages in the buffer has been calculated according to Norros formula. Every algorithm evaluation creterion is the ability to best quality service for each service providing the best parameters QoS. Simulation results comparative analysis has been carried out. For more detailed analysis of the service parameters quality, the results of different types algorithms for multiservice network are resented. QoS parameters, such as the probability of packet loss, delay and jitter, were determined for different flows with appropriate algorithm. It was determined that the FIFO algorithm is unacceptable for service data. PQ algorithm was designed to process high priority flows. The best simulations results showed WFQ algorithm, which can satisfy acceptable service quality according to all parameters. The presented model makes it possible to choose the optimal queues algorithms for different services. This approach can be used on design stage, and also on increasing the network efficiency stage. Наведено мережеву модель взаємодії між вузлами обслуговування. Проведено огляд основних механізмів обробки черг. Детальніше розглянуто алгоритм зважених черг, що настроюються. Подано імітаційну модель роботи різних алгоритмів формування та обслуговування черг. Проведено порівняльний аналіз результатів моделювання.
  • Thumbnail Image
    Item
    Модель забезпечення параметрів якості обслуговування системи розподілу мультисервісного трафіку
    (Видавництво Львівської політехніки, 2011) Климаш, М. М.; Лаврів, О. А.; Бугиль, Б. А.; Бак, Р. І.
    Запропоновано модель забезпечення параметрів якості обслуговування системи розподілу мультисервісного трафіку на основі вибору структурно-функціональних параметрів обслуговувального пристрою. Проведено дослідження залежності якості обслуговування вузла мережі від його структурно-функціональних параметрів та від параметрів вхідного потоку. This paper has proposed a model of quality of service provision for a multiservice traffic distribution system on the basis of its structural and functional parameters ptimizing. The investigation of QoS dependence from structural and functional parameters of network node and input traffic parameters had been considered.