Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
6 results
Search Results
Item Система синтезу формул алгебри алгоритмів(Видавництво Львівської політехніки, 2021-03-01) Василюк, Андрій Петрович; Басюк, Тарас; Vasyluk, Andrii; Basyuk, Taras; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityРозроблено математичне забезпечення процесу генерування предметних унітермів формул алгебри алгоритмів. Виконано аналіз особливостей побудови формул алгебри алгоритмів, у результаті якого виявилось, що сьогодні підсистеми з реалізацією процесів генерування предметних унітермів на основі абстрактних унітермів з подальшою адаптацією формул не реалізовано в відомих системах, що і спонукало до здійснення інтелектуального аналізу генерування предметних унітермів формул алгебри алгоритмів. Визначено, що синтез формул алгебри алгоритмів, а особливо генерування предметних унітермів на основі абстрактних, – надзвичайно складний і трудомісткий процес. Оскільки всі елементи формули пов’язані між собою, всі зміни в формулі алгоритму впливають на її структуру, що і є основною причиною складності описаних процесів. Один із аспектів синтезу формул алгебри алгоритмів – це процес генерування предметних унітермів на основі абстрактних унітермів. Коротко описано знаки операцій алгебри алгоритмів. Розроблено математичне забезпечення процесу синтезу формул алгебри алгоритмів, що враховує вертикальну та горизонтальну орієнтації та тип формули алгебри алгоритмів: текстовий унітерм, операція секвентування, операція елімінування, операція паралелення і відповідні циклічні операції секвентування, елімінування та паралелення, а також геометричні параметри генерованих предметних унітермів. Попередньо описано процес генерування предметних унітермів на основі абстрактних. Визначено перелік необхідних елімінувань та секвенції для виконання синтезу відповідних формул. Відповідно до властивостей знаків операцій алгебри алгоритмів виконано мінімізацію синтезованих формул алгоритмів за кількістю унітермів. Також відповідно до властивостей формул алгоритмів алгебри виконано винесення відповідних унітермів за знаки операцій, в результаті чого отримано формулу алгоритму синтезу формул алгоритмів з урахуванням генерування предметних унітермів на основі абстрактних унітермів.Item Інтелектуальний аналіз процесу заміни формул алгебри алгоритмів(Видавництво Львівської політехніки, 2020-02-24) Василюк, Андрій Петрович; Басюк, Тарас; Vasyluk, Andrii; Basyuk, Taras; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityРозроблено математичне забезпечення процесу заміни формул алгебри алгоритмів. Проаналізовано особливості побудови формул алгебри алгоритмів, у результаті чого з’ясовано, що сьогодні підсистеми з реалізацією процесів заміни формул алгоритмів з подальшою адаптацією формул не реалізовано у відомих системах, що і стало стимулом до інтелектуального аналізу процесу заміни формул алгебри алгоритмів. Відомо, що набір та редагування формул алгебри алгоритмів, а особливо редагування є надзвичайно складним і трудомістким процесом. Усі зміни в формулі алгоритму впливають на її структуру, оскільки всі елементи формули взаємопов’язані. Один з аспектів редагування формул алгебри алгоритмів – це процес заміни формули алгебри алгоритмів. Коротко описано знаки операцій алгебри алгоритмів. Розроблено математичне забезпечення процесу заміни формул алгебри алгоритмів, що враховує вертикальну та горизонтальну орієнтації і тип формули алгебри алгоритмів: текстовий унітерм, операція секвентування, операція елімінування, операція паралелення і відповідні циклічні операції секвентування, елімінування та паралелення. Попередньо описано процес заміни формул алгебри алгоритмів. Визначено перелік необхідних елімінувань та секвенції для синтезу відповідних формул. Відповідно до властивостей знаків операцій алгебри алгоритмів мінімізовано синтезовані формули алгоритмів за кількістю унітермів. Також відповідно до властивостей формул алгоритмів алгебри винесено відповідні унітерми за знаки операцій, у результаті чого отримано формулу алгоритму опису процесу заміни формул алгоритмів.Item Інтелектуальний аналіз процесу трансформування формул алгебри алгоритмів(Видавництво Львівської політехніки, 2018-02 26) Василюк, А. С.; Басюк, Т. М.; Vasyluk, Andrii; Basyuk, Taras; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityОписано процеси трансформування формул алгебри алгоритмів. Наведено алгоритм обчислення геометричних параметрів унітермів. Синтезовано, мінімізовано, побудовано математичну модель і досліджено алгоритм процесу трансформування формул алгебри алгоритмів.Item Інтелектуальний аналіз математичного забезпечення процесів згортання та розгортання формул алгоритмів(Видавництво Львівської політехніки, 2017-03-28) Василюк, А. С.; Басюк, Т. М.; Національний університет “Львівська політехніка”Описано означення процесів згортання формул алгебри алгоритмів. Синтезовано, мінімізовано, побудовано та досліджено математичне забезпечення процесів згортання та розгортання формул алгебри алгоритмів.Item Інтелектуальний аналіз структури даних та математичного забезпечення редактора формул алгоритмів(Видавництво Львівської політехніки, 2015) Василюк, А. С.Описано означення процесу адаптації, структури даних редактора алгоритмів. Синтезовано, мінімізовано, побудовано математичну модель структури даних редактора формул алгоритмів, ієрархічно-модульний принцип побудови редактора, процесу адаптації, згортання і розгортання формул алгебри алгоритмів. This article is about determination of process of adaptation, data structure of algorithms editor. Mathematical model of data structure of algorithms editor, hierarchical-modular construction principle of editor, of adaptation process and expanding and collapsing processes were synthesized, minimized and built.Item Інтелектуальний аналіз параметрів унітермів(Видавництво Львівської політехніки, 2015) Василюк, А. С.; Басюк, Т. М.Описано означення параметрів унітермів. Наведено алґоритм обчислення геометричних параметрів унітермів. Синтезовано математичну модель. Цю модель мінімізовано і побудовано. Досліджено алґоритм обчислення параметрів унітермів. This article is about determination of properties of unitherms. The algorithm of calculating geometrical parameters of unitherms is introduced. The mathematical model is synthesized. This model is then minimized and built. The algorithm of calculating geometrical parameters of unitherms is probed into.