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