Факультет інформатики
Permanent URI for this collection
Browse
Browsing Факультет інформатики by Title
Now showing 1 - 20 of 36
Results Per Page
Sort Options
Item Blockchain-based wildlife data-management framework for the WWF bison rewilding project(2019) Dryga, Andrii; Tsiulin, Sergey; Valiavko, Mariia; Qing, Yang; Reinau, Kristian HegnerMass digitalization, remote sensors, and flexible database solutions encourage organizations to look closer at new technologies as an efficient management tool. In these conditions, the leveraging of blockchain and wireless tracking devices represents a field of fargoing technology development and can be used for wildlife data management. The purpose of this research is to introduce the applicable solution for the case provided by the World Wildlife Fund (WWF) regarding bison population rewilding in Eastern Europe. The goal of the paper is to create a data management framework, which combines information into one multi-integrated system visible to stakeholders. The paper theoretically extends the existing MIT OPAL blockchain-based model, which was implemented for the WWF bison rewilding project, showing a solution from managerial and technical perspectives. The proposed platform is able to provide secure geospatial wildlife data, increase intention to make donations to the project and facilitate the conditions for a better tourism experience. We found that such a system can have a positive effect on the project’s cost reduction, flexibility in redirecting manpower within the region and become a useful tool for decision-makers.Item Boolean network optimization by stochastic rewiring(2024) Cherevko, ChristinaIn today’s rapidly evolving technological world, the demand for smaller yet more powerful computers is escalating at an unprecedented pace, driving a significant need for research in circuit optimizations. This surge in demand underscores the critical role of logic synthesis, which lies at the heart of digital circuit design. Logic synthesis serves as a pivotal stage in converting a high-level functionality description into an efficient hardware implementation. It is key to meeting the ever-increasing demands for miniaturization and performance enhancement in modern electronics.Item Hybrid random fields(2024) Zhydok, Fedir; Chornei, RuslanHybrid Random Fields is a class of graphical probabilistic models and it combines Bayesian Networks and Markov Random Fields models. Due to certain assumptions and properties of Hybrid Random Fields, it can simplify the calculation of joint distribution for a certain set of random variables and conditional probability densities for each of the random variables.Item Properties of the ideal-intersection graph of the ring Zn(2023) Utenko, YelizavetaIn this paper we study properties of the ideal-intersection graph of the ring 𝑍𝑛. The graph of ideal intersections is a simple graph in which the vertices are non-zero ideals of the ring, and two vertices (ideals) are adjacent if their intersection is also a non-zero ideal of the ring. These graphs can be referred to as the intersection scheme of equivalence classes (See: Laxman Saha, Mithun Basak Kalishankar Tiwary "Metric dimension of ideal-intersection graph of the ring 𝑍𝑛" [1] ). In this article we prove that the triameter of graph is equal to six or less than six. We also describe maximal clique of the ideal-intersection graph of the ring 𝑍𝑛. We prove that the chromatic number of this graph is equal to the sum of the number of elements in the zero equivalence class and the class with the largest number of element. In addition, we demonstrate that eccentricity is equal to 1 or it is equal to 2. And in the end we describe the central vertices in the ideal-intersection graph of the ring 𝑍𝑛.Item Risk modelling approaches for student-like models with fractal activity time(2021) Solomanchuk, Georgiy; Shchestyuk, NataliiaThe paper focuses on value at risk (V@R) measuring for Student-like models of markets with fractal activity time (FAT). The fractal activity time models were introduced by Heyde to try to encompass the empirically found characteristics of read data and elaborated on for Variance Gamma, normal inverse Gaussian and skewed Student distributions. But problem of evaluating an value at risk for this model was not researched. It is worth to mention that if we use normal or symmetric Student‘s models than V@R can be computed using standard statistical packages. For calculating V@R for Student-like models we need Monte Carlo method and the iterative scheme for simulating N scenarios of stock prices. We model stock prices as a diffusion processes with the fractal activity time and for modeling increments of fractal activity time we use another diffusion process, which has a given marginal inverse gamma distribution. The aim of the paper is to perform and compare V@R Monte Carlo approach and Markowitz approach for Student-like models in terms of portfolio risk. For this purpose we propose procedure of calculating V@R for two types of investor portfolios. The first one is uniform portfolio, where d assets are equally distributed. The second is optimal Markowitz portfolio, for which variance of return is the smallest out of all other portfolios with the same mean return. The programmed model which was built using R-statistics can be used as to the simulations for any asset and for construct optimal portfolios for any given amount of assets and then can be used for understanding how this optimal portfolio behaves compared to other portfolios for Student-like models of markets with fractal activity time. Also we present numerical results for evaluating V@R for both types of investor portfolio. We show that optimal Markowitz portfolio demonstrates in the most of cases the smallest possible Value at Risk comparing with other portfolios. Thus, for making investor decisions under uncertainty we recommend to apply portfolio optimization and value at risk approach jointly.Item Автоматичне визначення шумового профілю аудіозапису(2010) Ашихмін, А.Відновлення сигналу є складним завданням, ефективне вирішення якого потребує ґрунтовних експертних знань та великого практичного досвіду в галузі обробки звуку. У статті розглянуто підхід до автоматизації відновлення сигналу на основі методу спектрального віднімання шляхом визначення шумової складової одноканального запису та побудови спектральної оцінки шуму. Використовується статистична модель розподілу енергії сигналів різних типівItem Аналіз методів машинного навчання в задачі класифікації документів(2020) Жиркова, Анастасія; Ігнатенко, ОлексійПублікація досліджує методи класифікації документів за наявністю печатки. Для цього, по-перше, проаналізовано вже існуючі методи вирішення поставленої проблеми; по-друге, запропоновано модель згорткової нейронної мережі для класифікації документів; по-третє, відображено залежність коректності роботи нейронної мережі від кількості вхідних даних, на яких навчається модель. В результаті отримано нейронну мережу, що класифікує документи за наявністю печатки з точністю трохи більше ніж 88 %.Item Аналіз програмних систем підтримки розумного будинку(2019) Глибовець, Андрій; Моголівський, ВіталійПроведено аналіз досліджень у сфері "розумного будинку". Визначено ключові проблеми галузі. Розглянуто наявні Saas системи, здійснено порівняння між ними та знайдено сильні та слабкі сторони кожної із систем. Визначено ключові характеристики системи підтримки "розумного будинку".Item Вiдновлююче спектральне число графа 𝐾4(2024) Аверк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дновлюю- чого спектрального числа.Item Вiзуалiзацiя дивних атракторiв: реалiзацiя засобами JavaScript(2024) Войцеховський, ЄвгенійДинам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 представлено програму, розроблену з використанням мови програмування JavaScript, яка дозволяє вiзуалiзувати рiзнi типи атракторiв та аналiзувати їх хаотичнi властивостi. Зокрема, реалiзовано побудову атрактора Лоренца, Росслера, Чень Лi та деякi iншi.Item Веббазована система групового розподіленого розроблення програм(2023) Давиденко, Андрій; Глибовець, МиколаУ статті описано архітектуру, використані технології створеної веббазованої системи розподіленого розроблення програм з акцентом на ефективне й просте одночасне групове створення тексту програми та її редагування і відлагодження. Впровадження модульної архітектури та механізму збереження вмісту сесій редагування забезпечило злагоджену функціональність компонент системи та ефективну підтримку узгодженості, управління неблокуючим паралелізмом, а також підтримку застосування сторонніх компіляторів та їх інтеграції з вебсистемою для колаборативного редагування. Для зручності спілкування користувачів у системі реалізовано чат. Вагомим доробком є підтримка окремих сесій редагування. Також імплементовано механізм прототипування клієнтських вебзастосунків, що дає змогу розробникам вебзастосунків швидко перевірити коректність програмного коду або верстки вебсторінки і поділитися цим з іншими розробниками. Коротко представлено сфери застосування системи і подальшого вдосконалення.Item Верхня оцiнка вiдновлюючого спектрального числа для графiв-кактусiв(2024) Чернявська, Карина; Тимошкевич, ЛарисаРiзноманiтнi задачi вiдновлення для графiв посiдають значне мiсце в спектральнiй теорiї графiв. Для графiв-кактусiв розглянемо поставлену задачу i наведемо верхню оцiнку числа 𝑆𝑟𝑛. Граф-кактус — це зв’язний граф, в якому будь-якi два простi цикли мають не бiльше, нiж одну спiльну вершину. Еквiвалентно, будь- яке ребро в такому графi належить максимум одному простому циклу.Item Використання нейрокомп’ютерних інтерфейсів для збирання та накопичення інформації про користувачів вебресурсів(2023) Глибовець, Андрій; Хмель, Світлана; Пєчкурова, ОленаУ статті описано дослідження можливостей використання нейрокомп’ютерних інтерфейсів (НІ) для збирання та накопичення інформації про користувачів вебресурсів шляхом проведення експериментів на електроенцефалографічному приладі Emotiv INSIGHT на 5 каналів і браузером Chrome, проаналізовано стан сучасних НІ та їх застосування, представлено розроблену методику збирання даних за допомогою НІ та її реалізацію у вигляді програмного застосунку. Розроблений прототип дає змогу керувати сторінками Chrome за допомогою ментальних команд і збирати дані про досвід користування вебресурсами, що доповнені даними про емоційний і ментальний стан користувача.Item Декларативне конфігурування інверсії контролю в сучасних .NET8 застосунках(2023) Федорченко, ВіталійЗ огляду на постійне підвищення складності сучасних програмних систем стає дедалі важливішим значення впровадження компонентно-орієнтованих архітектурних парадигм. Шаблони інверсії контролю (IoC) та ін’єкції залежностей (DI) відіграють ключову роль у керуванні залежностями об’єктно-орієнтованих (ОО) компонентів, зменшенні зв’язності та забезпеченні безперешкодної інтеграції компонентів. Ця стаття досліджує теоретичні основи IoC та DI, розкриваючи їх практичну реалізацію в сучасних додатках .NET 8.Item Класифiкацiя злiченних графiв Кокстера T4 2,𝑛+𝑚+1,∞ зi значеннями iндексу у промiжку √√5 + 2; 3 √2(2024) Лучка, Катерина ; Тимошкевич, ЛарисаIснує декiлька пiдходiв для розширення спектральної теорiї графiв зi скiнченного випадку на злiченний, у роботi прийнято пiдхiд B. Mohar . Iндекси графiв мають широке коло застосувань, наприклад, у теорiї представлень. Обмеження на iндекс графа впливають на структуру графа, часто можна навести повний перелiк можливих графiв, що задовольняють їм.Item Класифікаційна система з підбору персоналу, базована на аналізаторі української мови(2020) Жежерун, Олександр; Рєпкін, МаксимУ статті розглядається класифікаційна системах, яка базується на аналізі природньої мови. В багатьох таких системах використовуються нейронні мережі, проте вони потребують даних для навчання, які не завжди наявні. Автори пропонують використання онтологій в подібних системах аналізу природньої мови. В якості прикладу представлено класифікаційну систему, яка допомагає сформувати список найкращих кандидатів під час підбору персоналу. Представлено огляд методів побудови онтологій та мовних аналізаторів, доречних для класифікаційних систем, і побудовано систему у вигляді бази знань. Здійснена підтримка української та англійської мов у класифікаційній системі. Описані можливості розширення системи.Item Когомоморфiзми графiв i метричнi вiдображення мiж їхнiми доповненнями(2024) Гак, Артем; Дехтяр, Юр-Любомисл; Козеренко, Сергій; Романюк, I.У роботi розглядаються лише простi неорiєнтованi скiнченнi графи. Вiдображення 𝑓 : 𝑉 (𝐺) → 𝑉 (𝐻) мiж множинами вершин двох графiв 𝐺, 𝐻 називається гомоморфiзмом, якщо для всiх ребер 𝑢𝑣 ∈ 𝐸(𝐺) виконується 𝑓(𝑢)𝑓(𝑣) ∈ 𝐸(𝐻). Для зв’язного графа 𝐺 через 𝑑𝐺 позначатимемо звичайну вiдстань на множинi вершин 𝑉 (𝐺), де 𝑑𝐺(𝑢, 𝑣) дорiвнює довжинi найкоротшого ланцюга мiж 𝑢 та 𝑣 у 𝐺. Вiдображення 𝑓 : 𝑉 (𝐺) → 𝑉 (𝐻) мiж двома зв’язними графами 𝐺 i 𝐻 називається метричним, якщо 𝑑𝐻(𝑓(𝑢), 𝑓(𝑣)) ≤ 𝑑𝐺(𝑢, 𝑣) для всiх пар вершин 𝑢, 𝑣 ∈ 𝑉 (𝐺). Наступний результат показує, що гомоморфiзми є метричними вiдображеннями.Item Конструкцiя знакового реберного графа(2024) Дехтяр, Богдан-Ярема; Козеренко, СергійУ цiй роботi ми введемо нову конструкцiю, яка разом iз реберним орграфом дозволить однозначно вiдновити початковий орграф. Спочатку нам знадобиться поняття знакового графа. Для графа 𝐺 знаковою функцiєю називається довiльне вiдображення вигляду 𝑠 : 𝐸(𝐺) → {+, −}, що переводить ребра 𝐺 у знаки + та −. Знаковий граф – це пара (𝐺, 𝑠), де 𝑠 є знаковою функцiєю на 𝐺.Item Моделювання детермiнованого хаосу засобами обчислювального експерименту(2024) Герасимчук, ДаріяIснування детермiнованого хаосу накладає обмеження на можливiсть моделювання складних процесiв, наприклад, метеорологiчних чи економiчних, тому його дослiдження та подальший розвиток напрямку залишається актуальним, оскiльки може призвести до вирiшення проблем зi моделюванням складної природи дослiджуваного явища, об’єкта тощо. Дана система експериментiв вiзуалiзує явища, якi виникають в динамiчних системах рiзної природи та моделюють їхню хаотичну поведiнку. Розроблене для реалiзацiї експериментiв програмне забезпечення може використовуватись при вивченнi властивостей детермiнованих та хаотичних динамiчних систем.Item Нешівська рівновага в іграх з розподілу капіталу(2024) Глуховський, ПавлоГра видобутку ресурсiв належить до класу динамiчних iгор. Вона реалiзується покроково в дискретнi моменти часу 𝑡 = 1, 2, 3, . . .. На кожному з цих етапiв гравцi незалежно один вiд одного, водночас приймають рiшення. Розглядається модель гри видобутку ресурсiв iз недослiдженого досi класу, а саме гра iз довiльною кiлькiстю частиникiв, необмеженим простором станiв та необмеженими функцiями корисностi грацiв, а також законом переходу мiж станами, визначеним як стохастичний процес, що залежить вiд спiльної iнвестицiї гравцiв.