Browsing by Author "Овсяк, О. В."

Now showing 1 - 5 of 5

Впорядкування та впорядковування у дискретній математиці та інформатиці
(Видавництво Львівської політехніки, 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, з якої починається її виконання. Настанови впорядковуються послідовно зверху вниз у вигляді стовпця і записуються в оперативну пам’ять під послідовно впорядкованими адресами. Для виконання переходів застосовуються адреси, записані в настановах переходів. Вектор переривань містить фіксовані адреси комірок пам’яті, в яких записано початкові адреси програм опрацювання переривань.
Модель абстрактної підсистеми комп'ютерної інформаційної системи генерування коду
(Видавництво Львівської політехніки, 2010) Овсяк, О. В.
Описано модель створеного розширення функційних унітермів. Наведено синте-зовану модель декомпозиції абстрактної підсистеми комп’ютерної системи генерування програмного коду. Описано побудовані моделі функційних унітермів. Наведено приклад фрагментів програмної реалізації синтезованої моделі абстрактної підсистеми. The created expansion of functional description uniterms. A synthesized decompositiv model of abstract subsystem for computer code generatiny system is prented. We describe a functional model based uniterm. An example program fragment of the synthesized model subsystem is gitem.
Модель вибору сповіщувачів системи безпеки
(Видавництво Львівської політехніки, 2023-02-28) Овсяк, В. К.; Турчак, В. Р.; Овсяк, О. В.; Ovsyak, V. K.; Turchak, V. R.; Ovsyak, O. V.; Українська академія друкарства; Кельцький технологічний університет; Національний лісотехнічний університет України; Ukrainian Academy of Printing; Kielce University of Technology; Ukrainian National Forestry University
Виявлено, що пошуковими системами забезпечується широкий вибір сповіщувачів з технічними характеристиками. Значний спектр характеристик забезпечує застосування сповіщувачів для розв'язання задач в системах безпеки. Розроблена модедь пошуку та сортуваання сповіщувачів систем безпеки. В її основу закладені необхідні та достатні характеристики сповіщувачів, які забезпечують їх вибір залежно від поставлених задач для систем безпеки. На підставі вимог користувача і технічних характеристик сповіщувачів формуються критерії їхнього відбору. Введено пріорітети критеріїв для вибору сповіщувачів систем безпеки. В моделі утворюється впорядкований список сповіщувачів, які відповідають заданим критеріям. Кожному сповіщувачу списку приписується неповторюваний індивідуальний номер. За важливістю критеріїв здійснюється ранжування сповіщувачів, кількість ітерацій якого залежить від кількості обраних критеріїв. Максимальна зміна позиції сповіщувача списку визначається як відношення кількості сповіщувачів списку до номера пріорітету критерію. Наведено приклад застосування розробленої моделі для вибору сповіщувачів систем безпеки. В першій ітерації ражування сповіщувачів відбувається залежно від типу поля першого критерію, яке може бути описове чи числове. Якщо поле із критерієм описове, то його вміст верифікується та сортуються сповіщувачі. В іншому випадку – ранжування по значенню параметра сповіщувача. Допустиме ранжування сповіщувачів – всі позиції таблиці. За всіма інщими критеріями максимальна зміна позицій сповіщувачів залежить, як від значення критерію так і пріорітету критерію, який обмежує максимальну зміну позицій. В подальшому дослідженні пропонується альтернатива ранжування за критеріями, але не за відношеннями критеріїв, а за вибором користувача.
Модель декомпозиції інформаційної технології базової підсистеми редактора формул алгоритмів
(Видавництво Львівської політехніки, 2011) Овсяк, О. В.
The described extention algebra of algorithms mathematical model decomposition of information technology base subsystem equation editor algebra algorithms designed for setting initial data necessary for the operation of the editor.
Розширення алгебри алгоритмів аксіомами операцій циклів
(Видавництво Львівської політехніки, 2010) Овсяк, О. В.
У розширення класичної алгебри алгоритмів, отримане введенням операції багатозначного елімінування, впроваджено нове розширення. На рівні алфавіту нововведеннями є впровадження в алфавіт спеціальних унітермів, якими є унітерм ознаки повернення у цикл та умовний унітерм циклу. На рівні означень операцій нововведеннями є аксіома введення і виносу унітерма в область дії операції циклічного секвентування, аксіома введення і винесення унітерма у та за область дії операції циклічного елімінування, аксіома введення і винесення унітерма у та за область дії операції циклічного паралелення. In expanding the known classical algebra algorithms received meaningful input operations elimination, introduced a new extension. At the level of innovation is the introduction of the alphabet in special unitermiv, what are the signs uniterm return cycle and conditional uniterm cycle. At the level of innovation definitions of operations is an axiom uniterma input and output in the region of the operation cyclic sequencing, axiom input and output uniterma in scope and with the operationcyclic elimination, input and output axioms uniterma in scope and operation cyclic paralleling.