Гайденко, К. А.2023-02-092023-02-092022Гайденко К. А. Метод векторного синтезу дедуктивної логіки для аналізу несправностей комп’ютерних систем : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 – Комп’ютерна інженерія / К. А. Гайденко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2022. – 61 с.https://openarchive.nure.ua/handle/document/21776У магістерській роботі розглядаються питання, пов'язані зі створенням моделей, методів аналізу несправностей комп’ютерних систем. Мета дослідження – зменшення часу проектування дедуктивних формул для транспортування списків несправностей через логічні елементи та схеми RTL-рівня за рахунок використання паралельних регістрових процедур аналізу векторних структур даних.ukцифровий пристрійцифровий пристрійнесправністькіберфізичний комп'ютингметрика, векторна форма логікидедуктивна матрицятаблиця істинностіOther