Browsing by Author "Ovsyak, V. K."

Now showing 1 - 3 of 3

Computation models and algebra of algorithms
(Видавництво Національного університету "Львівська політехніка", 2008) Ovsyak, V. K.
An analysis of the existing, intuitive computation models is presented, that is the virtual machines of Turing, Post, Kolmogorov, Schönhage, Aho-Ullman-Hopcroft as well as the algorithms of Markov and Krinitski, and the recursive functions. The need for tools of precise, mathematical formulation and possible transformation of the algorithms is indicated. Consequently, an algebra of algorithms is defined using the axiomatic method. The algebra is based on the operations of sequencing, elimination, paralleling and inverting as well as cyclic sequencing, cyclic elimination and cyclic paralleling, all of them performed on the so-called uniterms.
Впорядкування та впорядковування у дискретній математиці та інформатиці
(Видавництво Львівської політехніки, 2021-10-10) Овсяк, В. К.; Овсяк, О. В.; Петрушка, Ю. В.; Ovsyak, V. K.; Ovsyak, O. V.; Petruszka, J. V.; Українська академія друкарства; Київський національний університет культури і мистецтв; Ukrainian Academy of Printing; National University of Culture and Arts
Досліджено наявні засоби впорядкувань і впорядковувань у деяких важливих розділах дискретної математики та інформатики, а саме: в теорії множин, класичній математичній логіці, теорії доведень (доказів), теорії графів, методі Поста, системі алгоритмічних алгебр, алгоритмічних мовах об’єктного й асемблерного програмування. Наведено декартів добуток множин, впорядковані пари і впорядковані n-ки, опис засобами теорії множин впорядкованої пари, який виконали Вінер, Хаусдорф і Куратовський. Описано вимоги до відношень, якими впорядковуються множини. Важливість впорядкувань у класичній математичній логіці та теорії доведень проілюстровано прикладами обчислень значень істинності логічних формул і формальним виведенням формули на підставі правил виведення і правил заміни. Впорядкування у теорії графів показано на прикладі блок-схеми алгоритму Евкліда, призначеного для знаходження найбільшого спільного дільника двох натуральних чисел. Описано впорядкування та впорядковування як настанов, утворених двома, трьома і чотирма впорядкованими полями, так і наявне впорядкування настанов у програмі методу Поста. Показано, що програма, утворена пронумерованими настановами, характеризується неповторюваними номерами настанов і наявністю єдиної настанови з номером 1. Проілюстровано засоби системи алгоритмічних алгебр, які застосовують для виконання впорядкувань і впорядковувань у теорії алгоритмів. Наведено операції системи алгоритмічних алгебр, в які входять узагальнені на тризначний алфавіт операції булевої алгебри та операторні операції операторної алгебри. Описано властивості операції композиції, яка призначена для опису впорядкувань операторів операторної алгебри системи алгоритмічних алгебр. Впорядкування, виконувані засобами алгоритмічних мов програмування, проілюстровано на гіпотетичному застосуванні сучасної мови об’єктного програмування C#. Програма має використовувати тільки один метод Main(), з якого починається її виконання. Асемблерна програма мікропроцесора ARM повинна містити тільки одну директиву ENTRY, з якої починається її виконання. Настанови впорядковуються послідовно зверху вниз у вигляді стовпця і записуються в оперативну пам’ять під послідовно впорядкованими адресами. Для виконання переходів застосовуються адреси, записані в настановах переходів. Вектор переривань містить фіксовані адреси комірок пам’яті, в яких записано початкові адреси програм опрацювання переривань.
Модель вибору сповіщувачів системи безпеки
(Видавництво Львівської політехніки, 2023-02-28) Овсяк, В. К.; Турчак, В. Р.; Овсяк, О. В.; Ovsyak, V. K.; Turchak, V. R.; Ovsyak, O. V.; Українська академія друкарства; Кельцький технологічний університет; Національний лісотехнічний університет України; Ukrainian Academy of Printing; Kielce University of Technology; Ukrainian National Forestry University
Виявлено, що пошуковими системами забезпечується широкий вибір сповіщувачів з технічними характеристиками. Значний спектр характеристик забезпечує застосування сповіщувачів для розв'язання задач в системах безпеки. Розроблена модедь пошуку та сортуваання сповіщувачів систем безпеки. В її основу закладені необхідні та достатні характеристики сповіщувачів, які забезпечують їх вибір залежно від поставлених задач для систем безпеки. На підставі вимог користувача і технічних характеристик сповіщувачів формуються критерії їхнього відбору. Введено пріорітети критеріїв для вибору сповіщувачів систем безпеки. В моделі утворюється впорядкований список сповіщувачів, які відповідають заданим критеріям. Кожному сповіщувачу списку приписується неповторюваний індивідуальний номер. За важливістю критеріїв здійснюється ранжування сповіщувачів, кількість ітерацій якого залежить від кількості обраних критеріїв. Максимальна зміна позиції сповіщувача списку визначається як відношення кількості сповіщувачів списку до номера пріорітету критерію. Наведено приклад застосування розробленої моделі для вибору сповіщувачів систем безпеки. В першій ітерації ражування сповіщувачів відбувається залежно від типу поля першого критерію, яке може бути описове чи числове. Якщо поле із критерієм описове, то його вміст верифікується та сортуються сповіщувачі. В іншому випадку – ранжування по значенню параметра сповіщувача. Допустиме ранжування сповіщувачів – всі позиції таблиці. За всіма інщими критеріями максимальна зміна позицій сповіщувачів залежить, як від значення критерію так і пріорітету критерію, який обмежує максимальну зміну позицій. В подальшому дослідженні пропонується альтернатива ранжування за критеріями, але не за відношеннями критеріїв, а за вибором користувача.