Browsing by Author "Савчук, О. О."

Now showing 1 - 3 of 3

ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ МОДЕЛЕЙ
(2025) Савчук, О. О.
У статті розглядається актуальна проблема застосування методів машинного навчання для верифікації моделей у сфері комп'ютерних наук, зокрема в розробці апаратного та програмного забезпечення. Аналізуються сучасні підходи до динамічної верифікації, такі як генерація тестів та виявлення помилок, з акцентом на інтеграцію машинного навчання для підвищення ефективності. Пропонується огляд ключових методів та перспектив їх використання. The article examines the current issue of applying machine learning methods for model verification in computer science, particularly in hardware and software development. Modern approaches to dynamic verification, such as test generation and bug detection, are analyzed, with an emphasis on integrating machine learning to improve efficiency. An overview of key methods and prospects for their use is provided.
ВИКОРИСТАННЯ МАШИННОГО НАВЧАННЯ ДЛЯ ПЕРЕВІРКИ МОДЕЛЕЙ
(2025) Савчук, О. О.
У магістерській роботі досліджено застосування методів машинного навчання для автоматизації процесу перевірки програмних та математичних моделей. Робота присвячена аналізу сучасних проблем тестування, які виникають у складних інженерних системах, та обґрунтуванню доцільності використання інтелектуальних алгоритмів для підвищення ефективності процесу верифікації. У роботі проаналізовано класичні методи перевірки моделей, їхні обмеження та недоліки. Запропоновано архітектуру системи перевірки, що поєднує машинне навчання з методами статистичного аналізу для виявлення помилок, прогнозування ризиків і автоматичної пріоритезації тестів. Проведено експериментальні дослідження, які довели, що застосування ансамблевих моделей (Random Forest, SVM, Neural Networks) дозволяє підвищити точність виявлення дефектів і зменшити час тестування до 35%. Особливу увагу приділено побудові архітектури системи, методам підготовки даних, а також практичній реалізації моделей у середовищах TensorFlow і Scikit-learn. Отримані результати доводять, що використання машинного навчання у процесах перевірки моделей забезпечує вищу ефективність, адаптивність і точність у порівнянні з традиційними підходами. In this master’s thesis, methods of machine learning are investigated as tools for automating the process of verifying software and mathematical models. The research focuses on identifying limitations of classical verification methods and proposing an intelligent architecture that integrates ML algorithms to improve testing accuracy and efficiency. The proposed system combines statistical analysis with supervised and ensemble learning methods (Random Forest, SVM, Neural Networks) to detect errors, predict risks, and prioritize testing procedures. Experimental results confirm that machine learning allows reducing verification time by up to 35% while increasing defect detection accuracy. The work also explores data preprocessing, model evaluation metrics, and practical implementation using TensorFlow and Scikit-learn. The research demonstrates that integrating ML techniques into verification processes enhances adaptability and reliability of engineering systems.
КРАЄЗНАВЧА РОБОТА В ПОЧАТКОВІЙ ШКОЛІ В УМОВАХ ДИСТАНЦІЙНОГО НАВЧАННЯ
(2021) Савчук, О. О.
У роботі досліджувалась краєзнавча робота в початковій школі в умовах дистанційного навчання. перший розділ дослідження присвячено теоретичним основам організації краєзнавчої роботи у початковій школі. другий розділ висвітлює особливості реалізації краєзнавчої роботи в умовах дистанційного навчання в початковій школі. у роботі висвітлені питання місця краєзнавства в системі освітнього процесу початкової школи, дистанційного навчання як сучасного формату освітнього процесу, проведена діагностика рівня сформованості краєзнавчої компетентності молодших школярів, проаналізовані зміст та форми роботи вчителя початкової школи під час вивчення краєзнавчого матеріалу в умовах дистанційного навчання. The study of local lore work in primary school in terms of distance learning was studied. The first section of the study is devoted to the theoretical foundations of the organization of local lore in primary school. the second section highlights the features of the implementation of local lore work in terms of distance learning in primary school. The issues of the place of local lore in the system of educational process of primary school, distance learning as a modern format of educational process are covered, the level of formation of local lore competence of junior schoolchildren is diagnosed, the content and forms of work of primary school teacher during local lore study are analyzed.