Метод векторного синтезу дедуктивної логіки для аналізу несправностей комп’ютерних систем

Гайденко, К. А.

Публікація:
Метод векторного синтезу дедуктивної логіки для аналізу несправностей комп’ютерних систем

dc.contributor.author	Гайденко, К. А.
dc.date.accessioned	2023-02-09T18:47:11Z
dc.date.available	2023-02-09T18:47:11Z
dc.date.issued	2022
dc.description.abstract	У магістерській роботі розглядаються питання, пов'язані зі створенням моделей, методів аналізу несправностей комп’ютерних систем. Мета дослідження – зменшення часу проектування дедуктивних формул для транспортування списків несправностей через логічні елементи та схеми RTL-рівня за рахунок використання паралельних регістрових процедур аналізу векторних структур даних.
dc.identifier.citation	Гайденко К. А. Метод векторного синтезу дедуктивної логіки для аналізу несправностей комп’ютерних систем : пояснювальна записка до кваліфікаційної роботи здобувача вищої освіти на другому (магістерському) рівні, спеціальність 123 – Комп’ютерна інженерія / К. А. Гайденко ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2022. – 61 с.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/21776
dc.language.iso	uk
dc.subject	цифровий пристрій
dc.subject	цифровий пристрій
dc.subject	несправність
dc.subject	кіберфізичний комп'ютинг
dc.subject	метрика, векторна форма логіки
dc.subject	дедуктивна матриця
dc.subject	таблиця істинності
dc.title	Метод векторного синтезу дедуктивної логіки для аналізу несправностей комп’ютерних систем
dc.type	Other
dspace.entity.type	Publication