За технічних причин Електронний архів Харківського національного університету радіоелектроніки «ElAr КhNURE» працює тільки на перегляд. Про відновлення роботи у повному обсязі буде своєчасно повідомлено.
У магістерській роботі розглядаються питання, пов'язані зі створенням моделей, методів аналізу несправностей комп’ютерних систем. Мета дослідження – зменшення часу проектування дедуктивних формул для транспортування списків несправностей через логічні елементи та схеми RTL-рівня за рахунок використання паралельних регістрових процедур аналізу векторних структур даних.