eKMAIR
Electronic Kyiv-Mohyla Academy Institutional Repository
Communities in DSpace
Select a community to browse its collections.
Recent Submissions
Автоматизована система виявлення аномалій у бізнес-даних
(2025) Постніков, Михайло; Гороховський, Семен
У статті описано проведений аналіз процесу виявлення аномалій у бізнес-даних, відомі програмні рішення, сформульовано вимоги до системи та описано розроблену автоматизовану програмну систему виявлення аномалій. Ця система складається з програмних модулів, має високу адаптивність, є легкою до модифікації і зручною у використанні. Розроблена система повністю відповідає поставленим раніше вимогам: легкість у налаштуванні забезпечується інтерфейсом користувача і інтерактивним процесом, гнучкість і легкість кастомізації — обраними технологіями та архітектурними абстракціями, надійність — розділенням компонентів через чергу задач, функціональні вимоги — розробленими складовими модулями. Система виконує поставлену задачу автоматизованого виявлення аномалій у бізнес-даних і відповідає сучасним стандартам у галузі даних.
Автоматизоване виявлення вад архітектури програмного модуля з використанням графової моделі візуалізації
(2025) Франків, Олександр
У цій статті описано новий підхід до автоматизованого виявлення вад проєктування програмного модуля з використанням моделі візуалізації архітектури у формі графа із застосуванням додаткових алгоритмів аналізу. Запропонований спосіб дозволяє виявити поширені вади та інформацію про них у легкому для сприйняття поданні з використанням лише вихідного коду програми. У статті розглянуто чотири ознаки наявності помилок при проєктуванні в контексті ООП, зокрема порушеної згуртованості, зв’язності і циклічних залежностей, а також способи їх виявлення та представлення у моделі архітектури. На реальних прикладах виконано автоматизоване виявлення вад із використанням розробленого інструменту для мови Swift з підтвердженням їх наявності у процесі детального аналізу кодової бази.
Реалізація практико-орієнтованої системи кіберполігону з індивідуалізованим запуском середовищ
(2025) Глибовець, Андрій; Бабич, Трохим
У статті описано архітектуру й технічну реалізацію контейнерно-орієнтованого кіберполігону, інтегрованого з LMS Moodle через LTI. Показано переваги підходу щодо швидкодії, масштабованості й безпеки. Проведено порівняння з альтернативними рішеннями та визначено подальші напрями розвитку платформи.
Готфрiд Лейбнiц i створення диференцiального числення
(2025) Федоровська, Катерина
У статтi розглядається внесок Готфрiда Вiльгельма Лейбнiца у створення диференцiального числення в контекстi його фiлософської системи. Дослiджено взаємозв’язок мiж метафiзичною концепцiєю монад та математичним поняттям нескiнченно малих величин. Проаналiзовано публiкацiю "Nova methodus pro maximis et minimis" 1684 року як першу друковану працю з диференцiального числення. Висвiтлено особливостi лейбнiцiвського пiдходу до математичного аналiзу, його нотацiю та методологiю. Розглянуто iсторичну суперечку щодо прiоритету винаходу числення мiж Лейбнiцем та Ньютоном. Показано вплив фiлософських iдей Лейбнiца на формування сучасного математичного аналiзу.
Про розв’язнiсть задачi пошуку нерухомої точки вiдображення в просторах багатовимiрних послiдовностей
(2025) Гончаренко, Юрiй; Ляшко, Вiктор; Тимошенко, Андрiй; Чорней, Руслан
У статтi розглянуто задачу пошуку нерухомої точки для вiдображень у просторах багатовимiрних послiдовностей. Автори формулюють i доводять основну теорему, що забезпечує iснування та єдинiсть розв’язку рiвняння типу x = h + Ax, де A є л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й
(2025) Кашпіровський, Олексій; Митник, Юрій
Дослiджуються достатнi умови показникiв λn та коєфiцiєнтiв Фур’є, при виконаннi яких майже перiодичнi функцiї f(t) з простору Безиковича B2 неперервнi, неперервно-диференцiйовнi та голоморфнi. У випадку показникiв λn, що мають степеневу асимптотику λn = L(nα + εn), де L ∈ R1, α > 0, εn → 0 при n → +∞ отримано аналог теореми Соболєва про вкладення. Для показникiв λn, що за n → +∞ зростають повiльнiше довiльного додатного степеня n, описано клас функцiй з простору Безиковича B2, що мають аналiтичне продовження у пiвплощину Re s > a ≥ 0. До таких функцiй належить дзета-функцiя Рiмана ζ(s). Для функцiй з B2, у яких показники λn прямують до нуля, встановленi достатнi умови аналiтичного продовження до цiлих функцiй 1-го експоненцiального порядку.
Спектральнi вiдновлювальнi числа графiв C3 + e та K4 − e
(2025) Тимошкевич, Лариса; Чернявська, Карина
У статтi дослiджено обернену спектральну задачу для зважених графiв. Розглянуто проблему вiдновлення додатних ваг ребер графа за спектрами його iндукованих пiдграфiв. Основну увагу придiлено знаходженню точного значення спектрального вiдновлювального числа Srn(G) для графiв Srn(C3 + e) та Srn(K4 − e) — м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в
(2025) Дрінь, Світлана; Журавльова, Анастасiя; Крюкова, Галина
Своєчасна оцiнка регiональної економiчної активностi є ключовою для прийняття обґрунтованих рiшень та реагування на кризовi ситуацiї, особливо в економiках, де офiцiйна статистика публiкується iз суттєвими затримками. В Українi данi про валовий регiональний продукт (ВРП) оприлюднюються лише один раз на рiк iз запiзненням до 16 мiсяцiв, що значно ускладнює монiторинг економiчної ситуацiї в реальному часi. У цьому дослiдженнi запропоновано модель Mixed-Frequency Factor-Augmented Vector Autoregression (MF-FAVAR) для теперiшнього прогнозування (nowcasting) квартального зростання ВРП для київського регiону шляхом поєднання рiчних, квартальних i мiсячних показникiв. Запропонована структура iнтегрує традицiйнi макроекономiчнi статистичнi показники з високочастотними цифровими сигналами, отриманими з Google Trends, що дає змогу в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в даних, зокрема Expectation–Maximisation Principal Component Analysis (EMPCA), Bayesian PCA (BPCA) та Singular Value Decomposition Imputation (SVDI). Рiчний ряд ВРП було перетворено на квартальний за допомогою методу Дентона–Шолетта, що забезпечує узгодженiсть з офiцiйними пiдсумками. Емпiричнi результати показують, що факторна екстракцiя на основi EMPCA забезпечує найстабiльнiшi та найточнiшi коротко-, середньо- та довгостроковi прогнози. Зокрема, EMPCA досягає найменших значень середньоквадратичної похибки прогнозу (RMSFE) та безперервного рангового ймовiрнiсного показника (CRPS), що пiдтверджує її стiйкiсть у умовах обмежених i зашумлених даних. Отриманi результати свiдчать, що моделi зi змiшаною частотою та факторною структурою є ефективним iнструментом для регiонального nowcasting за умов нестачi даних, що робить їх особливо релевантними для перехiдних i кризових економiк, таких, як Україна.
Крос-чейн інфраструктура для верифікованого стимулювання ресайклінгу: досвід впровадження на ICP та Solana
(2025) Гаврилюк, Володимир; Гороховський, Кирило; Соболевська, Леся
У цій статті розглянуто принципи створення вебплатформи для підвищення екологічної свідомості у громадян України. Продемонстровано, як використання блокчейн-технологій надає можливість побудувати надійний додаток, який гарантує коректність даних, пов’язаних з переробленням, і дозволяє розробити прозору систему винагород за допомогою utility-токенів і NFT. У роботі детально розглянуто процес розроблення екологічно корисної ініціативи, враховуючи аргументацію обраних технологічних рішень, аналіз вимог до системи, а також масштабованість і перспективи створеного у результаті вебдодатка в майбутньому.
Iterative demand optimization using the discrete functional particlemethod
(2025) Drin, Svitlana; Avdieienko, Ivan; Chornei, Ruslan
This article addresses the challenge of assortment planning in retail under uncertain demand and operational constraints. It develops a hybrid methodology that integrates SARIMAX time-series forecasting with the Discrete Functional Particle Method (DFPM) for optimisation, enabling both strategic (long-term) and tactical (monthly) decision support. The proposed framework combines statistical forecasting with iterative optimisation in order to balance predictive accuracy and operational feasibility. In the forecasting stage, a SARIMAX model with exogenous regressors captures seasonality, promotions, and demand fluctuations, while a safeguard mechanism prevents excessively pessimistic predictions. In the optimisation stage, DFPM is applied to a quadratic objective under linear constraints, with parameters tuned using eigenvalue analysis of the risk matrix. A novel operational risk metric—the Inventory Efficiency Ratio—is introduced, defined as the ratio of leftover stock value to revenue, and used to construct the covariance structure for optimisation. A hybrid strategy blends the mathematically optimal allocation with a baseline derived from historical sales shares, ensuring both practical stability and data-driven improvements. Tactical adjustments refine this strategic solution by incorporating seasonal indices and business constraints such as minimum and maximum category weights. The framework is implemented in Python and evaluated on real-world retail data from a Ukrainian anti-stress toy retailer. Results demonstrate a 25% reduction in operational risk and a threefold increase in inventory turnover, while maintaining realistic revenue forecasts. Overall, the work contributes a flexible and reproducible decision-support methodology that unifies modern forecasting and optimisation techniques, providing practitioners with a tool for improving assortment decisions in dynamic retail environments.
Portfolio optimization for real data: approaches and chal-lenges
(2025) Burdym, Anastasiia; Danyliuk, Yevheniia; Shchestyuk, Nataliya
Portfolio optimization continues to be a dynamic field within finance, integrating new theories and technologies to better meet investor needs. As financial markets evolve, so too will the methodologies used to optimize portfolios, making it an area ripe for ongoing research and innovation. Classical Markowitz approach is based on the mean-variance optimization, which quantifies the tradeoff between risk (variance) and return (expected return). This approach had some limitations. It assumes investors are rational, markets are efficient, and asset returns are normally distributed. As a response to the some limitations of Markowitz theory minimum-VaR approach was appeared. This theory recognizes some assymetry, that investors are more concerned about potential losses than gains and incorporates downside risk measures like Value-at-Risk. Despite advancements of the classical Markowitz theory and minimum VaR approach, challenges remain in accurately estimating parameters, singularity of the covariance matrix and managing risks in volatile markets. In this paper we consider the mean-variance and mean-Var optimal portfolios and take into account the case when the covariance estimated matrix is singular. We use the Moore-Penrose pseudoinverse and Singular Value Decomposition (SVD) to find solutions. We apply these approaches and methodics to real financial data, construct mean-variance and mean-Var optimal portfolios and compare the dynamics of expected returns (mean), volatility and VaR for it. Thanks to the proposed approaches, the investor gets a tool that allows him to make decisions about choosing an approach to building an optimal portfolio, as well as taking into account the singularity of the covariance matrix.
Омнічейн-інтеграція токена MOR на основі стандартів LayerZero OFT і Wormhole NTT
(2025) Яременко, Петро; Гороховський, Кирило
У статті представлено проєкт MORSOL — омнічейн-рішення для токена MOR, що поєднує стандарти LayerZero OFT і Wormhole NTT. Архітектура інтегрує Solana (Anchor-програма) та EVM-смартконтракти з мережевими компонентами LayerZero і Wormhole. Для контролю емісії використано мультипідпис: Squads Vault на Solana та Gnosis Safe на EVM. Описано реалізацію механізму burn/mint під час передання токенів між мережами, підтвердження VAA, а також безпекові функції, як-от пауза контрактів і контроль загальної емісії. Результати демонструють, що поєднання OFT і NTT дозволяє створити нативний мультиланцюговий токен MOR без обгортання, зі збереженням єдиної емісії та високою децентралізацією.
Last time moment optimality in uniform 1-bullet silent duel with scaled exponentially-convex accuracy
(2025) Romanuk, Vadym
The uniform 1-bullet silent duel with scaled exponentially-convex accuracy of payoffs is a symmetric matrix game whose optimal value is 0, and each of the duelists has the same optimal behavior, whether it is in pure or mixed strategies. Such duels model two-side competitive interaction, where the purpose is to gain a reward by making the best possible decision through quantized time. It is proved that the last time moment is optimal in the duel with N time moments only when the accuracy factor does not exceed marginal value e−e N−2 / N−1 / N−2 e N−1 −1. If the accuracy factor is dropped below this marginal value, then the last time moment is single optimal. If the accuracy factor is exactly equal to the marginal value, the duelist has two optimal time moments: the penultimate and last one. The conditions of the last time moment optimality can be set to force the duelist to act the latest possible, which is quite useful in some blockchain settings, where participants (e. g., validators or miners) choose when to attempt block proposal or transaction insertion under uncertainty.
Development of an iOS Application for Task Planning with Consideration of the User’s Emotional State
(2025) Piz, Mariana; Nahirna, Alla
The article focuses on the development of a digital tool designed to address the problem of decreased productivity caused by emotional exhaustion. The main objective of the study is to create an iOS application for task planning that takes into account the user’s emotional state, offers mindful breaks for emotional awareness and recovery, and provides analytics on emotional trends. The research includes a comparative analysis of existing software solutions in the areas of time management and mental well-being. During the development process, modern frameworks, tools, and architectural patterns for iOS development were analyzed. An adaptive planning algorithm was implemented, that takes into accountboth the user’s emotional feedback and the attributes of tasks. As a result of the research, a mobile application named Moodpace was developed using Swift, with SwiftUI for building the user interface, SwiftData for data persistence, and the MVVM architectural pattern to ensure maintainable code structure. During the development process, SwiftLint was used for static code analysis, and SwiftFormat was integrated for automatic code formatting. The app was localized into Ukrainian using String Catalog. The developed application is designed to help users manage their tasks while maintaining balance with their mental well-being. It is suitable for everyday use and especially beneficial for individuals with flexible schedules.
PINN-based machine learning for modeling internal waves insemi-infinite fluids
(2025) Avramenko, Olha; Kompan, Serhii; Sarana, Maksym
This study investigates the application of Physics-Informed Neural Networks (PINNs) for modelingwave processes at the interface between two incompressible fluids of differing densities. As a first step,the linear formulation of the problem is considered, which admits an analytical solution based on aspectral method involving Fourier decomposition of the initial perturbation. This solution serves as abenchmark for testing and validating the accuracy of the PINN predictions.The implementation is carried out in Python using specialized libraries such as TensorFlow, NumPy,SciPy, and Matplotlib, which provide both efficient deep learning frameworks and tools for solving mathe-matical physics problems numerically. The approach integrates artificial intelligence with domain-specificknowledge in hydrodynamics, enabling the construction of interpretable and physically consistent mod-els. Particular attention is given to the organization of the computational experiment, automation ofvisualizations, and storage of intermediate results for further analysis. The PINN model includes a lossfunction that encodes the governing equations and boundary conditions, and the training is conductedon randomly sampled points across the spatio-temporal domain. The influence of network architectureand training parameters on solution accuracy is examined. Visualization of loss function evolutionand predicted wave profiles provides insight into convergence behavior and physical plausibility of thesolutions.A comparative analysis between the PINN-based and analytical solutions across different time in-stances is presented, revealing phase shifts and amplitude deviations. The model demonstrates goodagreement at early times and a gradual accumulation of errors as time progresses—an expected featureof this class of methods. The results confirm the feasibility of applying the PINN framework to linearhydrodynamic problems, laying the groundwork for future extensions to weakly and strongly nonlinearregimes, including studies of wave stability and nonlinear wave dynamics.
Дослідження та оптимізація методів оцінювання розміру файлової ієрархії в APFS (Apple File System)
(2025) Левченко, Артем; Франків, Олександр; Петелєв, Євгеній
Цю статтю присвячено дослідженню та оптимізації процесів сканування файлової системи APFS (Apple File System). Розглянуто ключові інструменти доступу до APFS та алгоритмічні стратегії, зокрема верхньорівневий обхід, повний обхід, фільтрацію за стоп-словами та інтерактивний підхід. Реалізовано методи оброблення файлових ієрархій, які передбачають послідовне та паралельне оброблення з використанням Grand Central Dispatch (GCD) і Swift Concurrency. Розроблено застосунок для сканування APFS, який демонструє практичне застосування запропонованих підходів. Проведено тестування й порівняльний аналіз методів сканування APFS.
Analysis of wave propagation conditions in a two-layer hydro-dynamic system with a free surface
(2025) Naradovyi, Volodymyr; Huriev, Vasyl; Demidov, Valerii
The study examines the problem of the propagation of internal and surface waves in a two-layerhydrodynamic system "a half-space - a layer - a layer with a free surface". A mathematical model ina linear approximation is presented. The research problem is formulated under the assumption thatthe fluids are ideal and incompressible. The mathematical formulation of the problem is given in adimensionless form. Expressions for the deviation of the contact interface η1(x,t) and the free surfaceη2(x,t) in the form of traveling waves are found. Expressions for the potentials φ1(x,z,t) and φ2(x,z,t),whose gradients describe the propagation velocities in the layers Ω1and Ω2respectively, are obtainedin an analytical form. A dispersion relation that connects the wave number and the wave propagationfrequency is derived. The roots of the dispersion relation, which are the frequencies of wave propagationon the contact interface and on the free surface, are found. An analysis of the roots of the dispersionrelation depending on the geometric and physical parameters of the system is carried out. In particular,the dependence of the wave propagation frequencies on the wave number without considering surfacetension is analyzed.The conducted research indicates that in the absence of surface tension (T1= T2= 0), the densityratio ρ acts as a defining parameter that governs both the quantitative and qualitative characteristics ofthe wave modes in the considered system. A transition from the classical state of the system with clearlyseparated fast surface and slow internal modes to a regime of their inversion was identified, which is asignificant result for a deeper understanding of the dynamics of strongly stratified fluids.The consideration of surface tension forces reveals a complex interaction between the effects of densitystratification and capillarity. Capillary forces lead to a substantial increase in wave frequencies and canbecome a dominant factor for internal modes, effectively neutralizing the influence of density changes.At the same time, it has been established that the density ratio ρ retains its role as the key parameter thatdetermines the qualitative structure of the modes, including the possibility of their complete inversionunder conditions of strong fluid stratification.
Аналізування українськомовних віршів засобами обробки природної мови
(2025) Смиш, Олег; Швець, Дмитро
У статті описано розроблення та застосування парсера для комплексного аналізування українськомовних віршів. Створено механізми визначення віршового розміру, рим і способів римування, що ґрунтуються на побудові схем наголошування. Парсер дає змогу виявляти входження 16 художніх засобів на трьох рівнях оброблення тексту. На фонологічному рівні застосовано rule-based підходи в аналізуванні тексту, на морфосинтаксичному — оброблення даних формату CoNLL-U, сформованих із результатів роботи трьох мовних аналізаторів, а для виявлення тропів на семантичному рівні — використано велику мовну модель. Створено вебзастосунок для наочної взаємодії з функціями парсера. Розроблений інструмент застосовано для аналізування трьох українськомовних збірок віршів.
Пам'ятi Юрiя Вiкторовича Боднарчука
(2025)
Пам’ятi Юрiя Вiкторовича Боднарчука (13.10.1955–12.07.2013)
Архітектура нової вдосконаленої платформи автоматизованого тестування вебзастосунків
(2025) Ліпський, Даниїл
Вдосконалення автоматизації тестування вебзастосунків є особливо актуальним напрямом у сучасному процесі розроблення програмного забезпечення. У цій статті здійснено аналіз сучасних підходів та інструментів автоматизації тестування, їхніх переваг та недоліків. Розглянуто шляхи усунення цих недоліків, а також можливість інтеграції технологій штучного інтелекту. У статті представлено архітектуру запропонованої платформи автоматизованого тестування, реалізованої у формі бібліотеки, що легко інтегрується в наявні проєкти. Архітектуру побудовано за модульним принципом, що забезпечує гнучкість, масштабованість і можливість поетапного розширення функціональності. Основні компоненти платформи — конфігураційний модуль, менеджер драйверів, модулі взаємодії з елементами, логування, API-викликів та роботи з локальним сховищем браузера — працюють як єдиний узгоджений механізм, забезпечуючи прозоре, стабільне та ефективне виконання тестів. Окрему увагу приділено аналізу таких аспектів сучасних технологій автоматизації, як зниження вартості впровадження та підтримки тестових рішень, масштабованість, гнучкість налаштувань, а також інтеграція з іншими компонентами життєвого циклу програмного забезпечення.