Вид документа:

Дисертації

УДК:

658.512.011:681.326:519.713
М91
Мурад Али Абас. Квантовые модели вычислительных процессов для тестирования цифровых систем на кристаллах : дис. ... канд. техн. наук : 05.13.05 "Компьютерные системы и компоненты" / Мурад Али Абас ; МОНМС Украины, Харьк. нац. ун-т радиоэлектроники. – Харьков, 2012. – 182 с. – Библиогр.: с. 164–177.


Статистика використання: Видач: 0

Анотація:
Основными результатами работы являются: новая аппаратно-ориентированная модель параллельного вычисления булеана, которая характеризуется использованием процессорной Хассе-структуры для векторно-логического анализа данных; автоматная модель комбинационного устройства, ориентированная на решение практически полезных задач; аппаратное моделирование функциональностей цифровых проектов на основе использования Programmble logic device (PLD), что дает возможность существенно повысить быстродействие верификации программных моделей. Усовершенствованы: кубитная модель данных; суперпозиционный метод синтеза кубов функциональностей; метод оценивания эффективности вычислительных структур на основе использования графовой модели межсоединений функциональных блоков, дающий возможность определять качество топологических архитектур цифровых систем на кристаллах. Аппаратный прототип квантового вычислителя на основе программируемой логики позволяет существенно (х10-х100) повысить быстродействие оптимального поиска покрытий в задачах дискретной оптимизации. Верификация моделей, методов и архитектуры квантового вычислителя позволяет использовать их в качестве компонентов инфраструктуры сервисного обслуживания и встроенного ремонта цифровых систем для существенного (5%) повышения качества System-on-a-chip (SoC).