Вісники та науково-технічні збірники, журнали
Permanent URI for this communityhttps://ena.lpnu.ua/handle/ntb/12
Browse
5 results
Search Results
Item Впорядкування та впорядковування у дискретній математиці та інформатиці(Видавництво Львівської політехніки, 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, з якої починається її виконання. Настанови впорядковуються послідовно зверху вниз у вигляді стовпця і записуються в оперативну пам’ять під послідовно впорядкованими адресами. Для виконання переходів застосовуються адреси, записані в настановах переходів. Вектор переривань містить фіксовані адреси комірок пам’яті, в яких записано початкові адреси програм опрацювання переривань.Item Програмна реалізація побудови кривих короткочасної міцності деревини з двохвісним напруженим станом(Видавництво Львівської політехніки, 2020-03-01) Дендюк, Михайло; Флуд, Любомир; Семенишин, Назар; Dendiuk, Mykhailo; Flud, Lyubomir; Semenyshyn, Nazar; Національний лісотехнічний університет України; Ukrainian National Forestry Universityстатті реалізовано алгоритм побудови кривих короткочасної міцності деревини з двовісним напруженим станом у радіально-тангентальній площині структурної симетрії. Для реалізації цього алгоритму було розроблено програмне забезпечення на основі крос-платформного інструментарію Qt, яке дозволяє будувати та аналізувати критерії короткочасної міцності у поперечному розрізі деревини. Створена програма має можливість вибору одного із трьох критеріїв міцності, виду деревини, її температурного та вологісного розподілу. Програмний код мовою C++ спроєктований так, щоб можна було легко додати ще один вид деревини, а також критерій короткочасної міцності. Для відображення кривих їх можна виводити у вигляді графіка або таблиці. Графіки можна фіксувати на графічному віджеті, і додавати нові, порівнюючи з попередніми. На основі аналізу побудованих кривих, встановлено граничний напружений стан матеріалу в часткових випадках. А також зроблено висновки щодо доцільності використання певних критеріїв для опису міцнісних характеристик деревини з сильною та слабкою асиметрією меж міцності.Item Використання онтологічних мереж у системах підтримки прийняття рішень в умовах неоднозначності(Видавництво Львівської політехніки, 2020-02-24) Карпов, Ігор; Буров, Євген; Karpov, Ihor; Burov, Eugene; Національний університет “Львівська політехніка”; Lviv Polytechnic National UniversityЗростання обсягів інформації, яку потрібно брати до уваги при прийнятті рішень визначають актуальність побудови інтелектуальних систем підтримки прийняття рішень. Передумовою прийняття коректного рішення є побудова коректної концептуальної моделі проблемної ситуації, яка враховує усі фактори, релевантні до цієї ситуації. Концептуалізація проблемної ситуації подається онтологією цієї ситуації. При формуванні онтології ситуації доцільно використовувати знання з існуючих онтологій. При цьому виникає проблема неоднозначності вибору елементів існуючих онтологій, які якнайточніше відповідають ситуації. Метою розроблення є дослідження особливостей застосування мереж онтологій для побудови онтологій проблемних ситуацій в умовах неоднозачності вибору, тобто коли потрібно вибрати найточніше за змістом онтологічне джерело. Наведено формальні визначення онтології проблемної ситуації, відповідності між елементами онтології, мережі онтологій та правил відповідності. Правила відповідності визначено як відображення між підмножинами концептів, відношень та функцій інтерпретації двох онтологій. У роботі наведено концептуальну модель формування онтології проблемної ситуації на основі декількох вихідних онтологій. Розроблено структуру системи підтримки прийняття рішень на основі онтологічних мереж та визначено процес підтримки прийняття рішень у випадку застосування мереж онтологій. Центральним елементом такої системи є база знань, що містить моделі ситуації та посилання на зовнішні онтології з мережі для кожної такої моделі. Основою цих посилань є правила відвідності, що визначають, з яких онтологій отримувати знання та як перетворити їх перед записом в онтологію ситуації. При настанні проблемної ситуації онтологія ситуаціі формується динамічно, з врахуванням наявного контексту ситуації. Це також надає можливість використати актуальні знання з пов’язаних онтологій. Запропоновано підходи до побудови систем підтримки прийняття рішень, що використовують мережі онтологій надають можливість динамічно вибрати концепти та відношення, що відповідають контексту ситуації. Результати роботи доцільно використовувати для розроблення систем підтримки прийняття рішень, що потребують даних з різних предметних областей та в умовах неоднозначності.Item Класифікація елементів відеозображень реального часу за допомогою нейромережі(Видавництво Національного університету “Львівська політехніка”, 2005-03-01) Давидов, М. В.; Нікольський, Ю. В.; Національний університет “Львівська політехніка”Описаний прототип системи керування виступом за допомогою набору жестіа Задачу вирішено побудовою класифікатора елементів зображення за допомогою багатошарової нейронної мережі Модифіковано алгоритм навчання зі зворотним поширенням похибки. Запропоновано новий метод визначення еталону та навчальних прикладіаItem Тестова надійнісна математична модель технічної відновлюваної системи та порівняння методів її розв’язування(Видавництво Львівської політехніки, 2017-03-28) Мандзій, Б. А.; Матвійчук, Я. М.; Mandziy, B.; Matviychuk, Y.; Національний університет “Львівська політехніка”; кафедра інформаційних систем і технологій; National University “Lviv Polytechnik”; Department of Information Systems and TechnologiesРозроблено математичну модель відновлюваної технічної системи, що може бути тестовою моделлю при відлагодженні програм автоматизованої побудови надійнісних моделей відповідних технічних систем. Здійснено порівняльне дослідження розв’язу- вання системи рівнянь типу Колмогорова–Чепмена методами числового інтегрування та з використанням аналітичного розв’язку, що показало відсутність переваг у точності та певні переваги у часі розв’язування за другим підходом.