Мурад А. А. Квантові моделі обчислювальних процесів для тестування цифрових систем на кристалах

Мета дисертаційного дослідження - зменшення часу відновлення працездатності цифрових систем на кристалах на основі використання кубітних моделей і квантових методів тестування та ремонту, що формують програмно-апаратну надлишковість інфраструктури вбудованого сервісного обслуговування функціональних компонентів з наперед заданим рівнем структурної деталізації. Об'єкт дослідження - процеси паралельної обробки даних для вбудованого тестування і ремонту цифрових систем на кристалах на основі використання кубітних моделей компонентів. Предмет дослідження - моделі, методи і архітектури вбудованого тестування і ремонту компонентів цифрових систем на кристалах на основі використання кубітних моделей компонентів. Основні результати: нова апаратно-орієнтована модель паралельного обчислення булеана, яка характеризується використанням процесорної Хассе-структури; нова автоматна модель комбінаційного пристрою, що характеризується можливістю автономного та вбудованого відновлення працездатності компонентів логічних пристроїв за рахунок переадресації дефектних примітивів; удосконалена кубітна модель даних, яка відрізняється нечисельним поданням розрядів у двійковому векторі; удосконалений суперпозиційний метод синтезу кубів функціональностей, що відрізняється формою отримання компактного покриття; удосконалений метод оцінювання ефективності обчислювальних структур, який відрізняється застосуванням модифікованого алгоритму Дейкстра для пошуку найкоротших шляхів між вершинами графової моделі функціональних блоків.