Публікація: Метод векторного синтезу дедуктивної логіки для аналізу несправностей комп’ютерних систем
Завантаження...
Дата
2022
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
У магістерській роботі розглядаються питання, пов'язані зі створенням моделей, методів аналізу несправностей комп’ютерних систем. Мета дослідження – зменшення часу проектування дедуктивних формул для транспортування списків несправностей через логічні елементи та схеми RTL-рівня за рахунок використання паралельних регістрових процедур аналізу векторних структур даних.
Опис
Ключові слова
цифровий пристрій, цифровий пристрій, несправність, кіберфізичний комп'ютинг, метрика, векторна форма логіки, дедуктивна матриця, таблиця істинності
Бібліографічний опис
Гайденко К. А. Метод векторного синтезу дедуктивної логіки для аналізу несправностей комп’ютерних систем : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 – Комп’ютерна інженерія / К. А. Гайденко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2022. – 61 с.