Науковий вісник Ужгородського університету. Серія «Математика і інформатика»
http://visnyk-math.uzhnu.edu.ua/
Включено до Переліку наукових фахових видань <b>Категорія «Б»</b> наказом Міністерства освіти і науки України від 17.03.2020 № 409 за спеціальностями 111, 113, 122, 124 та 126.State University “Uzhhorod National University”uk-UAНауковий вісник Ужгородського університету. Серія «Математика і інформатика»2616-7700<span>Автори залишають за собою право на авторство своєї роботи та передають журналу право першої публікації цієї роботи на умовах ліцензії </span><a href="http://creativecommons.org/licenses/by/3.0/" target="_new">Creative Commons Attribution License</a><span>, котра дозволяє іншим особам вільно розповсюджувати опубліковану роботу з обов'язковим посиланням на авторів оригінальної роботи та першу публікацію роботи у цьому журналі.</span>Аналіз процесу завантаження комп'ютерних систем на базі архітектури x86-64 на предмет вразливостей та визначення механізмів його захисту
http://visnyk-math.uzhnu.edu.ua/article/view/326917
<p>У статті проведено систематичний аналіз механізмів завантаження сучасної комп'ютерної системи архітектури x86-64 та потенційних загроз, що виникають у процесі її ініціалізації. Розглянуто методи компрометації прошивки, низькорівневих режимів виконання та засобів перевірки цілісності завантаження. Особливу увагу приділено атакам, що спрямовані на обхід захисних технологій зазначених систем. На основі аналізу наукових публікацій визначено потенційні вразливості компонентів комп’ютерної системи, які використовуються при її ініціалізації, та які необхідно ізолювати від потенційних загроз (зокрема небезпечних програм), а також визначені напрями подальших наукових досліджень.</p>М. О. Богдюк
Авторське право (c) 2025 М. О. Богдюк
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346113814810.24144/2616-7700.2025.46(1).138-148Графові алгоритми кластеризації: виділення зв'язкових компонент та оптимізація методів групування
http://visnyk-math.uzhnu.edu.ua/article/view/322939
<p>У даній роботі досліджено методи кластеризації даних, зокрема алгоритм BFS (обхід у ширину) та його оптимізацію для підвищення ефективності. Кластеризація є важливим етапом аналізу великих обсягів інформації, що використовується у різних сферах, зокрема у медичних дослідженнях, аналізі ринкових тенденцій та машинному навчанні. Метою дослідження було виявлення сильних і слабких сторін BFS у задачах групування даних, а також розробка методів його покращення. Для цього було проаналізовано особливості різних підходів до кластеризації, визначено їхні переваги та недоліки, а також проведено порівняння BFS із іншими методами, такими як KNN (метод k найближчих сусідів). Результати дослідження показали, що BFS є ефективним для групування даних, особливо у випадках, коли об’єкти мають природну кластерну структуру. Основними перевагами алгоритму є його здатність працювати з розрідженими даними, обробляти аномальні значення (викиди) та легко адаптуватися до різних порогових значень. Однак основним недоліком залишається його обмежена масштабованість при обробці великих наборів даних. Проаналізовано що BFS у модифікованій формі є потужним інструментом для кластеризації, який може бути застосований у різних сферах аналізу даних. Однак подальші дослідження необхідні для розширення його можливостей, зокрема шляхом впровадження механізмів автоматичного налаштування параметрів, а також адаптації алгоритму для роботи з великими даними за допомогою розподілених обчислень.</p>Н. Бойко
Авторське право (c) 2025 Н. Бойко
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346114916510.24144/2616-7700.2025.46(1).149-165Адаптивна нормалізація CNNMVN
http://visnyk-math.uzhnu.edu.ua/article/view/331889
<p>Адаптивні методи зміни швидкості навчання широко використовуються для підвищення ефективності навчання нейронних мереж, оскільки вони покращують швидкість та точність збіжності та зменшують ризик застрягання в локальних мінімумах або сідлоподібних точках. У цій статті ми представляємо підходи до адаптивної швидкості навчання для згорткової нейронної мережі з багатозначними нейронами (CNNMVN), яка є повністю комплекснозначною нейронною мережею, що оперує комплексними вхідними даними, комплексними вагами та комплекснозначними активаційними функціями.</p> <p>На відміну від традиційних дійснозначних нейронних мереж, CNNMVN використовує принцип поділу помилки замість градієнтної оптимізації, що усуває проблему локальних мінімумів і дозволяє більш гнучко коригувати швидкість навчання. Ми пропонуємо дві стратегії адаптивної швидкості навчання (ALR), спеціально розроблені для CNNMVN. Перша стратегія модифікує коефіцієнти швидкості навчання у формулах корекції похибки, тоді як друга регулює параметри нормалізації у процесах зворотного поширення похибки та її корекції. Обидва методи динамічно адаптують швидкість навчання на основі точності на валідаційній вибірці.</p> <p>Результати показують, що адаптивна швидкість навчання суттєво покращує швидкість збіжності та точність, особливо при поєднанні з самоналаштовуваною швидкістю навчання. Крім того, наше дослідження підкреслює вплив нормалізації на динаміку навчання та розглядає сценарії, у яких нормалізацію мінімізовано або повністю виключено.</p> <p>Наші результати демонструють, що методи ALR покращують ефективність навчання CNNMVN, забезпечуючи надійну основу для оптимізації швидкості навчання в комплекснозначних нейронних мережах.</p>О. Ю. ВаськоА. Ю. Брила
Авторське право (c) 2025 О. Ю. Васько, А. Ю. Брила
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346116617710.24144/2616-7700.2025.46(1).166-177Математичне моделювання динаміки музейної активності
http://visnyk-math.uzhnu.edu.ua/article/view/326992
<p>У статті розглядаються аспекти математичного моделювання динаміки музейної активності. Музейна активність є важливим показником культурного та соціального розвитку міста, її ефективність може бути оцінена за допомогою кількісних методів, зокрема інтегральної оцінки. Метою дослідження є аналіз тенденцій музейної діяльності та розробка математичної моделі для прогнозування її динаміки.</p> <p>У роботі побудовано кількісні моделі для оцінки ефективності музейної діяльності. Для цього застосовані математичні підходи, включаючи елементи теорії ймовірностей і статистичного аналізу, апарат лінійної алгебри, методику комплексного інтегрального оцінювання.</p> <p>Авторами визначено інтегральну оцінку музейної активності на прикладі міста Львова. Для знаходження коефіцієнтів даної оцінки застосовано метод, заснований на використанні коваріаційної матриці, її власних значень та власних векторів. Перевагами цього методу є його об’єктивність та врахування в оцінці реально існуючих зв’язків між використаними статистичними показниками.</p> <p>Авторами розроблено методику для інтегрального оцінювання музейної активності, що дозволяє здійснити комплексний аналіз і сформулювати прогнози щодо її подальшого розвитку. Прогнозування ефективності музейної діяльності на основі кількісних оцінок є важливим для планування та оптимізації ресурсів, зокрема для визначення найбільш ефективних стратегій роботи музеїв у різні періоди року, прийняття та реалізації науково-обгрунтованих управлінських рішень у даній галузі.</p> <p>Результати дослідження можуть бути використані для подальших розробок в області математичного моделювання культурних процесів, що сприятиме точнішій оцінці музейної діяльності. Дана методика може бути використана для вдосконалення стратегій розвитку музеїв та їх адаптації до змін у соціально-економічному середовищі.</p> <p> </p>Н. В. ІчанськаМ. В. ЛисенкоВ. О. Чурікова
Авторське право (c) 2025 Н. В. Ічанська, М. В. Лисенко, В. О. Чурікова
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346117818710.24144/2616-7700.2025.46(1).178-187Моделювання багатокритеріального вибору в задачі підбору персоналу методом аналізу ієрархій
http://visnyk-math.uzhnu.edu.ua/article/view/332586
<p>Розглянуто застосування методу аналізу ієрархій (AHP) до задачі багатокритеріального підбору персоналу адаптованої для мережі роздрібної торгівлі регіонального рівня. Побудовано трирівневу ієрархічну модель, що включає ціль, сім критеріїв оцінювання кандидатів та три альтернативи. У межах моделювання враховано як кількісні, так і якісні показники. Застосовано програмне забезпечення SuperDecisions, за допомогою якого виконано обчислення локальних і глобальних пріоритетів альтернатив та проведено сенситивний аналіз. Результати дослідження показали, що найбільший вплив на прийняття рішення мають інвертні критерії віку, частости зміни роботи, тоді як соціальні характеристики мають дещо обмежений вплив. Визначено найоптимальнішого кандидата на посаду на основі сукупної інтегральної оцінки. Отримані результати можуть бути використані для автоматизації та обґрунтування рішень у сфері управління персоналом.</p>Н. Е. КондрукО. В. Тирпак
Авторське право (c) 2025 Н. Е. Кондрук, О. В. Тирпак
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346118819410.24144/2616-7700.2025.46(1).188-194Оптимізація обчислень в алгоритмах мультиплексного розбиття континуальних множин
http://visnyk-math.uzhnu.edu.ua/article/view/321838
<div><span lang="UK">У роботі представлено розробку та оптимізацію алгоритмів для розв’язання задач мультиплексного розбиття множин із використанням методів векторизації обчислень. Здійснено порівняння базового ітеративного підходу із векторизованим методом, що також включає попереднє обчислення тензора відстаней між точками та центрами. Використання SIMD-інструкцій дозволило значно скоротити час виконання обчислень та підвищити продуктивність алгоритму. Результати підтверджують ефективність застосованих методів для задач із великими обсягами даних.</span></div>Д. Є. Лубенець
Авторське право (c) 2025 Д. Є. Лубенець
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346119520810.24144/2616-7700.2025.46(1).195-208Обслуговування запитів одним приладом
http://visnyk-math.uzhnu.edu.ua/article/view/328441
<p>Розглядається один клас детермінованих задач теорії розкладів, а саме, задача впорядкування процесу обслуговування запитів, які не одночасно надходять в систему. Структура системи обслуговування дозволяє сформулювати допоміжну симетричну задачу. Доведено теореми, на основі яких побудовано ітеративний алгоритм, що почергово аналізує пару симетричних задач та дозволяє зафіксувати послідовність обслуговування частини вимог і зменшити розмірність початкової задачі.</p>О. І. КузкаІ. В. КорникВ. М. Дуран
Авторське право (c) 2025 О. І. Кузка, І. В. Корник, В. М. Дуран
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346120921710.24144/2616-7700.2025.46(1).209-217Прогнозування залученості користувачів освітніх вебплатформ за допомогою алгоритмів машинного навчання
http://visnyk-math.uzhnu.edu.ua/article/view/332402
<p>У статті розглянуто технологічні підходи до реалізації навчальних онлайн-платформ із елементами гейміфікації. Сучасний розвиток цифрових технологій висуває нові вимоги до вебзастосунків, зокрема в контексті інтерактивного відображення складних даних і статистичних результатів у режимі реального часу. Це стає особливо важливим у сфері освіти, де актуальними є платформи для дистанційного навчання, які потребують не лише зручного інтерфейсу, а й ефективних інструментів для аналізу та візуалізації навчальних результатів. У статті було розглянуто використання різноманітних методів і алгоритмів для обробки даних, зокрема для прогнозування та аналізу поведінки користувачів онлайн-платформ.</p> <p>У процесі дослідження проведено аналіз доступних інструментів для інтеграції моделей машинного навчання та аналітичних інструментів у вебзастосунки. Проведено порівняння кількох алгоритмів машинного навчання, зокрема таких як: Random Forest, KNN-регресії, гребеневої регресії та еластичної мережі, для аналізу залученості користувачів на платформі Prometheus. Для прогнозування активності користувачів використовувались реальні аналітичні дані, що дозволило побудувати моделі, які здатні враховувати змінні залежності та обробляти аномальні дані, пов'язані з пандемією COVID-19 та іншими соціально-економічними чинниками. Результати показують, що використання різних методів машинного навчання дозволяє здійснити точний прогноз щодо залученості користувачів, зокрема з урахуванням змін у соціально-демографічному контексті.</p> <p>Дослідження показало, що інтеграція таких інструментів дозволяє значно покращити ефективність взаємодії користувачів з онлайн-платформами, а також створює умови для подальшої оптимізації навчальних процесів, зокрема через персоналізацію контенту та методів взаємодії.</p>І. М. ЛяхВ. В. ДудникЮ. М. ЦіпіньоА. Ю. Ціпіньо
Авторське право (c) 2025 І. М. Лях, В. В. Дудник, Ю. М. Ціпіньо, А. Ю. Ціпіньо
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346121822510.24144/2616-7700.2025.46(1).218-225Розробка інтелектуальної системи прийняття рішень для діагностування діабету
http://visnyk-math.uzhnu.edu.ua/article/view/332580
<p>У статті представлено результати розробки інтелектуальної системи підтримки прийняття рішень для діагностики цукрового діабету з використанням методів машинного навчання. На основі відкритого медичного датасету було побудовано та проаналізовано низку класифікаційних моделей, зокрема логістичну регресію, Random Forest та XGBoost. З метою підвищення точності було застосовано метод стратифікації при виділенні валідаційних даних, масштабування ознак, крос-валідацію та оптимізацію гіперпараметрів моделей. Особливу увагу приділено аналізу матриць невідповідності та оцінці впливу ключових ознак. Найкраща кросвалідаційна точність досягнута моделлю Random Forest (94.43%), що свідчить про її здатність добре узагальнювати закономірності у незбалансованих даних. Найнижча кількість помилок другого роду (FN = 16) спостерігається в моделі XGBoost. Запропонований підхід може бути ефективно використаний для попереднього діагностування діабету.</p>М. М. МалярН. Е. КондрукЄ. Б. КондрукВ. А. Нерода
Авторське право (c) 2025 М. М. Маляр, Н. Е. Кондрук, Є. Б. Кондрук, В. А. Нерода
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346122623310.24144/2616-7700.2025.46(1).226-233Чисельне моделювання поширення сейсмічних хвиль у пористих середовищах з умовами ідеального контакту
http://visnyk-math.uzhnu.edu.ua/article/view/326851
<p>У цій статті розглядаються теоретичні та чисельні аспекти моделювання розповсюдження сейсмічних хвиль у насичених пористих середовищах за моделлю Біота. Представлено повний опис математичної моделі, що містить рівняння руху твердого скелету та рідини, умови збереження маси й напружень, а також чисельну реалізацію з використанням явної скінченно-різницевої схеми другого порядку. Детально проаналізовано умови інтерфейсного контакту між середовищами з різними швидкостями хвиль, умову CFL, норми L<sub>2</sub>та H<sup>1</sup> для оцінки похибок, а також порядок збіжності методу. Результати чисельних експериментів, підтверджені як статистичними даними, так і зображеннями (кадрами моделювання), демонструють високу точність моделювання. Стаття містить розгорнутий аналіз отриманих результатів і детально обговорює перспективи застосування розробленої методики.</p>О. С. ПаничокЮ. О. Ящук
Авторське право (c) 2025 О. С. Паничок, Ю. О. Ящук
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346123424610.24144/2616-7700.2025.46(1).234-246Розроблення оболонки інформаційної системи «Комп'ютерний тренажер з фінансової математики»
http://visnyk-math.uzhnu.edu.ua/article/view/332590
<p>Описано розроблену оболонку інформаційної системи <span class="fontstyle0">«</span>Комп'ютерний тренажер з фінансової математики<span class="fontstyle0">»</span>. Особливістю розробленої системи є орієнтація на бази знань, а не на бази даних, що дозволяє генерувати значну кількість рівнозначних тестових завдань. Відмітимо можливість відносно легко розширювати систему новими типами завдань з фінансової математики, а також переорієнтовувати оболонку для інших розділів математики чи інформатики. Розроблена система може використовуватися як для контролю знань, так і як інструмент для самонавчання.</p>М. М. ПовідайчикМ. М. ШаркадіР. А. КацалаР. М. ГодяІ. В. Янчій
Авторське право (c) 2025 М. М. Повідайчик, М. М. Шаркаді, Р. А. Кацала, Р. М. Годя, І. В. Янчій
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346124725510.24144/2616-7700.2025.46(1).247-255Використання математичних моделей в екологічних дослідженнях
http://visnyk-math.uzhnu.edu.ua/article/view/332588
<p>У цій статті представлено ґрунтовний огляд ключових типів математичних моделей, що застосовуються в екології для аналізу, моделювання та прогнозування змін у природних і антропогенних системах. Розглянуто як традиційні аналітичні, так і сучасні комп'ютеризовані підходи до моделювання, включаючи стохастичні, динамічні, просторово-часові моделі, моделі на основі нечіткої логіки, машинного навчання й штучного інтелекту. Наведено численні приклади використання моделей для вирішення завдань управління водними ресурсами, контролю якості повітря, дослідження популяційних процесів, оцінки кліматичних змін та розрахунку екосистемних послуг. Підкреслено роль міждисциплінарного підходу та цифрових технологій в удосконаленні інструментів екологічного моделювання. Визначено перспективи інтеграції моделей у процеси планування природокористування, управління ризиками та формування екологічної політики.</p>І. І. ПоловкоМ. М. Шаркаді
Авторське право (c) 2025 І. І. Половко, М. М. Шаркаді
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346125626110.24144/2616-7700.2025.46(1).256-261Формалізація ознак ЕКГ-сигналів для побудови моделей машинного навчання
http://visnyk-math.uzhnu.edu.ua/article/view/326999
<p><span class="fontstyle0">ЕКГ, або електрокардiограма, — це метод неiнвазивного дослiдження, який дозволяє зафiксувати електричну активнiсть серця за допомогою спецiальних електродiв, розташованих на шкiрi. Цей метод використовується для оцiнки ритму серця, виявлення порушень електричної провiдностi, а також для дiагностики рiзноманiтних серцевих патологiй, таких як iшемiя, iнфаркт мiокарда та аритмiї. Завдяки своїй простотi та доступностi, ЕКГ є одним iз основних iнструментiв у кардiологiї для монiторингу стану пацiєнта як у стацiонарних, так i в амбулаторних умовах.</span></p> <p><span class="fontstyle0">Пiдготовка сигналу ЕКГ до машинного навчання — це комплекс процесiв, що включає кiлька ключових етапiв для забезпечення високої якостi даних i їх оптимальної придатностi для аналiзу. Спочатку проводиться попередня обробка сигналу, яка полягає у фiльтрацiї для усунення шумiв та артефактiв, наприклад, базового дрейфу чи високочастотних перешкод. Далi виконується нормалiзацiя, яка забезпечує однорiднiсть даних, приводячи амплiтуди сигналу до спiльного масштабу та знижуючи вплив зовнiшнiх факторiв.</span></p> <p><span class="fontstyle0">Наступним етапом є сегментацiя, коли безперервний сигнал розбивається на окремi фрагменти навколо пiкiв R, що дозволяє видiлити окремi комплекси серцевих скорочень. Пiсля цього проводиться видiлення ознак: з кожного сегмента вилучаються ключовi характеристики, такi як тривалiсть iнтервалiв, амплiтуди окремих хвиль, а також часово-частотнi параметри. Цi ознаки допомагають моделi розрiзняти нормальнi та патологiчнi стани серця. Завершальним кроком є перетворення обробленого сигналу у формат, зручний для подачi в алгоритми машинного навчання. Такий комплексний пiдхiд дозволяє ефективно навчати моделi розпiзнавати закономiрностi в роботi серця, що є основою для дiагностики та прогнозування рiзних кардiологiчних станiв.</span></p> <p><span class="fontstyle0">Дана стаття присвячена побудовi алгоритмiв для пiдготовки даних цифрової кардiограми до машинного навчання. Розроблений алгоритм дозволяє отримати статистичнi характеристики цифрової кардiограми, що дає можливiсть використати їх в подальшому аналiзi з використанням методiв машинного навчання.</span> <br /><br /></p>В. М. СамусьЄ. І. Самусь
Авторське право (c) 2025 В. М. Самусь, Є. І. Самусь
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346126227210.24144/2616-7700.2025.46(1).262-272Ідентифікація та контроль хаотичних процесів у складних технічних системах
http://visnyk-math.uzhnu.edu.ua/article/view/325827
<p>У статтi представлено узагальнений математичний пiдхiд до iдентифiкацiї та адаптивного контролю хаотичних процесiв у нелiнiйних технiчних системах з випадковими параметрами. Дослiджується проблема стабiлiзацiї систем, що характеризуються високою чутливiстю до початкових умов i стохастичними впливами, яка є актуальною для сучасної прикладної математики та iнженерiї. Побудовано нелiнiйну стохастичну модель хаотичної динамiки, формалiзовано вплив хаосу на показники надiйностi технiчних систем i розроблено адаптивний метод контролю на основi зворотного зв’язку. Представлено алгоритмiчну реалiзацiю запропонованого методу та виконано його апробацiю на реальних даних газових сенсорних систем. Отриманi результати свiдчать про суттєве пiдвищення стабiльностi, прогнозованостi та надiйностi роботисистем за умов складних динамiчних режимiв. Запропонований метод може бути ефективно застосований у робототехнiцi, сенсорних мережах, енергетицi та автоматизованих системах керування, забезпечуючи стабiлiзацiю та контроль нелiнiйних режимiв функцiонування в умовах параметричних i стохастичних невизначеностей.</p>Д. І. Симонов
Авторське право (c) 2025 Д. І. Симонов
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346127328410.24144/2616-7700.2025.46(1).273-284Використання великих сторінок пам'яті для поліпшення роботи сучасних операційних систем
http://visnyk-math.uzhnu.edu.ua/article/view/323163
<p>Здійснено огляд сучасних технологій і викликів, пов’язаних із використанням великих сторінок пам'яті в обчислювальних системах. Розглянуто вплив великих сторінок на роботу <em>буферів асоціативної трансляції</em> (БАТ) та ефективність керування пам'яттю. Висвітлено основні проблеми, пов’язані з фрагментацією пам'яті, зростанням ймовірності БАТ промахів і зниженням продуктивності за високого рівня багатозадачності. Згадано сумісність великих сторінок із програмним забезпеченням та у сучасних дистрибутивах Linux.</p>П. В. ТарнавськийВ. М. Білецький
Авторське право (c) 2025 П. В. Тарнавський, В. М. Білецький
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346128529310.24144/2616-7700.2025.46(1).285-293Метод послідовного аналізу варіантів із застосуванням спеціалізованих GPT-моделей для автоматизованої перевірки конкурсних наукових робіт
http://visnyk-math.uzhnu.edu.ua/article/view/324211
<p>У статті досліджено новий підхід до автоматизації опрацювання документів конкурсних наукових робіт, який базується на поєднанні методу послідовного аналізу варіантів та спеціалізованих LLM-моделей. Запропонований підхід дозволяє значно оптимізувати процес перевірки поданих матеріалів, зменшити навантаження на експертів і підвищити об'єктивність відбору. Робота містить теоретичне обґрунтування використання методу послідовного аналізу у контексті автоматизованого аналізу відповідності поданих робіт вимогам конкурсу. Методика послідовного аналізу адаптована для перевірки конкурсних робіт. На її основі розроблено структурований алгоритм використання спеціалізованих GPT-моделей як багаторівневих фільтрів, що забезпечує поетапну перевірку відповідності поданих матеріалів установленим вимогам. Описана узагальнена інформаційна модель спеціалізованого GPT для опрацювання документів. Запропонований підхід є гнучким та масштабованим, що дозволяє його легко адаптувати для інших сфер.</p>В. В. ЦиганокЯ. О. Хроленко
Авторське право (c) 2025 В. В. Циганок, Я. О. Хроленко
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346129430410.24144/2616-7700.2025.46(1).294-304Наближене оптимальне керування для нелінійного гіперболічного рівняння зі збуреними неавтономними коефіцієнтами
http://visnyk-math.uzhnu.edu.ua/article/view/333341
<p>У роботі розглядається задача оптимального керування розв'язками нелінійного гіперболічного рівняння зі збуреними коефіцієнтами виду <em>f</em>(<em>t</em>/ε,<em>y</em>), адитивним керуванням, та квадратичним цільовим функціоналом. Доведено, що оптимальне значення збуреної задачі близьке до оптимального значення відповідної задачі із усередненими коефіцієнтами.</p>О. А. КапустянН. В. Касімова
Авторське право (c) 2025 О. А. Капустян, Н. В. Касімова
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346130531310.24144/2616-7700.2025.46(1).305-313Про комбінаторні властивості частково впорядкованих множин надсуперкритичного MM-типу (2,3,3)
http://visnyk-math.uzhnu.edu.ua/article/view/332616
<p><span class="fontstyle0">М. М. Клейнер довiв, що частково впорядкована (скорочено ч. в.) множина <em>S</em></span><span class="fontstyle2"> </span><span class="fontstyle0">має скiнченний зображувальний тип тодi i лише тодi, коли вона не мiстить ч. в. пiдмножин вигляду </span><span class="fontstyle3">(1</span><span class="fontstyle2">, </span><span class="fontstyle3">1</span><span class="fontstyle2">, </span><span class="fontstyle3">1</span><span class="fontstyle2">, </span><span class="fontstyle3">1)</span><span class="fontstyle2">, </span><span class="fontstyle3">(2</span><span class="fontstyle2">, </span><span class="fontstyle3">2</span><span class="fontstyle2">, </span><span class="fontstyle3">2)</span><span class="fontstyle2">, </span><span class="fontstyle3">(1</span><span class="fontstyle2">, </span><span class="fontstyle3">3</span><span class="fontstyle2">, </span><span class="fontstyle3">3)</span><span class="fontstyle2">, </span><span class="fontstyle3">(1</span><span class="fontstyle2">, </span><span class="fontstyle3">2</span><span class="fontstyle2">, </span><span class="fontstyle3">5)</span><span class="fontstyle2">, </span><span class="fontstyle3">(</span><span class="fontstyle0">N</span><span class="fontstyle2">, </span><span class="fontstyle3">4)</span><span class="fontstyle2">, </span><span class="fontstyle0">а Л. А. Назарова довела, що ч. в. множина </span><em><span class="fontstyle2">S </span></em><span class="fontstyle0">є ручною тодi i лише тодi, коли вона не мiстить ч. в. пiдмножин вигляду </span><span class="fontstyle3">(1</span><span class="fontstyle2">, </span><span class="fontstyle3">1</span><span class="fontstyle2">, </span><span class="fontstyle3">1</span><span class="fontstyle2">, </span><span class="fontstyle3">1</span><span class="fontstyle2">, </span><span class="fontstyle3">1)</span><span class="fontstyle2">, </span><span class="fontstyle3">(1</span><span class="fontstyle2">, </span><span class="fontstyle3">1</span><span class="fontstyle2">, </span><span class="fontstyle3">1</span><span class="fontstyle2">, </span><span class="fontstyle3">2)</span><span class="fontstyle2">, </span><span class="fontstyle3">(2</span><span class="fontstyle2">, </span><span class="fontstyle3">2</span><span class="fontstyle2">, </span><span class="fontstyle3">3)</span><span class="fontstyle2">, </span><span class="fontstyle3">(1</span><span class="fontstyle2">, </span><span class="fontstyle3">3</span><span class="fontstyle2">, </span><span class="fontstyle3">4)</span><span class="fontstyle2">, </span><span class="fontstyle3">(1</span><span class="fontstyle2">, </span><span class="fontstyle3">2</span><span class="fontstyle2">, </span><span class="fontstyle3">6)</span><span class="fontstyle2">, </span><span class="fontstyle3">(</span><span class="fontstyle0">N</span><span class="fontstyle2">, </span><span class="fontstyle3">5)</span><span class="fontstyle2">. </span><span class="fontstyle0">Цi ч. в. множини називаються вiдповiдно критичними i суперкритичними.</span></p> <p><span class="fontstyle0">Ч. в. множини, якi вiдрiзняються вiд суперкритичних в тiй самiй мiрi, що суперкритичнi вiдрiзняються вiд критичних, називаються надсуперкритичними. У цiй статтi ми вивчаємо деякi комбiнаторнi властивостi ч. в. множин, якi мiнiмаксно iзоморфнi надсуперкритичнiй ч. в. множинi (2,3,3).</span> </p>В. М. БондаренкоЮ. М. ОрловськаМ. В. Стойка
Авторське право (c) 2025 В. М. Бондаренко, Ю. М. Орловська, М. В. Стойка
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346191210.24144/2616-7700.2025.46(1).9-12Проблема породження для оборотних автоматів Мілі
http://visnyk-math.uzhnu.edu.ua/article/view/323008
<p>Оборотний автомат Мілі <em>A</em> над алфавітом входів-виходів <em>X</em> породжує групу <em>G(A)</em> своєю дією на словах над <em>X</em>. Ми доводимо, що наступна проблема алгоритмічно нерозв'язна: за заданими двома оборотними автоматами Мілі, визначити, чи породжують вони одну й ту ж автоматну групу. Крім того, ми будуємо оборотний автомат Мілі <em>A</em>, для якого наступна проблема є нерозв'язною: за заданим оборотним автоматом Мілі <em>B</em>, визначити, чи породжує <em>B</em> групу <em>G(A)</em>. Ми також доводимо, що проблема автоматної підгрупи та проблема тривіальності перетину є нерозв'язними.</p>Є. Бондаренко
Авторське право (c) 2025 Є. Бондаренко
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461131710.24144/2616-7700.2025.46(1).13-17Про єдиність розв’язку задачі Діріхле у куті на площині для диференціального рівняння з неоднорідним операторним символом
http://visnyk-math.uzhnu.edu.ua/article/view/326945
<p>В роботі розглядається перша крайова задача для диференціального рівняння другого порядку зі сталими комплексними коефіцієнтами та неоднорідним операторним символом у куті на площині. Отримано необхідну та достатню умову єдиності розв’язку зазначеної задачі у просторі <em>C<sup>2</sup></em> з поліноміальним зростанням на нескінченності.</p>В. В. КириченкоЄ. В. Лесіна
Авторське право (c) 2025 В. В. Кириченко, Є. В. Лесіна
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461182510.24144/2616-7700.2025.46(1).18-25Оцінювання ймовірності банкрутства для біноміально-φ-субгауссової моделі ризику
http://visnyk-math.uzhnu.edu.ua/article/view/332577
<p>У роботі досліджується процес ризику, утворений сумою біноміально розподіленої кількості строго φ-субгауссових випадкових доданків, які описують окремі виплати, що здійснюються страховою компанією за деяким портфелем страхових полісів. Отримано оцiнки ймовiрностi банкрутства для такої біноміально-φ-субгауссової моделі ризику для деяких часткових випадків функції φ та iнтенсивності надходження премiй, яка є монотонно зростаючою неперервною функцією часу.</p>А. Ю. КравецьО. І. Василик
Авторське право (c) 2025 А. Ю. Кравець, О. І. Василик
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461263410.24144/2616-7700.2025.46(1).26-34Узагальнення нерівності Фейєра для функцій двох змінних
http://visnyk-math.uzhnu.edu.ua/article/view/325222
<p>У статті узагальненно нерівність Фейєра для покоординатно опуклих функцій двох змінних. За допомогою нерівності Ерміта<span class="fontstyle0">–</span>Адамара для покоординатно опуклих функцій двох змінних отримані інтервальні оцінки подвійних інтегралів по прямокутнику.</p>О. О. КурченкоО. О. СинявськаІ. В. Шестаковська
Авторське право (c) 2025 О. О. Курченко, О. О. Синявська, І. В. Шестаковська
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461354310.24144/2616-7700.2025.46(1).35-43Властивості вінерового процесу зі змінним фазовим простором
http://visnyk-math.uzhnu.edu.ua/article/view/315638
<p>Для вінерового процесу зі змінним фазовим простором досліджено існування початкового розподілу із заданими фінальними ймовірностями, зосередженого в одній точці, для випадку чотирьох точок <em>A</em><sub>1</sub>, <em>A</em><sub>2</sub>, <em>A</em><sub>3</sub>, <em>A</em><sub>4</sub> на межі області. Для дифузійного процесу зі змінним фазовим простором досліджено існування початкового розподілу із заданими фінальними ймовірностями.</p>Т. В. МаловічкоБ. В. Панченко
Авторське право (c) 2025 Т. В. Маловічко, Б. В. Панченко
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461446110.24144/2616-7700.2025.46(1).44-61Напівмодуль диференціювань напівкільця
http://visnyk-math.uzhnu.edu.ua/article/view/326993
<p>Вивчаються диференціювання <em>напівкілець</em>, <em>диференціальні напівкільця</em> та множина диференціювань напівкільця. Поняття <em>диференціального напівкільця</em> традиційно означають як адитивне відображення, що задовольняє правило Лейбніца. У статті наведено нові приклади диференціювань напівкілець, доведено деякі їх властивості. Також доведено, що множина всіх диференціювань напівкільця утворює <em>напівмодуль</em> над своїм центром. Показано, що комутатор будь-яких двох диференціювань міститься в <em>піднапівмодулі</em> <em>V</em>(<em>M</em>) елементів <em>M</em>, які мають адитивні обернені.</p>І. О. МельникА. І. Андрушко
Авторське право (c) 2025 І. О. Мельник, А. І. Андрушко
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461627110.24144/2616-7700.2025.46(1).62-71Про описання деякого класу черніковських 3-груп, що є розширеннями повної абелевої 3-групи за допомогою циклічної групи порядку 27
http://visnyk-math.uzhnu.edu.ua/article/view/332619
<p>В данiй роботi описуються з точнiстю до iзоморфiзму, деякi чернiковськi 3-групи, що є розширеннями повних абелевих 3-груп з умовою мiнiмальностi. Зокрема описуються всi такi розширення прямої суми 26-ти екземплярiв адитивної, квазiциклiчної 3-групи ℂ<sub>3</sub>∞, за допомогою циклiчної групи <em>H</em> порядку 27, i якi визначаються зображенням Γ, де Γ пробiгає наступну множину матричних ℤ<sub>3</sub>-зображень {︁Γ<sub><em>h</em></sub><sup>(1)</sup>, Γ<sub><em>h</em></sub><sup>(2)</sup>, Γ<sub><em>h</em></sub><sup>(3)</sup>, Γ<sub><em>h</em></sub><sup>(4)</sup>}︁,що мiстять точно 3 незвiднi ℤ<sub>3</sub>-компоненти [2].</p> <p>Пiдкреслимо, що в [2], описано всi неiзоморфнi чернiковськi <em>p</em>-групи, фактор-група яких за максимальною повною абелевою пiдгрупою є циклiчною групою порядка <em>p<sup>d</sup></em>, де <em>d </em>≤ 2.</p>І. М. ПорохнавецьІ. В. Шапочка
Авторське право (c) 2025 І. М. Порохнавець, І. В. Шапочка
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461727810.24144/2616-7700.2025.46(1).72-78Про прямі добутки неметациклічних p-груп Міллера–Морено та циклічних p-груп як адитивні групи локальних майже-кілець
http://visnyk-math.uzhnu.edu.ua/article/view/332738
<p>В статті розглядається питання, які неабелеві <em>p-груп</em> можуть бути адитивними групами локальних майже-кілець. А саме, доведено, що <em>прямі добутки</em> неметациклічних <em>p</em>-груп <em>Міллера-Морено</em> та циклічних <em>p</em>-груп є <em>адитивними групами</em> <em>локальних майже-кілець</em>. Наведено приклади локальних майже-кілець на таких групах.</p>І. Ю. Раєвська
Авторське право (c) 2025 І. Ю. Раєвська
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461798810.24144/2616-7700.2025.46(1).79-88Про локальні майже-кільця з нільпотентною мультиплікативною групою
http://visnyk-math.uzhnu.edu.ua/article/view/332740
<p>Важливим питанням є встановлення взаємозв'язків між <em>локальним майже-кільцем</em> та його <em>мультиплікативною групою</em>. В статті досліджуються локальні майже-кільця з <em>нільпотентною мультиплікативною групою</em>. Зокрема, при певних обмеженнях описано <em>адитивну групу</em> та <em>підгрупу необоротних елементів</em> таких майже-кілець.</p>М. Ю. Раєвська
Авторське право (c) 2025 М. Ю. Раєвська
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-03461899210.24144/2616-7700.2025.46(1).89-92Побудова інтегровних комбінацій для нормальних лінійних систем диференціальних рівнянь зі сталими коефіцієнтами
http://visnyk-math.uzhnu.edu.ua/article/view/332620
<p>Метод інтегровних комбінацій є одним із ефективних методів інтегрування систем диференціальних рівнянь. Зокрема, у випадку лінійних систем зі сталими коефіцієнтами він за певних умов дозволяє звести систему диференціальних рівнянь до системи алгебраїчних рівнянь відносно шуканих функцій, що значно спрощує розв'язання. Однак побудова інтегровних комбінацій часто викликає складнощі, оскільки визначити їх підбором доволі непросто. Метою даної роботи є дослідження питань існування й побудови інтегровних комбінацій для нормальних лінійних систем диференціальних рівнянь зі сталими коефіцієнтами, а також ілюстрація практичного застосування отриманих результатів.</p>В. Л. РегоЯ. В. Варга
Авторське право (c) 2025 В. Л. Рего, Я. В. Варга
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-034619310310.24144/2616-7700.2025.46(1).93-103Побудова вибірки з множини міри нуль та її характеристики
http://visnyk-math.uzhnu.edu.ua/article/view/332622
<p>Робота присвячена дослідженню методів побудови вибірок з множин, що мають міру нуль. Розглянуто два способи побудови вибірок з множини Кантора та проаналізовано їх числові характеристики, зроблено висновки про принципову подібність чи відмінність отриманих вибірок.</p> <p>Отримано, що вибіркове середнє у всіх вибірках обох серій для множини Кантора практично не відрізняються, а послідовність середньоквадратичних відхилень вибірок першої серії (ітераційної) стабілізується на другому кроці і прямує до середньоквадратичних відхилень усіх вибірок другої серії.</p>Г. І. Сливка-ТилищакМ. В. МадіМ. О. Тилищак
Авторське право (c) 2025 Г. І. Сливка-Тилищак, М. В. Маді, М. О. Тилищак
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346110410810.24144/2616-7700.2025.46(1).104-108Узагальнення "G-піднесеної до ступеня" сім'ї розподілів із застосуваннями до розподілу Берра та розподілу Джонсона Sᴜ
http://visnyk-math.uzhnu.edu.ua/article/view/325374
<p>Запропоновано новий підхід до побудови сімей імовірнісних розподілів. Хоча цей підхід є досить простим, він дозволяє утворити дуже широкий клас розподілів (так звану сім'ю MET-G розподілів). Детально вивчаються два окремі випадки з цієї сім'ї - монотонно показниково перетворений розподіл Берра XII та монотонно показниково перетворений розподіл Джонсона S<sub>U</sub>. Гнучкість нових розподілів підтверджено їх підгонкою до реальних наборів даних.</p>Є. В. Турчин
Авторське право (c) 2025 Є. В. Турчин
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346110911810.24144/2616-7700.2025.46(1).109-118Двочленна асимптотика цілих функцій з покращеним розподілом нулів на промені
http://visnyk-math.uzhnu.edu.ua/article/view/324197
<p>Досліджено двочленну асимптотику цілих функцій скінченного порядку за умови умови покращеної двочленної асимптотики лічильної функції їх нулів на промені. Зокрема, встановлено зв’язок між покращеним регулярним зростанням логарифма (логарифма модуля) цілої функції скінченного порядку та покращеним розподілом її нулів на промені в термінах двочленних асимптотик. Отримано нові двочленні асимптотичні рівності для лічильних функцій послідовностей нулів цілих функцій скінченного порядку.</p>Р. В. ХацьВ. П. Ярмошик
Авторське право (c) 2025 Р. В. Хаць, В. П. Ярмошик
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346111913210.24144/2616-7700.2025.46(1).119-132Побудова ймовірнісного простору для випадкової еволюції
http://visnyk-math.uzhnu.edu.ua/article/view/322061
<p>Дана стаття присвячена побудові ймовірнісних просторів для випадкових еволюцій. Розглядається випадковий процес звпливом зовнішнього середовища. Досліджуються випадки залежних та незалежних просторів. Побудовано ймовірнісний простір та розглянуто приклад використання ймовірнісного простору для випадкової еволюції.</p> <p> </p>О. А. ЯроваЯ. І. Єлейко
Авторське право (c) 2025 О. А. Ярова, Я. І. Єлейко
http://creativecommons.org/licenses/by/4.0
2025-06-032025-06-0346113313710.24144/2616-7700.2025.46(1).133-137