Search academic texts

Information × Registration Number 2123U004110, Article popup.category Бакалаврська робота Title popup.author Невінчаний Антон Вячеславович popup.publication 01-01-2023 popup.source_user Національний технічний університет України «Київський політехнічний інститут імені Ігоря Сікорського» popup.source https://ela.kpi.ua/handle/123456789/60671 popup.publisher Київ Description Кваліфікаційна робота включає пояснювальну записку (50 с., Х рис., Х таблиць). Дипломний проєкт присвячений дослідженню модифікації моделі Препарати-Метца-Чена та створенню програми яка здатна генерувати тести для перевірки правильності аналізу програмою. Досліджено як працює алгоритм самотестування багатопроцесорної модели Препарати-Метца-Чена. Розроблене програмне забезпечення для аналізу системи з запропонованою модифікацію. Для імплементації було обрано мову програмування С++ стандарту С++20 та її вбудовану стандартну бібліотеку. Результатом є готова програма яка аналізує вхідні тести та дає відповідь в залежності від того чи можливо визначити які саме процесори є несправними. popup.nrat_date 2025-01-29 Close