Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі. – 2021. – Випуск 9

Permanent URI for this collectionhttps://ena.lpnu.ua/handle/ntb/59141

Вісник Національного університету «Львівська політехніка»

Вісник Національного університету «Львівська політехніка» «Інформаційні системи та мережі» є правонаступником збірника наукових праць «Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі, який започатковано у 1997 р.

Вісник Національного університету «Львівська політехніка». Серія: Інформаційні системи та мережі / Національний університет "Львівська політехніка" ; відповідальний редактор В. В. Пасічник. – Львів : Видавництво Львівської політехніки, 2021. – № 9. – 168 с.

Вісник Національного університету "Львівська політехніка". Інформаційні системи та мережі

Зміст


1
11
23
32
44
53
61
75
84
96
112
122
131
142
151
167

Content


1
11
23
32
44
53
61
75
84
96
112
122
131
142
151
167

Browse

Search Results

Now showing 1 - 2 of 2
  • Thumbnail Image
    Item
    Сервіс перевірки інформації про нерухомість з використанням технології Blockchain
    (Видавництво Львівської політехніки, 2021-03-01) Любінський, Богдан; Ільницький, Валентин; Топилко, Петро; Liubinskyi, Bohdan; Ilnytskyi, Valentine; Topylko, Petro; Національний університет “Львівська політехніка”; Lviv Polytechnic National University
    Блокчейн (blockchain – ланцюжок блоків) – технологія розподіленого реєстру обліку (Distributed Ledger Technology або DLT). Це комбінація компонентів, до яких належать: однорангові мережі peer-to-peer (P2P), розподілене зберігання даних, криптографія (гешування і шифрування із відкритим ключем). До популярних реалізацій технології блокчейн зараховують електронну валюту Bitcoin, за допомогою якої можна здійснювати транзакції переказу коштів із одного гаманця на інший. В роботі розглянуто технологію блокчейн та можливість її застосування для перевірки інформації про нерухомість. Сьогодні зростає інтерес до Ethereum платформи для створення практично будь-яких децентралізованих онлайн-сервісів на базі блокчейну (DApps), що працюють на основі розумних контрактів. Ethereum сильно спрощує і здешевлює упровадження блокчейну. Зацікавленість технологією блокчейн проявляють представники різних галузей. Переважно це компанії із різних секторів економіки, особливо банківського сектору, біржі тощо. Також відомі застосування технології до земельного реєстру. Його впроваджують як великі гравці (Microsoft, IBM, Acronis, банківський консорціум R3), так і нові стартапи. В роботі проаналізовано різноманітні види шахрайства, пов’язані з нерухомістю, та їх вплив. Наведено вимоги до побудови архітектури сервісу перевірки інформації про нерухомість. Запропоновано архітектуру розумного контракту, який враховує всі вимоги. Для реалізації алгоритму на основі блокчейну вибрано розподілений реєстр записів Ethereum, що працює на підставі розумних контрактів. Пропонований підхід побудований із використанням технології Blockchain. Розроблено архітектуру cервісу перевірки інформації про нерухомість із використанням технології Blockchain, що гарантує успішне виконання транзакцій та стабільну роботу, яка полягає у внесенні, оновленні та зберіганні інформації про нерухомість та її перевірці на достовірність.
  • Thumbnail Image
    Item
    Система синтезу формул алгебри алгоритмів
    (Видавництво Львівської політехніки, 2021-03-01) Василюк, Андрій Петрович; Басюк, Тарас; Vasyluk, Andrii; Basyuk, Taras; Національний університет “Львівська політехніка”; Lviv Polytechnic National University
    Розроблено математичне забезпечення процесу генерування предметних унітермів формул алгебри алгоритмів. Виконано аналіз особливостей побудови формул алгебри алгоритмів, у результаті якого виявилось, що сьогодні підсистеми з реалізацією процесів генерування предметних унітермів на основі абстрактних унітермів з подальшою адаптацією формул не реалізовано в відомих системах, що і спонукало до здійснення інтелектуального аналізу генерування предметних унітермів формул алгебри алгоритмів. Визначено, що синтез формул алгебри алгоритмів, а особливо генерування предметних унітермів на основі абстрактних, – надзвичайно складний і трудомісткий процес. Оскільки всі елементи формули пов’язані між собою, всі зміни в формулі алгоритму впливають на її структуру, що і є основною причиною складності описаних процесів. Один із аспектів синтезу формул алгебри алгоритмів – це процес генерування предметних унітермів на основі абстрактних унітермів. Коротко описано знаки операцій алгебри алгоритмів. Розроблено математичне забезпечення процесу синтезу формул алгебри алгоритмів, що враховує вертикальну та горизонтальну орієнтації та тип формули алгебри алгоритмів: текстовий унітерм, операція секвентування, операція елімінування, операція паралелення і відповідні циклічні операції секвентування, елімінування та паралелення, а також геометричні параметри генерованих предметних унітермів. Попередньо описано процес генерування предметних унітермів на основі абстрактних. Визначено перелік необхідних елімінувань та секвенції для виконання синтезу відповідних формул. Відповідно до властивостей знаків операцій алгебри алгоритмів виконано мінімізацію синтезованих формул алгоритмів за кількістю унітермів. Також відповідно до властивостей формул алгоритмів алгебри виконано винесення відповідних унітермів за знаки операцій, в результаті чого отримано формулу алгоритму синтезу формул алгоритмів з урахуванням генерування предметних унітермів на основі абстрактних унітермів.