Інформаційні системи та мережі
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/2105
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 Програмні системи на базі онтологічних моделей задач(Видавництво Львівської політехніки, 2015) Буров, Є. В.; Пасічник, В. В.Розглянуто застосування онтологічних моделей задач для побудови програмних систем, здатних адаптуватися до зміни стану предметної області. Розроблено математичну формалізацію подання та опрацювання знань у системі, архітектуру та принципи функціонування програмної системи на базі онтологічних моделей. Розглянуто методи використання онтологічних моделей для розв’язання практичних задач. Проаналізовано переваги застосування онтологічних моделей порівняно з традиційним підходом до побудови програмних систем та розроблено формули для оцінювання їх переваг. Розроблено програмний інструментальний засіб для побудови та моделювання програмних систем на основі онтологічних моделей задач. The increased mobility of business processes today relies on extensive use of software and in turn puts high demands on the quality of software and its ability to be quickly and accurately adapted to the changes in the business environment. A promising approach to solving the problem of adapting the software to changes in its operational environment is the use of ontological modeling. In the article the theoretical principles of knowledge representation and processing in software based on ontological task models were developed. A formal model of knowledge representation was built. The method of using ontological task models for automated testing of nightly software builds was developed. This method also demonstrates the organization of models interaction in the multistage business process of automated testing.Item Архітектура програмного комплексу побудови адаптивних Веб-галерей(Видавництво Львівської політехніки, 2014) Ришковець, Ю. В.Адаптивні Веб-галереї можуть реорганізовувати структуру свого інформаційного наповнення відповідно до інтересів користувача та особливостей його поведінки. До складу кожної Веб-галереї входять експозиції, які певною мірою розкривають визначені тематичні категорії. Кожна експозиція містить експонати, що не завжди повною мірою розкривають її зміст. Експонати, що слабо розкривають зміст експозиції, відволікають користувача та спотворюють його уявлення. Ця стаття описує архітектуру програмного комплексу Веб-галерея, що забезпечує адаптацію її структури, та взаємодію її компонент. Adaptive Web-galleries can reorganize the structure of its content according to user’s interests and peculiarities of their behaviour. Each Web-gallery encompasses expositions that to some extent reveal defined thematic categories. Each exposition contains exhibits which not always fully reveal its content. Exhibits that poorly reveal the content of exposition distract users and distort their interpretation. This paper describes a software complex Web-gallery which provides adaptation of the structure and interaction of its components.Item Підсистема адаптації формул алгоритмів(Видавництво Львівської політехніки, 2010) Василюк, А. С.; Басюк, Т. М.Описано означення процесів адаптації формул алгоритмів. Наведено алґоритм комп’ютерної адаптації формул алгоритмів. Синтезовано, мінімізовано, побудовано математичну модель і досліджено алґоритм адаптації базового знака операції. Determination of processes of adaptation of formulas of algorithms is described. The algorithm of adaptation of formulas of algorithms is resulted. It is synthesized, it is minimized, a mathematical model and probed algorithm of adaptation of base sign of operation is built.Item Адаптивний синтез формул абстрактних алгоритмів(Видавництво Львівської політехніки, 2012) Василюк, А. С.; Басюк, Т. М.Описано процеси адаптації формул алгоритмів. Наведено алґоритм комп’ютерної адаптації формул алгоритмів. Синтезовано, мінімізовано, побудовано математичну модель і досліджено алґоритм адаптації базового знаку операції.This article is about determination adaptation processes of algorithms formulas. The adaptation algorithm of formulas is resulted. Synthesized, minimized, and built mathematical model and probed adaptation algorithm of operation base sign.